test/CodeGen/X86/narrow-shl-cst.ll

   1 ; RUN: llc < %s -march=x86-64 | FileCheck %s
   2 ; PR5039
   3
   4 define i32 @test1(i32 %x) nounwind {
   5   %and = shl i32 %x, 10
   6   %shl = and i32 %and, 31744
   7   ret i32 %shl
   8 ; CHECK-LABEL: test1:
   9 ; CHECK: andl $31
  10 ; CHECK: shll $10
  11 }
  12
  13 define i32 @test2(i32 %x) nounwind {
  14   %or = shl i32 %x, 10
  15   %shl = or i32 %or, 31744
  16   ret i32 %shl
  17 ; CHECK-LABEL: test2:
  18 ; CHECK: orl $31
  19 ; CHECK: shll $10
  20 }
  21
  22 define i32 @test3(i32 %x) nounwind {
  23   %xor = shl i32 %x, 10
  24   %shl = xor i32 %xor, 31744
  25   ret i32 %shl
  26 ; CHECK-LABEL: test3:
  27 ; CHECK: xorl $31
  28 ; CHECK: shll $10
  29 }
  30
  31 define i64 @test4(i64 %x) nounwind {
  32   %and = shl i64 %x, 40
  33   %shl = and i64 %and, 264982302294016
  34   ret i64 %shl
  35 ; CHECK-LABEL: test4:
  36 ; CHECK: andq $241
  37 ; CHECK: shlq $40
  38 }
  39
  40 define i64 @test5(i64 %x) nounwind {
  41   %and = shl i64 %x, 40
  42   %shl = and i64 %and, 34084860461056
  43   ret i64 %shl
  44 ; CHECK-LABEL: test5:
  45 ; CHECK: andq $31
  46 ; CHECK: shlq $40
  47 }
  48
  49 define i64 @test6(i64 %x) nounwind {
  50   %and = shl i64 %x, 32
  51   %shl = and i64 %and, -281474976710656
  52   ret i64 %shl
  53 ; CHECK-LABEL: test6:
  54 ; CHECK: andq $-65536
  55 ; CHECK: shlq $32
  56 }
  57
  58 define i64 @test7(i64 %x) nounwind {
  59   %or = shl i64 %x, 40
  60   %shl = or i64 %or, 264982302294016
  61   ret i64 %shl
  62 ; CHECK-LABEL: test7:
  63 ; CHECK: orq $241
  64 ; CHECK: shlq $40
  65 }
  66
  67 define i64 @test8(i64 %x) nounwind {
  68   %or = shl i64 %x, 40
  69   %shl = or i64 %or, 34084860461056
  70   ret i64 %shl
  71 ; CHECK-LABEL: test8:
  72 ; CHECK: orq $31
  73 ; CHECK: shlq $40
  74 }
  75
  76 define i64 @test9(i64 %x) nounwind {
  77   %xor = shl i64 %x, 40
  78   %shl = xor i64 %xor, 264982302294016
  79   ret i64 %shl
  80 ; CHECK-LABEL: test9:
  81 ; CHECK: orq $241
  82 ; CHECK: shlq $40
  83 }
  84
  85 define i64 @test10(i64 %x) nounwind {
  86   %xor = shl i64 %x, 40
  87   %shl = xor i64 %xor, 34084860461056
  88   ret i64 %shl
  89 ; CHECK-LABEL: test10:
  90 ; CHECK: xorq $31
  91 ; CHECK: shlq $40
  92 }
  93
  94 define i64 @test11(i64 %x) nounwind {
  95   %xor = shl i64 %x, 33
  96   %shl = xor i64 %xor, -562949953421312
  97   ret i64 %shl
  98 ; CHECK-LABEL: test11:
  99 ; CHECK: xorq $-65536
 100 ; CHECK: shlq $33
 101 }
 102
 103 ; PR23098
 104 define i32 @test12(i32 %x, i32* %y) nounwind {
 105   %and = shl i32 %x, 1
 106   %shl = and i32 %and, 255
 107   store i32 %shl, i32* %y
 108   ret i32 %shl
 109 ; CHECK-LABEL: test12:
 110 ; CHECK: andl $127
 111 ; CHECK-NEXT: addl
 112 ; CHECK-NOT: shl
 113 }
 114
 115 define i64 @test13(i64 %x, i64* %y) nounwind {
 116   %and = shl i64 %x, 1
 117   %shl = and i64 %and, 255
 118   store i64 %shl, i64* %y
 119   ret i64 %shl
 120 ; CHECK-LABEL: test13:
 121 ; CHECK: andq $127
 122 ; CHECK-NEXT: addq
 123 ; CHECK-NOT: shl
 124 }