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/Analysis/DependenceAnalysis/Separability.ll | |
parent | 69ea027e045f359b48bd436d530fc443a7cbb5c9 (diff) | |
download | external_llvm-6ee74f52e987036ced56293d50580f8208b863f5.zip external_llvm-6ee74f52e987036ced56293d50580f8208b863f5.tar.gz external_llvm-6ee74f52e987036ced56293d50580f8208b863f5.tar.bz2 |
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/Analysis/DependenceAnalysis/Separability.ll')
-rw-r--r-- | test/Analysis/DependenceAnalysis/Separability.ll | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test/Analysis/DependenceAnalysis/Separability.ll b/test/Analysis/DependenceAnalysis/Separability.ll index beda448..2d61fc2 100644 --- a/test/Analysis/DependenceAnalysis/Separability.ll +++ b/test/Analysis/DependenceAnalysis/Separability.ll @@ -16,12 +16,12 @@ define void @sep0([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp entry: br label %for.cond1.preheader -; CHECK: da analyze - output [0 * * S|<]! +; CHECK: da analyze - output [0 * * S]! ; CHECK: da analyze - flow [-10 * * *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * S *|<]! +; CHECK: da analyze - input [0 * S *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= = = =|<]! +; CHECK: da analyze - output [= = = =]! for.cond1.preheader: ; preds = %entry, %for.inc22 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc22 ] @@ -91,12 +91,12 @@ define void @sep1([100 x [100 x i32]]* %A, i32* %B, i32 %n) nounwind uwtable ssp entry: br label %for.cond1.preheader -; CHECK: da analyze - output [0 * * S|<]! +; CHECK: da analyze - output [0 * * S]! ; CHECK: da analyze - flow [> * * *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * S *|<]! +; CHECK: da analyze - input [0 * S *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= = = =|<]! +; CHECK: da analyze - output [= = = =]! for.cond1.preheader: ; preds = %entry, %for.inc22 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc22 ] @@ -165,12 +165,12 @@ define void @sep2([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwt entry: br label %for.cond1.preheader -; CHECK: da analyze - consistent output [0 S 0 0|<]! +; CHECK: da analyze - consistent output [0 S 0 0]! ; CHECK: da analyze - flow [> * * -10]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * * 0|<]! +; CHECK: da analyze - input [0 * * 0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= = = =|<]! +; CHECK: da analyze - output [= = = =]! for.cond1.preheader: ; preds = %entry, %for.inc26 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc26 ] @@ -239,12 +239,12 @@ define void @sep3([100 x [100 x [100 x i32]]]* %A, i32* %B, i32 %n) nounwind uwt entry: br label %for.cond1.preheader -; CHECK: da analyze - consistent output [0 S 0 0|<]! +; CHECK: da analyze - consistent output [0 S 0 0]! ; CHECK: da analyze - flow [> * * *]! ; CHECK: da analyze - confused! -; CHECK: da analyze - input [0 * * 0|<]! +; CHECK: da analyze - input [0 * * 0]! ; CHECK: da analyze - confused! -; CHECK: da analyze - output [= = = =|<]! +; CHECK: da analyze - output [= = = =]! for.cond1.preheader: ; preds = %entry, %for.inc27 %B.addr.08 = phi i32* [ %B, %entry ], [ %scevgep11, %for.inc27 ] |