diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/ValuePropagation/basic.ll (renamed from test/Transforms/ValuePropagation/select.ll) | 23 | ||||
-rw-r--r-- | test/Transforms/ValuePropagation/phi.ll | 17 |
2 files changed, 19 insertions, 21 deletions
diff --git a/test/Transforms/ValuePropagation/select.ll b/test/Transforms/ValuePropagation/basic.ll index 02acc8fc76..2cb6afc721 100644 --- a/test/Transforms/ValuePropagation/select.ll +++ b/test/Transforms/ValuePropagation/basic.ll @@ -1,9 +1,24 @@ ; RUN: opt < %s -value-propagation -S | FileCheck %s -; PR4420 +; PR2581 + +; CHECK: @test1 +define i32 @test1(i1 %C) nounwind { + br i1 %C, label %exit, label %body + +body: ; preds = %0 +; CHECK-NOT: select + %A = select i1 %C, i32 10, i32 11 ; <i32> [#uses=1] +; CHECK: ret i32 11 + ret i32 %A + +exit: ; preds = %0 +; CHECK: ret i32 10 + ret i32 10 +} declare i1 @ext() -; CHECK: @foo -define i1 @foo() { +; CHECK: @test2 +define i1 @test2() { entry: %cond = tail call i1 @ext() ; <i1> [#uses=2] br i1 %cond, label %bb1, label %bb2 @@ -22,4 +37,4 @@ bb3: ; preds = %bb1 %res = tail call i1 @ext() ; <i1> [#uses=1] ; CHECK: ret i1 %res ret i1 %res -}
\ No newline at end of file +} diff --git a/test/Transforms/ValuePropagation/phi.ll b/test/Transforms/ValuePropagation/phi.ll deleted file mode 100644 index f150876525..0000000000 --- a/test/Transforms/ValuePropagation/phi.ll +++ /dev/null @@ -1,17 +0,0 @@ -; RUN: opt < %s -value-propagation -S | FileCheck %s -; PR2581 - -; CHECK: @run -define i32 @run(i1 %C) nounwind { - br i1 %C, label %exit, label %body - -body: ; preds = %0 -; CHECK-NOT: select - %A = select i1 %C, i32 10, i32 11 ; <i32> [#uses=1] -; CHECK: ret i32 11 - ret i32 %A - -exit: ; preds = %0 -; CHECK: ret i32 10 - ret i32 10 -}
\ No newline at end of file |