|
236
|
1 ; RUN: opt %loadPolly -polly-scops -stats -disable-output < %s 2>&1 | FileCheck %s
|
|
150
|
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 ;
|
|
|
39 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
40
|
|
252
|
41 define void @foo_1d(ptr %A) {
|
|
150
|
42 bb:
|
|
|
43 br label %bb1
|
|
|
44
|
|
|
45 bb1: ; 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
|
|
|
50 bb2: ; preds = %bb1
|
|
|
51 %tmp = sitofp i64 %i.0 to float
|
|
252
|
52 %tmp3 = getelementptr inbounds float, ptr %A, i64 %i.0
|
|
|
53 %tmp4 = load float, ptr %tmp3, align 4
|
|
150
|
54 %tmp5 = fadd float %tmp4, %tmp
|
|
252
|
55 store float %tmp5, ptr %tmp3, align 4
|
|
150
|
56 br label %bb6
|
|
|
57
|
|
|
58 bb6: ; preds = %bb2
|
|
|
59 %tmp7 = add nuw nsw i64 %i.0, 1
|
|
|
60 br label %bb1
|
|
|
61
|
|
|
62 bb8: ; preds = %bb1
|
|
|
63 ret void
|
|
|
64 }
|
|
|
65
|
|
252
|
66 define void @foo_2d(ptr %A) {
|
|
150
|
67 bb:
|
|
|
68 br label %bb2
|
|
|
69
|
|
|
70 bb2: ; 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
|
|
|
75 bb3: ; preds = %bb2
|
|
|
76 br label %bb4
|
|
|
77
|
|
|
78 bb4: ; 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
|
|
|
83 bb5: ; 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
|
|
252
|
87 %tmp8 = getelementptr inbounds float, ptr %A, i64 %tmp7
|
|
|
88 %tmp9 = load float, ptr %tmp8, align 4
|
|
150
|
89 %tmp10 = fadd float %tmp9, %tmp6
|
|
252
|
90 store float %tmp10, ptr %tmp8, align 4
|
|
150
|
91 br label %bb11
|
|
|
92
|
|
|
93 bb11: ; preds = %bb5
|
|
|
94 %tmp12 = add nuw nsw i64 %j.0, 1
|
|
|
95 br label %bb4
|
|
|
96
|
|
|
97 bb13: ; preds = %bb4
|
|
|
98 br label %bb14
|
|
|
99
|
|
|
100 bb14: ; preds = %bb13
|
|
|
101 %tmp15 = add nuw nsw i64 %i.0, 1
|
|
|
102 br label %bb2
|
|
|
103
|
|
|
104 bb16: ; preds = %bb2
|
|
|
105 ret void
|
|
|
106 }
|
|
|
107
|
|
252
|
108 define void @foo_3d(ptr %A) {
|
|
150
|
109 bb:
|
|
|
110 br label %bb3
|
|
|
111
|
|
|
112 bb3: ; 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
|
|
|
117 bb4: ; preds = %bb3
|
|
|
118 br label %bb5
|
|
|
119
|
|
|
120 bb5: ; 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
|
|
|
125 bb6: ; preds = %bb5
|
|
|
126 br label %bb7
|
|
|
127
|
|
|
128 bb7: ; 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
|
|
|
133 bb8: ; 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
|
|
252
|
139 %tmp13 = getelementptr inbounds float, ptr %A, i64 %tmp12
|
|
|
140 %tmp14 = load float, ptr %tmp13, align 4
|
|
150
|
141 %tmp15 = fadd float %tmp14, %tmp10
|
|
252
|
142 store float %tmp15, ptr %tmp13, align 4
|
|
150
|
143 br label %bb16
|
|
|
144
|
|
|
145 bb16: ; preds = %bb8
|
|
|
146 %tmp17 = add nuw nsw i64 %k.0, 1
|
|
|
147 br label %bb7
|
|
|
148
|
|
|
149 bb18: ; preds = %bb7
|
|
|
150 br label %bb19
|
|
|
151
|
|
|
152 bb19: ; preds = %bb18
|
|
|
153 %tmp20 = add nuw nsw i64 %j.0, 1
|
|
|
154 br label %bb5
|
|
|
155
|
|
|
156 bb21: ; preds = %bb5
|
|
|
157 br label %bb22
|
|
|
158
|
|
|
159 bb22: ; preds = %bb21
|
|
|
160 %tmp23 = add nuw nsw i64 %i.0, 1
|
|
|
161 br label %bb3
|
|
|
162
|
|
|
163 bb24: ; preds = %bb3
|
|
|
164 ret void
|
|
|
165 }
|
|
|
166
|
|
252
|
167 define void @foo_4d(ptr %A) {
|
|
150
|
168 bb:
|
|
|
169 br label %bb4
|
|
|
170
|
|
|
171 bb4: ; 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
|
|
|
176 bb5: ; preds = %bb4
|
|
|
177 br label %bb6
|
|
|
178
|
|
|
179 bb6: ; 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
|
|
|
184 bb7: ; preds = %bb6
|
|
|
185 br label %bb8
|
|
|
186
|
|
|
187 bb8: ; 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
|
|
|
192 bb9: ; preds = %bb8
|
|
|
193 br label %bb10
|
|
|
194
|
|
|
195 bb10: ; 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
|
|
|
200 bb11: ; 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
|
|
252
|
208 %tmp18 = getelementptr inbounds float, ptr %A, i64 %tmp17
|
|
|
209 %tmp19 = load float, ptr %tmp18, align 4
|
|
150
|
210 %tmp20 = fadd float %tmp19, %tmp14
|
|
252
|
211 store float %tmp20, ptr %tmp18, align 4
|
|
150
|
212 br label %bb21
|
|
|
213
|
|
|
214 bb21: ; preds = %bb11
|
|
|
215 %tmp22 = add nuw nsw i64 %l.0, 1
|
|
|
216 br label %bb10
|
|
|
217
|
|
|
218 bb23: ; preds = %bb10
|
|
|
219 br label %bb24
|
|
|
220
|
|
|
221 bb24: ; preds = %bb23
|
|
|
222 %tmp25 = add nuw nsw i64 %k.0, 1
|
|
|
223 br label %bb8
|
|
|
224
|
|
|
225 bb26: ; preds = %bb8
|
|
|
226 br label %bb27
|
|
|
227
|
|
|
228 bb27: ; preds = %bb26
|
|
|
229 %tmp28 = add nuw nsw i64 %j.0, 1
|
|
|
230 br label %bb6
|
|
|
231
|
|
|
232 bb29: ; preds = %bb6
|
|
|
233 br label %bb30
|
|
|
234
|
|
|
235 bb30: ; preds = %bb29
|
|
|
236 %tmp31 = add nuw nsw i64 %i.0, 1
|
|
|
237 br label %bb4
|
|
|
238
|
|
|
239 bb32: ; preds = %bb4
|
|
|
240 ret void
|
|
|
241 }
|
