Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/DependenceAnalysis/Preliminary.ll
| Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Lines | |||||
| ;; *B++ = A[i + 3][j + 2][k + 1]; | ;; *B++ = A[i + 3][j + 2][k + 1]; | ||||
| define void @p2(i64 %n, [100 x [100 x i64]]* %A, i64* %B) nounwind uwtable ssp { | define void @p2(i64 %n, [100 x [100 x i64]]* %A, i64* %B) nounwind uwtable ssp { | ||||
| entry: | entry: | ||||
| %cmp10 = icmp sgt i64 %n, 0 | %cmp10 = icmp sgt i64 %n, 0 | ||||
| br i1 %cmp10, label %for.cond1.preheader.preheader, label %for.end26 | br i1 %cmp10, label %for.cond1.preheader.preheader, label %for.end26 | ||||
| ; CHECK-LABEL: p2 | ; CHECK-LABEL: p2 | ||||
| ; CHECK: da analyze - output [* * *]! | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - flow [* *|<]! | ; CHECK: da analyze - flow [* *|<]! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - input [* * *]! | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - output [* * *]! | ; CHECK: da analyze - none! | ||||
| for.cond1.preheader.preheader: ; preds = %entry | for.cond1.preheader.preheader: ; preds = %entry | ||||
| br label %for.cond1.preheader | br label %for.cond1.preheader | ||||
| for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc24 | for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc24 | ||||
| %B.addr.012 = phi i64* [ %B.addr.1.lcssa, %for.inc24 ], [ %B, %for.cond1.preheader.preheader ] | %B.addr.012 = phi i64* [ %B.addr.1.lcssa, %for.inc24 ], [ %B, %for.cond1.preheader.preheader ] | ||||
| %i.011 = phi i64 [ %inc25, %for.inc24 ], [ 0, %for.cond1.preheader.preheader ] | %i.011 = phi i64 [ %inc25, %for.inc24 ], [ 0, %for.cond1.preheader.preheader ] | ||||
| %cmp26 = icmp sgt i64 %n, 0 | %cmp26 = icmp sgt i64 %n, 0 | ||||
| ▲ Show 20 Lines • Show All 351 Lines • ▼ Show 20 Lines | |||||
| ;; *B++ = A[i]; | ;; *B++ = A[i]; | ||||
| define void @p4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | define void @p4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | ||||
| entry: | entry: | ||||
| %cmp1 = icmp sgt i64 %n, 0 | %cmp1 = icmp sgt i64 %n, 0 | ||||
| br i1 %cmp1, label %for.body.preheader, label %for.end | br i1 %cmp1, label %for.body.preheader, label %for.end | ||||
| ; CHECK-LABEL: p4 | ; CHECK-LABEL: p4 | ||||
| ; CHECK: da analyze - output [*]! | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - flow [*|<]! | ; CHECK: da analyze - flow [*|<]! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - input [*]! | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - none! | ; CHECK: da analyze - none! | ||||
| for.body.preheader: ; preds = %entry | for.body.preheader: ; preds = %entry | ||||
| br label %for.body | br label %for.body | ||||
| for.body: ; preds = %for.body.preheader, %for.body | for.body: ; preds = %for.body.preheader, %for.body | ||||
| %i.03 = phi i8 [ %inc, %for.body ], [ 0, %for.body.preheader ] | %i.03 = phi i8 [ %inc, %for.body ], [ 0, %for.body.preheader ] | ||||
| Show All 27 Lines | |||||
| ;; *B++ = A[i]; | ;; *B++ = A[i]; | ||||
| define void @p5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | define void @p5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | ||||
| entry: | entry: | ||||
| %cmp1 = icmp sgt i64 %n, 0 | %cmp1 = icmp sgt i64 %n, 0 | ||||
| br i1 %cmp1, label %for.body.preheader, label %for.end | br i1 %cmp1, label %for.body.preheader, label %for.end | ||||
| ; CHECK-LABEL: p5 | ; CHECK-LABEL: p5 | ||||
| ; CHECK: da analyze - output [*]! | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - flow [*|<]! | ; CHECK: da analyze - flow [*|<]! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - input [*]! | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - none! | ; CHECK: da analyze - none! | ||||
| for.body.preheader: ; preds = %entry | for.body.preheader: ; preds = %entry | ||||
| br label %for.body | br label %for.body | ||||
| for.body: ; preds = %for.body.preheader, %for.body | for.body: ; preds = %for.body.preheader, %for.body | ||||
| %i.03 = phi i16 [ %inc, %for.body ], [ 0, %for.body.preheader ] | %i.03 = phi i16 [ %inc, %for.body ], [ 0, %for.body.preheader ] | ||||
| ▲ Show 20 Lines • Show All 220 Lines • Show Last 20 Lines | |||||