test/CodeGen/X86/bmi.ll

   1 ; RUN: llc < %s -march=x86-64 -mattr=+bmi,+bmi2 | FileCheck %s
   2
   3 declare i8 @llvm.cttz.i8(i8, i1) nounwind readnone
   4 declare i16 @llvm.cttz.i16(i16, i1) nounwind readnone
   5 declare i32 @llvm.cttz.i32(i32, i1) nounwind readnone
   6 declare i64 @llvm.cttz.i64(i64, i1) nounwind readnone
   7
   8 define i8 @t1(i8 %x) nounwind  {
   9   %tmp = tail call i8 @llvm.cttz.i8( i8 %x, i1 false )
  10   ret i8 %tmp
  11 ; CHECK-LABEL: t1:
  12 ; CHECK: tzcntl
  13 }
  14
  15 define i16 @t2(i16 %x) nounwind  {
  16   %tmp = tail call i16 @llvm.cttz.i16( i16 %x, i1 false )
  17   ret i16 %tmp
  18 ; CHECK-LABEL: t2:
  19 ; CHECK: tzcntw
  20 }
  21
  22 define i32 @t3(i32 %x) nounwind  {
  23   %tmp = tail call i32 @llvm.cttz.i32( i32 %x, i1 false )
  24   ret i32 %tmp
  25 ; CHECK-LABEL: t3:
  26 ; CHECK: tzcntl
  27 }
  28
  29 define i32 @tzcnt32_load(i32* %x) nounwind  {
  30   %x1 = load i32* %x
  31   %tmp = tail call i32 @llvm.cttz.i32(i32 %x1, i1 false )
  32   ret i32 %tmp
  33 ; CHECK-LABEL: tzcnt32_load:
  34 ; CHECK: tzcntl ({{.*}})
  35 }
  36
  37 define i64 @t4(i64 %x) nounwind  {
  38   %tmp = tail call i64 @llvm.cttz.i64( i64 %x, i1 false )
  39   ret i64 %tmp
  40 ; CHECK-LABEL: t4:
  41 ; CHECK: tzcntq
  42 }
  43
  44 define i8 @t5(i8 %x) nounwind  {
  45   %tmp = tail call i8 @llvm.cttz.i8( i8 %x, i1 true )
  46   ret i8 %tmp
  47 ; CHECK-LABEL: t5:
  48 ; CHECK: tzcntl
  49 }
  50
  51 define i16 @t6(i16 %x) nounwind  {
  52   %tmp = tail call i16 @llvm.cttz.i16( i16 %x, i1 true )
  53   ret i16 %tmp
  54 ; CHECK-LABEL: t6:
  55 ; CHECK: tzcntw
  56 }
  57
  58 define i32 @t7(i32 %x) nounwind  {
  59   %tmp = tail call i32 @llvm.cttz.i32( i32 %x, i1 true )
  60   ret i32 %tmp
  61 ; CHECK-LABEL: t7:
  62 ; CHECK: tzcntl
  63 }
  64
  65 define i64 @t8(i64 %x) nounwind  {
  66   %tmp = tail call i64 @llvm.cttz.i64( i64 %x, i1 true )
  67   ret i64 %tmp
  68 ; CHECK-LABEL: t8:
  69 ; CHECK: tzcntq
  70 }
  71
  72 define i32 @andn32(i32 %x, i32 %y) nounwind readnone {
  73   %tmp1 = xor i32 %x, -1
  74   %tmp2 = and i32 %y, %tmp1
  75   ret i32 %tmp2
  76 ; CHECK-LABEL: andn32:
  77 ; CHECK: andnl
  78 }
  79
  80 define i32 @andn32_load(i32 %x, i32* %y) nounwind readnone {
  81   %y1 = load i32* %y
  82   %tmp1 = xor i32 %x, -1
  83   %tmp2 = and i32 %y1, %tmp1
  84   ret i32 %tmp2
  85 ; CHECK-LABEL: andn32_load:
  86 ; CHECK: andnl ({{.*}})
  87 }
  88
  89 define i64 @andn64(i64 %x, i64 %y) nounwind readnone {
  90   %tmp1 = xor i64 %x, -1
  91   %tmp2 = and i64 %tmp1, %y
  92   ret i64 %tmp2
  93 ; CHECK-LABEL: andn64:
  94 ; CHECK: andnq
  95 }
  96
  97 define i32 @bextr32(i32 %x, i32 %y) nounwind readnone {
  98   %tmp = tail call i32 @llvm.x86.bmi.bextr.32(i32 %x, i32 %y)
  99   ret i32 %tmp
 100 ; CHECK-LABEL: bextr32:
 101 ; CHECK: bextrl
 102 }
 103
 104 define i32 @bextr32_load(i32* %x, i32 %y) nounwind readnone {
 105   %x1 = load i32* %x
 106   %tmp = tail call i32 @llvm.x86.bmi.bextr.32(i32 %x1, i32 %y)
 107   ret i32 %tmp
 108 ; CHECK-LABEL: bextr32_load:
 109 ; CHECK: bextrl {{.*}}, ({{.*}}), {{.*}}
 110 }
 111
 112 declare i32 @llvm.x86.bmi.bextr.32(i32, i32) nounwind readnone
 113
 114 define i64 @bextr64(i64 %x, i64 %y) nounwind readnone {
 115   %tmp = tail call i64 @llvm.x86.bmi.bextr.64(i64 %x, i64 %y)
 116   ret i64 %tmp
 117 ; CHECK-LABEL: bextr64:
 118 ; CHECK: bextrq
 119 }
 120
 121 declare i64 @llvm.x86.bmi.bextr.64(i64, i64) nounwind readnone
 122
 123 define i32 @bzhi32(i32 %x, i32 %y) nounwind readnone {
 124   %tmp = tail call i32 @llvm.x86.bmi.bzhi.32(i32 %x, i32 %y)
 125   ret i32 %tmp
 126 ; CHECK-LABEL: bzhi32:
 127 ; CHECK: bzhil
 128 }
 129
 130 define i32 @bzhi32_load(i32* %x, i32 %y) nounwind readnone {
 131   %x1 = load i32* %x
 132   %tmp = tail call i32 @llvm.x86.bmi.bzhi.32(i32 %x1, i32 %y)
 133   ret i32 %tmp
 134 ; CHECK-LABEL: bzhi32_load:
 135 ; CHECK: bzhil {{.*}}, ({{.*}}), {{.*}}
 136 }
 137
 138 declare i32 @llvm.x86.bmi.bzhi.32(i32, i32) nounwind readnone
 139
 140 define i64 @bzhi64(i64 %x, i64 %y) nounwind readnone {
 141   %tmp = tail call i64 @llvm.x86.bmi.bzhi.64(i64 %x, i64 %y)
 142   ret i64 %tmp
 143 ; CHECK-LABEL: bzhi64:
 144 ; CHECK: bzhiq
 145 }
 146
 147 declare i64 @llvm.x86.bmi.bzhi.64(i64, i64) nounwind readnone
 148
 149 define i32 @blsi32(i32 %x) nounwind readnone {
 150   %tmp = sub i32 0, %x
 151   %tmp2 = and i32 %x, %tmp
 152   ret i32 %tmp2
 153 ; CHECK-LABEL: blsi32:
 154 ; CHECK: blsil
 155 }
 156
 157 define i32 @blsi32_load(i32* %x) nounwind readnone {
 158   %x1 = load i32* %x
 159   %tmp = sub i32 0, %x1
 160   %tmp2 = and i32 %x1, %tmp
 161   ret i32 %tmp2
 162 ; CHECK-LABEL: blsi32_load:
 163 ; CHECK: blsil ({{.*}})
 164 }
 165
 166 define i64 @blsi64(i64 %x) nounwind readnone {
 167   %tmp = sub i64 0, %x
 168   %tmp2 = and i64 %tmp, %x
 169   ret i64 %tmp2
 170 ; CHECK-LABEL: blsi64:
 171 ; CHECK: blsiq
 172 }
 173
 174 define i32 @blsmsk32(i32 %x) nounwind readnone {
 175   %tmp = sub i32 %x, 1
 176   %tmp2 = xor i32 %x, %tmp
 177   ret i32 %tmp2
 178 ; CHECK-LABEL: blsmsk32:
 179 ; CHECK: blsmskl
 180 }
 181
 182 define i32 @blsmsk32_load(i32* %x) nounwind readnone {
 183   %x1 = load i32* %x
 184   %tmp = sub i32 %x1, 1
 185   %tmp2 = xor i32 %x1, %tmp
 186   ret i32 %tmp2
 187 ; CHECK-LABEL: blsmsk32_load:
 188 ; CHECK: blsmskl ({{.*}})
 189 }
 190
 191 define i64 @blsmsk64(i64 %x) nounwind readnone {
 192   %tmp = sub i64 %x, 1
 193   %tmp2 = xor i64 %tmp, %x
 194   ret i64 %tmp2
 195 ; CHECK-LABEL: blsmsk64:
 196 ; CHECK: blsmskq
 197 }
 198
 199 define i32 @blsr32(i32 %x) nounwind readnone {
 200   %tmp = sub i32 %x, 1
 201   %tmp2 = and i32 %x, %tmp
 202   ret i32 %tmp2
 203 ; CHECK-LABEL: blsr32:
 204 ; CHECK: blsrl
 205 }
 206
 207 define i32 @blsr32_load(i32* %x) nounwind readnone {
 208   %x1 = load i32* %x
 209   %tmp = sub i32 %x1, 1
 210   %tmp2 = and i32 %x1, %tmp
 211   ret i32 %tmp2
 212 ; CHECK-LABEL: blsr32_load:
 213 ; CHECK: blsrl ({{.*}})
 214 }
 215
 216 define i64 @blsr64(i64 %x) nounwind readnone {
 217   %tmp = sub i64 %x, 1
 218   %tmp2 = and i64 %tmp, %x
 219   ret i64 %tmp2
 220 ; CHECK-LABEL: blsr64:
 221 ; CHECK: blsrq
 222 }
 223
 224 define i32 @pdep32(i32 %x, i32 %y) nounwind readnone {
 225   %tmp = tail call i32 @llvm.x86.bmi.pdep.32(i32 %x, i32 %y)
 226   ret i32 %tmp
 227 ; CHECK-LABEL: pdep32:
 228 ; CHECK: pdepl
 229 }
 230
 231 define i32 @pdep32_load(i32 %x, i32* %y) nounwind readnone {
 232   %y1 = load i32* %y
 233   %tmp = tail call i32 @llvm.x86.bmi.pdep.32(i32 %x, i32 %y1)
 234   ret i32 %tmp
 235 ; CHECK-LABEL: pdep32_load:
 236 ; CHECK: pdepl ({{.*}})
 237 }
 238
 239 declare i32 @llvm.x86.bmi.pdep.32(i32, i32) nounwind readnone
 240
 241 define i64 @pdep64(i64 %x, i64 %y) nounwind readnone {
 242   %tmp = tail call i64 @llvm.x86.bmi.pdep.64(i64 %x, i64 %y)
 243   ret i64 %tmp
 244 ; CHECK-LABEL: pdep64:
 245 ; CHECK: pdepq
 246 }
 247
 248 declare i64 @llvm.x86.bmi.pdep.64(i64, i64) nounwind readnone
 249
 250 define i32 @pext32(i32 %x, i32 %y) nounwind readnone {
 251   %tmp = tail call i32 @llvm.x86.bmi.pext.32(i32 %x, i32 %y)
 252   ret i32 %tmp
 253 ; CHECK-LABEL: pext32:
 254 ; CHECK: pextl
 255 }
 256
 257 define i32 @pext32_load(i32 %x, i32* %y) nounwind readnone {
 258   %y1 = load i32* %y
 259   %tmp = tail call i32 @llvm.x86.bmi.pext.32(i32 %x, i32 %y1)
 260   ret i32 %tmp
 261 ; CHECK-LABEL: pext32_load:
 262 ; CHECK: pextl ({{.*}})
 263 }
 264
 265 declare i32 @llvm.x86.bmi.pext.32(i32, i32) nounwind readnone
 266
 267 define i64 @pext64(i64 %x, i64 %y) nounwind readnone {
 268   %tmp = tail call i64 @llvm.x86.bmi.pext.64(i64 %x, i64 %y)
 269   ret i64 %tmp
 270 ; CHECK-LABEL: pext64:
 271 ; CHECK: pextq
 272 }
 273
 274 declare i64 @llvm.x86.bmi.pext.64(i64, i64) nounwind readnone
 275