diff options
Diffstat (limited to 'test/Transforms/JumpThreading/and-and-cond.ll')
-rw-r--r-- | test/Transforms/JumpThreading/and-and-cond.ll | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/test/Transforms/JumpThreading/and-and-cond.ll b/test/Transforms/JumpThreading/and-and-cond.ll index 765d940cc7..e6db9ee5a3 100644 --- a/test/Transforms/JumpThreading/and-and-cond.ll +++ b/test/Transforms/JumpThreading/and-and-cond.ll @@ -1,14 +1,14 @@ -; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | FileCheck %s +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | grep {ret i32 %v1} +; There should be no uncond branches left. +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | not grep {br label} declare i32 @f1() declare i32 @f2() declare void @f3() define i32 @test(i1 %cond, i1 %cond2, i1 %cond3) { -; CHECK: test br i1 %cond, label %T1, label %F1 -; CHECK-NOT: T1: T1: %v1 = call i32 @f1() br label %Merge @@ -18,10 +18,6 @@ F1: br label %Merge Merge: -; CHECK: Merge: -; CHECK: %v1 = call i32 @f1() -; CHECK-NEXT: %D = and i1 %cond2, %cond3 -; CHECK-NEXT: br i1 %D %A = phi i1 [true, %T1], [false, %F1] %B = phi i32 [%v1, %T1], [%v2, %F1] %C = and i1 %A, %cond2 |