convert this to an unfoldable potentially trapping constant expr.
authorChris Lattner <sabre@nondot.org>
Mon, 19 Jan 2009 22:12:33 +0000 (22:12 +0000)
committerChris Lattner <sabre@nondot.org>
Mon, 19 Jan 2009 22:12:33 +0000 (22:12 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@62536 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/SimplifyCFG/2006-10-19-UncondDiv.ll

index 7165c5bd29b493f231e505ebae66ec69af10d705..0d056eed74e1010e90d5a9fa94d31d4f7b5fb2f6 100644 (file)
@@ -2,6 +2,8 @@
 ; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | \
 ; RUN:   not grep select
 
+@G = extern_weak global i32
+
 define i32 @test(i32 %tmp) {
 cond_false179:
        %tmp181 = icmp eq i32 %tmp, 0           ; <i1> [#uses=1]
@@ -9,7 +11,7 @@ cond_false179:
 cond_true182:          ; preds = %cond_false179
        br label %cond_next185
 cond_next185:          ; preds = %cond_true182, %cond_false179
-       %d0.3 = phi i32 [ udiv (i32 1, i32 0), %cond_true182 ], [ %tmp, %cond_false179 ]                ; <i32> [#uses=1]
+       %d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ]                ; <i32> [#uses=1]
        ret i32 %d0.3
 }
 
@@ -20,7 +22,7 @@ cond_false179:
 cond_true182:          ; preds = %cond_false179
        br label %cond_next185
 cond_next185:          ; preds = %cond_true182, %cond_false179
-       %d0.3 = phi i32 [ udiv (i32 1, i32 0), %cond_true182 ], [ %tmp, %cond_false179 ]                ; <i32> [#uses=1]
+       %d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ]                ; <i32> [#uses=1]
        call i32 @test( i32 4 )         ; <i32>:0 [#uses=0]
        ret i32 %d0.3
 }