Optimize bitwise even/odd test (-x&1 -> x&1) to not use negation.

[oota-llvm.git] / test / Transforms / InstCombine / 2006-05-04-DemandedBitCrash.ll

diff --git a/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll b/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll
index 2a6a4412ee149aa3428fcc492c4d3e29f1f20db7..e22395fb87743aa3be491fcc5ba304d7b8c348ac 100644 (file)
--- a/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll
+++ b/test/Transforms/InstCombine/2006-05-04-DemandedBitCrash.ll
@@ -1,48 +1,49 @@
-; RUN: llvm-as < %s | opt -instcombine -disable-output
+; RUN: opt < %s -instcombine -disable-output
+; END.
 
-void %test() {
+define void @test() {
 bb38.i:
-       %varspec.0.i1014 = cast long 123814269237067777 to ulong                ; <ulong> [#uses=1]
-       %locspec.0.i1015 = cast int 1 to uint           ; <uint> [#uses=2]
-       %tmp51391.i1018 = shr ulong %varspec.0.i1014, ubyte 16          ; <ulong> [#uses=1]
-       %tmp51392.i1019 = cast ulong %tmp51391.i1018 to uint            ; <uint> [#uses=2]
-       %tmp51392.mask.i1020 = shr uint %tmp51392.i1019, ubyte 29               ; <uint> [#uses=1]
-       %tmp7.i1021 = and uint %tmp51392.mask.i1020, 1          ; <uint> [#uses=2]
-       %tmp18.i1026 = shr uint %tmp51392.i1019, ubyte 31               ; <uint> [#uses=2]
-       %tmp18.i1027 = cast uint %tmp18.i1026 to ubyte          ; <ubyte> [#uses=1]
-       br bool false, label %cond_false1148.i1653, label %bb377.i1259
+       %varspec.0.i1014 = bitcast i64 123814269237067777 to i64                ; <i64> [#uses=1]
+       %locspec.0.i1015 = bitcast i32 1 to i32         ; <i32> [#uses=2]
+       %tmp51391.i1018 = lshr i64 %varspec.0.i1014, 16         ; <i64> [#uses=1]
+       %tmp51392.i1019 = trunc i64 %tmp51391.i1018 to i32              ; <i32> [#uses=2]
+       %tmp51392.mask.i1020 = lshr i32 %tmp51392.i1019, 29             ; <i32> [#uses=1]
+       %tmp7.i1021 = and i32 %tmp51392.mask.i1020, 1           ; <i32> [#uses=2]
+       %tmp18.i1026 = lshr i32 %tmp51392.i1019, 31             ; <i32> [#uses=2]
+       %tmp18.i1027 = trunc i32 %tmp18.i1026 to i8             ; <i8> [#uses=1]
+       br i1 false, label %cond_false1148.i1653, label %bb377.i1259
 
 bb377.i1259:           ; preds = %bb38.i
-       br bool false, label %cond_true541.i1317, label %cond_false1148.i1653
+       br i1 false, label %cond_true541.i1317, label %cond_false1148.i1653
 
 cond_true541.i1317:            ; preds = %bb377.i1259
-       %tmp545.i1318 = shr uint %locspec.0.i1015, ubyte 10             ; <uint> [#uses=1]
-       %tmp550.i1319 = shr uint %locspec.0.i1015, ubyte 4              ; <uint> [#uses=1]
-       %tmp550551.i1320 = and uint %tmp550.i1319, 63           ; <uint> [#uses=1]
-       %tmp553.i1321 = setlt uint %tmp550551.i1320, 4          ; <bool> [#uses=1]
-       %tmp558.i1322 = seteq uint %tmp7.i1021, 0               ; <bool> [#uses=1]
-       %bothcond.i1326 = or bool %tmp553.i1321, false          ; <bool> [#uses=1]
-       %bothcond1.i1327 = or bool %bothcond.i1326, false               ; <bool> [#uses=1]
-       %bothcond2.not.i1328 = or bool %bothcond1.i1327, false          ; <bool> [#uses=1]
-       %bothcond3.i1329 = or bool %bothcond2.not.i1328, %tmp558.i1322          ; <bool> [#uses=0]
-       br bool false, label %cond_true583.i1333, label %cond_next592.i1337
+       %tmp545.i1318 = lshr i32 %locspec.0.i1015, 10           ; <i32> [#uses=1]
+       %tmp550.i1319 = lshr i32 %locspec.0.i1015, 4            ; <i32> [#uses=1]
+       %tmp550551.i1320 = and i32 %tmp550.i1319, 63            ; <i32> [#uses=1]
+       %tmp553.i1321 = icmp ult i32 %tmp550551.i1320, 4                ; <i1> [#uses=1]
+       %tmp558.i1322 = icmp eq i32 %tmp7.i1021, 0              ; <i1> [#uses=1]
+       %bothcond.i1326 = or i1 %tmp553.i1321, false            ; <i1> [#uses=1]
+       %bothcond1.i1327 = or i1 %bothcond.i1326, false         ; <i1> [#uses=1]
+       %bothcond2.not.i1328 = or i1 %bothcond1.i1327, false            ; <i1> [#uses=1]
+       %bothcond3.i1329 = or i1 %bothcond2.not.i1328, %tmp558.i1322            ; <i1> [#uses=0]
+       br i1 false, label %cond_true583.i1333, label %cond_next592.i1337
 
 cond_true583.i1333:            ; preds = %cond_true541.i1317
-       br bool false, label %cond_true586.i1335, label %cond_next592.i1337
+       br i1 false, label %cond_true586.i1335, label %cond_next592.i1337
 
 cond_true586.i1335:            ; preds = %cond_true583.i1333
        br label %cond_true.i
 
 cond_next592.i1337:            ; preds = %cond_true583.i1333, %cond_true541.i1317
-       %mask_z.0.i1339 = phi uint [ %tmp18.i1026, %cond_true541.i1317 ], [ 0, %cond_true583.i1333 ]            ; <uint> [#uses=0]
-       %tmp594.i1340 = and uint %tmp545.i1318, 15              ; <uint> [#uses=0]
+       %mask_z.0.i1339 = phi i32 [ %tmp18.i1026, %cond_true541.i1317 ], [ 0, %cond_true583.i1333 ]             ; <i32> [#uses=0]
+       %tmp594.i1340 = and i32 %tmp545.i1318, 15               ; <i32> [#uses=0]
        br label %cond_true.i
 
 cond_false1148.i1653:          ; preds = %bb377.i1259, %bb38.i
-       %tmp1150.i1654 = seteq uint %tmp7.i1021, 0              ; <bool> [#uses=1]
-       %tmp1160.i1656 = seteq ubyte %tmp18.i1027, 0            ; <bool> [#uses=1]
-       %bothcond8.i1658 = or bool %tmp1150.i1654, %tmp1160.i1656               ; <bool> [#uses=1]
-       %bothcond9.i1659 = or bool %bothcond8.i1658, false              ; <bool> [#uses=0]
+       %tmp1150.i1654 = icmp eq i32 %tmp7.i1021, 0             ; <i1> [#uses=1]
+       %tmp1160.i1656 = icmp eq i8 %tmp18.i1027, 0             ; <i1> [#uses=1]
+       %bothcond8.i1658 = or i1 %tmp1150.i1654, %tmp1160.i1656         ; <i1> [#uses=1]
+       %bothcond9.i1659 = or i1 %bothcond8.i1658, false                ; <i1> [#uses=0]
        br label %cond_true.i
 
 cond_true.i:           ; preds = %cond_false1148.i1653, %cond_next592.i1337, %cond_true586.i1335