diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/PR16069.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/PR16069.ll | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/test/Transforms/SimplifyCFG/PR16069.ll b/test/Transforms/SimplifyCFG/PR16069.ll index 4e9f89660c..0b3d677945 100644 --- a/test/Transforms/SimplifyCFG/PR16069.ll +++ b/test/Transforms/SimplifyCFG/PR16069.ll @@ -1,8 +1,9 @@ ; RUN: opt < %s -simplifycfg -S | FileCheck %s -; CHECK-NOT: select @b = extern_weak global i32 + define i32 @foo(i1 %y) { +; CHECK: define i32 @foo(i1 %y) { br i1 %y, label %bb1, label %bb2 bb1: br label %bb3 @@ -10,5 +11,18 @@ bb2: br label %bb3 bb3: %cond.i = phi i32 [ 0, %bb1 ], [ srem (i32 1, i32 zext (i1 icmp eq (i32* @b, i32* null) to i32)), %bb2 ] +; CHECK: phi i32 {{.*}} srem (i32 1, i32 zext (i1 icmp eq (i32* @b, i32* null) to i32)), %bb2 ret i32 %cond.i } + +define i32 @foo2(i1 %x) { +; CHECK: define i32 @foo2(i1 %x) { +bb0: + br i1 %x, label %bb1, label %bb2 +bb1: + br label %bb2 +bb2: + %cond = phi i32 [ 0, %bb1 ], [ srem (i32 1, i32 zext (i1 icmp eq (i32* @b, i32* null) to i32)), %bb0 ] +; CHECK: %cond = phi i32 [ 0, %bb1 ], [ srem (i32 1, i32 zext (i1 icmp eq (i32* @b, i32* null) to i32)), %bb0 ] + ret i32 %cond +} |