Page MenuHomePhabricator
Differential D46201 Diff 149977 test/Analysis/DependenceAnalysis/SymbolicRDIV.ll

Changeset View

Standalone View

View Options

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