llvm/test/CodeGen/X86/pull-binop-through-shift.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --no_x86_scrub_sp
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=X64
   3 ; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefix=X86
   4
   5 ; shift left
   6
   7 define i32 @and_signbit_shl(i32 %x, ptr %dst) {
   8 ; X64-LABEL: and_signbit_shl:
   9 ; X64:       # %bb.0:
  10 ; X64-NEXT:    movl %edi, %eax
  11 ; X64-NEXT:    shll $8, %eax
  12 ; X64-NEXT:    andl $-16777216, %eax # imm = 0xFF000000
  13 ; X64-NEXT:    movl %eax, (%rsi)
  14 ; X64-NEXT:    retq
  15 ;
  16 ; X86-LABEL: and_signbit_shl:
  17 ; X86:       # %bb.0:
  18 ; X86-NEXT:    movl 8(%esp), %ecx
  19 ; X86-NEXT:    movzbl 6(%esp), %eax
  20 ; X86-NEXT:    shll $24, %eax
  21 ; X86-NEXT:    movl %eax, (%ecx)
  22 ; X86-NEXT:    retl
  23   %t0 = and i32 %x, 4294901760 ; 0xFFFF0000
  24   %r = shl i32 %t0, 8
  25   store i32 %r, ptr %dst
  26   ret i32 %r
  27 }
  28 define i32 @and_nosignbit_shl(i32 %x, ptr %dst) {
  29 ; X64-LABEL: and_nosignbit_shl:
  30 ; X64:       # %bb.0:
  31 ; X64-NEXT:    movl %edi, %eax
  32 ; X64-NEXT:    shll $8, %eax
  33 ; X64-NEXT:    andl $-16777216, %eax # imm = 0xFF000000
  34 ; X64-NEXT:    movl %eax, (%rsi)
  35 ; X64-NEXT:    retq
  36 ;
  37 ; X86-LABEL: and_nosignbit_shl:
  38 ; X86:       # %bb.0:
  39 ; X86-NEXT:    movl 8(%esp), %ecx
  40 ; X86-NEXT:    movzbl 6(%esp), %eax
  41 ; X86-NEXT:    shll $24, %eax
  42 ; X86-NEXT:    movl %eax, (%ecx)
  43 ; X86-NEXT:    retl
  44   %t0 = and i32 %x, 2147418112 ; 0x7FFF0000
  45   %r = shl i32 %t0, 8
  46   store i32 %r, ptr %dst
  47   ret i32 %r
  48 }
  49
  50 define i32 @or_signbit_shl(i32 %x, ptr %dst) {
  51 ; X64-LABEL: or_signbit_shl:
  52 ; X64:       # %bb.0:
  53 ; X64-NEXT:    movl %edi, %eax
  54 ; X64-NEXT:    shll $8, %eax
  55 ; X64-NEXT:    orl $-16777216, %eax # imm = 0xFF000000
  56 ; X64-NEXT:    movl %eax, (%rsi)
  57 ; X64-NEXT:    retq
  58 ;
  59 ; X86-LABEL: or_signbit_shl:
  60 ; X86:       # %bb.0:
  61 ; X86-NEXT:    movl 8(%esp), %ecx
  62 ; X86-NEXT:    movl 4(%esp), %eax
  63 ; X86-NEXT:    shll $8, %eax
  64 ; X86-NEXT:    orl $-16777216, %eax # imm = 0xFF000000
  65 ; X86-NEXT:    movl %eax, (%ecx)
  66 ; X86-NEXT:    retl
  67   %t0 = or i32 %x, 4294901760 ; 0xFFFF0000
  68   %r = shl i32 %t0, 8
  69   store i32 %r, ptr %dst
  70   ret i32 %r
  71 }
  72 define i32 @or_nosignbit_shl(i32 %x, ptr %dst) {
  73 ; X64-LABEL: or_nosignbit_shl:
  74 ; X64:       # %bb.0:
  75 ; X64-NEXT:    movl %edi, %eax
  76 ; X64-NEXT:    shll $8, %eax
  77 ; X64-NEXT:    orl $-16777216, %eax # imm = 0xFF000000
  78 ; X64-NEXT:    movl %eax, (%rsi)
  79 ; X64-NEXT:    retq
  80 ;
  81 ; X86-LABEL: or_nosignbit_shl:
  82 ; X86:       # %bb.0:
  83 ; X86-NEXT:    movl 8(%esp), %ecx
  84 ; X86-NEXT:    movl 4(%esp), %eax
  85 ; X86-NEXT:    shll $8, %eax
  86 ; X86-NEXT:    orl $-16777216, %eax # imm = 0xFF000000
  87 ; X86-NEXT:    movl %eax, (%ecx)
  88 ; X86-NEXT:    retl
  89   %t0 = or i32 %x, 2147418112 ; 0x7FFF0000
  90   %r = shl i32 %t0, 8
  91   store i32 %r, ptr %dst
  92   ret i32 %r
  93 }
  94
  95 define i32 @xor_signbit_shl(i32 %x, ptr %dst) {
  96 ; X64-LABEL: xor_signbit_shl:
  97 ; X64:       # %bb.0:
  98 ; X64-NEXT:    movl %edi, %eax
  99 ; X64-NEXT:    shll $8, %eax
 100 ; X64-NEXT:    xorl $-16777216, %eax # imm = 0xFF000000
 101 ; X64-NEXT:    movl %eax, (%rsi)
 102 ; X64-NEXT:    retq
 103 ;
 104 ; X86-LABEL: xor_signbit_shl:
 105 ; X86:       # %bb.0:
 106 ; X86-NEXT:    movl 8(%esp), %ecx
 107 ; X86-NEXT:    movl $16711680, %eax # imm = 0xFF0000
 108 ; X86-NEXT:    xorl 4(%esp), %eax
 109 ; X86-NEXT:    shll $8, %eax
 110 ; X86-NEXT:    movl %eax, (%ecx)
 111 ; X86-NEXT:    retl
 112   %t0 = xor i32 %x, 4294901760 ; 0xFFFF0000
 113   %r = shl i32 %t0, 8
 114   store i32 %r, ptr %dst
 115   ret i32 %r
 116 }
 117 define i32 @xor_nosignbit_shl(i32 %x, ptr %dst) {
 118 ; X64-LABEL: xor_nosignbit_shl:
 119 ; X64:       # %bb.0:
 120 ; X64-NEXT:    movl %edi, %eax
 121 ; X64-NEXT:    shll $8, %eax
 122 ; X64-NEXT:    xorl $-16777216, %eax # imm = 0xFF000000
 123 ; X64-NEXT:    movl %eax, (%rsi)
 124 ; X64-NEXT:    retq
 125 ;
 126 ; X86-LABEL: xor_nosignbit_shl:
 127 ; X86:       # %bb.0:
 128 ; X86-NEXT:    movl 8(%esp), %ecx
 129 ; X86-NEXT:    movl $16711680, %eax # imm = 0xFF0000
 130 ; X86-NEXT:    xorl 4(%esp), %eax
 131 ; X86-NEXT:    shll $8, %eax
 132 ; X86-NEXT:    movl %eax, (%ecx)
 133 ; X86-NEXT:    retl
 134   %t0 = xor i32 %x, 2147418112 ; 0x7FFF0000
 135   %r = shl i32 %t0, 8
 136   store i32 %r, ptr %dst
 137   ret i32 %r
 138 }
 139
 140 define i32 @add_signbit_shl(i32 %x, ptr %dst) {
 141 ; X64-LABEL: add_signbit_shl:
 142 ; X64:       # %bb.0:
 143 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 144 ; X64-NEXT:    shll $8, %edi
 145 ; X64-NEXT:    leal -16777216(%rdi), %eax
 146 ; X64-NEXT:    movl %eax, (%rsi)
 147 ; X64-NEXT:    retq
 148 ;
 149 ; X86-LABEL: add_signbit_shl:
 150 ; X86:       # %bb.0:
 151 ; X86-NEXT:    movl 8(%esp), %ecx
 152 ; X86-NEXT:    movl 4(%esp), %eax
 153 ; X86-NEXT:    shll $8, %eax
 154 ; X86-NEXT:    addl $-16777216, %eax # imm = 0xFF000000
 155 ; X86-NEXT:    movl %eax, (%ecx)
 156 ; X86-NEXT:    retl
 157   %t0 = add i32 %x, 4294901760 ; 0xFFFF0000
 158   %r = shl i32 %t0, 8
 159   store i32 %r, ptr %dst
 160   ret i32 %r
 161 }
 162 define i32 @add_nosignbit_shl(i32 %x, ptr %dst) {
 163 ; X64-LABEL: add_nosignbit_shl:
 164 ; X64:       # %bb.0:
 165 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 166 ; X64-NEXT:    shll $8, %edi
 167 ; X64-NEXT:    leal -16777216(%rdi), %eax
 168 ; X64-NEXT:    movl %eax, (%rsi)
 169 ; X64-NEXT:    retq
 170 ;
 171 ; X86-LABEL: add_nosignbit_shl:
 172 ; X86:       # %bb.0:
 173 ; X86-NEXT:    movl 8(%esp), %ecx
 174 ; X86-NEXT:    movl 4(%esp), %eax
 175 ; X86-NEXT:    shll $8, %eax
 176 ; X86-NEXT:    addl $-16777216, %eax # imm = 0xFF000000
 177 ; X86-NEXT:    movl %eax, (%ecx)
 178 ; X86-NEXT:    retl
 179   %t0 = add i32 %x, 2147418112 ; 0x7FFF0000
 180   %r = shl i32 %t0, 8
 181   store i32 %r, ptr %dst
 182   ret i32 %r
 183 }
 184
 185 ; logical shift right
 186
 187 define i32 @and_signbit_lshr(i32 %x, ptr %dst) {
 188 ; X64-LABEL: and_signbit_lshr:
 189 ; X64:       # %bb.0:
 190 ; X64-NEXT:    movl %edi, %eax
 191 ; X64-NEXT:    shrl $8, %eax
 192 ; X64-NEXT:    andl $16776960, %eax # imm = 0xFFFF00
 193 ; X64-NEXT:    movl %eax, (%rsi)
 194 ; X64-NEXT:    retq
 195 ;
 196 ; X86-LABEL: and_signbit_lshr:
 197 ; X86:       # %bb.0:
 198 ; X86-NEXT:    movl 8(%esp), %ecx
 199 ; X86-NEXT:    movzwl 6(%esp), %eax
 200 ; X86-NEXT:    shll $8, %eax
 201 ; X86-NEXT:    movl %eax, (%ecx)
 202 ; X86-NEXT:    retl
 203   %t0 = and i32 %x, 4294901760 ; 0xFFFF0000
 204   %r = lshr i32 %t0, 8
 205   store i32 %r, ptr %dst
 206   ret i32 %r
 207 }
 208 define i32 @and_nosignbit_lshr(i32 %x, ptr %dst) {
 209 ; X64-LABEL: and_nosignbit_lshr:
 210 ; X64:       # %bb.0:
 211 ; X64-NEXT:    movl %edi, %eax
 212 ; X64-NEXT:    shrl $8, %eax
 213 ; X64-NEXT:    andl $8388352, %eax # imm = 0x7FFF00
 214 ; X64-NEXT:    movl %eax, (%rsi)
 215 ; X64-NEXT:    retq
 216 ;
 217 ; X86-LABEL: and_nosignbit_lshr:
 218 ; X86:       # %bb.0:
 219 ; X86-NEXT:    movl 8(%esp), %ecx
 220 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 221 ; X86-NEXT:    andl 4(%esp), %eax
 222 ; X86-NEXT:    shrl $8, %eax
 223 ; X86-NEXT:    movl %eax, (%ecx)
 224 ; X86-NEXT:    retl
 225   %t0 = and i32 %x, 2147418112 ; 0x7FFF0000
 226   %r = lshr i32 %t0, 8
 227   store i32 %r, ptr %dst
 228   ret i32 %r
 229 }
 230
 231 define i32 @or_signbit_lshr(i32 %x, ptr %dst) {
 232 ; X64-LABEL: or_signbit_lshr:
 233 ; X64:       # %bb.0:
 234 ; X64-NEXT:    movl %edi, %eax
 235 ; X64-NEXT:    shrl $8, %eax
 236 ; X64-NEXT:    orl $16776960, %eax # imm = 0xFFFF00
 237 ; X64-NEXT:    movl %eax, (%rsi)
 238 ; X64-NEXT:    retq
 239 ;
 240 ; X86-LABEL: or_signbit_lshr:
 241 ; X86:       # %bb.0:
 242 ; X86-NEXT:    movl 8(%esp), %ecx
 243 ; X86-NEXT:    movl $-65536, %eax # imm = 0xFFFF0000
 244 ; X86-NEXT:    orl 4(%esp), %eax
 245 ; X86-NEXT:    shrl $8, %eax
 246 ; X86-NEXT:    movl %eax, (%ecx)
 247 ; X86-NEXT:    retl
 248   %t0 = or i32 %x, 4294901760 ; 0xFFFF0000
 249   %r = lshr i32 %t0, 8
 250   store i32 %r, ptr %dst
 251   ret i32 %r
 252 }
 253 define i32 @or_nosignbit_lshr(i32 %x, ptr %dst) {
 254 ; X64-LABEL: or_nosignbit_lshr:
 255 ; X64:       # %bb.0:
 256 ; X64-NEXT:    movl %edi, %eax
 257 ; X64-NEXT:    shrl $8, %eax
 258 ; X64-NEXT:    orl $8388352, %eax # imm = 0x7FFF00
 259 ; X64-NEXT:    movl %eax, (%rsi)
 260 ; X64-NEXT:    retq
 261 ;
 262 ; X86-LABEL: or_nosignbit_lshr:
 263 ; X86:       # %bb.0:
 264 ; X86-NEXT:    movl 8(%esp), %ecx
 265 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 266 ; X86-NEXT:    orl 4(%esp), %eax
 267 ; X86-NEXT:    shrl $8, %eax
 268 ; X86-NEXT:    movl %eax, (%ecx)
 269 ; X86-NEXT:    retl
 270   %t0 = or i32 %x, 2147418112 ; 0x7FFF0000
 271   %r = lshr i32 %t0, 8
 272   store i32 %r, ptr %dst
 273   ret i32 %r
 274 }
 275
 276 define i32 @xor_signbit_lshr(i32 %x, ptr %dst) {
 277 ; X64-LABEL: xor_signbit_lshr:
 278 ; X64:       # %bb.0:
 279 ; X64-NEXT:    movl %edi, %eax
 280 ; X64-NEXT:    shrl $8, %eax
 281 ; X64-NEXT:    xorl $16776960, %eax # imm = 0xFFFF00
 282 ; X64-NEXT:    movl %eax, (%rsi)
 283 ; X64-NEXT:    retq
 284 ;
 285 ; X86-LABEL: xor_signbit_lshr:
 286 ; X86:       # %bb.0:
 287 ; X86-NEXT:    movl 8(%esp), %ecx
 288 ; X86-NEXT:    movl $-65536, %eax # imm = 0xFFFF0000
 289 ; X86-NEXT:    xorl 4(%esp), %eax
 290 ; X86-NEXT:    shrl $8, %eax
 291 ; X86-NEXT:    movl %eax, (%ecx)
 292 ; X86-NEXT:    retl
 293   %t0 = xor i32 %x, 4294901760 ; 0xFFFF0000
 294   %r = lshr i32 %t0, 8
 295   store i32 %r, ptr %dst
 296   ret i32 %r
 297 }
 298 define i32 @xor_nosignbit_lshr(i32 %x, ptr %dst) {
 299 ; X64-LABEL: xor_nosignbit_lshr:
 300 ; X64:       # %bb.0:
 301 ; X64-NEXT:    movl %edi, %eax
 302 ; X64-NEXT:    shrl $8, %eax
 303 ; X64-NEXT:    xorl $8388352, %eax # imm = 0x7FFF00
 304 ; X64-NEXT:    movl %eax, (%rsi)
 305 ; X64-NEXT:    retq
 306 ;
 307 ; X86-LABEL: xor_nosignbit_lshr:
 308 ; X86:       # %bb.0:
 309 ; X86-NEXT:    movl 8(%esp), %ecx
 310 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 311 ; X86-NEXT:    xorl 4(%esp), %eax
 312 ; X86-NEXT:    shrl $8, %eax
 313 ; X86-NEXT:    movl %eax, (%ecx)
 314 ; X86-NEXT:    retl
 315   %t0 = xor i32 %x, 2147418112 ; 0x7FFF0000
 316   %r = lshr i32 %t0, 8
 317   store i32 %r, ptr %dst
 318   ret i32 %r
 319 }
 320
 321 define i32 @add_signbit_lshr(i32 %x, ptr %dst) {
 322 ; X64-LABEL: add_signbit_lshr:
 323 ; X64:       # %bb.0:
 324 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 325 ; X64-NEXT:    leal -65536(%rdi), %eax
 326 ; X64-NEXT:    shrl $8, %eax
 327 ; X64-NEXT:    movl %eax, (%rsi)
 328 ; X64-NEXT:    retq
 329 ;
 330 ; X86-LABEL: add_signbit_lshr:
 331 ; X86:       # %bb.0:
 332 ; X86-NEXT:    movl 8(%esp), %ecx
 333 ; X86-NEXT:    movl $-65536, %eax # imm = 0xFFFF0000
 334 ; X86-NEXT:    addl 4(%esp), %eax
 335 ; X86-NEXT:    shrl $8, %eax
 336 ; X86-NEXT:    movl %eax, (%ecx)
 337 ; X86-NEXT:    retl
 338   %t0 = add i32 %x, 4294901760 ; 0xFFFF0000
 339   %r = lshr i32 %t0, 8
 340   store i32 %r, ptr %dst
 341   ret i32 %r
 342 }
 343 define i32 @add_nosignbit_lshr(i32 %x, ptr %dst) {
 344 ; X64-LABEL: add_nosignbit_lshr:
 345 ; X64:       # %bb.0:
 346 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 347 ; X64-NEXT:    leal 2147418112(%rdi), %eax
 348 ; X64-NEXT:    shrl $8, %eax
 349 ; X64-NEXT:    movl %eax, (%rsi)
 350 ; X64-NEXT:    retq
 351 ;
 352 ; X86-LABEL: add_nosignbit_lshr:
 353 ; X86:       # %bb.0:
 354 ; X86-NEXT:    movl 8(%esp), %ecx
 355 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 356 ; X86-NEXT:    addl 4(%esp), %eax
 357 ; X86-NEXT:    shrl $8, %eax
 358 ; X86-NEXT:    movl %eax, (%ecx)
 359 ; X86-NEXT:    retl
 360   %t0 = add i32 %x, 2147418112 ; 0x7FFF0000
 361   %r = lshr i32 %t0, 8
 362   store i32 %r, ptr %dst
 363   ret i32 %r
 364 }
 365
 366 ; arithmetic shift right
 367
 368 define i32 @and_signbit_ashr(i32 %x, ptr %dst) {
 369 ; X64-LABEL: and_signbit_ashr:
 370 ; X64:       # %bb.0:
 371 ; X64-NEXT:    movl %edi, %eax
 372 ; X64-NEXT:    sarl $8, %eax
 373 ; X64-NEXT:    andl $-256, %eax
 374 ; X64-NEXT:    movl %eax, (%rsi)
 375 ; X64-NEXT:    retq
 376 ;
 377 ; X86-LABEL: and_signbit_ashr:
 378 ; X86:       # %bb.0:
 379 ; X86-NEXT:    movl 8(%esp), %ecx
 380 ; X86-NEXT:    movswl 6(%esp), %eax
 381 ; X86-NEXT:    shll $8, %eax
 382 ; X86-NEXT:    movl %eax, (%ecx)
 383 ; X86-NEXT:    retl
 384   %t0 = and i32 %x, 4294901760 ; 0xFFFF0000
 385   %r = ashr i32 %t0, 8
 386   store i32 %r, ptr %dst
 387   ret i32 %r
 388 }
 389 define i32 @and_nosignbit_ashr(i32 %x, ptr %dst) {
 390 ; X64-LABEL: and_nosignbit_ashr:
 391 ; X64:       # %bb.0:
 392 ; X64-NEXT:    movl %edi, %eax
 393 ; X64-NEXT:    shrl $8, %eax
 394 ; X64-NEXT:    andl $8388352, %eax # imm = 0x7FFF00
 395 ; X64-NEXT:    movl %eax, (%rsi)
 396 ; X64-NEXT:    retq
 397 ;
 398 ; X86-LABEL: and_nosignbit_ashr:
 399 ; X86:       # %bb.0:
 400 ; X86-NEXT:    movl 8(%esp), %ecx
 401 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 402 ; X86-NEXT:    andl 4(%esp), %eax
 403 ; X86-NEXT:    shrl $8, %eax
 404 ; X86-NEXT:    movl %eax, (%ecx)
 405 ; X86-NEXT:    retl
 406   %t0 = and i32 %x, 2147418112 ; 0x7FFF0000
 407   %r = ashr i32 %t0, 8
 408   store i32 %r, ptr %dst
 409   ret i32 %r
 410 }
 411
 412 define i32 @or_signbit_ashr(i32 %x, ptr %dst) {
 413 ; X64-LABEL: or_signbit_ashr:
 414 ; X64:       # %bb.0:
 415 ; X64-NEXT:    movl %edi, %eax
 416 ; X64-NEXT:    shrl $8, %eax
 417 ; X64-NEXT:    orl $-256, %eax
 418 ; X64-NEXT:    movl %eax, (%rsi)
 419 ; X64-NEXT:    retq
 420 ;
 421 ; X86-LABEL: or_signbit_ashr:
 422 ; X86:       # %bb.0:
 423 ; X86-NEXT:    movl 8(%esp), %ecx
 424 ; X86-NEXT:    movl $-65536, %eax # imm = 0xFFFF0000
 425 ; X86-NEXT:    orl 4(%esp), %eax
 426 ; X86-NEXT:    sarl $8, %eax
 427 ; X86-NEXT:    movl %eax, (%ecx)
 428 ; X86-NEXT:    retl
 429   %t0 = or i32 %x, 4294901760 ; 0xFFFF0000
 430   %r = ashr i32 %t0, 8
 431   store i32 %r, ptr %dst
 432   ret i32 %r
 433 }
 434 define i32 @or_nosignbit_ashr(i32 %x, ptr %dst) {
 435 ; X64-LABEL: or_nosignbit_ashr:
 436 ; X64:       # %bb.0:
 437 ; X64-NEXT:    movl %edi, %eax
 438 ; X64-NEXT:    sarl $8, %eax
 439 ; X64-NEXT:    orl $8388352, %eax # imm = 0x7FFF00
 440 ; X64-NEXT:    movl %eax, (%rsi)
 441 ; X64-NEXT:    retq
 442 ;
 443 ; X86-LABEL: or_nosignbit_ashr:
 444 ; X86:       # %bb.0:
 445 ; X86-NEXT:    movl 8(%esp), %ecx
 446 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 447 ; X86-NEXT:    orl 4(%esp), %eax
 448 ; X86-NEXT:    sarl $8, %eax
 449 ; X86-NEXT:    movl %eax, (%ecx)
 450 ; X86-NEXT:    retl
 451   %t0 = or i32 %x, 2147418112 ; 0x7FFF0000
 452   %r = ashr i32 %t0, 8
 453   store i32 %r, ptr %dst
 454   ret i32 %r
 455 }
 456
 457 define i32 @xor_signbit_ashr(i32 %x, ptr %dst) {
 458 ; X64-LABEL: xor_signbit_ashr:
 459 ; X64:       # %bb.0:
 460 ; X64-NEXT:    movl %edi, %eax
 461 ; X64-NEXT:    sarl $8, %eax
 462 ; X64-NEXT:    xorl $-256, %eax
 463 ; X64-NEXT:    movl %eax, (%rsi)
 464 ; X64-NEXT:    retq
 465 ;
 466 ; X86-LABEL: xor_signbit_ashr:
 467 ; X86:       # %bb.0:
 468 ; X86-NEXT:    movl 8(%esp), %ecx
 469 ; X86-NEXT:    movl $-65536, %eax # imm = 0xFFFF0000
 470 ; X86-NEXT:    xorl 4(%esp), %eax
 471 ; X86-NEXT:    sarl $8, %eax
 472 ; X86-NEXT:    movl %eax, (%ecx)
 473 ; X86-NEXT:    retl
 474   %t0 = xor i32 %x, 4294901760 ; 0xFFFF0000
 475   %r = ashr i32 %t0, 8
 476   store i32 %r, ptr %dst
 477   ret i32 %r
 478 }
 479 define i32 @xor_nosignbit_ashr(i32 %x, ptr %dst) {
 480 ; X64-LABEL: xor_nosignbit_ashr:
 481 ; X64:       # %bb.0:
 482 ; X64-NEXT:    movl %edi, %eax
 483 ; X64-NEXT:    sarl $8, %eax
 484 ; X64-NEXT:    xorl $8388352, %eax # imm = 0x7FFF00
 485 ; X64-NEXT:    movl %eax, (%rsi)
 486 ; X64-NEXT:    retq
 487 ;
 488 ; X86-LABEL: xor_nosignbit_ashr:
 489 ; X86:       # %bb.0:
 490 ; X86-NEXT:    movl 8(%esp), %ecx
 491 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 492 ; X86-NEXT:    xorl 4(%esp), %eax
 493 ; X86-NEXT:    sarl $8, %eax
 494 ; X86-NEXT:    movl %eax, (%ecx)
 495 ; X86-NEXT:    retl
 496   %t0 = xor i32 %x, 2147418112 ; 0x7FFF0000
 497   %r = ashr i32 %t0, 8
 498   store i32 %r, ptr %dst
 499   ret i32 %r
 500 }
 501
 502 define i32 @add_signbit_ashr(i32 %x, ptr %dst) {
 503 ; X64-LABEL: add_signbit_ashr:
 504 ; X64:       # %bb.0:
 505 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 506 ; X64-NEXT:    leal -65536(%rdi), %eax
 507 ; X64-NEXT:    sarl $8, %eax
 508 ; X64-NEXT:    movl %eax, (%rsi)
 509 ; X64-NEXT:    retq
 510 ;
 511 ; X86-LABEL: add_signbit_ashr:
 512 ; X86:       # %bb.0:
 513 ; X86-NEXT:    movl 8(%esp), %ecx
 514 ; X86-NEXT:    movl $-65536, %eax # imm = 0xFFFF0000
 515 ; X86-NEXT:    addl 4(%esp), %eax
 516 ; X86-NEXT:    sarl $8, %eax
 517 ; X86-NEXT:    movl %eax, (%ecx)
 518 ; X86-NEXT:    retl
 519   %t0 = add i32 %x, 4294901760 ; 0xFFFF0000
 520   %r = ashr i32 %t0, 8
 521   store i32 %r, ptr %dst
 522   ret i32 %r
 523 }
 524 define i32 @add_nosignbit_ashr(i32 %x, ptr %dst) {
 525 ; X64-LABEL: add_nosignbit_ashr:
 526 ; X64:       # %bb.0:
 527 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 528 ; X64-NEXT:    leal 2147418112(%rdi), %eax
 529 ; X64-NEXT:    sarl $8, %eax
 530 ; X64-NEXT:    movl %eax, (%rsi)
 531 ; X64-NEXT:    retq
 532 ;
 533 ; X86-LABEL: add_nosignbit_ashr:
 534 ; X86:       # %bb.0:
 535 ; X86-NEXT:    movl 8(%esp), %ecx
 536 ; X86-NEXT:    movl $2147418112, %eax # imm = 0x7FFF0000
 537 ; X86-NEXT:    addl 4(%esp), %eax
 538 ; X86-NEXT:    sarl $8, %eax
 539 ; X86-NEXT:    movl %eax, (%ecx)
 540 ; X86-NEXT:    retl
 541   %t0 = add i32 %x, 2147418112 ; 0x7FFF0000
 542   %r = ashr i32 %t0, 8
 543   store i32 %r, ptr %dst
 544   ret i32 %r
 545 }