1; RUN: opt %loadPolly -polly-scops -stats -analyze < %s 2>&1 | FileCheck %s
2; REQUIRES: asserts
3
4; CHECK-DAG:  4 polly-scops      - Maximal number of loops in scops
5; CHECK-DAG: 10 polly-scops      - Number of loops in scops
6; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 4
7; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 1
8; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 3
9; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 2
10; CHECK-DAG:  4 polly-scops      - Number of Scops containing a loop
11; CHECK-DAG:  4 polly-scops      - Number of valid Scops
12;
13;    void foo_1d(float *A) {
14;      for (long i = 0; i < 1024; i++)
15;        A[i] += i;
16;    }
17;
18;    void foo_2d(float *A) {
19;      for (long i = 0; i < 1024; i++)
20;        for (long j = 0; j < 1024; j++)
21;          A[i + j] += i + j;
22;    }
23;
24;    void foo_3d(float *A) {
25;      for (long i = 0; i < 1024; i++)
26;        for (long j = 0; j < 1024; j++)
27;          for (long k = 0; k < 1024; k++)
28;            A[i + j + k] += i + j + k;
29;    }
30;
31;    void foo_4d(float *A) {
32;      for (long i = 0; i < 1024; i++)
33;        for (long j = 0; j < 1024; j++)
34;          for (long k = 0; k < 1024; k++)
35;            for (long l = 0; l < 1024; l++)
36;              A[i + j + k + l] += i + j + k + l;
37;    }
38;
39target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
40
41define void @foo_1d(float* %A) {
42bb:
43  br label %bb1
44
45bb1:                                              ; preds = %bb6, %bb
46  %i.0 = phi i64 [ 0, %bb ], [ %tmp7, %bb6 ]
47  %exitcond = icmp ne i64 %i.0, 1024
48  br i1 %exitcond, label %bb2, label %bb8
49
50bb2:                                              ; preds = %bb1
51  %tmp = sitofp i64 %i.0 to float
52  %tmp3 = getelementptr inbounds float, float* %A, i64 %i.0
53  %tmp4 = load float, float* %tmp3, align 4
54  %tmp5 = fadd float %tmp4, %tmp
55  store float %tmp5, float* %tmp3, align 4
56  br label %bb6
57
58bb6:                                              ; preds = %bb2
59  %tmp7 = add nuw nsw i64 %i.0, 1
60  br label %bb1
61
62bb8:                                              ; preds = %bb1
63  ret void
64}
65
66define void @foo_2d(float* %A) {
67bb:
68  br label %bb2
69
70bb2:                                              ; preds = %bb14, %bb
71  %i.0 = phi i64 [ 0, %bb ], [ %tmp15, %bb14 ]
72  %exitcond1 = icmp ne i64 %i.0, 1024
73  br i1 %exitcond1, label %bb3, label %bb16
74
75bb3:                                              ; preds = %bb2
76  br label %bb4
77
78bb4:                                              ; preds = %bb11, %bb3
79  %j.0 = phi i64 [ 0, %bb3 ], [ %tmp12, %bb11 ]
80  %exitcond = icmp ne i64 %j.0, 1024
81  br i1 %exitcond, label %bb5, label %bb13
82
83bb5:                                              ; preds = %bb4
84  %tmp = add nuw nsw i64 %i.0, %j.0
85  %tmp6 = sitofp i64 %tmp to float
86  %tmp7 = add nuw nsw i64 %i.0, %j.0
87  %tmp8 = getelementptr inbounds float, float* %A, i64 %tmp7
88  %tmp9 = load float, float* %tmp8, align 4
89  %tmp10 = fadd float %tmp9, %tmp6
90  store float %tmp10, float* %tmp8, align 4
91  br label %bb11
92
93bb11:                                             ; preds = %bb5
94  %tmp12 = add nuw nsw i64 %j.0, 1
95  br label %bb4
96
97bb13:                                             ; preds = %bb4
98  br label %bb14
99
100bb14:                                             ; preds = %bb13
101  %tmp15 = add nuw nsw i64 %i.0, 1
102  br label %bb2
103
104bb16:                                             ; preds = %bb2
105  ret void
106}
107
108define void @foo_3d(float* %A) {
109bb:
110  br label %bb3
111
112bb3:                                              ; preds = %bb22, %bb
113  %i.0 = phi i64 [ 0, %bb ], [ %tmp23, %bb22 ]
114  %exitcond2 = icmp ne i64 %i.0, 1024
115  br i1 %exitcond2, label %bb4, label %bb24
116
117bb4:                                              ; preds = %bb3
118  br label %bb5
119
120bb5:                                              ; preds = %bb19, %bb4
121  %j.0 = phi i64 [ 0, %bb4 ], [ %tmp20, %bb19 ]
122  %exitcond1 = icmp ne i64 %j.0, 1024
123  br i1 %exitcond1, label %bb6, label %bb21
124
125bb6:                                              ; preds = %bb5
126  br label %bb7
127
128bb7:                                              ; preds = %bb16, %bb6
129  %k.0 = phi i64 [ 0, %bb6 ], [ %tmp17, %bb16 ]
130  %exitcond = icmp ne i64 %k.0, 1024
131  br i1 %exitcond, label %bb8, label %bb18
132
133bb8:                                              ; preds = %bb7
134  %tmp = add nuw nsw i64 %i.0, %j.0
135  %tmp9 = add nuw nsw i64 %tmp, %k.0
136  %tmp10 = sitofp i64 %tmp9 to float
137  %tmp11 = add nuw nsw i64 %i.0, %j.0
138  %tmp12 = add nuw nsw i64 %tmp11, %k.0
139  %tmp13 = getelementptr inbounds float, float* %A, i64 %tmp12
140  %tmp14 = load float, float* %tmp13, align 4
141  %tmp15 = fadd float %tmp14, %tmp10
142  store float %tmp15, float* %tmp13, align 4
143  br label %bb16
144
145bb16:                                             ; preds = %bb8
146  %tmp17 = add nuw nsw i64 %k.0, 1
147  br label %bb7
148
149bb18:                                             ; preds = %bb7
150  br label %bb19
151
152bb19:                                             ; preds = %bb18
153  %tmp20 = add nuw nsw i64 %j.0, 1
154  br label %bb5
155
156bb21:                                             ; preds = %bb5
157  br label %bb22
158
159bb22:                                             ; preds = %bb21
160  %tmp23 = add nuw nsw i64 %i.0, 1
161  br label %bb3
162
163bb24:                                             ; preds = %bb3
164  ret void
165}
166
167define void @foo_4d(float* %A) {
168bb:
169  br label %bb4
170
171bb4:                                              ; preds = %bb30, %bb
172  %i.0 = phi i64 [ 0, %bb ], [ %tmp31, %bb30 ]
173  %exitcond3 = icmp ne i64 %i.0, 1024
174  br i1 %exitcond3, label %bb5, label %bb32
175
176bb5:                                              ; preds = %bb4
177  br label %bb6
178
179bb6:                                              ; preds = %bb27, %bb5
180  %j.0 = phi i64 [ 0, %bb5 ], [ %tmp28, %bb27 ]
181  %exitcond2 = icmp ne i64 %j.0, 1024
182  br i1 %exitcond2, label %bb7, label %bb29
183
184bb7:                                              ; preds = %bb6
185  br label %bb8
186
187bb8:                                              ; preds = %bb24, %bb7
188  %k.0 = phi i64 [ 0, %bb7 ], [ %tmp25, %bb24 ]
189  %exitcond1 = icmp ne i64 %k.0, 1024
190  br i1 %exitcond1, label %bb9, label %bb26
191
192bb9:                                              ; preds = %bb8
193  br label %bb10
194
195bb10:                                             ; preds = %bb21, %bb9
196  %l.0 = phi i64 [ 0, %bb9 ], [ %tmp22, %bb21 ]
197  %exitcond = icmp ne i64 %l.0, 1024
198  br i1 %exitcond, label %bb11, label %bb23
199
200bb11:                                             ; preds = %bb10
201  %tmp = add nuw nsw i64 %i.0, %j.0
202  %tmp12 = add nuw nsw i64 %tmp, %k.0
203  %tmp13 = add nuw nsw i64 %tmp12, %l.0
204  %tmp14 = sitofp i64 %tmp13 to float
205  %tmp15 = add nuw nsw i64 %i.0, %j.0
206  %tmp16 = add nuw nsw i64 %tmp15, %k.0
207  %tmp17 = add nuw nsw i64 %tmp16, %l.0
208  %tmp18 = getelementptr inbounds float, float* %A, i64 %tmp17
209  %tmp19 = load float, float* %tmp18, align 4
210  %tmp20 = fadd float %tmp19, %tmp14
211  store float %tmp20, float* %tmp18, align 4
212  br label %bb21
213
214bb21:                                             ; preds = %bb11
215  %tmp22 = add nuw nsw i64 %l.0, 1
216  br label %bb10
217
218bb23:                                             ; preds = %bb10
219  br label %bb24
220
221bb24:                                             ; preds = %bb23
222  %tmp25 = add nuw nsw i64 %k.0, 1
223  br label %bb8
224
225bb26:                                             ; preds = %bb8
226  br label %bb27
227
228bb27:                                             ; preds = %bb26
229  %tmp28 = add nuw nsw i64 %j.0, 1
230  br label %bb6
231
232bb29:                                             ; preds = %bb6
233  br label %bb30
234
235bb30:                                             ; preds = %bb29
236  %tmp31 = add nuw nsw i64 %i.0, 1
237  br label %bb4
238
239bb32:                                             ; preds = %bb4
240  ret void
241}
242