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 | 1084fa2ef262f554d9c44a2e22f2dd3eaadc984f (patch) | |
| tree | 1be0452a532785fa709e9b67e8189f1c85e2287a /llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll | |
| parent | 25c9b3b6e46565abdacff6de5817e8abd9eb2ac8 (diff) | |
| download | bcm5719-llvm-1084fa2ef262f554d9c44a2e22f2dd3eaadc984f.tar.gz bcm5719-llvm-1084fa2ef262f554d9c44a2e22f2dd3eaadc984f.zip | |
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.
llvm-svn: 168678
Diffstat (limited to 'llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll')
| -rw-r--r-- | llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll b/llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll index 0fc73aa6434..20b630eaba1 100644 --- a/llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll +++ b/llvm/test/Analysis/DependenceAnalysis/WeakCrossingSIV.ll @@ -17,12 +17,12 @@ entry: for.body.preheader: ; preds = %entry br label %for.body -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [0|<]! ; 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 = %for.body.preheader, %for.body %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] @@ -59,13 +59,13 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0|<]! +; CHECK: da analyze - consistent output [0]! ; CHECK: da analyze - flow [<>] splitable! ; CHECK: da analyze - split level = 1, iteration = 0! ; 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.preheader: ; preds = %entry br label %for.body @@ -103,12 +103,12 @@ define void @weakcrossing2(i32* %A, i32* %B, i64 %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 ] @@ -138,12 +138,12 @@ define void @weakcrossing3(i32* %A, i32* %B, i64 %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 [0|<]! ; 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 ] @@ -173,12 +173,12 @@ define void @weakcrossing4(i32* %A, i32* %B, i64 %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 ] @@ -209,12 +209,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; 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.preheader: ; preds = %entry br label %for.body @@ -252,13 +252,13 @@ define void @weakcrossing6(i32* %A, i32* %B, i64 %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 = 2! ; 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 ] |
