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 |