Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/DependenceAnalysis/SymbolicRDIV.ll
Show First 20 Lines • Show All 386 Lines • ▼ Show 20 Lines | |||||
;; *B++ = A[2*n2]; | ;; *B++ = A[2*n2]; | ||||
define void @symbolicrdiv6(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { | define void @symbolicrdiv6(i32* %A, i32* %B, i64 %n1, i64 %n2) nounwind uwtable ssp { | ||||
entry: | entry: | ||||
%cmp4 = icmp eq i64 %n1, 0 | %cmp4 = icmp eq i64 %n1, 0 | ||||
br i1 %cmp4, label %for.end7, label %for.cond1.preheader.preheader | br i1 %cmp4, label %for.end7, label %for.cond1.preheader.preheader | ||||
; CHECK: 'Dependence Analysis' for function 'symbolicrdiv6' | ; CHECK: 'Dependence Analysis' for function 'symbolicrdiv6' | ||||
; CHECK: da analyze - output [* *]! | ; CHECK: da analyze - none! | ||||
; CHECK: da analyze - none! | ; CHECK: da analyze - none! | ||||
; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
; CHECK: da analyze - consistent input [S S]! | ; CHECK: da analyze - consistent input [S S]! | ||||
; 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.inc5 | for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc5 | ||||
%B.addr.06 = phi i32* [ %B.addr.1.lcssa, %for.inc5 ], [ %B, %for.cond1.preheader.preheader ] | %B.addr.06 = phi i32* [ %B.addr.1.lcssa, %for.inc5 ], [ %B, %for.cond1.preheader.preheader ] | ||||
%i.05 = phi i64 [ %inc6, %for.inc5 ], [ 0, %for.cond1.preheader.preheader ] | %i.05 = phi i64 [ %inc6, %for.inc5 ], [ 0, %for.cond1.preheader.preheader ] | ||||
%cmp21 = icmp eq i64 %n2, 0 | %cmp21 = icmp eq i64 %n2, 0 | ||||
Show All 38 Lines |