[opaque pointer type] Add textual IR support for explicit type parameter for global...
[oota-llvm.git] / test / Transforms / InstCombine / 2005-06-16-SetCCOrSetCCMiscompile.ll
index 53470971ef5876a7bd786e3c281f3de05800c9dd..9c989b9ecf8a444aaf69a0dab6c4edd5f2a5bd41 100644 (file)
@@ -1,15 +1,14 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep 'ret bool true'
+; RUN: opt < %s -instcombine -S | \
+; RUN:   grep "ret i1 true"
 ; PR586
 
-%g_07918478 = external global uint             ; <uint*> [#uses=1]
+@g_07918478 = external global i32               ; <i32*> [#uses=1]
 
-implementation   ; Functions:
-
-bool %test() {
-       %tmp.0 = load uint* %g_07918478         ; <uint> [#uses=2]
-       %tmp.1 = setne uint %tmp.0, 0           ; <bool> [#uses=1]
-       %tmp.4 = setlt uint %tmp.0, 4111                ; <bool> [#uses=1]
-       %bothcond = or bool %tmp.1, %tmp.4              ; <bool> [#uses=1]
-       ret bool %bothcond
+define i1 @test() {
+        %tmp.0 = load i32, i32* @g_07918478          ; <i32> [#uses=2]
+        %tmp.1 = icmp ne i32 %tmp.0, 0          ; <i1> [#uses=1]
+        %tmp.4 = icmp ult i32 %tmp.0, 4111              ; <i1> [#uses=1]
+        %bothcond = or i1 %tmp.1, %tmp.4                ; <i1> [#uses=1]
+        ret i1 %bothcond
 }