1; RUN: opt %loadPolly -polly-ast -analyze < %s | FileCheck %s
2
3;#include <string.h>
4;#define N 1024
5;
6;int A[N];
7;
8;void sequential_loops() {
9;  int i;
10;  for (i = 0; i < N/2; i++) {
11;    A[i] = 1;
12;  }
13;  for (i = N/2 ; i < N; i++) {
14;    A[i] = 2;
15;  }
16;}
17;
18;int main () {
19;  int i;
20;  memset(A, 0, sizeof(int) * N);
21;
22;  sequential_loops();
23;
24;  for (i = 0; i < N; i++) {
25;    if (A[i] != 1 && i < N/2)
26;      return 1;
27;    if (A[i] !=  2 && i >= N/2)
28;      return 1;
29;  }
30;
31;  return 0;
32;}
33
34target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
35
36@A = common global [1024 x i32] zeroinitializer, align 4 ; <[1024 x i32]*> [#uses=5]
37
38define void @sequential_loops() nounwind {
39bb:
40  br label %bb1
41
42bb1:                                              ; preds = %bb3, %bb
43  %indvar1 = phi i64 [ %indvar.next2, %bb3 ], [ 0, %bb ]
44  %scevgep4 = getelementptr [1024 x i32], [1024 x i32]* @A, i64 0, i64 %indvar1
45  %exitcond3 = icmp ne i64 %indvar1, 512
46  br i1 %exitcond3, label %bb2, label %bb4
47
48bb2:                                              ; preds = %bb1
49  store i32 1, i32* %scevgep4
50  br label %bb3
51
52bb3:                                              ; preds = %bb2
53  %indvar.next2 = add i64 %indvar1, 1
54  br label %bb1
55
56bb4:                                              ; preds = %bb1
57  br label %bb5
58
59bb5:                                              ; preds = %bb7, %bb4
60  %indvar = phi i64 [ %indvar.next, %bb7 ], [ 0, %bb4 ]
61  %tmp = add i64 %indvar, 512
62  %scevgep = getelementptr [1024 x i32], [1024 x i32]* @A, i64 0, i64 %tmp
63  %exitcond = icmp ne i64 %indvar, 512
64  br i1 %exitcond, label %bb6, label %bb8
65
66bb6:                                              ; preds = %bb5
67  store i32 2, i32* %scevgep
68  br label %bb7
69
70bb7:                                              ; preds = %bb6
71  %indvar.next = add i64 %indvar, 1
72  br label %bb5
73
74bb8:                                              ; preds = %bb5
75  ret void
76}
77
78define i32 @main() nounwind {
79bb:
80  call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @A to i8*), i8 0, i64 4096, i32 1, i1 false)
81  call void @sequential_loops()
82  br label %bb1
83
84bb1:                                              ; preds = %bb15, %bb
85  %indvar = phi i64 [ %indvar.next, %bb15 ], [ 0, %bb ]
86  %i.0 = trunc i64 %indvar to i32
87  %scevgep = getelementptr [1024 x i32], [1024 x i32]* @A, i64 0, i64 %indvar
88  %tmp = icmp slt i32 %i.0, 1024
89  br i1 %tmp, label %bb2, label %bb16
90
91bb2:                                              ; preds = %bb1
92  %tmp3 = load i32, i32* %scevgep
93  %tmp4 = icmp ne i32 %tmp3, 1
94  br i1 %tmp4, label %bb5, label %bb8
95
96bb5:                                              ; preds = %bb2
97  %tmp6 = icmp slt i32 %i.0, 512
98  br i1 %tmp6, label %bb7, label %bb8
99
100bb7:                                              ; preds = %bb5
101  br label %bb17
102
103bb8:                                              ; preds = %bb5, %bb2
104  %tmp9 = load i32, i32* %scevgep
105  %tmp10 = icmp ne i32 %tmp9, 2
106  br i1 %tmp10, label %bb11, label %bb14
107
108bb11:                                             ; preds = %bb8
109  %tmp12 = icmp sge i32 %i.0, 512
110  br i1 %tmp12, label %bb13, label %bb14
111
112bb13:                                             ; preds = %bb11
113  br label %bb17
114
115bb14:                                             ; preds = %bb11, %bb8
116  br label %bb15
117
118bb15:                                             ; preds = %bb14
119  %indvar.next = add i64 %indvar, 1
120  br label %bb1
121
122bb16:                                             ; preds = %bb1
123  br label %bb17
124
125bb17:                                             ; preds = %bb16, %bb13, %bb7
126  %.0 = phi i32 [ 1, %bb7 ], [ 1, %bb13 ], [ 0, %bb16 ]
127  ret i32 %.0
128}
129
130declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
131
132; CHECK: {
133; CHECK:   for (int c0 = 0; c0 <= 511; c0 += 1)
134; CHECK:     Stmt_bb2(c0);
135; CHECK:   for (int c0 = 0; c0 <= 511; c0 += 1)
136; CHECK:     Stmt_bb6(c0);
137; CHECK: }
138