test/Transforms/InstCombine/xor.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3 ; RUN: opt < %s -instcombine -S | \
   4 ; RUN:    FileCheck %s
   5 ; END.
   6 @G1 = global i32 0              ; <i32*> [#uses=1]
   7 @G2 = global i32 0              ; <i32*> [#uses=1]
   8
   9 define i1 @test0(i1 %A) {
  10 ; CHECK-LABEL: @test0(
  11 ; CHECK-NEXT: ret i1 %A
  12         %B = xor i1 %A, false           ; <i1> [#uses=1]
  13         ret i1 %B
  14 }
  15
  16 define i32 @test1(i32 %A) {
  17 ; CHECK-LABEL: @test1(
  18 ; CHECK-NEXT: ret i32 %A
  19         %B = xor i32 %A, 0              ; <i32> [#uses=1]
  20         ret i32 %B
  21 }
  22
  23 define i1 @test2(i1 %A) {
  24 ; CHECK-LABEL: @test2(
  25 ; CHECK-NEXT: ret i1 false
  26         %B = xor i1 %A, %A              ; <i1> [#uses=1]
  27         ret i1 %B
  28 }
  29
  30 define i32 @test3(i32 %A) {
  31 ; CHECK-LABEL: @test3(
  32 ; CHECK-NEXT: ret i32 0
  33         %B = xor i32 %A, %A             ; <i32> [#uses=1]
  34         ret i32 %B
  35 }
  36
  37 define i32 @test4(i32 %A) {
  38 ; CHECK-LABEL: @test4(
  39 ; CHECK-NEXT: ret i32 -1
  40         %NotA = xor i32 -1, %A          ; <i32> [#uses=1]
  41         %B = xor i32 %A, %NotA          ; <i32> [#uses=1]
  42         ret i32 %B
  43 }
  44
  45 define i32 @test5(i32 %A) {
  46 ; CHECK-LABEL: @test5(
  47 ; CHECK-NEXT: %1 = and i32 %A, -124
  48 ; CHECK-NEXT: ret i32 %1
  49         %t1 = or i32 %A, 123            ; <i32> [#uses=1]
  50         %r = xor i32 %t1, 123           ; <i32> [#uses=1]
  51         ret i32 %r
  52 }
  53
  54 define i8 @test6(i8 %A) {
  55 ; CHECK-LABEL: @test6(
  56 ; CHECK-NEXT: ret i8 %A
  57         %B = xor i8 %A, 17              ; <i8> [#uses=1]
  58         %C = xor i8 %B, 17              ; <i8> [#uses=1]
  59         ret i8 %C
  60 }
  61
  62 define i32 @test7(i32 %A, i32 %B) {
  63 ; CHECK-LABEL: @test7(
  64 ; CHECK-NEXT: %A1 = and i32 %A, 7
  65 ; CHECK-NEXT: %B1 = and i32 %B, 128
  66 ; CHECK-NEXT: %C11 = or i32 %A1, %B1
  67 ; CHECK-NEXT: ret i32 %C11
  68         %A1 = and i32 %A, 7             ; <i32> [#uses=1]
  69         %B1 = and i32 %B, 128           ; <i32> [#uses=1]
  70         %C1 = xor i32 %A1, %B1          ; <i32> [#uses=1]
  71         ret i32 %C1
  72 }
  73
  74 define i8 @test8(i1 %c) {
  75 ; CHECK-LABEL: @test8(
  76 ; CHECK: br i1 %c, label %False, label %True
  77         %d = xor i1 %c, true            ; <i1> [#uses=1]
  78         br i1 %d, label %True, label %False
  79
  80 True:           ; preds = %0
  81         ret i8 1
  82
  83 False:          ; preds = %0
  84         ret i8 3
  85 }
  86
  87 define i1 @test9(i8 %A) {
  88 ; CHECK-LABEL: @test9(
  89 ; CHECK-NEXT: %C = icmp eq i8 %A, 89
  90 ; CHECK-NEXT: ret i1 %C
  91         %B = xor i8 %A, 123             ; <i8> [#uses=1]
  92         %C = icmp eq i8 %B, 34          ; <i1> [#uses=1]
  93         ret i1 %C
  94 }
  95
  96 define i8 @test10(i8 %A) {
  97 ; CHECK-LABEL: @test10(
  98 ; CHECK-NEXT: %B = and i8 %A, 3
  99 ; CHECK-NEXT: %C1 = or i8 %B, 4
 100 ; CHECK-NEXT: ret i8 %C1
 101         %B = and i8 %A, 3               ; <i8> [#uses=1]
 102         %C = xor i8 %B, 4               ; <i8> [#uses=1]
 103         ret i8 %C
 104 }
 105
 106 define i8 @test11(i8 %A) {
 107 ; CHECK-LABEL: @test11(
 108 ; CHECK-NEXT: %B = and i8 %A, -13
 109 ; CHECK-NEXT: %1 = or i8 %B, 8
 110 ; CHECK-NEXT: ret i8 %1
 111         %B = or i8 %A, 12               ; <i8> [#uses=1]
 112         %C = xor i8 %B, 4               ; <i8> [#uses=1]
 113         ret i8 %C
 114 }
 115
 116 define i1 @test12(i8 %A) {
 117 ; CHECK-LABEL: @test12(
 118 ; CHECK-NEXT: %c = icmp ne i8 %A, 4
 119 ; CHECK-NEXT: ret i1 %c
 120         %B = xor i8 %A, 4               ; <i8> [#uses=1]
 121         %c = icmp ne i8 %B, 0           ; <i1> [#uses=1]
 122         ret i1 %c
 123 }
 124
 125 define i1 @test13(i8 %A, i8 %B) {
 126 ; CHECK-LABEL: @test13(
 127 ; CHECK-NEXT: %1 = icmp ne i8 %A, %B
 128 ; CHECK-NEXT: ret i1 %1
 129         %C = icmp ult i8 %A, %B         ; <i1> [#uses=1]
 130         %D = icmp ugt i8 %A, %B         ; <i1> [#uses=1]
 131         %E = xor i1 %C, %D              ; <i1> [#uses=1]
 132         ret i1 %E
 133 }
 134
 135 define i1 @test14(i8 %A, i8 %B) {
 136 ; CHECK-LABEL: @test14(
 137 ; CHECK-NEXT: ret i1 true
 138         %C = icmp eq i8 %A, %B          ; <i1> [#uses=1]
 139         %D = icmp ne i8 %B, %A          ; <i1> [#uses=1]
 140         %E = xor i1 %C, %D              ; <i1> [#uses=1]
 141         ret i1 %E
 142 }
 143
 144 define i32 @test15(i32 %A) {
 145 ; CHECK-LABEL: @test15(
 146 ; CHECK-NEXT: %C = sub i32 0, %A
 147 ; CHECK-NEXT: ret i32 %C
 148         %B = add i32 %A, -1             ; <i32> [#uses=1]
 149         %C = xor i32 %B, -1             ; <i32> [#uses=1]
 150         ret i32 %C
 151 }
 152
 153 define i32 @test16(i32 %A) {
 154 ; CHECK-LABEL: @test16(
 155 ; CHECK-NEXT: %C = sub i32 -124, %A
 156 ; CHECK-NEXT: ret i32 %C
 157         %B = add i32 %A, 123            ; <i32> [#uses=1]
 158         %C = xor i32 %B, -1             ; <i32> [#uses=1]
 159         ret i32 %C
 160 }
 161
 162 define i32 @test17(i32 %A) {
 163 ; CHECK-LABEL: @test17(
 164 ; CHECK-NEXT: %C = add i32 %A, -124
 165 ; CHECK-NEXT: ret i32 %C
 166         %B = sub i32 123, %A            ; <i32> [#uses=1]
 167         %C = xor i32 %B, -1             ; <i32> [#uses=1]
 168         ret i32 %C
 169 }
 170
 171 define i32 @test18(i32 %A) {
 172 ; CHECK-LABEL: @test18(
 173 ; CHECK-NEXT: %C = add i32 %A, 124
 174 ; CHECK-NEXT: ret i32 %C
 175         %B = xor i32 %A, -1             ; <i32> [#uses=1]
 176         %C = sub i32 123, %B            ; <i32> [#uses=1]
 177         ret i32 %C
 178 }
 179
 180 define i32 @test19(i32 %A, i32 %B) {
 181 ; CHECK-LABEL: @test19(
 182 ; CHECK-NEXT: ret i32 %B
 183         %C = xor i32 %A, %B             ; <i32> [#uses=1]
 184         %D = xor i32 %C, %A             ; <i32> [#uses=1]
 185         ret i32 %D
 186 }
 187
 188 define void @test20(i32 %A, i32 %B) {
 189 ; CHECK-LABEL: @test20(
 190 ; CHECK-NEXT: store i32 %B, i32* @G1
 191 ; CHECK-NEXT: store i32 %A, i32* @G2
 192 ; CHECK-NEXT: ret void
 193         %tmp.2 = xor i32 %B, %A         ; <i32> [#uses=2]
 194         %tmp.5 = xor i32 %tmp.2, %B             ; <i32> [#uses=2]
 195         %tmp.8 = xor i32 %tmp.5, %tmp.2         ; <i32> [#uses=1]
 196         store i32 %tmp.8, i32* @G1
 197         store i32 %tmp.5, i32* @G2
 198         ret void
 199 }
 200
 201 define i32 @test21(i1 %C, i32 %A, i32 %B) {
 202 ; CHECK-LABEL: @test21(
 203 ; CHECK-NEXT: %D = select i1 %C, i32 %B, i32 %A
 204 ; CHECK-NEXT: ret i32 %D
 205         %C2 = xor i1 %C, true           ; <i1> [#uses=1]
 206         %D = select i1 %C2, i32 %A, i32 %B              ; <i32> [#uses=1]
 207         ret i32 %D
 208 }
 209
 210 define i32 @test22(i1 %X) {
 211 ; CHECK-LABEL: @test22(
 212 ; CHECK-NEXT: %1 = zext i1 %X to i32
 213 ; CHECK-NEXT: ret i32 %1
 214         %Y = xor i1 %X, true            ; <i1> [#uses=1]
 215         %Z = zext i1 %Y to i32          ; <i32> [#uses=1]
 216         %Q = xor i32 %Z, 1              ; <i32> [#uses=1]
 217         ret i32 %Q
 218 }
 219
 220 define i1 @test23(i32 %a, i32 %b) {
 221 ; CHECK-LABEL: @test23(
 222 ; CHECK-NEXT: %tmp.4 = icmp eq i32 %b, 0
 223 ; CHECK-NEXT: ret i1 %tmp.4
 224         %tmp.2 = xor i32 %b, %a         ; <i32> [#uses=1]
 225         %tmp.4 = icmp eq i32 %tmp.2, %a         ; <i1> [#uses=1]
 226         ret i1 %tmp.4
 227 }
 228
 229 define i1 @test24(i32 %c, i32 %d) {
 230 ; CHECK-LABEL: @test24(
 231 ; CHECK-NEXT: %tmp.4 = icmp ne i32 %d, 0
 232 ; CHECK-NEXT: ret i1 %tmp.4
 233         %tmp.2 = xor i32 %d, %c         ; <i32> [#uses=1]
 234         %tmp.4 = icmp ne i32 %tmp.2, %c         ; <i1> [#uses=1]
 235         ret i1 %tmp.4
 236 }
 237
 238 define i32 @test25(i32 %g, i32 %h) {
 239 ; CHECK-LABEL: @test25(
 240 ; CHECK-NEXT: %tmp4 = and i32 %h, %g
 241 ; CHECK-NEXT: ret i32 %tmp4
 242         %h2 = xor i32 %h, -1            ; <i32> [#uses=1]
 243         %tmp2 = and i32 %h2, %g         ; <i32> [#uses=1]
 244         %tmp4 = xor i32 %tmp2, %g               ; <i32> [#uses=1]
 245         ret i32 %tmp4
 246 }
 247
 248 define i32 @test26(i32 %a, i32 %b) {
 249 ; CHECK-LABEL: @test26(
 250 ; CHECK-NEXT: %tmp4 = and i32 %a, %b
 251 ; CHECK-NEXT: ret i32 %tmp4
 252         %b2 = xor i32 %b, -1            ; <i32> [#uses=1]
 253         %tmp2 = xor i32 %a, %b2         ; <i32> [#uses=1]
 254         %tmp4 = and i32 %tmp2, %a               ; <i32> [#uses=1]
 255         ret i32 %tmp4
 256 }
 257
 258 define i32 @test27(i32 %b, i32 %c, i32 %d) {
 259 ; CHECK-LABEL: @test27(
 260 ; CHECK-NEXT: %tmp = icmp eq i32 %b, %c
 261 ; CHECK-NEXT: %tmp6 = zext i1 %tmp to i32
 262 ; CHECK-NEXT: ret i32 %tmp6
 263         %tmp2 = xor i32 %d, %b          ; <i32> [#uses=1]
 264         %tmp5 = xor i32 %d, %c          ; <i32> [#uses=1]
 265         %tmp = icmp eq i32 %tmp2, %tmp5         ; <i1> [#uses=1]
 266         %tmp6 = zext i1 %tmp to i32             ; <i32> [#uses=1]
 267         ret i32 %tmp6
 268 }
 269
 270 define i32 @test28(i32 %indvar) {
 271 ; CHECK-LABEL: @test28(
 272 ; CHECK-NEXT: %tmp214 = add i32 %indvar, 1
 273 ; CHECK-NEXT: ret i32 %tmp214
 274         %tmp7 = add i32 %indvar, -2147483647            ; <i32> [#uses=1]
 275         %tmp214 = xor i32 %tmp7, -2147483648            ; <i32> [#uses=1]
 276         ret i32 %tmp214
 277 }