1 ; RUN: opt -S -instcombine < %s | FileCheck %s 2 3 define i32 @test1(i32 %x, i32 %y) nounwind { 4 %or = or i32 %x, %y 5 %not = xor i32 %or, -1 6 %z = or i32 %x, %not 7 ret i32 %z 8 ; CHECK-LABEL: @test1( 9 ; CHECK-NEXT: %y.not = xor i32 %y, -1 10 ; CHECK-NEXT: %z = or i32 %y.not, %x 11 ; CHECK-NEXT: ret i32 %z 12 } 13 14 define i32 @test2(i32 %x, i32 %y) nounwind { 15 %or = or i32 %x, %y 16 %not = xor i32 %or, -1 17 %z = or i32 %y, %not 18 ret i32 %z 19 ; CHECK-LABEL: @test2( 20 ; CHECK-NEXT: %x.not = xor i32 %x, -1 21 ; CHECK-NEXT: %z = or i32 %x.not, %y 22 ; CHECK-NEXT: ret i32 %z 23 } 24 25 define i32 @test3(i32 %x, i32 %y) nounwind { 26 %xor = xor i32 %x, %y 27 %not = xor i32 %xor, -1 28 %z = or i32 %x, %not 29 ret i32 %z 30 ; CHECK-LABEL: @test3( 31 ; CHECK-NEXT: %y.not = xor i32 %y, -1 32 ; CHECK-NEXT: %z = or i32 %y.not, %x 33 ; CHECK-NEXT: ret i32 %z 34 } 35 36 define i32 @test4(i32 %x, i32 %y) nounwind { 37 %xor = xor i32 %x, %y 38 %not = xor i32 %xor, -1 39 %z = or i32 %y, %not 40 ret i32 %z 41 ; CHECK-LABEL: @test4( 42 ; CHECK-NEXT: %x.not = xor i32 %x, -1 43 ; CHECK-NEXT: %z = or i32 %x.not, %y 44 ; CHECK-NEXT: ret i32 %z 45 } 46 47 define i32 @test5(i32 %x, i32 %y) nounwind { 48 %and = and i32 %x, %y 49 %not = xor i32 %and, -1 50 %z = or i32 %x, %not 51 ret i32 %z 52 ; CHECK-LABEL: @test5( 53 ; CHECK-NEXT: ret i32 -1 54 } 55 56 define i32 @test6(i32 %x, i32 %y) nounwind { 57 %and = and i32 %x, %y 58 %not = xor i32 %and, -1 59 %z = or i32 %y, %not 60 ret i32 %z 61 ; CHECK-LABEL: @test6( 62 ; CHECK-NEXT: ret i32 -1 63 } 64 65 define i32 @test7(i32 %x, i32 %y) nounwind { 66 %xor = xor i32 %x, %y 67 %z = or i32 %y, %xor 68 ret i32 %z 69 ; CHECK-LABEL: @test7( 70 ; CHECK-NEXT: %z = or i32 %x, %y 71 ; CHECK-NEXT: ret i32 %z 72 } 73 74 define i32 @test8(i32 %x, i32 %y) nounwind { 75 %not = xor i32 %y, -1 76 %xor = xor i32 %x, %not 77 %z = or i32 %y, %xor 78 ret i32 %z 79 ; CHECK-LABEL: @test8( 80 ; CHECK-NEXT: %x.not = xor i32 %x, -1 81 ; CHECK-NEXT: %z = or i32 %x.not, %y 82 ; CHECK-NEXT: ret i32 %z 83 } 84 85 define i32 @test9(i32 %x, i32 %y) nounwind { 86 %not = xor i32 %x, -1 87 %xor = xor i32 %not, %y 88 %z = or i32 %x, %xor 89 ret i32 %z 90 ; CHECK-LABEL: @test9( 91 ; CHECK-NEXT: %y.not = xor i32 %y, -1 92 ; CHECK-NEXT: %z = or i32 %y.not, %x 93 ; CHECK-NEXT: ret i32 %z 94 } 95 96 define i32 @test10(i32 %A, i32 %B) { 97 %xor1 = xor i32 %B, %A 98 %not = xor i32 %A, -1 99 %xor2 = xor i32 %not, %B 100 %or = or i32 %xor1, %xor2 101 ret i32 %or 102 ; CHECK-LABEL: @test10( 103 ; CHECK-NEXT: ret i32 -1 104 } 105 106 ; (x | y) & ((~x) ^ y) -> (x & y) 107 define i32 @test11(i32 %x, i32 %y) { 108 %or = or i32 %x, %y 109 %neg = xor i32 %x, -1 110 %xor = xor i32 %neg, %y 111 %and = and i32 %or, %xor 112 ret i32 %and 113 ; CHECK-LABEL: @test11( 114 ; CHECK-NEXT: %and = and i32 %x, %y 115 ; CHECK-NEXT: ret i32 %and 116 } 117 118 ; ((~x) ^ y) & (x | y) -> (x & y) 119 define i32 @test12(i32 %x, i32 %y) { 120 %neg = xor i32 %x, -1 121 %xor = xor i32 %neg, %y 122 %or = or i32 %x, %y 123 %and = and i32 %xor, %or 124 ret i32 %and 125 ; CHECK-LABEL: @test12( 126 ; CHECK-NEXT: %and = and i32 %x, %y 127 ; CHECK-NEXT: ret i32 %and 128 } 129 130 ; ((x | y) ^ (x ^ y)) -> (x & y) 131 define i32 @test13(i32 %x, i32 %y) { 132 %1 = xor i32 %y, %x 133 %2 = or i32 %y, %x 134 %3 = xor i32 %2, %1 135 ret i32 %3 136 ; CHECK-LABEL: @test13( 137 ; CHECK-NEXT: %1 = and i32 %y, %x 138 ; CHECK-NEXT: ret i32 %1 139 } 140 141 ; ((x | ~y) ^ (~x | y)) -> x ^ y 142 define i32 @test14(i32 %x, i32 %y) { 143 %noty = xor i32 %y, -1 144 %notx = xor i32 %x, -1 145 %or1 = or i32 %x, %noty 146 %or2 = or i32 %notx, %y 147 %xor = xor i32 %or1, %or2 148 ret i32 %xor 149 ; CHECK-LABEL: @test14( 150 ; CHECK-NEXT: %xor = xor i32 %x, %y 151 ; CHECK-NEXT: ret i32 %xor 152 } 153 154 ; ((x & ~y) ^ (~x & y)) -> x ^ y 155 define i32 @test15(i32 %x, i32 %y) { 156 %noty = xor i32 %y, -1 157 %notx = xor i32 %x, -1 158 %and1 = and i32 %x, %noty 159 %and2 = and i32 %notx, %y 160 %xor = xor i32 %and1, %and2 161 ret i32 %xor 162 ; CHECK-LABEL: @test15( 163 ; CHECK-NEXT: %xor = xor i32 %x, %y 164 ; CHECK-NEXT: ret i32 %xor 165 } 166 167 define i32 @test16(i32 %a, i32 %b) { 168 %or = xor i32 %a, %b 169 %and1 = and i32 %or, 1 170 %and2 = and i32 %b, -2 171 %xor = or i32 %and1, %and2 172 ret i32 %xor 173 ; CHECK-LABEL: @test16( 174 ; CHECK-NEXT: %1 = and i32 %a, 1 175 ; CHECK-NEXT: %xor = xor i32 %1, %b 176 ; CHECK-NEXT: ret i32 %xor 177 } 178
