1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
|
; RUN: opt %loadPolly -polly-dependences -analyze < %s | FileCheck %s
; void manyreductions(long *A) {
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
;
; for (long i = 0; i < 1024; i++)
; for (long j = 0; j < 1024; j++)
; *A += 42;
; }
; CHECK: RAW dependences:
; CHECK-NEXT: { Stmt_bb150[1023, 1023] -> Stmt_bb162[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb150[i0, i1] -> Stmt_bb162[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb150[1023, 1023] -> Stmt_bb162[0, 0]; Stmt_bb174[1023, 1023] -> Stmt_bb186[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb174[i0, i1] -> Stmt_bb186[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb174[1023, 1023] -> Stmt_bb186[0, 0]; Stmt_bb102[1023, 1023] -> Stmt_bb114[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb102[i0, i1] -> Stmt_bb114[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb102[1023, 1023] -> Stmt_bb114[0, 0]; Stmt_bb42[1023, 1023] -> Stmt_bb54[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb42[i0, i1] -> Stmt_bb54[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb42[1023, 1023] -> Stmt_bb54[0, 0]; Stmt_bb54[1023, 1023] -> Stmt_bb66[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb54[i0, i1] -> Stmt_bb66[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb54[1023, 1023] -> Stmt_bb66[0, 0]; Stmt_bb31[1023, 1023] -> Stmt_bb42[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb31[i0, i1] -> Stmt_bb42[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb31[1023, 1023] -> Stmt_bb42[0, 0]; Stmt_bb162[1023, 1023] -> Stmt_bb174[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb162[i0, i1] -> Stmt_bb174[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb162[1023, 1023] -> Stmt_bb174[0, 0]; Stmt_bb126[1023, 1023] -> Stmt_bb138[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb126[i0, i1] -> Stmt_bb138[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb126[1023, 1023] -> Stmt_bb138[0, 0]; Stmt_bb90[1023, 1023] -> Stmt_bb102[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb90[i0, i1] -> Stmt_bb102[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb90[1023, 1023] -> Stmt_bb102[0, 0]; Stmt_bb138[1023, 1023] -> Stmt_bb150[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb138[i0, i1] -> Stmt_bb150[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb138[1023, 1023] -> Stmt_bb150[0, 0]; Stmt_bb66[1023, 1023] -> Stmt_bb78[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb66[i0, i1] -> Stmt_bb78[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb66[1023, 1023] -> Stmt_bb78[0, 0]; Stmt_bb78[1023, 1023] -> Stmt_bb90[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb78[i0, i1] -> Stmt_bb90[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb78[1023, 1023] -> Stmt_bb90[0, 0]; Stmt_bb114[1023, 1023] -> Stmt_bb126[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb114[i0, i1] -> Stmt_bb126[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb114[1023, 1023] -> Stmt_bb126[0, 0] }
; CHECK-NEXT: WAR dependences:
; CHECK-NEXT: { Stmt_bb150[1023, 1023] -> Stmt_bb162[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb150[i0, i1] -> Stmt_bb162[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb150[1023, 1023] -> Stmt_bb162[0, 0]; Stmt_bb174[1023, 1023] -> Stmt_bb186[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb174[i0, i1] -> Stmt_bb186[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb174[1023, 1023] -> Stmt_bb186[0, 0]; Stmt_bb102[1023, 1023] -> Stmt_bb114[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb102[i0, i1] -> Stmt_bb114[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb102[1023, 1023] -> Stmt_bb114[0, 0]; Stmt_bb42[1023, 1023] -> Stmt_bb54[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb42[i0, i1] -> Stmt_bb54[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb42[1023, 1023] -> Stmt_bb54[0, 0]; Stmt_bb54[1023, 1023] -> Stmt_bb66[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb54[i0, i1] -> Stmt_bb66[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb54[1023, 1023] -> Stmt_bb66[0, 0]; Stmt_bb31[1023, 1023] -> Stmt_bb42[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb31[i0, i1] -> Stmt_bb42[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb31[1023, 1023] -> Stmt_bb42[0, 0]; Stmt_bb162[1023, 1023] -> Stmt_bb174[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb162[i0, i1] -> Stmt_bb174[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb162[1023, 1023] -> Stmt_bb174[0, 0]; Stmt_bb126[1023, 1023] -> Stmt_bb138[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb126[i0, i1] -> Stmt_bb138[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb126[1023, 1023] -> Stmt_bb138[0, 0]; Stmt_bb90[1023, 1023] -> Stmt_bb102[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb90[i0, i1] -> Stmt_bb102[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb90[1023, 1023] -> Stmt_bb102[0, 0]; Stmt_bb138[1023, 1023] -> Stmt_bb150[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb138[i0, i1] -> Stmt_bb150[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb138[1023, 1023] -> Stmt_bb150[0, 0]; Stmt_bb66[1023, 1023] -> Stmt_bb78[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb66[i0, i1] -> Stmt_bb78[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb66[1023, 1023] -> Stmt_bb78[0, 0]; Stmt_bb78[1023, 1023] -> Stmt_bb90[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb78[i0, i1] -> Stmt_bb90[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb78[1023, 1023] -> Stmt_bb90[0, 0]; Stmt_bb114[1023, 1023] -> Stmt_bb126[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb114[i0, i1] -> Stmt_bb126[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb114[1023, 1023] -> Stmt_bb126[0, 0] }
; CHECK-NEXT: WAW dependences:
; CHECK-NEXT: { Stmt_bb150[1023, 1023] -> Stmt_bb162[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb150[i0, i1] -> Stmt_bb162[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb150[1023, 1023] -> Stmt_bb162[0, 0]; Stmt_bb174[1023, 1023] -> Stmt_bb186[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb174[i0, i1] -> Stmt_bb186[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb174[1023, 1023] -> Stmt_bb186[0, 0]; Stmt_bb102[1023, 1023] -> Stmt_bb114[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb102[i0, i1] -> Stmt_bb114[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb102[1023, 1023] -> Stmt_bb114[0, 0]; Stmt_bb42[1023, 1023] -> Stmt_bb54[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb42[i0, i1] -> Stmt_bb54[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb42[1023, 1023] -> Stmt_bb54[0, 0]; Stmt_bb54[1023, 1023] -> Stmt_bb66[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb54[i0, i1] -> Stmt_bb66[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb54[1023, 1023] -> Stmt_bb66[0, 0]; Stmt_bb31[1023, 1023] -> Stmt_bb42[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb31[i0, i1] -> Stmt_bb42[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb31[1023, 1023] -> Stmt_bb42[0, 0]; Stmt_bb162[1023, 1023] -> Stmt_bb174[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb162[i0, i1] -> Stmt_bb174[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb162[1023, 1023] -> Stmt_bb174[0, 0]; Stmt_bb126[1023, 1023] -> Stmt_bb138[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb126[i0, i1] -> Stmt_bb138[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb126[1023, 1023] -> Stmt_bb138[0, 0]; Stmt_bb90[1023, 1023] -> Stmt_bb102[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb90[i0, i1] -> Stmt_bb102[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb90[1023, 1023] -> Stmt_bb102[0, 0]; Stmt_bb138[1023, 1023] -> Stmt_bb150[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb138[i0, i1] -> Stmt_bb150[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb138[1023, 1023] -> Stmt_bb150[0, 0]; Stmt_bb66[1023, 1023] -> Stmt_bb78[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb66[i0, i1] -> Stmt_bb78[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb66[1023, 1023] -> Stmt_bb78[0, 0]; Stmt_bb78[1023, 1023] -> Stmt_bb90[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb78[i0, i1] -> Stmt_bb90[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb78[1023, 1023] -> Stmt_bb90[0, 0]; Stmt_bb114[1023, 1023] -> Stmt_bb126[o0, o1] : o0 <= 1023 and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb114[i0, i1] -> Stmt_bb126[0, 0] : i0 >= 0 and 0 <= i1 <= 1048574 - 1024i0 and i1 <= 1023; Stmt_bb114[1023, 1023] -> Stmt_bb126[0, 0] }
; CHECK-NEXT: Reduction dependences:
; CHECK-NEXT: { Stmt_bb102[i0, i1] -> Stmt_bb102[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb102[i0, 1023] -> Stmt_bb102[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb90[i0, i1] -> Stmt_bb90[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb90[i0, 1023] -> Stmt_bb90[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb186[i0, i1] -> Stmt_bb186[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb186[i0, 1023] -> Stmt_bb186[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb66[i0, i1] -> Stmt_bb66[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb66[i0, 1023] -> Stmt_bb66[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb31[i0, i1] -> Stmt_bb31[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb31[i0, 1023] -> Stmt_bb31[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb138[i0, i1] -> Stmt_bb138[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb138[i0, 1023] -> Stmt_bb138[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb126[i0, i1] -> Stmt_bb126[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb126[i0, 1023] -> Stmt_bb126[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb42[i0, i1] -> Stmt_bb42[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb42[i0, 1023] -> Stmt_bb42[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb150[i0, i1] -> Stmt_bb150[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb150[i0, 1023] -> Stmt_bb150[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb78[i0, i1] -> Stmt_bb78[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb78[i0, 1023] -> Stmt_bb78[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb174[i0, i1] -> Stmt_bb174[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb174[i0, 1023] -> Stmt_bb174[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb114[i0, i1] -> Stmt_bb114[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb114[i0, 1023] -> Stmt_bb114[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb162[i0, i1] -> Stmt_bb162[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb162[i0, 1023] -> Stmt_bb162[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb54[i0, i1] -> Stmt_bb54[i0, 1 + i1] : 0 <= i0 <= 1023 and 0 <= i1 <= 1022; Stmt_bb54[i0, 1023] -> Stmt_bb54[1 + i0, 0] : 0 <= i0 <= 1022 }
; CHECK-NEXT: Transitive closure of reduction dependences:
; CHECK-NEXT: { Stmt_bb102[i0, i1] -> Stmt_bb102[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb90[i0, i1] -> Stmt_bb90[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb186[i0, i1] -> Stmt_bb186[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb66[i0, i1] -> Stmt_bb66[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb31[i0, i1] -> Stmt_bb31[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb138[i0, i1] -> Stmt_bb138[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb126[i0, i1] -> Stmt_bb126[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb42[i0, i1] -> Stmt_bb42[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb150[i0, i1] -> Stmt_bb150[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb78[i0, i1] -> Stmt_bb78[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb174[i0, i1] -> Stmt_bb174[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb114[i0, i1] -> Stmt_bb114[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb162[i0, i1] -> Stmt_bb162[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)); Stmt_bb54[i0, i1] -> Stmt_bb54[o0, o1] : 0 <= i1 <= 1023 and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and o0 >= 0 and o1 < 1024i0 + i1 - 1024o0)) }
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @manyreductions(i64* %A) {
bb:
br label %bb28
bb28: ; preds = %bb36, %bb
%i.0 = phi i64 [ 0, %bb ], [ %tmp37, %bb36 ]
%exitcond27 = icmp ne i64 %i.0, 1024
br i1 %exitcond27, label %bb29, label %bb38
bb29: ; preds = %bb28
br label %bb30
bb30: ; preds = %bb33, %bb29
%j.0 = phi i64 [ 0, %bb29 ], [ %tmp34, %bb33 ]
%exitcond26 = icmp ne i64 %j.0, 1024
br i1 %exitcond26, label %bb31, label %bb35
bb31: ; preds = %bb30
%tmp = load i64, i64* %A, align 8
%tmp32 = add nsw i64 %tmp, 42
store i64 %tmp32, i64* %A, align 8
br label %bb33
bb33: ; preds = %bb31
%tmp34 = add nuw nsw i64 %j.0, 1
br label %bb30
bb35: ; preds = %bb30
br label %bb36
bb36: ; preds = %bb35
%tmp37 = add nuw nsw i64 %i.0, 1
br label %bb28
bb38: ; preds = %bb28
br label %bb39
bb39: ; preds = %bb48, %bb38
%i1.0 = phi i64 [ 0, %bb38 ], [ %tmp49, %bb48 ]
%exitcond25 = icmp ne i64 %i1.0, 1024
br i1 %exitcond25, label %bb40, label %bb50
bb40: ; preds = %bb39
br label %bb41
bb41: ; preds = %bb45, %bb40
%j2.0 = phi i64 [ 0, %bb40 ], [ %tmp46, %bb45 ]
%exitcond24 = icmp ne i64 %j2.0, 1024
br i1 %exitcond24, label %bb42, label %bb47
bb42: ; preds = %bb41
%tmp43 = load i64, i64* %A, align 8
%tmp44 = add nsw i64 %tmp43, 42
store i64 %tmp44, i64* %A, align 8
br label %bb45
bb45: ; preds = %bb42
%tmp46 = add nuw nsw i64 %j2.0, 1
br label %bb41
bb47: ; preds = %bb41
br label %bb48
bb48: ; preds = %bb47
%tmp49 = add nuw nsw i64 %i1.0, 1
br label %bb39
bb50: ; preds = %bb39
br label %bb51
bb51: ; preds = %bb60, %bb50
%i3.0 = phi i64 [ 0, %bb50 ], [ %tmp61, %bb60 ]
%exitcond23 = icmp ne i64 %i3.0, 1024
br i1 %exitcond23, label %bb52, label %bb62
bb52: ; preds = %bb51
br label %bb53
bb53: ; preds = %bb57, %bb52
%j4.0 = phi i64 [ 0, %bb52 ], [ %tmp58, %bb57 ]
%exitcond22 = icmp ne i64 %j4.0, 1024
br i1 %exitcond22, label %bb54, label %bb59
bb54: ; preds = %bb53
%tmp55 = load i64, i64* %A, align 8
%tmp56 = add nsw i64 %tmp55, 42
store i64 %tmp56, i64* %A, align 8
br label %bb57
bb57: ; preds = %bb54
%tmp58 = add nuw nsw i64 %j4.0, 1
br label %bb53
bb59: ; preds = %bb53
br label %bb60
bb60: ; preds = %bb59
%tmp61 = add nuw nsw i64 %i3.0, 1
br label %bb51
bb62: ; preds = %bb51
br label %bb63
bb63: ; preds = %bb72, %bb62
%i5.0 = phi i64 [ 0, %bb62 ], [ %tmp73, %bb72 ]
%exitcond21 = icmp ne i64 %i5.0, 1024
br i1 %exitcond21, label %bb64, label %bb74
bb64: ; preds = %bb63
br label %bb65
bb65: ; preds = %bb69, %bb64
%j6.0 = phi i64 [ 0, %bb64 ], [ %tmp70, %bb69 ]
%exitcond20 = icmp ne i64 %j6.0, 1024
br i1 %exitcond20, label %bb66, label %bb71
bb66: ; preds = %bb65
%tmp67 = load i64, i64* %A, align 8
%tmp68 = add nsw i64 %tmp67, 42
store i64 %tmp68, i64* %A, align 8
br label %bb69
bb69: ; preds = %bb66
%tmp70 = add nuw nsw i64 %j6.0, 1
br label %bb65
bb71: ; preds = %bb65
br label %bb72
bb72: ; preds = %bb71
%tmp73 = add nuw nsw i64 %i5.0, 1
br label %bb63
bb74: ; preds = %bb63
br label %bb75
bb75: ; preds = %bb84, %bb74
%i7.0 = phi i64 [ 0, %bb74 ], [ %tmp85, %bb84 ]
%exitcond19 = icmp ne i64 %i7.0, 1024
br i1 %exitcond19, label %bb76, label %bb86
bb76: ; preds = %bb75
br label %bb77
bb77: ; preds = %bb81, %bb76
%j8.0 = phi i64 [ 0, %bb76 ], [ %tmp82, %bb81 ]
%exitcond18 = icmp ne i64 %j8.0, 1024
br i1 %exitcond18, label %bb78, label %bb83
bb78: ; preds = %bb77
%tmp79 = load i64, i64* %A, align 8
%tmp80 = add nsw i64 %tmp79, 42
store i64 %tmp80, i64* %A, align 8
br label %bb81
bb81: ; preds = %bb78
%tmp82 = add nuw nsw i64 %j8.0, 1
br label %bb77
bb83: ; preds = %bb77
br label %bb84
bb84: ; preds = %bb83
%tmp85 = add nuw nsw i64 %i7.0, 1
br label %bb75
bb86: ; preds = %bb75
br label %bb87
bb87: ; preds = %bb96, %bb86
%i9.0 = phi i64 [ 0, %bb86 ], [ %tmp97, %bb96 ]
%exitcond17 = icmp ne i64 %i9.0, 1024
br i1 %exitcond17, label %bb88, label %bb98
bb88: ; preds = %bb87
br label %bb89
bb89: ; preds = %bb93, %bb88
%j10.0 = phi i64 [ 0, %bb88 ], [ %tmp94, %bb93 ]
%exitcond16 = icmp ne i64 %j10.0, 1024
br i1 %exitcond16, label %bb90, label %bb95
bb90: ; preds = %bb89
%tmp91 = load i64, i64* %A, align 8
%tmp92 = add nsw i64 %tmp91, 42
store i64 %tmp92, i64* %A, align 8
br label %bb93
bb93: ; preds = %bb90
%tmp94 = add nuw nsw i64 %j10.0, 1
br label %bb89
bb95: ; preds = %bb89
br label %bb96
bb96: ; preds = %bb95
%tmp97 = add nuw nsw i64 %i9.0, 1
br label %bb87
bb98: ; preds = %bb87
br label %bb99
bb99: ; preds = %bb108, %bb98
%i11.0 = phi i64 [ 0, %bb98 ], [ %tmp109, %bb108 ]
%exitcond15 = icmp ne i64 %i11.0, 1024
br i1 %exitcond15, label %bb100, label %bb110
bb100: ; preds = %bb99
br label %bb101
bb101: ; preds = %bb105, %bb100
%j12.0 = phi i64 [ 0, %bb100 ], [ %tmp106, %bb105 ]
%exitcond14 = icmp ne i64 %j12.0, 1024
br i1 %exitcond14, label %bb102, label %bb107
bb102: ; preds = %bb101
%tmp103 = load i64, i64* %A, align 8
%tmp104 = add nsw i64 %tmp103, 42
store i64 %tmp104, i64* %A, align 8
br label %bb105
bb105: ; preds = %bb102
%tmp106 = add nuw nsw i64 %j12.0, 1
br label %bb101
bb107: ; preds = %bb101
br label %bb108
bb108: ; preds = %bb107
%tmp109 = add nuw nsw i64 %i11.0, 1
br label %bb99
bb110: ; preds = %bb99
br label %bb111
bb111: ; preds = %bb120, %bb110
%i13.0 = phi i64 [ 0, %bb110 ], [ %tmp121, %bb120 ]
%exitcond13 = icmp ne i64 %i13.0, 1024
br i1 %exitcond13, label %bb112, label %bb122
bb112: ; preds = %bb111
br label %bb113
bb113: ; preds = %bb117, %bb112
%j14.0 = phi i64 [ 0, %bb112 ], [ %tmp118, %bb117 ]
%exitcond12 = icmp ne i64 %j14.0, 1024
br i1 %exitcond12, label %bb114, label %bb119
bb114: ; preds = %bb113
%tmp115 = load i64, i64* %A, align 8
%tmp116 = add nsw i64 %tmp115, 42
store i64 %tmp116, i64* %A, align 8
br label %bb117
bb117: ; preds = %bb114
%tmp118 = add nuw nsw i64 %j14.0, 1
br label %bb113
bb119: ; preds = %bb113
br label %bb120
bb120: ; preds = %bb119
%tmp121 = add nuw nsw i64 %i13.0, 1
br label %bb111
bb122: ; preds = %bb111
br label %bb123
bb123: ; preds = %bb132, %bb122
%i15.0 = phi i64 [ 0, %bb122 ], [ %tmp133, %bb132 ]
%exitcond11 = icmp ne i64 %i15.0, 1024
br i1 %exitcond11, label %bb124, label %bb134
bb124: ; preds = %bb123
br label %bb125
bb125: ; preds = %bb129, %bb124
%j16.0 = phi i64 [ 0, %bb124 ], [ %tmp130, %bb129 ]
%exitcond10 = icmp ne i64 %j16.0, 1024
br i1 %exitcond10, label %bb126, label %bb131
bb126: ; preds = %bb125
%tmp127 = load i64, i64* %A, align 8
%tmp128 = add nsw i64 %tmp127, 42
store i64 %tmp128, i64* %A, align 8
br label %bb129
bb129: ; preds = %bb126
%tmp130 = add nuw nsw i64 %j16.0, 1
br label %bb125
bb131: ; preds = %bb125
br label %bb132
bb132: ; preds = %bb131
%tmp133 = add nuw nsw i64 %i15.0, 1
br label %bb123
bb134: ; preds = %bb123
br label %bb135
bb135: ; preds = %bb144, %bb134
%i17.0 = phi i64 [ 0, %bb134 ], [ %tmp145, %bb144 ]
%exitcond9 = icmp ne i64 %i17.0, 1024
br i1 %exitcond9, label %bb136, label %bb146
bb136: ; preds = %bb135
br label %bb137
bb137: ; preds = %bb141, %bb136
%j18.0 = phi i64 [ 0, %bb136 ], [ %tmp142, %bb141 ]
%exitcond8 = icmp ne i64 %j18.0, 1024
br i1 %exitcond8, label %bb138, label %bb143
bb138: ; preds = %bb137
%tmp139 = load i64, i64* %A, align 8
%tmp140 = add nsw i64 %tmp139, 42
store i64 %tmp140, i64* %A, align 8
br label %bb141
bb141: ; preds = %bb138
%tmp142 = add nuw nsw i64 %j18.0, 1
br label %bb137
bb143: ; preds = %bb137
br label %bb144
bb144: ; preds = %bb143
%tmp145 = add nuw nsw i64 %i17.0, 1
br label %bb135
bb146: ; preds = %bb135
br label %bb147
bb147: ; preds = %bb156, %bb146
%i19.0 = phi i64 [ 0, %bb146 ], [ %tmp157, %bb156 ]
%exitcond7 = icmp ne i64 %i19.0, 1024
br i1 %exitcond7, label %bb148, label %bb158
bb148: ; preds = %bb147
br label %bb149
bb149: ; preds = %bb153, %bb148
%j20.0 = phi i64 [ 0, %bb148 ], [ %tmp154, %bb153 ]
%exitcond6 = icmp ne i64 %j20.0, 1024
br i1 %exitcond6, label %bb150, label %bb155
bb150: ; preds = %bb149
%tmp151 = load i64, i64* %A, align 8
%tmp152 = add nsw i64 %tmp151, 42
store i64 %tmp152, i64* %A, align 8
br label %bb153
bb153: ; preds = %bb150
%tmp154 = add nuw nsw i64 %j20.0, 1
br label %bb149
bb155: ; preds = %bb149
br label %bb156
bb156: ; preds = %bb155
%tmp157 = add nuw nsw i64 %i19.0, 1
br label %bb147
bb158: ; preds = %bb147
br label %bb159
bb159: ; preds = %bb168, %bb158
%i21.0 = phi i64 [ 0, %bb158 ], [ %tmp169, %bb168 ]
%exitcond5 = icmp ne i64 %i21.0, 1024
br i1 %exitcond5, label %bb160, label %bb170
bb160: ; preds = %bb159
br label %bb161
bb161: ; preds = %bb165, %bb160
%j22.0 = phi i64 [ 0, %bb160 ], [ %tmp166, %bb165 ]
%exitcond4 = icmp ne i64 %j22.0, 1024
br i1 %exitcond4, label %bb162, label %bb167
bb162: ; preds = %bb161
%tmp163 = load i64, i64* %A, align 8
%tmp164 = add nsw i64 %tmp163, 42
store i64 %tmp164, i64* %A, align 8
br label %bb165
bb165: ; preds = %bb162
%tmp166 = add nuw nsw i64 %j22.0, 1
br label %bb161
bb167: ; preds = %bb161
br label %bb168
bb168: ; preds = %bb167
%tmp169 = add nuw nsw i64 %i21.0, 1
br label %bb159
bb170: ; preds = %bb159
br label %bb171
bb171: ; preds = %bb180, %bb170
%i23.0 = phi i64 [ 0, %bb170 ], [ %tmp181, %bb180 ]
%exitcond3 = icmp ne i64 %i23.0, 1024
br i1 %exitcond3, label %bb172, label %bb182
bb172: ; preds = %bb171
br label %bb173
bb173: ; preds = %bb177, %bb172
%j24.0 = phi i64 [ 0, %bb172 ], [ %tmp178, %bb177 ]
%exitcond2 = icmp ne i64 %j24.0, 1024
br i1 %exitcond2, label %bb174, label %bb179
bb174: ; preds = %bb173
%tmp175 = load i64, i64* %A, align 8
%tmp176 = add nsw i64 %tmp175, 42
store i64 %tmp176, i64* %A, align 8
br label %bb177
bb177: ; preds = %bb174
%tmp178 = add nuw nsw i64 %j24.0, 1
br label %bb173
bb179: ; preds = %bb173
br label %bb180
bb180: ; preds = %bb179
%tmp181 = add nuw nsw i64 %i23.0, 1
br label %bb171
bb182: ; preds = %bb171
br label %bb183
bb183: ; preds = %bb192, %bb182
%i25.0 = phi i64 [ 0, %bb182 ], [ %tmp193, %bb192 ]
%exitcond1 = icmp ne i64 %i25.0, 1024
br i1 %exitcond1, label %bb184, label %bb194
bb184: ; preds = %bb183
br label %bb185
bb185: ; preds = %bb189, %bb184
%j26.0 = phi i64 [ 0, %bb184 ], [ %tmp190, %bb189 ]
%exitcond = icmp ne i64 %j26.0, 1024
br i1 %exitcond, label %bb186, label %bb191
bb186: ; preds = %bb185
%tmp187 = load i64, i64* %A, align 8
%tmp188 = add nsw i64 %tmp187, 42
store i64 %tmp188, i64* %A, align 8
br label %bb189
bb189: ; preds = %bb186
%tmp190 = add nuw nsw i64 %j26.0, 1
br label %bb185
bb191: ; preds = %bb185
br label %bb192
bb192: ; preds = %bb191
%tmp193 = add nuw nsw i64 %i25.0, 1
br label %bb183
bb194: ; preds = %bb183
ret void
}
|
