diff options
author | Preston Briggs <preston.briggs@gmail.com> | 2012-11-27 06:41:46 +0000 |
---|---|---|
committer | Preston Briggs <preston.briggs@gmail.com> | 2012-11-27 06:41:46 +0000 |
commit | 6ee74f52e987036ced56293d50580f8208b863f5 (patch) | |
tree | b8338e4999ab5d8140f0f293f9bbe01750bd77b3 /test | |
parent | 69ea027e045f359b48bd436d530fc443a7cbb5c9 (diff) |
Modify depends(Src, Dst, PossiblyLoopIndependent).
If the Src and Dst are the same instruction,
no loop-independent dependence is possible,
so we force the PossiblyLoopIndependent flag to false.
The test case results are updated appropriately.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@168678 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Analysis/DependenceAnalysis/Banerjee.ll | 78 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/Coupled.ll | 96 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/ExactRDIV.ll | 78 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/ExactSIV.ll | 84 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/GCD.ll | 60 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/Preliminary.ll | 34 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/Propagating.ll | 60 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/Separability.ll | 24 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/StrongSIV.ll | 66 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/SymbolicRDIV.ll | 42 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/SymbolicSIV.ll | 54 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll | 42 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/WeakZeroDstSIV.ll | 42 | ||||
-rw-r--r-- | test/Analysis/DependenceAnalysis/WeakZeroSrcSIV.ll | 42 |
14 files changed, 401 insertions, 401 deletions
diff --git a/test/Analysis/DependenceAnalysis/Banerjee.ll b/test/Analysis/DependenceAnalysis/Banerjee.ll index bc6de425a3..eb1a325b3c 100644 --- a/test/Analysis/DependenceAnalysis/Banerjee.ll +++ b/test/Analysis/DependenceAnalysis/Banerjee.ll @@ -14,12 +14,12 @@ define void @banerjee0(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [<= <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc7 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc7 ] @@ -65,12 +65,12 @@ entry: %cmp4 = icmp sgt i64 %n, 0 br i1 %cmp4, label %for.cond1.preheader.preheader, label %for.end9 -; CHECK: da analyze - output [* *|<]! +; CHECK: da analyze - output [* *]! ; CHECK: da analyze - flow [* <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [* *|<]! +; CHECK: da analyze - input [* *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [* *|<]! +; CHECK: da analyze - output [* *]! for.cond1.preheader.preheader: ; preds = %entry %0 = add i64 %n, 1 @@ -131,12 +131,12 @@ define void @banerjee2(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc8 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] @@ -181,12 +181,12 @@ define void @banerjee3(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [> >]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc8 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] @@ -231,12 +231,12 @@ define void @banerjee4(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc7 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc7 ] @@ -281,12 +281,12 @@ define void @banerjee5(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [< <]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc7 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc7 ] @@ -331,12 +331,12 @@ define void @banerjee6(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [=> <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc8 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] @@ -381,12 +381,12 @@ define void @banerjee7(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [> <=]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc8 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] @@ -431,12 +431,12 @@ define void @banerjee8(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [> <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc8 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] @@ -481,12 +481,12 @@ define void @banerjee9(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [* *|<]! +; CHECK: da analyze - output [* *]! ; CHECK: da analyze - flow [<= =|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc8 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc8 ] @@ -532,12 +532,12 @@ define void @banerjee10(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [<> =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc7 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc7 ] @@ -582,12 +582,12 @@ define void @banerjee11(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [<= <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc7 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc7 ] @@ -632,12 +632,12 @@ define void @banerjee12(i64* %A, i64* %B, i64 %m, i64 %n) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [= <>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [= =|<]! +; CHECK: da analyze - input [= =]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc7 %B.addr.04 = phi i64* [ %B, %entry ], [ %scevgep, %for.inc7 ] diff --git a/test/Analysis/DependenceAnalysis/Coupled.ll b/test/Analysis/DependenceAnalysis/Coupled.ll index a5989fb88e..aca1e70cc9 100644 --- a/test/Analysis/DependenceAnalysis/Coupled.ll +++ b/test/Analysis/DependenceAnalysis/Coupled.ll @@ -13,12 +13,12 @@ define void @couple0([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -49,12 +49,12 @@ define void @couple1([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - consistent flow [-9]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -85,12 +85,12 @@ define void @couple2([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -123,12 +123,12 @@ define void @couple3([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -161,12 +161,12 @@ define void @couple4([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -200,12 +200,12 @@ define void @couple5([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -241,12 +241,12 @@ define void @couple6([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [=|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -277,12 +277,12 @@ define void @couple7([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -313,12 +313,12 @@ define void @couple8([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -350,12 +350,12 @@ define void @couple9([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -387,13 +387,13 @@ define void @couple10([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [>] splitable! ; CHECK: da analyze - split level = 1, iteration = 3! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -425,13 +425,13 @@ define void @couple11([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [=|<] splitable! ; CHECK: da analyze - split level = 1, iteration = 9! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -463,13 +463,13 @@ define void @couple12([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [<] splitable! ; CHECK: da analyze - split level = 1, iteration = 11! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -501,12 +501,12 @@ define void @couple13([100 x i32]* %A, i32* %B, i32 %n) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -537,13 +537,13 @@ define void @couple14([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [=|<] splitable! ; CHECK: da analyze - split level = 1, iteration = 9! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -575,12 +575,12 @@ define void @couple15([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] diff --git a/test/Analysis/DependenceAnalysis/ExactRDIV.ll b/test/Analysis/DependenceAnalysis/ExactRDIV.ll index 8120739cc5..5528dedfcc 100644 --- a/test/Analysis/DependenceAnalysis/ExactRDIV.ll +++ b/test/Analysis/DependenceAnalysis/ExactRDIV.ll @@ -14,12 +14,12 @@ define void @rdiv0(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -62,12 +62,12 @@ define void @rdiv1(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -108,12 +108,12 @@ define void @rdiv2(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -154,12 +154,12 @@ define void @rdiv3(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -200,12 +200,12 @@ define void @rdiv4(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -246,12 +246,12 @@ define void @rdiv5(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -293,12 +293,12 @@ define void @rdiv6(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -340,12 +340,12 @@ define void @rdiv7(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -387,12 +387,12 @@ define void @rdiv8(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -434,12 +434,12 @@ define void @rdiv9(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - none! ; 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 - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc5 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc5 ] @@ -483,12 +483,12 @@ define void @rdiv10(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - none! ; 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 - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc5 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc5 ] @@ -531,12 +531,12 @@ define void @rdiv11(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - none! ; 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 - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc5 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc5 ] @@ -579,12 +579,12 @@ define void @rdiv12(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.cond1.preheader -; CHECK: da analyze - output [= =|<]! +; CHECK: da analyze - output [= =]! ; CHECK: da analyze - flow [* *|<]! ; 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 - output [= =|<]! +; CHECK: da analyze - output [= =]! for.cond1.preheader: ; preds = %entry, %for.inc5 %B.addr.04 = phi i32* [ %B, %entry ], [ %scevgep, %for.inc5 ] diff --git a/test/Analysis/DependenceAnalysis/ExactSIV.ll b/test/Analysis/DependenceAnalysis/ExactSIV.ll index 7485034108..3cbcade8fb 100644 --- a/test/Analysis/DependenceAnalysis/ExactSIV.ll +++ b/test/Analysis/DependenceAnalysis/ExactSIV.ll @@ -13,12 +13,12 @@ define void @exact0(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [<=|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -50,12 +50,12 @@ define void @exact1(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -88,12 +88,12 @@ define void @exact2(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -124,12 +124,12 @@ define void @exact3(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -160,12 +160,12 @@ define void @exact4(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -196,12 +196,12 @@ define void @exact5(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [=>|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -232,12 +232,12 @@ define void @exact6(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [=>|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body %i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ] @@ -268,12 +268,12 @@ define void @exact7(i32* %A, i32* %B) nounwind uwtable ssp { entry: br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [*|<]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0|<]! +; CHECK: da analyze - consistent input [0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! for.body: ; preds = %entry, %for.body |