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

Changeset View

Standalone View

View Options

test/Analysis/DependenceAnalysis/Separability.ll

Show All 13 Lines
14 14​
15define void @sep0([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 15​define void @sep0([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
16entry: 16​entry:
17 br label %for.cond1.preheader 17​ br label %for.cond1.preheader
18 18​
19; CHECK: da analyze - output [= * * S]! 19​; CHECK: da analyze - output [= * * S]!
20; CHECK: da analyze - flow [* * * *|<]! 20​; CHECK: da analyze - flow [* * * *|<]!
21; CHECK: da analyze - confused! 21​; CHECK: da analyze - confused!
22; CHECK: da analyze - input [* * S *]! 22​; CHECK: da analyze - none!
23; CHECK: da analyze - confused! 23​; CHECK: da analyze - confused!
24; CHECK: da analyze - none! 24​; CHECK: da analyze - none!
25 25​
26for.cond1.preheader: ; preds = %entry, %for.inc22 26​for.cond1.preheader: ; preds = %entry, %for.inc22
27 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc22 ] 27​ %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc22 ]
28 %i.07 = phi i64 [ 0, %entry ], [ %inc23, %for.inc22 ] 28​ %i.07 = phi i64 [ 0, %entry ], [ %inc23, %for.inc22 ]
29 br label %for.cond4.preheader 29​ br label %for.cond4.preheader
30 30​
▲ Show 20 Lines • Show All 58 Lines • ▼ Show 20 Line(s)
89 89​
90define void @sep1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 90​define void @sep1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
91entry: 91​entry:
92 br label %for.cond1.preheader 92​ br label %for.cond1.preheader
93 93​
94; CHECK: da analyze - output [= * * S]! 94​; CHECK: da analyze - output [= * * S]!
95; CHECK: da analyze - flow [* * * *|<]! 95​; CHECK: da analyze - flow [* * * *|<]!
96; CHECK: da analyze - confused! 96​; CHECK: da analyze - confused!
97; CHECK: da analyze - input [* * S *]! 97​; CHECK: da analyze - none!
98; CHECK: da analyze - confused! 98​; CHECK: da analyze - confused!
99; CHECK: da analyze - none! 99​; CHECK: da analyze - none!
100 100​
101for.cond1.preheader: ; preds = %entry, %for.inc22 101​for.cond1.preheader: ; preds = %entry, %for.inc22
102 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc22 ] 102​ %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc22 ]
103 %i.07 = phi i64 [ 0, %entry ], [ %inc23, %for.inc22 ] 103​ %i.07 = phi i64 [ 0, %entry ], [ %inc23, %for.inc22 ]
104 br label %for.cond4.preheader 104​ br label %for.cond4.preheader
105 105​
▲ Show 20 Lines • Show All 54 Lines • ▼ Show 20 Line(s)
160;; for (long int l = 0; l < 50; l++) { 160​;; for (long int l = 0; l < 50; l++) {
161;; A[i][i][i + k][l] = i; 161​;; A[i][i][i + k][l] = i;
162;; *B++ = A[10][i + 10][j + k][l + 10]; 162​;; *B++ = A[10][i + 10][j + k][l + 10];
163 163​
164define void @sep2([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 164​define void @sep2([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
165entry: 165​entry:
166 br label %for.cond1.preheader 166​ br label %for.cond1.preheader
167 167​
168; CHECK: da analyze - output [= S = =]! 168​; CHECK: da analyze - none!
169; CHECK: da analyze - flow [* * * <>]! 169​; CHECK: da analyze - flow [* * * <>]!
170; CHECK: da analyze - confused! 170​; CHECK: da analyze - confused!
171; CHECK: da analyze - input [= * * *]! 171​; CHECK: da analyze - none!
172; CHECK: da analyze - confused! 172​; CHECK: da analyze - confused!
173; CHECK: da analyze - none! 173​; CHECK: da analyze - none!
174 174​
175for.cond1.preheader: ; preds = %entry, %for.inc26 175​for.cond1.preheader: ; preds = %entry, %for.inc26
176 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc26 ] 176​ %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc26 ]
177 %i.07 = phi i64 [ 0, %entry ], [ %inc27, %for.inc26 ] 177​ %i.07 = phi i64 [ 0, %entry ], [ %inc27, %for.inc26 ]
178 br label %for.cond4.preheader 178​ br label %for.cond4.preheader
179 179​
▲ Show 20 Lines • Show All 54 Lines • ▼ Show 20 Line(s)
234;; for (long int l = 0; l < 50; l++) { 234​;; for (long int l = 0; l < 50; l++) {
235;; A[i][i][i + k][l + k] = i; 235​;; A[i][i][i + k][l + k] = i;
236;; *B++ = A[10][i + 10][j + k][l + 10]; 236​;; *B++ = A[10][i + 10][j + k][l + 10];
237 237​
238define void @sep3([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwtable ssp { 238​define void @sep3([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwtable ssp {
239entry: 239​entry:
240 br label %for.cond1.preheader 240​ br label %for.cond1.preheader
241 241​
242; CHECK: da analyze - output [= S = =]! 242​; CHECK: da analyze - none!
243; CHECK: da analyze - flow [* * * *|<]! 243​; CHECK: da analyze - flow [* * * *|<]!
244; CHECK: da analyze - confused! 244​; CHECK: da analyze - confused!
245; CHECK: da analyze - input [= * * *]! 245​; CHECK: da analyze - none!
246; CHECK: da analyze - confused! 246​; CHECK: da analyze - confused!
247; CHECK: da analyze - none! 247​; CHECK: da analyze - none!
248 248​
249for.cond1.preheader: ; preds = %entry, %for.inc27 249​for.cond1.preheader: ; preds = %entry, %for.inc27
250 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc27 ] 250​ %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc27 ]
251 %i.07 = phi i64 [ 0, %entry ], [ %inc28, %for.inc27 ] 251​ %i.07 = phi i64 [ 0, %entry ], [ %inc28, %for.inc27 ]
252 br label %for.cond4.preheader 252​ br label %for.cond4.preheader
253 253​
▲ Show 20 Lines • Show All 50 Lines • Show Last 20 Lines