Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll
| Show First 20 Lines • Show All 71 Lines • ▼ Show 20 Line(s) | |||||
| 72 | ;; A[10] = i; | 72 | ;; A[10] = i; | ||
| 73 | ;; *B++ = A[n*i + 10]; | 73 | ;; *B++ = A[n*i + 10]; | ||
| 74 | 74 | | |||
| 75 | define void @weakzerosrc1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | 75 | define void @weakzerosrc1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { | ||
| 76 | entry: | 76 | entry: | ||
| 77 | %cmp1 = icmp eq i64 %n, 0 | 77 | %cmp1 = icmp eq i64 %n, 0 | ||
| 78 | br i1 %cmp1, label %for.end, label %for.body.preheader | 78 | br i1 %cmp1, label %for.end, label %for.body.preheader | ||
| 79 | 79 | | |||
| 80 | ; CHECK: da analyze - consistent output [S]! | 80 | ; CHECK: da analyze - consistent output [S] | ||
| 81 | ; CHECK: da analyze - flow [p=>|<]! | 81 | ; CHECK: da analyze - flow [p=>|<]! | ||
| 82 | ; CHECK: da analyze - confused! | 82 | ; CHECK: da analyze - confused! | ||
| 83 | ; CHECK: da analyze - none! | 83 | ; CHECK: da analyze - none! | ||
| 84 | ; CHECK: da analyze - confused! | 84 | ; CHECK: da analyze - confused! | ||
| 85 | ; CHECK: da analyze - none! | 85 | ; CHECK: da analyze - none! | ||
| 86 | 86 | | |||
| 87 | for.body.preheader: ; preds = %entry | 87 | for.body.preheader: ; preds = %entry | ||
| 88 | br label %for.body | 88 | br label %for.body | ||
| ▲ Show 20 Lines • Show All 205 Lines • Show Last 20 Lines | |||||