Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/DependenceAnalysis/Banerjee.ll
Show First 20 Lines • Show All 69 Lines • ▼ Show 20 Lines | |||||
;; *B++ = A[10*i + j - 1]; | ;; *B++ = A[10*i + j - 1]; | ||||
define void @banerjee1(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { | define void @banerjee1(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { | ||||
entry: | entry: | ||||
%cmp4 = icmp sgt i64 %n, 0 | %cmp4 = icmp sgt i64 %n, 0 | ||||
br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end9 | br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end9 | ||||
; CHECK: 'Dependence Analysis' for function 'banerjee1': | ; CHECK: 'Dependence Analysis' for function 'banerjee1': | ||||
; CHECK: da analyze - output [* *]! | ; CHECK: da analyze - none! | ||||
; CHECK: da analyze - flow [* <>]! | ; CHECK: da analyze - flow [* <>]! | ||||
; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
; CHECK: da analyze - input [* *]! | ; CHECK: da analyze - none! | ||||
; CHECK: da analyze - confused! | ; CHECK: da analyze - confused! | ||||
; CHECK: da analyze - output [* *]! | ; CHECK: da analyze - none! | ||||
; DELIN: 'Dependence Analysis' for function 'banerjee1': | ; DELIN: 'Dependence Analysis' for function 'banerjee1': | ||||
; DELIN: da analyze - output [* *]! | ; DELIN: da analyze - none! | ||||
; DELIN: da analyze - flow [* <>]! | ; DELIN: da analyze - flow [* <>]! | ||||
; DELIN: da analyze - confused! | ; DELIN: da analyze - confused! | ||||
; DELIN: da analyze - input [* *]! | ; DELIN: da analyze - none! | ||||
; DELIN: da analyze - confused! | ; DELIN: da analyze - confused! | ||||
; DELIN: da analyze - output [* *]! | ; DELIN: da analyze - none! | ||||
for.cond1.preheader.preheader: ; preds = %entry | for.cond1.preheader.preheader: ; preds = %entry | ||||
%0 = add i64 %n, 1 | %0 = add i64 %n, 1 | ||||
br label %for.cond1.preheader | br label %for.cond1.preheader | ||||
for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc7 | for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc7 | ||||
%B.addr.06 = phi i64* [ %B.addr.1.lcssa, %for.inc7 ], [ %B, %for.cond1.preheader.preheader ] | %B.addr.06 = phi i64* [ %B.addr.1.lcssa, %for.inc7 ], [ %B, %for.cond1.preheader.preheader ] | ||||
%i.05 = phi i64 [ %inc8, %for.inc7 ], [ 1, %for.cond1.preheader.preheader ] | %i.05 = phi i64 [ %inc8, %for.inc7 ], [ 1, %for.cond1.preheader.preheader ] | ||||
▲ Show 20 Lines • Show All 458 Lines • ▼ Show 20 Lines | |||||
;; A[30*i + 500*j] = 0; | ;; A[30*i + 500*j] = 0; | ||||
;; *B++ = A[i - 500*j + 11]; | ;; *B++ = A[i - 500*j + 11]; | ||||
define void @banerjee9(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { | define void @banerjee9(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { | ||||
entry: | entry: | ||||
br label %for.cond1.preheader | br label %for.cond1.preheader | ||||
; CHECK: 'Dependence Analysis' for function 'banerjee9': | ; CHECK: 'Dependence Analysis' for function 'banerjee9': | ||||
; CHECK: da analyze - output [* *]! | ; CHECK: da analyze - none! | ||||
; CHECK: da analyze - flow [<= =|<]! | ; CHECK: da analyze - flow [<= =|<]! | ||||
; 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! | ||||
; DELIN: 'Dependence Analysis' for function 'banerjee9': | ; DELIN: 'Dependence Analysis' for function 'banerjee9': | ||||
; DELIN: da analyze - output [* *]! | ; DELIN: da analyze - none! | ||||
; DELIN: da analyze - flow [<= =|<]! | ; DELIN: da analyze - flow [<= =|<]! | ||||
; DELIN: da analyze - confused! | ; DELIN: da analyze - confused! | ||||
; DELIN: da analyze - none! | ; DELIN: da analyze - none! | ||||
; DELIN: da analyze - confused! | ; DELIN: da analyze - confused! | ||||
; DELIN: da analyze - none! | ; DELIN: da analyze - none! | ||||
for.cond1.preheader: ; preds = %entry, %for.inc8 | for.cond1.preheader: ; preds = %entry, %for.inc8 | ||||
%B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] | %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] | ||||
▲ Show 20 Lines • Show All 208 Lines • Show Last 20 Lines |