Page MenuHomePhabricator
Differential D46201 Diff 149977 test/Analysis/DependenceAnalysis/GCD.ll

Changeset View

Standalone View

View Options

test/Analysis/DependenceAnalysis/GCD.ll

Show All 9 Lines
10;; A[2*i - 4*j] = i; 10​;; A[2*i - 4*j] = i;
11;; *B++ = A[6*i + 8*j]; 11​;; *B++ = A[6*i + 8*j];
12 12​
13define void @gcd0(i32* %A, i32* %B) nounwind uwtable ssp { 13​define void @gcd0(i32* %A, i32* %B) nounwind uwtable ssp {
14entry: 14​entry:
15 br label %for.cond1.preheader 15​ br label %for.cond1.preheader
16 16​
17; DELIN-LABEL: gcd0 17​; DELIN-LABEL: gcd0
18; DELIN: da analyze - output [* *]! 18​; DELIN: da analyze - none!
19; DELIN: da analyze - flow [=> *|<]! 19​; DELIN: da analyze - flow [=> *|<]!
20; DELIN: da analyze - confused! 20​; DELIN: da analyze - confused!
21; DELIN: da analyze - input [* *]! 21​; DELIN: da analyze - none!
22; DELIN: da analyze - confused! 22​; DELIN: da analyze - confused!
23; DELIN: da analyze - none! 23​; DELIN: da analyze - none!
24 24​
25for.cond1.preheader: ; preds = %entry, %for.inc8 25​for.cond1.preheader: ; preds = %entry, %for.inc8
26 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc8 ] 26​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc8 ]
27 %i.03 = phi i64 [ 0, %entry ], [ %inc9, %for.inc8 ] 27​ %i.03 = phi i64 [ 0, %entry ], [ %inc9, %for.inc8 ]
28 br label %for.body3 28​ br label %for.body3
29 29​
Show All 33 Lines
63;; A[2*i - 4*j] = i; 63​;; A[2*i - 4*j] = i;
64;; *B++ = A[6*i + 8*j + 1]; 64​;; *B++ = A[6*i + 8*j + 1];
65 65​
66define void @gcd1(i32* %A, i32* %B) nounwind uwtable ssp { 66​define void @gcd1(i32* %A, i32* %B) nounwind uwtable ssp {
67entry: 67​entry:
68 br label %for.cond1.preheader 68​ br label %for.cond1.preheader
69 69​
70; DELIN-LABEL: gcd1 70​; DELIN-LABEL: gcd1
71; DELIN: da analyze - output [* *]! 71​; DELIN: da analyze - none!
72; DELIN: da analyze - none! 72​; DELIN: da analyze - none!
73; DELIN: da analyze - confused! 73​; DELIN: da analyze - confused!
74; DELIN: da analyze - input [* *]! 74​; DELIN: da analyze - none!
75; DELIN: da analyze - confused! 75​; DELIN: da analyze - confused!
76; DELIN: da analyze - none! 76​; DELIN: da analyze - none!
77 77​
78for.cond1.preheader: ; preds = %entry, %for.inc9 78​for.cond1.preheader: ; preds = %entry, %for.inc9
79 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc9 ] 79​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc9 ]
80 %i.03 = phi i64 [ 0, %entry ], [ %inc10, %for.inc9 ] 80​ %i.03 = phi i64 [ 0, %entry ], [ %inc10, %for.inc9 ]
81 br label %for.body3 81​ br label %for.body3
82 82​
Show All 34 Lines
117;; A[2*i - 4*j + 1] = i; 117​;; A[2*i - 4*j + 1] = i;
118;; *B++ = A[6*i + 8*j]; 118​;; *B++ = A[6*i + 8*j];
119 119​
120define void @gcd2(i32* %A, i32* %B) nounwind uwtable ssp { 120​define void @gcd2(i32* %A, i32* %B) nounwind uwtable ssp {
121entry: 121​entry:
122 br label %for.cond1.preheader 122​ br label %for.cond1.preheader
123 123​
124; DELIN-LABEL: gcd2 124​; DELIN-LABEL: gcd2
125; DELIN: da analyze - output [* *]! 125​; DELIN: da analyze - none!
126; DELIN: da analyze - none! 126​; DELIN: da analyze - none!
127; DELIN: da analyze - confused! 127​; DELIN: da analyze - confused!
128; DELIN: da analyze - input [* *]! 128​; DELIN: da analyze - none!
129; DELIN: da analyze - confused! 129​; DELIN: da analyze - confused!
130; DELIN: da analyze - none! 130​; DELIN: da analyze - none!
131 131​
132for.cond1.preheader: ; preds = %entry, %for.inc9 132​for.cond1.preheader: ; preds = %entry, %for.inc9
133 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc9 ] 133​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc9 ]
134 %i.03 = phi i64 [ 0, %entry ], [ %inc10, %for.inc9 ] 134​ %i.03 = phi i64 [ 0, %entry ], [ %inc10, %for.inc9 ]
135 br label %for.body3 135​ br label %for.body3
136 136​
Show All 34 Lines
171;; A[i + 2*j] = i; 171​;; A[i + 2*j] = i;
172;; *B++ = A[i + 2*j - 1]; 172​;; *B++ = A[i + 2*j - 1];
173 173​
174define void @gcd3(i32* %A, i32* %B) nounwind uwtable ssp { 174​define void @gcd3(i32* %A, i32* %B) nounwind uwtable ssp {
175entry: 175​entry:
176 br label %for.cond1.preheader 176​ br label %for.cond1.preheader
177 177​
178; DELIN-LABEL: gcd3 178​; DELIN-LABEL: gcd3
179; DELIN: da analyze - output [* *]! 179​; DELIN: da analyze - none!
180; DELIN: da analyze - flow [<> *]! 180​; DELIN: da analyze - flow [<> *]!
181; DELIN: da analyze - confused! 181​; DELIN: da analyze - confused!
182; DELIN: da analyze - input [* *]! 182​; DELIN: da analyze - none!
183; DELIN: da analyze - confused! 183​; DELIN: da analyze - confused!
184; DELIN: da analyze - none! 184​; DELIN: da analyze - none!
185 185​
186for.cond1.preheader: ; preds = %entry, %for.inc7 186​for.cond1.preheader: ; preds = %entry, %for.inc7
187 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc7 ] 187​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc7 ]
188 %i.03 = phi i64 [ 0, %entry ], [ %inc8, %for.inc7 ] 188​ %i.03 = phi i64 [ 0, %entry ], [ %inc8, %for.inc7 ]
189 br label %for.body3 189​ br label %for.body3
190 190​
▲ Show 20 Lines • Show All 162 Lines • ▼ Show 20 Line(s)351entry:
353 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end12 353​ br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end12
354 354​
355; DELIN-LABEL: gcd6 355​; DELIN-LABEL: gcd6
356; DELIN: da analyze - none! 356​; DELIN: da analyze - none!
357; DELIN: da analyze - none! 357​; DELIN: da analyze - none!
358; DELIN: da analyze - confused! 358​; DELIN: da analyze - confused!
359; DELIN: da analyze - none! 359​; DELIN: da analyze - none!
360; DELIN: da analyze - confused! 360​; DELIN: da analyze - confused!
361; DELIN: da analyze - output [* *]! 361​; DELIN: da analyze - none!
362 362​
363for.cond1.preheader.preheader: ; preds = %entry 363​for.cond1.preheader.preheader: ; preds = %entry
364 br label %for.cond1.preheader 364​ br label %for.cond1.preheader
365 365​
366for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc10 366​for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc10
367 %i.06 = phi i64 [ %inc11, %for.inc10 ], [ 0, %for.cond1.preheader.preheader ] 367​ %i.06 = phi i64 [ %inc11, %for.inc10 ], [ 0, %for.cond1.preheader.preheader ]
368 %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc10 ], [ %B, %for.cond1.preheader.preheader ] 368​ %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc10 ], [ %B, %for.cond1.preheader.preheader ]
369 %cmp21 = icmp sgt i64 %n, 0 369​ %cmp21 = icmp sgt i64 %n, 0
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Line(s)
420 420​
421define void @gcd7(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp { 421​define void @gcd7(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp {
422entry: 422​entry:
423 %0 = zext i32 %n to i64 423​ %0 = zext i32 %n to i64
424 %cmp4 = icmp sgt i32 %n, 0 424​ %cmp4 = icmp sgt i32 %n, 0
425 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end15 425​ br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end15
426 426​
427; DELIN-LABEL: gcd7 427​; DELIN-LABEL: gcd7
428; DELIN: da analyze - output [* *]! 428​; DELIN: da analyze - none!
429; DELIN: da analyze - flow [* *|<]! 429​; DELIN: da analyze - flow [* *|<]!
430; DELIN: da analyze - confused! 430​; DELIN: da analyze - confused!
431; DELIN: da analyze - input [* *]! 431​; DELIN: da analyze - none!
432; DELIN: da analyze - confused! 432​; DELIN: da analyze - confused!
433; DELIN: da analyze - output [* *]! 433​; DELIN: da analyze - none!
434 434​
435for.cond1.preheader.preheader: ; preds = %entry 435​for.cond1.preheader.preheader: ; preds = %entry
436 br label %for.cond1.preheader 436​ br label %for.cond1.preheader
437 437​
438for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc13 438​for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc13
439 %indvars.iv8 = phi i64 [ 0, %for.cond1.preheader.preheader ], [ %indvars.iv.next9, %for.inc13 ] 439​ %indvars.iv8 = phi i64 [ 0, %for.cond1.preheader.preheader ], [ %indvars.iv.next9, %for.inc13 ]
440 %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc13 ], [ %B, %for.cond1.preheader.preheader ] 440​ %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc13 ], [ %B, %for.cond1.preheader.preheader ]
441 %1 = add i32 %n, -1 441​ %1 = add i32 %n, -1
▲ Show 20 Lines • Show All 62 Lines • ▼ Show 20 Line(s)
504;; *B++ = A[n*8*i + 6*j + 1]; 504​;; *B++ = A[n*8*i + 6*j + 1];
505 505​
506define void @gcd8(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp { 506​define void @gcd8(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp {
507entry: 507​entry:
508 %cmp4 = icmp sgt i32 %n, 0 508​ %cmp4 = icmp sgt i32 %n, 0
509 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end15 509​ br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end15
510 510​
511; DELIN-LABEL: gcd8 511​; DELIN-LABEL: gcd8
512; DELIN: da analyze - output [* *]! 512​; DELIN: da analyze - none!
513; DELIN: da analyze - flow [* *|<]! 513​; DELIN: da analyze - flow [* *|<]!
514; DELIN: da analyze - confused! 514​; DELIN: da analyze - confused!
515; DELIN: da analyze - input [* *]! 515​; DELIN: da analyze - none!
516; DELIN: da analyze - confused! 516​; DELIN: da analyze - confused!
517; DELIN: da analyze - output [* *]! 517​; DELIN: da analyze - none!
518 518​
519for.cond1.preheader.preheader: ; preds = %entry 519​for.cond1.preheader.preheader: ; preds = %entry
520 br label %for.cond1.preheader 520​ br label %for.cond1.preheader
521 521​
522for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc13 522​for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc13
523 %i.06 = phi i32 [ %inc14, %for.inc13 ], [ 0, %for.cond1.preheader.preheader ] 523​ %i.06 = phi i32 [ %inc14, %for.inc13 ], [ 0, %for.cond1.preheader.preheader ]
524 %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc13 ], [ %B, %for.cond1.preheader.preheader ] 524​ %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc13 ], [ %B, %for.cond1.preheader.preheader ]
525 %0 = add i32 %n, -1 525​ %0 = add i32 %n, -1
▲ Show 20 Lines • Show All 57 Lines • ▼ Show 20 Line(s)
583 583​
584define void @gcd9(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp { 584​define void @gcd9(i32 %n, i32* %A, i32* %B) nounwind uwtable ssp {
585entry: 585​entry:
586 %0 = zext i32 %n to i64 586​ %0 = zext i32 %n to i64
587 %cmp4 = icmp eq i32 %n, 0 587​ %cmp4 = icmp eq i32 %n, 0
588 br i1 %cmp4, label %for.end15, label %for.cond1.preheader.preheader 588​ br i1 %cmp4, label %for.end15, label %for.cond1.preheader.preheader
589 589​
590; DELIN-LABEL: gcd9 590​; DELIN-LABEL: gcd9
591; DELIN: da analyze - output [* *]! 591​; DELIN: da analyze - none!
592; DELIN: da analyze - flow [* *|<]! 592​; DELIN: da analyze - flow [* *|<]!
593; DELIN: da analyze - confused! 593​; DELIN: da analyze - confused!
594; DELIN: da analyze - input [* *]! 594​; DELIN: da analyze - none!
595; DELIN: da analyze - confused! 595​; DELIN: da analyze - confused!
596; DELIN: da analyze - output [* *]! 596​; DELIN: da analyze - none!
597 597​
598for.cond1.preheader.preheader: ; preds = %entry 598​for.cond1.preheader.preheader: ; preds = %entry
599 br label %for.cond1.preheader 599​ br label %for.cond1.preheader
600 600​
601for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc13 601​for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc13
602 %indvars.iv8 = phi i64 [ 0, %for.cond1.preheader.preheader ], [ %indvars.iv.next9, %for.inc13 ] 602​ %indvars.iv8 = phi i64 [ 0, %for.cond1.preheader.preheader ], [ %indvars.iv.next9, %for.inc13 ]
603 %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc13 ], [ %B, %for.cond1.preheader.preheader ] 603​ %B.addr.05 = phi i32* [ %B.addr.1.lcssa, %for.inc13 ], [ %B, %for.cond1.preheader.preheader ]
604 %1 = add i32 %n, -1 604​ %1 = add i32 %n, -1
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines