At Chris' suggestion, move the liveness and worklist datastructures into
[oota-llvm.git] / test / Transforms / IndVarsSimplify / 2005-06-15-InstMoveCrash.ll
index 0ff77ef33a1542c86abcacc72b9c4d53327885bc..ba4db9f95995f7d3656efadb856ec458f9591ddc 100644 (file)
@@ -1,36 +1,37 @@
 ; RUN: llvm-as < %s | opt -indvars -disable-output
 
-void %main() {
+define void @main() {
 entry:
-       br label %no_exit.1.outer
+        br label %no_exit.1.outer
 
-no_exit.1.outer:               ; preds = %endif.0, %entry
-       %l_14237116.1.0.ph = phi sbyte [ -46, %entry ], [ 0, %endif.0 ]         ; <sbyte> [#uses=1]
-       %i.0.0.0.ph = phi int [ 0, %entry ], [ %inc.1, %endif.0 ]               ; <int> [#uses=1]
-       br label %no_exit.1
+no_exit.1.outer:                ; preds = %endif.0, %entry
+        %l_14237116.1.0.ph = phi i8 [ -46, %entry ], [ 0, %endif.0 ]            ; <i8> [#uses=1]
+        %i.0.0.0.ph = phi i32 [ 0, %entry ], [ %inc.1, %endif.0 ]               ; <i32> [#uses=1]
+        br label %no_exit.1
 
-no_exit.1:             ; preds = %_Z13func_47880058cc.exit, %no_exit.1.outer
-       br bool false, label %_Z13func_47880058cc.exit, label %then.i
+no_exit.1:              ; preds = %_Z13func_47880058cc.exit, %no_exit.1.outer
+        br i1 false, label %_Z13func_47880058cc.exit, label %then.i
 
-then.i:                ; preds = %no_exit.1
-       br label %_Z13func_47880058cc.exit
+then.i:         ; preds = %no_exit.1
+        br label %_Z13func_47880058cc.exit
 
-_Z13func_47880058cc.exit:              ; preds = %then.i, %no_exit.1
-       br bool false, label %then.0, label %no_exit.1
+_Z13func_47880058cc.exit:               ; preds = %then.i, %no_exit.1
+        br i1 false, label %then.0, label %no_exit.1
 
-then.0:                ; preds = %_Z13func_47880058cc.exit
-       %tmp.6 = cast sbyte %l_14237116.1.0.ph to ubyte         ; <ubyte> [#uses=1]
-       br bool false, label %endif.0, label %then.1
+then.0:         ; preds = %_Z13func_47880058cc.exit
+        %tmp.6 = bitcast i8 %l_14237116.1.0.ph to i8            ; <i8> [#uses=1]
+        br i1 false, label %endif.0, label %then.1
 
-then.1:                ; preds = %then.0
-       br label %endif.0
+then.1:         ; preds = %then.0
+        br label %endif.0
 
-endif.0:               ; preds = %then.1, %then.0
-       %inc.1 = add int %i.0.0.0.ph, 1         ; <int> [#uses=2]
-       %tmp.2 = setgt int %inc.1, 99           ; <bool> [#uses=1]
-       br bool %tmp.2, label %loopexit.0, label %no_exit.1.outer
+endif.0:                ; preds = %then.1, %then.0
+        %inc.1 = add i32 %i.0.0.0.ph, 1         ; <i32> [#uses=2]
+        %tmp.2 = icmp sgt i32 %inc.1, 99                ; <i1> [#uses=1]
+        br i1 %tmp.2, label %loopexit.0, label %no_exit.1.outer
 
-loopexit.0:            ; preds = %endif.0
-       %tmp.28 = cast ubyte %tmp.6 to uint             ; <uint> [#uses=0]
-       ret void
+loopexit.0:             ; preds = %endif.0
+        %tmp.28 = zext i8 %tmp.6 to i32         ; <i32> [#uses=0]
+        ret void
 }
+