Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll
| Show First 20 Lines • Show All 71 Lines • ▼ Show 20 Lines | |||||
| ;; A[10] = i; | ;; A[10] = i; | ||||
| ;; *B++ = A[n*i + 10]; | ;; *B++ = A[n*i + 10]; | ||||
| define void @weakzerosrc1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | define void @weakzerosrc1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | ||||
| entry: | entry: | ||||
| %cmp1 = icmp eq i64 %n, 0 | %cmp1 = icmp eq i64 %n, 0 | ||||
| br i1 %cmp1, label %for.end, label %for.body.preheader | br i1 %cmp1, label %for.end, label %for.body.preheader | ||||
| ; CHECK: da analyze - consistent output [S]! | ; CHECK: da analyze - consistent output [S] | ||||
| ; CHECK: da analyze - flow [p=>|<]! | ; CHECK: da analyze - flow [p=>|<]! | ||||
| ; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
| ; CHECK: da analyze - none! | ; 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 | ||||
| ▲ Show 20 Lines • Show All 205 Lines • Show Last 20 Lines | |||||