InstCombine: simplify comparisons to zero of (shl %x, Cst) or (mul %x, Cst)

[oota-llvm.git] / test / Transforms / InstCombine / 2006-09-15-CastToBool.ll

diff --git a/test/Transforms/InstCombine/2006-09-15-CastToBool.ll b/test/Transforms/InstCombine/2006-09-15-CastToBool.ll
index e649b3eedc58a04ad5cb0fe023656e3ae547c17f..ee261ced5869adb7eef84a3daca4340531a76178 100644 (file)
--- a/test/Transforms/InstCombine/2006-09-15-CastToBool.ll
+++ b/test/Transforms/InstCombine/2006-09-15-CastToBool.ll
@@ -1,14 +1,14 @@
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep and
+; RUN: opt < %s -instcombine -S | grep and
 ; PR913
 
-int %test(int* %tmp1) {
-        %tmp = load int* %tmp1          ; <int> [#uses=1]
-        %tmp = cast int %tmp to uint            ; <uint> [#uses=1]
-        %tmp2 = shr uint %tmp, ubyte 5          ; <uint> [#uses=1]
-        %tmp2 = cast uint %tmp2 to int          ; <int> [#uses=1]
-        %tmp3 = and int %tmp2, 1                ; <int> [#uses=1]
-        %tmp3 = cast int %tmp3 to bool          ; <bool> [#uses=1]
-        %tmp34 = cast bool %tmp3 to int         ; <int> [#uses=1]
-        ret int %tmp34
+define i32 @test(i32* %tmp1) {
+        %tmp.i = load i32* %tmp1                ; <i32> [#uses=1]
+        %tmp = bitcast i32 %tmp.i to i32                ; <i32> [#uses=1]
+        %tmp2.ui = lshr i32 %tmp, 5             ; <i32> [#uses=1]
+        %tmp2 = bitcast i32 %tmp2.ui to i32             ; <i32> [#uses=1]
+        %tmp3 = and i32 %tmp2, 1                ; <i32> [#uses=1]
+        %tmp3.upgrd.1 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
+        %tmp34 = zext i1 %tmp3.upgrd.1 to i32           ; <i32> [#uses=1]
+        ret i32 %tmp34
 }