From 985185ea752f3ba7baec0124b3f5a60e1d3a5978 Mon Sep 17 00:00:00 2001 From: Owen Anderson Date: Mon, 30 Aug 2010 23:37:41 +0000 Subject: Combine these two tests, and make sure there's a newline at the end of the file. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112554 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/ValuePropagation/basic.ll | 40 ++++++++++++++++++++++++++++++ test/Transforms/ValuePropagation/phi.ll | 17 ------------- test/Transforms/ValuePropagation/select.ll | 25 ------------------- 3 files changed, 40 insertions(+), 42 deletions(-) create mode 100644 test/Transforms/ValuePropagation/basic.ll delete mode 100644 test/Transforms/ValuePropagation/phi.ll delete mode 100644 test/Transforms/ValuePropagation/select.ll (limited to 'test') diff --git a/test/Transforms/ValuePropagation/basic.ll b/test/Transforms/ValuePropagation/basic.ll new file mode 100644 index 0000000000..2cb6afc721 --- /dev/null +++ b/test/Transforms/ValuePropagation/basic.ll @@ -0,0 +1,40 @@ +; RUN: opt < %s -value-propagation -S | FileCheck %s +; 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 ; [#uses=1] +; CHECK: ret i32 11 + ret i32 %A + +exit: ; preds = %0 +; CHECK: ret i32 10 + ret i32 10 +} + +declare i1 @ext() +; CHECK: @test2 +define i1 @test2() { +entry: + %cond = tail call i1 @ext() ; [#uses=2] + br i1 %cond, label %bb1, label %bb2 + +bb1: ; preds = %entry + %cond2 = tail call i1 @ext() ; [#uses=1] + br i1 %cond2, label %bb3, label %bb2 + +bb2: ; preds = %bb1, %entry +; CHECK-NOT: phi i1 + %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ] ; [#uses=1] +; CHECK: ret i1 false + ret i1 %cond_merge + +bb3: ; preds = %bb1 + %res = tail call i1 @ext() ; [#uses=1] +; CHECK: ret i1 %res + ret i1 %res +} 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 ; [#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 diff --git a/test/Transforms/ValuePropagation/select.ll b/test/Transforms/ValuePropagation/select.ll deleted file mode 100644 index 02acc8fc76..0000000000 --- a/test/Transforms/ValuePropagation/select.ll +++ /dev/null @@ -1,25 +0,0 @@ -; RUN: opt < %s -value-propagation -S | FileCheck %s -; PR4420 - -declare i1 @ext() -; CHECK: @foo -define i1 @foo() { -entry: - %cond = tail call i1 @ext() ; [#uses=2] - br i1 %cond, label %bb1, label %bb2 - -bb1: ; preds = %entry - %cond2 = tail call i1 @ext() ; [#uses=1] - br i1 %cond2, label %bb3, label %bb2 - -bb2: ; preds = %bb1, %entry -; CHECK-NOT: phi i1 - %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ] ; [#uses=1] -; CHECK: ret i1 false - ret i1 %cond_merge - -bb3: ; preds = %bb1 - %res = tail call i1 @ext() ; [#uses=1] -; CHECK: ret i1 %res - ret i1 %res -} \ No newline at end of file -- cgit v1.2.3