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

Changeset View

Standalone View

View Options

test/Analysis/DependenceAnalysis/Propagating.ll

Show First 20 Lines • Show All 60 Lines • ▼ Show 20 Line(s)
61;; A[j - i][i + 1][j + k] = i; 61​;; A[j - i][i + 1][j + k] = i;
62;; *B++ = A[j - i][i][j + k]; 62​;; *B++ = A[j - i][i][j + k];
63 63​
64define void @prop1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 64​define void @prop1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
65entry: 65​entry:
66 br label %for.cond1.preheader 66​ br label %for.cond1.preheader
67 67​
68; CHECK-LABEL: prop1 68​; CHECK-LABEL: prop1
69; CHECK: da analyze - output [* * *]! 69​; CHECK: da analyze - none!
70; CHECK: da analyze - flow [<> <> *]! 70​; CHECK: da analyze - flow [<> <> *]!
71; CHECK: da analyze - confused! 71​; CHECK: da analyze - confused!
72; CHECK: da analyze - input [* * *]! 72​; CHECK: da analyze - none!
73; CHECK: da analyze - confused! 73​; CHECK: da analyze - confused!
74; CHECK: da analyze - none! 74​; CHECK: da analyze - none!
75 75​
76for.cond1.preheader: ; preds = %entry, %for.inc18 76​for.cond1.preheader: ; preds = %entry, %for.inc18
77 %B.addr.06 = phi i32* [ %B, %entry ], [ %scevgep7, %for.inc18 ] 77​ %B.addr.06 = phi i32* [ %B, %entry ], [ %scevgep7, %for.inc18 ]
78 %i.05 = phi i64 [ 0, %entry ], [ %inc19, %for.inc18 ] 78​ %i.05 = phi i64 [ 0, %entry ], [ %inc19, %for.inc18 ]
79 br label %for.cond4.preheader 79​ br label %for.cond4.preheader
80 80​
▲ Show 20 Lines • Show All 94 Lines • ▼ Show 20 Line(s)
175;; A[i][2*j + i] = i; 175​;; A[i][2*j + i] = i;
176;; *B++ = A[i][2*j - i + 5]; 176​;; *B++ = A[i][2*j - i + 5];
177 177​
178define void @prop3([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 178​define void @prop3([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
179entry: 179​entry:
180 br label %for.cond1.preheader 180​ br label %for.cond1.preheader
181 181​
182; CHECK-LABEL: prop3 182​; CHECK-LABEL: prop3
183; CHECK: da analyze - output [* *]! 183​; CHECK: da analyze - none!
184; CHECK: da analyze - flow [<> *]! 184​; CHECK: da analyze - flow [<> *]!
185; CHECK: da analyze - confused! 185​; CHECK: da analyze - confused!
186; CHECK: da analyze - input [* *]! 186​; CHECK: da analyze - none!
187; CHECK: da analyze - confused! 187​; CHECK: da analyze - confused!
188; CHECK: da analyze - none! 188​; CHECK: da analyze - none!
189 189​
190for.cond1.preheader: ; preds = %entry, %for.inc9 190​for.cond1.preheader: ; preds = %entry, %for.inc9
191 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc9 ] 191​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc9 ]
192 %i.03 = phi i64 [ 0, %entry ], [ %inc10, %for.inc9 ] 192​ %i.03 = phi i64 [ 0, %entry ], [ %inc10, %for.inc9 ]
193 br label %for.body3 193​ br label %for.body3
194 194​
▲ Show 20 Lines • Show All 249 Lines • ▼ Show 20 Line(s)
444;; A[4][j + 2] = i; 444​;; A[4][j + 2] = i;
445;; *B++ = A[-2*i + 4][5*i + j]; 445​;; *B++ = A[-2*i + 4][5*i + j];
446 446​
447define void @prop8([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 447​define void @prop8([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
448entry: 448​entry:
449 br label %for.cond1.preheader 449​ br label %for.cond1.preheader
450 450​
451; CHECK-LABEL: prop8 451​; CHECK-LABEL: prop8
452; CHECK: da analyze - consistent output [S 0]! 452​; CHECK: da analyze - none!
453; CHECK: da analyze - flow [=> <]! 453​; CHECK: da analyze - flow [=> <]!
454; CHECK: da analyze - confused! 454​; CHECK: da analyze - confused!
455; CHECK: da analyze - none! 455​; CHECK: da analyze - none!
456; CHECK: da analyze - confused! 456​; CHECK: da analyze - confused!
457; CHECK: da analyze - none! 457​; CHECK: da analyze - none!
458 458​
459for.cond1.preheader: ; preds = %entry, %for.inc10 459​for.cond1.preheader: ; preds = %entry, %for.inc10
460 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc10 ] 460​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc10 ]
Show All 38 Lines
499define void @prop9([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 499​define void @prop9([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
500entry: 500​entry:
501 br label %for.cond1.preheader 501​ br label %for.cond1.preheader
502 502​
503; CHECK-LABEL: prop9 503​; CHECK-LABEL: prop9
504; CHECK: da analyze - none! 504​; CHECK: da analyze - none!
505; CHECK: da analyze - flow [<= <]! 505​; CHECK: da analyze - flow [<= <]!
506; CHECK: da analyze - confused! 506​; CHECK: da analyze - confused!
507; CHECK: da analyze - consistent input [S 0]! 507​; CHECK: da analyze - none!
508; CHECK: da analyze - confused! 508​; CHECK: da analyze - confused!
509; CHECK: da analyze - none! 509​; CHECK: da analyze - none!
510 510​
511for.cond1.preheader: ; preds = %entry, %for.inc10 511​for.cond1.preheader: ; preds = %entry, %for.inc10
512 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc10 ] 512​ %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc10 ]
513 %i.03 = phi i64 [ 0, %entry ], [ %inc11, %for.inc10 ] 513​ %i.03 = phi i64 [ 0, %entry ], [ %inc11, %for.inc10 ]
514 br label %for.body3 514​ br label %for.body3
515 515​
Show All 28 Lines