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

Changeset View

Standalone View

View Options

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