236
|
1 ; RUN: opt %loadPolly -polly-codegen -polly-vectorizer=polly \
|
|
2 ; RUN: < %s -S | FileCheck %s
|
|
3
|
|
4 ; CHECK: store <4 x double> %val.s2a_p_splat, <4 x double>* %vector_ptr
|
|
5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
6
|
|
7 define void @update_access_functions(i64 %arg, double* %A, double* %B) {
|
|
8 bb3:
|
|
9 br label %loop1
|
|
10
|
|
11 loop1:
|
|
12 %indvar = phi i64 [ %indvar.next, %loop1 ], [ 0, %bb3 ]
|
|
13 %ptr1 = getelementptr inbounds double, double* %A, i64 %indvar
|
|
14 store double 42.0, double* %ptr1, align 8
|
|
15 %indvar.next = add nuw nsw i64 %indvar, 1
|
|
16 %cmp = icmp ne i64 %indvar.next, 4
|
|
17 br i1 %cmp, label %loop1, label %loop2
|
|
18
|
|
19 loop2:
|
|
20 %indvar.2 = phi i64 [ %indvar.2.next, %loop2 ], [ 0, %loop1 ]
|
|
21 %ptr2 = getelementptr inbounds double, double* %A, i64 %indvar.2
|
|
22 %val = load double, double* %ptr2, align 8
|
|
23 %indvar.2.next = add nuw nsw i64 %indvar.2, 1
|
|
24 %cmp.2 = icmp ne i64 %indvar.2.next, 4
|
|
25 br i1 %cmp.2, label %loop2, label %loop3
|
|
26
|
|
27 loop3:
|
|
28 %indvar.3 = phi i64 [ %indvar.3.next, %loop3 ], [ 0, %loop2 ]
|
|
29 %ptr3 = getelementptr inbounds double, double* %A, i64 %indvar.3
|
|
30 store double %val, double* %ptr3, align 8
|
|
31 %indvar.3.next = add nuw nsw i64 %indvar.3, 1
|
|
32 %cmp.3 = icmp ne i64 %indvar.3.next, 4
|
|
33 br i1 %cmp.3, label %loop3, label %exit
|
|
34
|
|
35 exit:
|
|
36 ret void
|
|
37 }
|