Fix SpeculativelyExecuteBB to either speculate all or none of the phis

[oota-llvm.git] / test / Transforms / SimplifyCFG / 2009-01-19-UnconditionalTrappingConstantExpr.ll

diff --git a/test/Transforms/SimplifyCFG/2009-01-19-UnconditionalTrappingConstantExpr.ll b/test/Transforms/SimplifyCFG/2009-01-19-UnconditionalTrappingConstantExpr.ll
index 568e61c6ac6de9fdc83d062a06ef3056583e1148..e2765e5f50e617dcb0c012fee6911882bb05190d 100644 (file)
--- a/test/Transforms/SimplifyCFG/2009-01-19-UnconditionalTrappingConstantExpr.ll
+++ b/test/Transforms/SimplifyCFG/2009-01-19-UnconditionalTrappingConstantExpr.ll
@@ -1,9 +1,14 @@
-; RUN: opt < %s -simplifycfg -S | grep {br i1 } | count 4
+; RUN: opt < %s -simplifycfg -S | FileCheck %s
 ; PR3354
 ; Do not merge bb1 into the entry block, it might trap.
 
 @G = extern_weak global i32
 
+; CHECK: @test(
+; CHECK: br i1 %tmp25
+; CHECK: bb1:
+; CHECK: sdiv
+
 define i32 @test(i32 %tmp21, i32 %tmp24) {
        %tmp25 = icmp sle i32 %tmp21, %tmp24            
        br i1 %tmp25, label %bb2, label %bb1    
@@ -18,6 +23,11 @@ bb6:
        ret i32 927
 }
 
+; CHECK: @test2(
+; CHECK: br i1 %tmp34
+; CHECK: bb5:
+; CHECK: sdiv
+
 define i32 @test2(i32 %tmp21, i32 %tmp24, i1 %tmp34) {
        br i1 %tmp34, label %bb5, label %bb6