Debug Info Testing: updated to use NULL instead of "i32 0" in a few fields.
[oota-llvm.git] / test / Transforms / SimplifyCFG / 2006-10-19-UncondDiv.ll
index b8946dcf989abdb7a3f3f22c1b53116c3ba6daa9..8f21b9bab9b65cf46da9e66ae9c0b8a36b947ea6 100644 (file)
@@ -1,35 +1,29 @@
-; RUN: llvm-as < %s | opt -simplifycfg -disable-output &&
-; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep select
-
 ; PR957
+; RUN: opt < %s -simplifycfg -S | FileCheck %s
 
-uint %test(uint %tmp) {
-cond_false179:          ; preds = %cond_true
-        %tmp181 = seteq uint %tmp, 0            ; <bool> [#uses=1]
-        br bool %tmp181, label %cond_true182, label %cond_next185
-
-cond_true182:           ; preds = %cond_false179
-        br label %cond_next185
+; CHECK-NOT: select
 
-cond_next185:           ; preds = %cond_true182, %cond_false179
-        %d0.3 = phi uint [ div (uint 1, uint 0), %cond_true182 ], [ %tmp,
-%cond_false179 ]                ; <uint> [#uses=7]
+@G = extern_weak global i32
 
-        ret uint %d0.3
+define i32 @test(i32 %tmp) {
+cond_false179:
+       %tmp181 = icmp eq i32 %tmp, 0           ; <i1> [#uses=1]
+       br i1 %tmp181, label %cond_true182, label %cond_next185
+cond_true182:          ; preds = %cond_false179
+       br label %cond_next185
+cond_next185:          ; preds = %cond_true182, %cond_false179
+       %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
 }
 
-uint %test2(uint %tmp) {
-cond_false179:          ; preds = %cond_true
-        %tmp181 = seteq uint %tmp, 0            ; <bool> [#uses=1]
-        br bool %tmp181, label %cond_true182, label %cond_next185
-
-cond_true182:           ; preds = %cond_false179
-        br label %cond_next185
-
-cond_next185:           ; preds = %cond_true182, %cond_false179
-        %d0.3 = phi uint [ div (uint 1, uint 0), %cond_true182 ], [ %tmp,
-%cond_false179 ]                ; <uint> [#uses=7]
-       call uint %test(uint 4)
-        ret uint %d0.3
+define i32 @test2(i32 %tmp) {
+cond_false179:
+       %tmp181 = icmp eq i32 %tmp, 0           ; <i1> [#uses=1]
+       br i1 %tmp181, label %cond_true182, label %cond_next185
+cond_true182:          ; preds = %cond_false179
+       br label %cond_next185
+cond_next185:          ; preds = %cond_true182, %cond_false179
+       %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
 }
-