Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 09268b7b1e94b51f64f7e2923f332e06adc72a6c / . / polly / test / ScopInfo / statistics.ll
blob: d6f784d288c37be0dac507b378d131757d8ac7bc [file] [log] [blame]
Tobias Grossercd01a362017-02-17 08:12:36 +0000[diff] [blame]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}