diff options
Diffstat (limited to 'llvm/test/Transforms/JumpThreading/basic.ll')
-rw-r--r-- | llvm/test/Transforms/JumpThreading/basic.ll | 89 |
1 files changed, 0 insertions, 89 deletions
diff --git a/llvm/test/Transforms/JumpThreading/basic.ll b/llvm/test/Transforms/JumpThreading/basic.ll index 2fd8c42adc9..14cd1fbe1c8 100644 --- a/llvm/test/Transforms/JumpThreading/basic.ll +++ b/llvm/test/Transforms/JumpThreading/basic.ll @@ -4,95 +4,6 @@ declare i32 @f1() declare i32 @f2() declare void @f3() -; Make sure we can fold this branch ... We will not be able to thread it as -; L0 is too big to duplicate. L2 is the unreachable block here. -; -; CHECK-LABEL: @test_br_folding_not_threading( -; CHECK: L1: -; CHECK: call i32 @f2() -; CHECK: call void @f3() -; CHECK-NEXT: ret void -; CHECK-NOT: br -; CHECK: L3: -define void @test_br_folding_not_threading(i1 %cond) nounwind { -entry: - br i1 %cond, label %L0, label %L3 -L0: - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - br i1 %cond, label %L1, label %L2 - -L1: - call void @f3() - ret void -L2: - call void @f3() - ret void -L3: - call void @f3() - ret void -} - - -; Make sure we can fold this branch ... We will not be able to thread it as -; L0 is too big to duplicate. L2 is the unreachable block here. -; With more than 1 predecessors. -; -; CHECK-LABEL: @test_br_folding_not_threading_multiple_preds( -; CHECK: L1: -; CHECK: call i32 @f2() -; CHECK: call void @f3() -; CHECK-NEXT: ret void -; CHECK-NOT: br -; CHECK: L3: -define void @test_br_folding_not_threading_multiple_preds(i1 %condx, i1 %cond) nounwind { -entry: - br i1 %condx, label %X0, label %X1 - -X0: - br i1 %cond, label %L0, label %L3 - -X1: - br i1 %cond, label %L0, label %L3 - -L0: - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - call i32 @f2() - br i1 %cond, label %L1, label %L2 - -L1: - call void @f3() - ret void -L2: - call void @f3() - ret void -L3: - call void @f3() - ret void -} - define i32 @test1(i1 %cond) { ; CHECK-LABEL: @test1( |