test/CodeGen/X86/avx2-intrinsics-x86.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -march=x86 -mcpu=core-avx2 -mattr=avx2 | FileCheck %s
   2
   3 define <16 x i16> @test_x86_avx2_packssdw(<8 x i32> %a0, <8 x i32> %a1) {
   4   ; CHECK: vpackssdw
   5   %res = call <16 x i16> @llvm.x86.avx2.packssdw(<8 x i32> %a0, <8 x i32> %a1) ; <<16 x i16>> [#uses=1]
   6   ret <16 x i16> %res
   7 }
   8 declare <16 x i16> @llvm.x86.avx2.packssdw(<8 x i32>, <8 x i32>) nounwind readnone
   9
  10
  11 define <32 x i8> @test_x86_avx2_packsswb(<16 x i16> %a0, <16 x i16> %a1) {
  12   ; CHECK: vpacksswb
  13   %res = call <32 x i8> @llvm.x86.avx2.packsswb(<16 x i16> %a0, <16 x i16> %a1) ; <<32 x i8>> [#uses=1]
  14   ret <32 x i8> %res
  15 }
  16 declare <32 x i8> @llvm.x86.avx2.packsswb(<16 x i16>, <16 x i16>) nounwind readnone
  17
  18
  19 define <32 x i8> @test_x86_avx2_packuswb(<16 x i16> %a0, <16 x i16> %a1) {
  20   ; CHECK: vpackuswb
  21   %res = call <32 x i8> @llvm.x86.avx2.packuswb(<16 x i16> %a0, <16 x i16> %a1) ; <<32 x i8>> [#uses=1]
  22   ret <32 x i8> %res
  23 }
  24 declare <32 x i8> @llvm.x86.avx2.packuswb(<16 x i16>, <16 x i16>) nounwind readnone
  25
  26
  27 define <32 x i8> @test_x86_avx2_padds_b(<32 x i8> %a0, <32 x i8> %a1) {
  28   ; CHECK: vpaddsb
  29   %res = call <32 x i8> @llvm.x86.avx2.padds.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
  30   ret <32 x i8> %res
  31 }
  32 declare <32 x i8> @llvm.x86.avx2.padds.b(<32 x i8>, <32 x i8>) nounwind readnone
  33
  34
  35 define <16 x i16> @test_x86_avx2_padds_w(<16 x i16> %a0, <16 x i16> %a1) {
  36   ; CHECK: vpaddsw
  37   %res = call <16 x i16> @llvm.x86.avx2.padds.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
  38   ret <16 x i16> %res
  39 }
  40 declare <16 x i16> @llvm.x86.avx2.padds.w(<16 x i16>, <16 x i16>) nounwind readnone
  41
  42
  43 define <32 x i8> @test_x86_avx2_paddus_b(<32 x i8> %a0, <32 x i8> %a1) {
  44   ; CHECK: vpaddusb
  45   %res = call <32 x i8> @llvm.x86.avx2.paddus.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
  46   ret <32 x i8> %res
  47 }
  48 declare <32 x i8> @llvm.x86.avx2.paddus.b(<32 x i8>, <32 x i8>) nounwind readnone
  49
  50
  51 define <16 x i16> @test_x86_avx2_paddus_w(<16 x i16> %a0, <16 x i16> %a1) {
  52   ; CHECK: vpaddusw
  53   %res = call <16 x i16> @llvm.x86.avx2.paddus.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
  54   ret <16 x i16> %res
  55 }
  56 declare <16 x i16> @llvm.x86.avx2.paddus.w(<16 x i16>, <16 x i16>) nounwind readnone
  57
  58
  59 define <32 x i8> @test_x86_avx2_pavg_b(<32 x i8> %a0, <32 x i8> %a1) {
  60   ; CHECK: vpavgb
  61   %res = call <32 x i8> @llvm.x86.avx2.pavg.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
  62   ret <32 x i8> %res
  63 }
  64 declare <32 x i8> @llvm.x86.avx2.pavg.b(<32 x i8>, <32 x i8>) nounwind readnone
  65
  66
  67 define <16 x i16> @test_x86_avx2_pavg_w(<16 x i16> %a0, <16 x i16> %a1) {
  68   ; CHECK: vpavgw
  69   %res = call <16 x i16> @llvm.x86.avx2.pavg.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
  70   ret <16 x i16> %res
  71 }
  72 declare <16 x i16> @llvm.x86.avx2.pavg.w(<16 x i16>, <16 x i16>) nounwind readnone
  73
  74
  75 define <8 x i32> @test_x86_avx2_pmadd_wd(<16 x i16> %a0, <16 x i16> %a1) {
  76   ; CHECK: vpmaddwd
  77   %res = call <8 x i32> @llvm.x86.avx2.pmadd.wd(<16 x i16> %a0, <16 x i16> %a1) ; <<8 x i32>> [#uses=1]
  78   ret <8 x i32> %res
  79 }
  80 declare <8 x i32> @llvm.x86.avx2.pmadd.wd(<16 x i16>, <16 x i16>) nounwind readnone
  81
  82
  83 define <16 x i16> @test_x86_avx2_pmaxs_w(<16 x i16> %a0, <16 x i16> %a1) {
  84   ; CHECK: vpmaxsw
  85   %res = call <16 x i16> @llvm.x86.avx2.pmaxs.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
  86   ret <16 x i16> %res
  87 }
  88 declare <16 x i16> @llvm.x86.avx2.pmaxs.w(<16 x i16>, <16 x i16>) nounwind readnone
  89
  90
  91 define <32 x i8> @test_x86_avx2_pmaxu_b(<32 x i8> %a0, <32 x i8> %a1) {
  92   ; CHECK: vpmaxub
  93   %res = call <32 x i8> @llvm.x86.avx2.pmaxu.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
  94   ret <32 x i8> %res
  95 }
  96 declare <32 x i8> @llvm.x86.avx2.pmaxu.b(<32 x i8>, <32 x i8>) nounwind readnone
  97
  98
  99 define <16 x i16> @test_x86_avx2_pmins_w(<16 x i16> %a0, <16 x i16> %a1) {
 100   ; CHECK: vpminsw
 101   %res = call <16 x i16> @llvm.x86.avx2.pmins.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 102   ret <16 x i16> %res
 103 }
 104 declare <16 x i16> @llvm.x86.avx2.pmins.w(<16 x i16>, <16 x i16>) nounwind readnone
 105
 106
 107 define <32 x i8> @test_x86_avx2_pminu_b(<32 x i8> %a0, <32 x i8> %a1) {
 108   ; CHECK: vpminub
 109   %res = call <32 x i8> @llvm.x86.avx2.pminu.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
 110   ret <32 x i8> %res
 111 }
 112 declare <32 x i8> @llvm.x86.avx2.pminu.b(<32 x i8>, <32 x i8>) nounwind readnone
 113
 114
 115 define i32 @test_x86_avx2_pmovmskb(<32 x i8> %a0) {
 116   ; CHECK: vpmovmskb
 117   %res = call i32 @llvm.x86.avx2.pmovmskb(<32 x i8> %a0) ; <i32> [#uses=1]
 118   ret i32 %res
 119 }
 120 declare i32 @llvm.x86.avx2.pmovmskb(<32 x i8>) nounwind readnone
 121
 122
 123 define <16 x i16> @test_x86_avx2_pmulh_w(<16 x i16> %a0, <16 x i16> %a1) {
 124   ; CHECK: vpmulhw
 125   %res = call <16 x i16> @llvm.x86.avx2.pmulh.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 126   ret <16 x i16> %res
 127 }
 128 declare <16 x i16> @llvm.x86.avx2.pmulh.w(<16 x i16>, <16 x i16>) nounwind readnone
 129
 130
 131 define <16 x i16> @test_x86_avx2_pmulhu_w(<16 x i16> %a0, <16 x i16> %a1) {
 132   ; CHECK: vpmulhuw
 133   %res = call <16 x i16> @llvm.x86.avx2.pmulhu.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 134   ret <16 x i16> %res
 135 }
 136 declare <16 x i16> @llvm.x86.avx2.pmulhu.w(<16 x i16>, <16 x i16>) nounwind readnone
 137
 138
 139 define <4 x i64> @test_x86_avx2_pmulu_dq(<8 x i32> %a0, <8 x i32> %a1) {
 140   ; CHECK: vpmuludq
 141   %res = call <4 x i64> @llvm.x86.avx2.pmulu.dq(<8 x i32> %a0, <8 x i32> %a1) ; <<4 x i64>> [#uses=1]
 142   ret <4 x i64> %res
 143 }
 144 declare <4 x i64> @llvm.x86.avx2.pmulu.dq(<8 x i32>, <8 x i32>) nounwind readnone
 145
 146
 147 define <4 x i64> @test_x86_avx2_psad_bw(<32 x i8> %a0, <32 x i8> %a1) {
 148   ; CHECK: vpsadbw
 149   %res = call <4 x i64> @llvm.x86.avx2.psad.bw(<32 x i8> %a0, <32 x i8> %a1) ; <<4 x i64>> [#uses=1]
 150   ret <4 x i64> %res
 151 }
 152 declare <4 x i64> @llvm.x86.avx2.psad.bw(<32 x i8>, <32 x i8>) nounwind readnone
 153
 154
 155 define <8 x i32> @test_x86_avx2_psll_d(<8 x i32> %a0, <4 x i32> %a1) {
 156   ; CHECK: vpslld
 157   %res = call <8 x i32> @llvm.x86.avx2.psll.d(<8 x i32> %a0, <4 x i32> %a1) ; <<8 x i32>> [#uses=1]
 158   ret <8 x i32> %res
 159 }
 160 declare <8 x i32> @llvm.x86.avx2.psll.d(<8 x i32>, <4 x i32>) nounwind readnone
 161
 162
 163 define <4 x i64> @test_x86_avx2_psll_q(<4 x i64> %a0, <2 x i64> %a1) {
 164   ; CHECK: vpsllq
 165   %res = call <4 x i64> @llvm.x86.avx2.psll.q(<4 x i64> %a0, <2 x i64> %a1) ; <<4 x i64>> [#uses=1]
 166   ret <4 x i64> %res
 167 }
 168 declare <4 x i64> @llvm.x86.avx2.psll.q(<4 x i64>, <2 x i64>) nounwind readnone
 169
 170
 171 define <16 x i16> @test_x86_avx2_psll_w(<16 x i16> %a0, <8 x i16> %a1) {
 172   ; CHECK: vpsllw
 173   %res = call <16 x i16> @llvm.x86.avx2.psll.w(<16 x i16> %a0, <8 x i16> %a1) ; <<16 x i16>> [#uses=1]
 174   ret <16 x i16> %res
 175 }
 176 declare <16 x i16> @llvm.x86.avx2.psll.w(<16 x i16>, <8 x i16>) nounwind readnone
 177
 178
 179 define <8 x i32> @test_x86_avx2_pslli_d(<8 x i32> %a0) {
 180   ; CHECK: vpslld
 181   %res = call <8 x i32> @llvm.x86.avx2.pslli.d(<8 x i32> %a0, i32 7) ; <<8 x i32>> [#uses=1]
 182   ret <8 x i32> %res
 183 }
 184 declare <8 x i32> @llvm.x86.avx2.pslli.d(<8 x i32>, i32) nounwind readnone
 185
 186
 187 define <4 x i64> @test_x86_avx2_pslli_q(<4 x i64> %a0) {
 188   ; CHECK: vpsllq
 189   %res = call <4 x i64> @llvm.x86.avx2.pslli.q(<4 x i64> %a0, i32 7) ; <<4 x i64>> [#uses=1]
 190   ret <4 x i64> %res
 191 }
 192 declare <4 x i64> @llvm.x86.avx2.pslli.q(<4 x i64>, i32) nounwind readnone
 193
 194
 195 define <16 x i16> @test_x86_avx2_pslli_w(<16 x i16> %a0) {
 196   ; CHECK: vpsllw
 197   %res = call <16 x i16> @llvm.x86.avx2.pslli.w(<16 x i16> %a0, i32 7) ; <<16 x i16>> [#uses=1]
 198   ret <16 x i16> %res
 199 }
 200 declare <16 x i16> @llvm.x86.avx2.pslli.w(<16 x i16>, i32) nounwind readnone
 201
 202
 203 define <8 x i32> @test_x86_avx2_psra_d(<8 x i32> %a0, <4 x i32> %a1) {
 204   ; CHECK: vpsrad
 205   %res = call <8 x i32> @llvm.x86.avx2.psra.d(<8 x i32> %a0, <4 x i32> %a1) ; <<8 x i32>> [#uses=1]
 206   ret <8 x i32> %res
 207 }
 208 declare <8 x i32> @llvm.x86.avx2.psra.d(<8 x i32>, <4 x i32>) nounwind readnone
 209
 210
 211 define <16 x i16> @test_x86_avx2_psra_w(<16 x i16> %a0, <8 x i16> %a1) {
 212   ; CHECK: vpsraw
 213   %res = call <16 x i16> @llvm.x86.avx2.psra.w(<16 x i16> %a0, <8 x i16> %a1) ; <<16 x i16>> [#uses=1]
 214   ret <16 x i16> %res
 215 }
 216 declare <16 x i16> @llvm.x86.avx2.psra.w(<16 x i16>, <8 x i16>) nounwind readnone
 217
 218
 219 define <8 x i32> @test_x86_avx2_psrai_d(<8 x i32> %a0) {
 220   ; CHECK: vpsrad
 221   %res = call <8 x i32> @llvm.x86.avx2.psrai.d(<8 x i32> %a0, i32 7) ; <<8 x i32>> [#uses=1]
 222   ret <8 x i32> %res
 223 }
 224 declare <8 x i32> @llvm.x86.avx2.psrai.d(<8 x i32>, i32) nounwind readnone
 225
 226
 227 define <16 x i16> @test_x86_avx2_psrai_w(<16 x i16> %a0) {
 228   ; CHECK: vpsraw
 229   %res = call <16 x i16> @llvm.x86.avx2.psrai.w(<16 x i16> %a0, i32 7) ; <<16 x i16>> [#uses=1]
 230   ret <16 x i16> %res
 231 }
 232 declare <16 x i16> @llvm.x86.avx2.psrai.w(<16 x i16>, i32) nounwind readnone
 233
 234
 235 define <8 x i32> @test_x86_avx2_psrl_d(<8 x i32> %a0, <4 x i32> %a1) {
 236   ; CHECK: vpsrld
 237   %res = call <8 x i32> @llvm.x86.avx2.psrl.d(<8 x i32> %a0, <4 x i32> %a1) ; <<8 x i32>> [#uses=1]
 238   ret <8 x i32> %res
 239 }
 240 declare <8 x i32> @llvm.x86.avx2.psrl.d(<8 x i32>, <4 x i32>) nounwind readnone
 241
 242
 243 define <4 x i64> @test_x86_avx2_psrl_q(<4 x i64> %a0, <2 x i64> %a1) {
 244   ; CHECK: vpsrlq
 245   %res = call <4 x i64> @llvm.x86.avx2.psrl.q(<4 x i64> %a0, <2 x i64> %a1) ; <<4 x i64>> [#uses=1]
 246   ret <4 x i64> %res
 247 }
 248 declare <4 x i64> @llvm.x86.avx2.psrl.q(<4 x i64>, <2 x i64>) nounwind readnone
 249
 250
 251 define <16 x i16> @test_x86_avx2_psrl_w(<16 x i16> %a0, <8 x i16> %a1) {
 252   ; CHECK: vpsrlw
 253   %res = call <16 x i16> @llvm.x86.avx2.psrl.w(<16 x i16> %a0, <8 x i16> %a1) ; <<16 x i16>> [#uses=1]
 254   ret <16 x i16> %res
 255 }
 256 declare <16 x i16> @llvm.x86.avx2.psrl.w(<16 x i16>, <8 x i16>) nounwind readnone
 257
 258
 259 define <8 x i32> @test_x86_avx2_psrli_d(<8 x i32> %a0) {
 260   ; CHECK: vpsrld
 261   %res = call <8 x i32> @llvm.x86.avx2.psrli.d(<8 x i32> %a0, i32 7) ; <<8 x i32>> [#uses=1]
 262   ret <8 x i32> %res
 263 }
 264 declare <8 x i32> @llvm.x86.avx2.psrli.d(<8 x i32>, i32) nounwind readnone
 265
 266
 267 define <4 x i64> @test_x86_avx2_psrli_q(<4 x i64> %a0) {
 268   ; CHECK: vpsrlq
 269   %res = call <4 x i64> @llvm.x86.avx2.psrli.q(<4 x i64> %a0, i32 7) ; <<4 x i64>> [#uses=1]
 270   ret <4 x i64> %res
 271 }
 272 declare <4 x i64> @llvm.x86.avx2.psrli.q(<4 x i64>, i32) nounwind readnone
 273
 274
 275 define <16 x i16> @test_x86_avx2_psrli_w(<16 x i16> %a0) {
 276   ; CHECK: vpsrlw
 277   %res = call <16 x i16> @llvm.x86.avx2.psrli.w(<16 x i16> %a0, i32 7) ; <<16 x i16>> [#uses=1]
 278   ret <16 x i16> %res
 279 }
 280 declare <16 x i16> @llvm.x86.avx2.psrli.w(<16 x i16>, i32) nounwind readnone
 281
 282
 283 define <32 x i8> @test_x86_avx2_psubs_b(<32 x i8> %a0, <32 x i8> %a1) {
 284   ; CHECK: vpsubsb
 285   %res = call <32 x i8> @llvm.x86.avx2.psubs.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
 286   ret <32 x i8> %res
 287 }
 288 declare <32 x i8> @llvm.x86.avx2.psubs.b(<32 x i8>, <32 x i8>) nounwind readnone
 289
 290
 291 define <16 x i16> @test_x86_avx2_psubs_w(<16 x i16> %a0, <16 x i16> %a1) {
 292   ; CHECK: vpsubsw
 293   %res = call <16 x i16> @llvm.x86.avx2.psubs.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 294   ret <16 x i16> %res
 295 }
 296 declare <16 x i16> @llvm.x86.avx2.psubs.w(<16 x i16>, <16 x i16>) nounwind readnone
 297
 298
 299 define <32 x i8> @test_x86_avx2_psubus_b(<32 x i8> %a0, <32 x i8> %a1) {
 300   ; CHECK: vpsubusb
 301   %res = call <32 x i8> @llvm.x86.avx2.psubus.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
 302   ret <32 x i8> %res
 303 }
 304 declare <32 x i8> @llvm.x86.avx2.psubus.b(<32 x i8>, <32 x i8>) nounwind readnone
 305
 306
 307 define <16 x i16> @test_x86_avx2_psubus_w(<16 x i16> %a0, <16 x i16> %a1) {
 308   ; CHECK: vpsubusw
 309   %res = call <16 x i16> @llvm.x86.avx2.psubus.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 310   ret <16 x i16> %res
 311 }
 312 declare <16 x i16> @llvm.x86.avx2.psubus.w(<16 x i16>, <16 x i16>) nounwind readnone
 313
 314
 315 define <32 x i8> @test_x86_avx2_pabs_b(<32 x i8> %a0) {
 316   ; CHECK: vpabsb
 317   %res = call <32 x i8> @llvm.x86.avx2.pabs.b(<32 x i8> %a0) ; <<32 x i8>> [#uses=1]
 318   ret <32 x i8> %res
 319 }
 320 declare <32 x i8> @llvm.x86.avx2.pabs.b(<32 x i8>) nounwind readnone
 321
 322
 323 define <8 x i32> @test_x86_avx2_pabs_d(<8 x i32> %a0) {
 324   ; CHECK: vpabsd
 325   %res = call <8 x i32> @llvm.x86.avx2.pabs.d(<8 x i32> %a0) ; <<8 x i32>> [#uses=1]
 326   ret <8 x i32> %res
 327 }
 328 declare <8 x i32> @llvm.x86.avx2.pabs.d(<8 x i32>) nounwind readnone
 329
 330
 331 define <16 x i16> @test_x86_avx2_pabs_w(<16 x i16> %a0) {
 332   ; CHECK: vpabsw
 333   %res = call <16 x i16> @llvm.x86.avx2.pabs.w(<16 x i16> %a0) ; <<16 x i16>> [#uses=1]
 334   ret <16 x i16> %res
 335 }
 336 declare <16 x i16> @llvm.x86.avx2.pabs.w(<16 x i16>) nounwind readnone
 337
 338
 339 define <8 x i32> @test_x86_avx2_phadd_d(<8 x i32> %a0, <8 x i32> %a1) {
 340   ; CHECK: vphaddd
 341   %res = call <8 x i32> @llvm.x86.avx2.phadd.d(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 342   ret <8 x i32> %res
 343 }
 344 declare <8 x i32> @llvm.x86.avx2.phadd.d(<8 x i32>, <8 x i32>) nounwind readnone
 345
 346
 347 define <16 x i16> @test_x86_avx2_phadd_sw(<16 x i16> %a0, <16 x i16> %a1) {
 348   ; CHECK: vphaddsw
 349   %res = call <16 x i16> @llvm.x86.avx2.phadd.sw(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 350   ret <16 x i16> %res
 351 }
 352 declare <16 x i16> @llvm.x86.avx2.phadd.sw(<16 x i16>, <16 x i16>) nounwind readnone
 353
 354
 355 define <16 x i16> @test_x86_avx2_phadd_w(<16 x i16> %a0, <16 x i16> %a1) {
 356   ; CHECK: vphaddw
 357   %res = call <16 x i16> @llvm.x86.avx2.phadd.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 358   ret <16 x i16> %res
 359 }
 360 declare <16 x i16> @llvm.x86.avx2.phadd.w(<16 x i16>, <16 x i16>) nounwind readnone
 361
 362
 363 define <8 x i32> @test_x86_avx2_phsub_d(<8 x i32> %a0, <8 x i32> %a1) {
 364   ; CHECK: vphsubd
 365   %res = call <8 x i32> @llvm.x86.avx2.phsub.d(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 366   ret <8 x i32> %res
 367 }
 368 declare <8 x i32> @llvm.x86.avx2.phsub.d(<8 x i32>, <8 x i32>) nounwind readnone
 369
 370
 371 define <16 x i16> @test_x86_avx2_phsub_sw(<16 x i16> %a0, <16 x i16> %a1) {
 372   ; CHECK: vphsubsw
 373   %res = call <16 x i16> @llvm.x86.avx2.phsub.sw(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 374   ret <16 x i16> %res
 375 }
 376 declare <16 x i16> @llvm.x86.avx2.phsub.sw(<16 x i16>, <16 x i16>) nounwind readnone
 377
 378
 379 define <16 x i16> @test_x86_avx2_phsub_w(<16 x i16> %a0, <16 x i16> %a1) {
 380   ; CHECK: vphsubw
 381   %res = call <16 x i16> @llvm.x86.avx2.phsub.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 382   ret <16 x i16> %res
 383 }
 384 declare <16 x i16> @llvm.x86.avx2.phsub.w(<16 x i16>, <16 x i16>) nounwind readnone
 385
 386
 387 define <16 x i16> @test_x86_avx2_pmadd_ub_sw(<32 x i8> %a0, <32 x i8> %a1) {
 388   ; CHECK: vpmaddubsw
 389   %res = call <16 x i16> @llvm.x86.avx2.pmadd.ub.sw(<32 x i8> %a0, <32 x i8> %a1) ; <<16 x i16>> [#uses=1]
 390   ret <16 x i16> %res
 391 }
 392 declare <16 x i16> @llvm.x86.avx2.pmadd.ub.sw(<32 x i8>, <32 x i8>) nounwind readnone
 393
 394
 395 define <16 x i16> @test_x86_avx2_pmul_hr_sw(<16 x i16> %a0, <16 x i16> %a1) {
 396   ; CHECK: vpmulhrsw
 397   %res = call <16 x i16> @llvm.x86.avx2.pmul.hr.sw(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 398   ret <16 x i16> %res
 399 }
 400 declare <16 x i16> @llvm.x86.avx2.pmul.hr.sw(<16 x i16>, <16 x i16>) nounwind readnone
 401
 402
 403 define <32 x i8> @test_x86_avx2_pshuf_b(<32 x i8> %a0, <32 x i8> %a1) {
 404   ; CHECK: vpshufb
 405   %res = call <32 x i8> @llvm.x86.avx2.pshuf.b(<32 x i8> %a0, <32 x i8> %a1) ; <<16 x i8>> [#uses=1]
 406   ret <32 x i8> %res
 407 }
 408 declare <32 x i8> @llvm.x86.avx2.pshuf.b(<32 x i8>, <32 x i8>) nounwind readnone
 409
 410
 411 define <32 x i8> @test_x86_avx2_psign_b(<32 x i8> %a0, <32 x i8> %a1) {
 412   ; CHECK: vpsignb
 413   %res = call <32 x i8> @llvm.x86.avx2.psign.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
 414   ret <32 x i8> %res
 415 }
 416 declare <32 x i8> @llvm.x86.avx2.psign.b(<32 x i8>, <32 x i8>) nounwind readnone
 417
 418
 419 define <8 x i32> @test_x86_avx2_psign_d(<8 x i32> %a0, <8 x i32> %a1) {
 420   ; CHECK: vpsignd
 421   %res = call <8 x i32> @llvm.x86.avx2.psign.d(<8 x i32> %a0, <8 x i32> %a1) ; <<4 x i32>> [#uses=1]
 422   ret <8 x i32> %res
 423 }
 424 declare <8 x i32> @llvm.x86.avx2.psign.d(<8 x i32>, <8 x i32>) nounwind readnone
 425
 426
 427 define <16 x i16> @test_x86_avx2_psign_w(<16 x i16> %a0, <16 x i16> %a1) {
 428   ; CHECK: vpsignw
 429   %res = call <16 x i16> @llvm.x86.avx2.psign.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 430   ret <16 x i16> %res
 431 }
 432 declare <16 x i16> @llvm.x86.avx2.psign.w(<16 x i16>, <16 x i16>) nounwind readnone
 433
 434
 435 define <4 x i64> @test_x86_avx2_movntdqa(i8* %a0) {
 436   ; CHECK: movl
 437   ; CHECK: vmovntdqa
 438   %res = call <4 x i64> @llvm.x86.avx2.movntdqa(i8* %a0) ; <<4 x i64>> [#uses=1]
 439   ret <4 x i64> %res
 440 }
 441 declare <4 x i64> @llvm.x86.avx2.movntdqa(i8*) nounwind readonly
 442
 443
 444 define <16 x i16> @test_x86_avx2_mpsadbw(<32 x i8> %a0, <32 x i8> %a1) {
 445   ; CHECK: vmpsadbw
 446   %res = call <16 x i16> @llvm.x86.avx2.mpsadbw(<32 x i8> %a0, <32 x i8> %a1, i8 7) ; <<16 x i16>> [#uses=1]
 447   ret <16 x i16> %res
 448 }
 449 declare <16 x i16> @llvm.x86.avx2.mpsadbw(<32 x i8>, <32 x i8>, i8) nounwind readnone
 450
 451
 452 define <16 x i16> @test_x86_avx2_packusdw(<8 x i32> %a0, <8 x i32> %a1) {
 453   ; CHECK: vpackusdw
 454   %res = call <16 x i16> @llvm.x86.avx2.packusdw(<8 x i32> %a0, <8 x i32> %a1) ; <<16 x i16>> [#uses=1]
 455   ret <16 x i16> %res
 456 }
 457 declare <16 x i16> @llvm.x86.avx2.packusdw(<8 x i32>, <8 x i32>) nounwind readnone
 458
 459
 460 define <32 x i8> @test_x86_avx2_pblendvb(<32 x i8> %a0, <32 x i8> %a1, <32 x i8> %a2) {
 461   ; CHECK: vpblendvb
 462   %res = call <32 x i8> @llvm.x86.avx2.pblendvb(<32 x i8> %a0, <32 x i8> %a1, <32 x i8> %a2) ; <<32 x i8>> [#uses=1]
 463   ret <32 x i8> %res
 464 }
 465 declare <32 x i8> @llvm.x86.avx2.pblendvb(<32 x i8>, <32 x i8>, <32 x i8>) nounwind readnone
 466
 467
 468 define <16 x i16> @test_x86_avx2_pblendw(<16 x i16> %a0, <16 x i16> %a1) {
 469   ; CHECK: vpblendw
 470   %res = call <16 x i16> @llvm.x86.avx2.pblendw(<16 x i16> %a0, <16 x i16> %a1, i8 7) ; <<16 x i16>> [#uses=1]
 471   ret <16 x i16> %res
 472 }
 473 declare <16 x i16> @llvm.x86.avx2.pblendw(<16 x i16>, <16 x i16>, i8) nounwind readnone
 474
 475
 476 define <32 x i8> @test_x86_avx2_pmaxsb(<32 x i8> %a0, <32 x i8> %a1) {
 477   ; CHECK: vpmaxsb
 478   %res = call <32 x i8> @llvm.x86.avx2.pmaxs.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
 479   ret <32 x i8> %res
 480 }
 481 declare <32 x i8> @llvm.x86.avx2.pmaxs.b(<32 x i8>, <32 x i8>) nounwind readnone
 482
 483
 484 define <8 x i32> @test_x86_avx2_pmaxsd(<8 x i32> %a0, <8 x i32> %a1) {
 485   ; CHECK: vpmaxsd
 486   %res = call <8 x i32> @llvm.x86.avx2.pmaxs.d(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 487   ret <8 x i32> %res
 488 }
 489 declare <8 x i32> @llvm.x86.avx2.pmaxs.d(<8 x i32>, <8 x i32>) nounwind readnone
 490
 491
 492 define <8 x i32> @test_x86_avx2_pmaxud(<8 x i32> %a0, <8 x i32> %a1) {
 493   ; CHECK: vpmaxud
 494   %res = call <8 x i32> @llvm.x86.avx2.pmaxu.d(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 495   ret <8 x i32> %res
 496 }
 497 declare <8 x i32> @llvm.x86.avx2.pmaxu.d(<8 x i32>, <8 x i32>) nounwind readnone
 498
 499
 500 define <16 x i16> @test_x86_avx2_pmaxuw(<16 x i16> %a0, <16 x i16> %a1) {
 501   ; CHECK: vpmaxuw
 502   %res = call <16 x i16> @llvm.x86.avx2.pmaxu.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 503   ret <16 x i16> %res
 504 }
 505 declare <16 x i16> @llvm.x86.avx2.pmaxu.w(<16 x i16>, <16 x i16>) nounwind readnone
 506
 507
 508 define <32 x i8> @test_x86_avx2_pminsb(<32 x i8> %a0, <32 x i8> %a1) {
 509   ; CHECK: vpminsb
 510   %res = call <32 x i8> @llvm.x86.avx2.pmins.b(<32 x i8> %a0, <32 x i8> %a1) ; <<32 x i8>> [#uses=1]
 511   ret <32 x i8> %res
 512 }
 513 declare <32 x i8> @llvm.x86.avx2.pmins.b(<32 x i8>, <32 x i8>) nounwind readnone
 514
 515
 516 define <8 x i32> @test_x86_avx2_pminsd(<8 x i32> %a0, <8 x i32> %a1) {
 517   ; CHECK: vpminsd
 518   %res = call <8 x i32> @llvm.x86.avx2.pmins.d(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 519   ret <8 x i32> %res
 520 }
 521 declare <8 x i32> @llvm.x86.avx2.pmins.d(<8 x i32>, <8 x i32>) nounwind readnone
 522
 523
 524 define <8 x i32> @test_x86_avx2_pminud(<8 x i32> %a0, <8 x i32> %a1) {
 525   ; CHECK: vpminud
 526   %res = call <8 x i32> @llvm.x86.avx2.pminu.d(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 527   ret <8 x i32> %res
 528 }
 529 declare <8 x i32> @llvm.x86.avx2.pminu.d(<8 x i32>, <8 x i32>) nounwind readnone
 530
 531
 532 define <16 x i16> @test_x86_avx2_pminuw(<16 x i16> %a0, <16 x i16> %a1) {
 533   ; CHECK: vpminuw
 534   %res = call <16 x i16> @llvm.x86.avx2.pminu.w(<16 x i16> %a0, <16 x i16> %a1) ; <<16 x i16>> [#uses=1]
 535   ret <16 x i16> %res
 536 }
 537 declare <16 x i16> @llvm.x86.avx2.pminu.w(<16 x i16>, <16 x i16>) nounwind readnone
 538
 539
 540 define <8 x i32> @test_x86_avx2_pmovsxbd(<16 x i8> %a0) {
 541   ; CHECK: vpmovsxbd
 542   %res = call <8 x i32> @llvm.x86.avx2.pmovsxbd(<16 x i8> %a0) ; <<8 x i32>> [#uses=1]
 543   ret <8 x i32> %res
 544 }
 545 declare <8 x i32> @llvm.x86.avx2.pmovsxbd(<16 x i8>) nounwind readnone
 546
 547
 548 define <4 x i64> @test_x86_avx2_pmovsxbq(<16 x i8> %a0) {
 549   ; CHECK: vpmovsxbq
 550   %res = call <4 x i64> @llvm.x86.avx2.pmovsxbq(<16 x i8> %a0) ; <<4 x i64>> [#uses=1]
 551   ret <4 x i64> %res
 552 }
 553 declare <4 x i64> @llvm.x86.avx2.pmovsxbq(<16 x i8>) nounwind readnone
 554
 555
 556 define <16 x i16> @test_x86_avx2_pmovsxbw(<16 x i8> %a0) {
 557   ; CHECK: vpmovsxbw
 558   %res = call <16 x i16> @llvm.x86.avx2.pmovsxbw(<16 x i8> %a0) ; <<8 x i16>> [#uses=1]
 559   ret <16 x i16> %res
 560 }
 561 declare <16 x i16> @llvm.x86.avx2.pmovsxbw(<16 x i8>) nounwind readnone
 562
 563
 564 define <4 x i64> @test_x86_avx2_pmovsxdq(<4 x i32> %a0) {
 565   ; CHECK: vpmovsxdq
 566   %res = call <4 x i64> @llvm.x86.avx2.pmovsxdq(<4 x i32> %a0) ; <<4 x i64>> [#uses=1]
 567   ret <4 x i64> %res
 568 }
 569 declare <4 x i64> @llvm.x86.avx2.pmovsxdq(<4 x i32>) nounwind readnone
 570
 571
 572 define <8 x i32> @test_x86_avx2_pmovsxwd(<8 x i16> %a0) {
 573   ; CHECK: vpmovsxwd
 574   %res = call <8 x i32> @llvm.x86.avx2.pmovsxwd(<8 x i16> %a0) ; <<8 x i32>> [#uses=1]
 575   ret <8 x i32> %res
 576 }
 577 declare <8 x i32> @llvm.x86.avx2.pmovsxwd(<8 x i16>) nounwind readnone
 578
 579
 580 define <4 x i64> @test_x86_avx2_pmovsxwq(<8 x i16> %a0) {
 581   ; CHECK: vpmovsxwq
 582   %res = call <4 x i64> @llvm.x86.avx2.pmovsxwq(<8 x i16> %a0) ; <<4 x i64>> [#uses=1]
 583   ret <4 x i64> %res
 584 }
 585 declare <4 x i64> @llvm.x86.avx2.pmovsxwq(<8 x i16>) nounwind readnone
 586
 587
 588 define <8 x i32> @test_x86_avx2_pmovzxbd(<16 x i8> %a0) {
 589   ; CHECK: vpmovzxbd
 590   %res = call <8 x i32> @llvm.x86.avx2.pmovzxbd(<16 x i8> %a0) ; <<8 x i32>> [#uses=1]
 591   ret <8 x i32> %res
 592 }
 593 declare <8 x i32> @llvm.x86.avx2.pmovzxbd(<16 x i8>) nounwind readnone
 594
 595
 596 define <4 x i64> @test_x86_avx2_pmovzxbq(<16 x i8> %a0) {
 597   ; CHECK: vpmovzxbq
 598   %res = call <4 x i64> @llvm.x86.avx2.pmovzxbq(<16 x i8> %a0) ; <<4 x i64>> [#uses=1]
 599   ret <4 x i64> %res
 600 }
 601 declare <4 x i64> @llvm.x86.avx2.pmovzxbq(<16 x i8>) nounwind readnone
 602
 603
 604 define <16 x i16> @test_x86_avx2_pmovzxbw(<16 x i8> %a0) {
 605   ; CHECK: vpmovzxbw
 606   %res = call <16 x i16> @llvm.x86.avx2.pmovzxbw(<16 x i8> %a0) ; <<16 x i16>> [#uses=1]
 607   ret <16 x i16> %res
 608 }
 609 declare <16 x i16> @llvm.x86.avx2.pmovzxbw(<16 x i8>) nounwind readnone
 610
 611
 612 define <4 x i64> @test_x86_avx2_pmovzxdq(<4 x i32> %a0) {
 613   ; CHECK: vpmovzxdq
 614   %res = call <4 x i64> @llvm.x86.avx2.pmovzxdq(<4 x i32> %a0) ; <<4 x i64>> [#uses=1]
 615   ret <4 x i64> %res
 616 }
 617 declare <4 x i64> @llvm.x86.avx2.pmovzxdq(<4 x i32>) nounwind readnone
 618
 619
 620 define <8 x i32> @test_x86_avx2_pmovzxwd(<8 x i16> %a0) {
 621   ; CHECK: vpmovzxwd
 622   %res = call <8 x i32> @llvm.x86.avx2.pmovzxwd(<8 x i16> %a0) ; <<8 x i32>> [#uses=1]
 623   ret <8 x i32> %res
 624 }
 625 declare <8 x i32> @llvm.x86.avx2.pmovzxwd(<8 x i16>) nounwind readnone
 626
 627
 628 define <4 x i64> @test_x86_avx2_pmovzxwq(<8 x i16> %a0) {
 629   ; CHECK: vpmovzxwq
 630   %res = call <4 x i64> @llvm.x86.avx2.pmovzxwq(<8 x i16> %a0) ; <<4 x i64>> [#uses=1]
 631   ret <4 x i64> %res
 632 }
 633 declare <4 x i64> @llvm.x86.avx2.pmovzxwq(<8 x i16>) nounwind readnone
 634
 635
 636 define <4 x i64> @test_x86_avx2_pmul.dq(<8 x i32> %a0, <8 x i32> %a1) {
 637   ; CHECK: vpmuldq
 638   %res = call <4 x i64> @llvm.x86.avx2.pmul.dq(<8 x i32> %a0, <8 x i32> %a1) ; <<2 x i64>> [#uses=1]
 639   ret <4 x i64> %res
 640 }
 641 declare <4 x i64> @llvm.x86.avx2.pmul.dq(<8 x i32>, <8 x i32>) nounwind readnone
 642
 643
 644 define <4 x double> @test_x86_avx2_vbroadcast_sd_pd_256(<2 x double> %a0) {
 645   ; CHECK: vbroadcastsd
 646   %res = call <4 x double> @llvm.x86.avx2.vbroadcast.sd.pd.256(<2 x double> %a0) ; <<4 x double>> [#uses=1]
 647   ret <4 x double> %res
 648 }
 649 declare <4 x double> @llvm.x86.avx2.vbroadcast.sd.pd.256(<2 x double>) nounwind readonly
 650
 651
 652 define <4 x float> @test_x86_avx2_vbroadcast_ss_ps(<4 x float> %a0) {
 653   ; CHECK: vbroadcastss
 654   %res = call <4 x float> @llvm.x86.avx2.vbroadcast.ss.ps(<4 x float> %a0) ; <<4 x float>> [#uses=1]
 655   ret <4 x float> %res
 656 }
 657 declare <4 x float> @llvm.x86.avx2.vbroadcast.ss.ps(<4 x float>) nounwind readonly
 658
 659
 660 define <8 x float> @test_x86_avx2_vbroadcast_ss_ps_256(<4 x float> %a0) {
 661   ; CHECK: vbroadcastss
 662   %res = call <8 x float> @llvm.x86.avx2.vbroadcast.ss.ps.256(<4 x float> %a0) ; <<8 x float>> [#uses=1]
 663   ret <8 x float> %res
 664 }
 665 declare <8 x float> @llvm.x86.avx2.vbroadcast.ss.ps.256(<4 x float>) nounwind readonly
 666
 667
 668 define <4 x i32> @test_x86_avx2_pblendd_128(<4 x i32> %a0, <4 x i32> %a1) {
 669   ; CHECK: vpblendd
 670   %res = call <4 x i32> @llvm.x86.avx2.pblendd.128(<4 x i32> %a0, <4 x i32> %a1, i8 7) ; <<4 x i32>> [#uses=1]
 671   ret <4 x i32> %res
 672 }
 673 declare <4 x i32> @llvm.x86.avx2.pblendd.128(<4 x i32>, <4 x i32>, i8) nounwind readnone
 674
 675
 676 define <8 x i32> @test_x86_avx2_pblendd_256(<8 x i32> %a0, <8 x i32> %a1) {
 677   ; CHECK: vpblendd
 678   %res = call <8 x i32> @llvm.x86.avx2.pblendd.256(<8 x i32> %a0, <8 x i32> %a1, i8 7) ; <<8 x i32>> [#uses=1]
 679   ret <8 x i32> %res
 680 }
 681 declare <8 x i32> @llvm.x86.avx2.pblendd.256(<8 x i32>, <8 x i32>, i8) nounwind readnone
 682
 683
 684 define <16 x i8> @test_x86_avx2_pbroadcastb_128(<16 x i8> %a0) {
 685   ; CHECK: vpbroadcastb
 686   %res = call <16 x i8> @llvm.x86.avx2.pbroadcastb.128(<16 x i8> %a0) ; <<16 x i8>> [#uses=1]
 687   ret <16 x i8> %res
 688 }
 689 declare <16 x i8> @llvm.x86.avx2.pbroadcastb.128(<16 x i8>) nounwind readonly
 690
 691
 692 define <32 x i8> @test_x86_avx2_pbroadcastb_256(<16 x i8> %a0) {
 693   ; CHECK: vpbroadcastb
 694   %res = call <32 x i8> @llvm.x86.avx2.pbroadcastb.256(<16 x i8> %a0) ; <<32 x i8>> [#uses=1]
 695   ret <32 x i8> %res
 696 }
 697 declare <32 x i8> @llvm.x86.avx2.pbroadcastb.256(<16 x i8>) nounwind readonly
 698
 699
 700 define <8 x i16> @test_x86_avx2_pbroadcastw_128(<8 x i16> %a0) {
 701   ; CHECK: vpbroadcastw
 702   %res = call <8 x i16> @llvm.x86.avx2.pbroadcastw.128(<8 x i16> %a0) ; <<8 x i16>> [#uses=1]
 703   ret <8 x i16> %res
 704 }
 705 declare <8 x i16> @llvm.x86.avx2.pbroadcastw.128(<8 x i16>) nounwind readonly
 706
 707
 708 define <16 x i16> @test_x86_avx2_pbroadcastw_256(<8 x i16> %a0) {
 709   ; CHECK: vpbroadcastw
 710   %res = call <16 x i16> @llvm.x86.avx2.pbroadcastw.256(<8 x i16> %a0) ; <<16 x i16>> [#uses=1]
 711   ret <16 x i16> %res
 712 }
 713 declare <16 x i16> @llvm.x86.avx2.pbroadcastw.256(<8 x i16>) nounwind readonly
 714
 715
 716 define <4 x i32> @test_x86_avx2_pbroadcastd_128(<4 x i32> %a0) {
 717   ; CHECK: vbroadcastss
 718   %res = call <4 x i32> @llvm.x86.avx2.pbroadcastd.128(<4 x i32> %a0) ; <<4 x i32>> [#uses=1]
 719   ret <4 x i32> %res
 720 }
 721 declare <4 x i32> @llvm.x86.avx2.pbroadcastd.128(<4 x i32>) nounwind readonly
 722
 723
 724 define <8 x i32> @test_x86_avx2_pbroadcastd_256(<4 x i32> %a0) {
 725   ; CHECK: vbroadcastss {{[^,]+}}, %ymm{{[0-9]+}}
 726   %res = call <8 x i32> @llvm.x86.avx2.pbroadcastd.256(<4 x i32> %a0) ; <<8 x i32>> [#uses=1]
 727   ret <8 x i32> %res
 728 }
 729 declare <8 x i32> @llvm.x86.avx2.pbroadcastd.256(<4 x i32>) nounwind readonly
 730
 731
 732 define <2 x i64> @test_x86_avx2_pbroadcastq_128(<2 x i64> %a0) {
 733   ; CHECK: vpbroadcastq
 734   %res = call <2 x i64> @llvm.x86.avx2.pbroadcastq.128(<2 x i64> %a0) ; <<2 x i64>> [#uses=1]
 735   ret <2 x i64> %res
 736 }
 737 declare <2 x i64> @llvm.x86.avx2.pbroadcastq.128(<2 x i64>) nounwind readonly
 738
 739
 740 define <4 x i64> @test_x86_avx2_pbroadcastq_256(<2 x i64> %a0) {
 741   ; CHECK: vbroadcastsd {{[^,]+}}, %ymm{{[0-9]+}}
 742   %res = call <4 x i64> @llvm.x86.avx2.pbroadcastq.256(<2 x i64> %a0) ; <<4 x i64>> [#uses=1]
 743   ret <4 x i64> %res
 744 }
 745 declare <4 x i64> @llvm.x86.avx2.pbroadcastq.256(<2 x i64>) nounwind readonly
 746
 747
 748 define <8 x i32> @test_x86_avx2_permd(<8 x i32> %a0, <8 x i32> %a1) {
 749   ; Check that the arguments are swapped between the intrinsic definition
 750   ; and its lowering. Indeed, the offsets are the first source in
 751   ; the instruction.
 752   ; CHECK: vpermd %ymm0, %ymm1, %ymm0
 753   %res = call <8 x i32> @llvm.x86.avx2.permd(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 754   ret <8 x i32> %res
 755 }
 756 declare <8 x i32> @llvm.x86.avx2.permd(<8 x i32>, <8 x i32>) nounwind readonly
 757
 758
 759 define <8 x float> @test_x86_avx2_permps(<8 x float> %a0, <8 x float> %a1) {
 760   ; Check that the arguments are swapped between the intrinsic definition
 761   ; and its lowering. Indeed, the offsets are the first source in
 762   ; the instruction.
 763   ; CHECK: vpermps %ymm0, %ymm1, %ymm0
 764   %res = call <8 x float> @llvm.x86.avx2.permps(<8 x float> %a0, <8 x float> %a1) ; <<8 x float>> [#uses=1]
 765   ret <8 x float> %res
 766 }
 767 declare <8 x float> @llvm.x86.avx2.permps(<8 x float>, <8 x float>) nounwind readonly
 768
 769
 770 define <4 x i64> @test_x86_avx2_vperm2i128(<4 x i64> %a0, <4 x i64> %a1) {
 771   ; CHECK: vperm2i128
 772   %res = call <4 x i64> @llvm.x86.avx2.vperm2i128(<4 x i64> %a0, <4 x i64> %a1, i8 1) ; <<4 x i64>> [#uses=1]
 773   ret <4 x i64> %res
 774 }
 775 declare <4 x i64> @llvm.x86.avx2.vperm2i128(<4 x i64>, <4 x i64>, i8) nounwind readonly
 776
 777
 778 define <2 x i64> @test_x86_avx2_vextracti128(<4 x i64> %a0) {
 779   ; CHECK: vextracti128
 780   %res = call <2 x i64> @llvm.x86.avx2.vextracti128(<4 x i64> %a0, i8 7) ; <<2 x i64>> [#uses=1]
 781   ret <2 x i64> %res
 782 }
 783 declare <2 x i64> @llvm.x86.avx2.vextracti128(<4 x i64>, i8) nounwind readnone
 784
 785
 786 define <4 x i64> @test_x86_avx2_vinserti128(<4 x i64> %a0, <2 x i64> %a1) {
 787   ; CHECK: vinserti128
 788   %res = call <4 x i64> @llvm.x86.avx2.vinserti128(<4 x i64> %a0, <2 x i64> %a1, i8 7) ; <<4 x i64>> [#uses=1]
 789   ret <4 x i64> %res
 790 }
 791 declare <4 x i64> @llvm.x86.avx2.vinserti128(<4 x i64>, <2 x i64>, i8) nounwind readnone
 792
 793
 794 define <2 x i64> @test_x86_avx2_maskload_q(i8* %a0, <2 x i64> %a1) {
 795   ; CHECK: vpmaskmovq
 796   %res = call <2 x i64> @llvm.x86.avx2.maskload.q(i8* %a0, <2 x i64> %a1) ; <<2 x i64>> [#uses=1]
 797   ret <2 x i64> %res
 798 }
 799 declare <2 x i64> @llvm.x86.avx2.maskload.q(i8*, <2 x i64>) nounwind readonly
 800
 801
 802 define <4 x i64> @test_x86_avx2_maskload_q_256(i8* %a0, <4 x i64> %a1) {
 803   ; CHECK: vpmaskmovq
 804   %res = call <4 x i64> @llvm.x86.avx2.maskload.q.256(i8* %a0, <4 x i64> %a1) ; <<4 x i64>> [#uses=1]
 805   ret <4 x i64> %res
 806 }
 807 declare <4 x i64> @llvm.x86.avx2.maskload.q.256(i8*, <4 x i64>) nounwind readonly
 808
 809
 810 define <4 x i32> @test_x86_avx2_maskload_d(i8* %a0, <4 x i32> %a1) {
 811   ; CHECK: vpmaskmovd
 812   %res = call <4 x i32> @llvm.x86.avx2.maskload.d(i8* %a0, <4 x i32> %a1) ; <<4 x i32>> [#uses=1]
 813   ret <4 x i32> %res
 814 }
 815 declare <4 x i32> @llvm.x86.avx2.maskload.d(i8*, <4 x i32>) nounwind readonly
 816
 817
 818 define <8 x i32> @test_x86_avx2_maskload_d_256(i8* %a0, <8 x i32> %a1) {
 819   ; CHECK: vpmaskmovd
 820   %res = call <8 x i32> @llvm.x86.avx2.maskload.d.256(i8* %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 821   ret <8 x i32> %res
 822 }
 823 declare <8 x i32> @llvm.x86.avx2.maskload.d.256(i8*, <8 x i32>) nounwind readonly
 824
 825
 826 define void @test_x86_avx2_maskstore_q(i8* %a0, <2 x i64> %a1, <2 x i64> %a2) {
 827   ; CHECK: vpmaskmovq
 828   call void @llvm.x86.avx2.maskstore.q(i8* %a0, <2 x i64> %a1, <2 x i64> %a2)
 829   ret void
 830 }
 831 declare void @llvm.x86.avx2.maskstore.q(i8*, <2 x i64>, <2 x i64>) nounwind
 832
 833
 834 define void @test_x86_avx2_maskstore_q_256(i8* %a0, <4 x i64> %a1, <4 x i64> %a2) {
 835   ; CHECK: vpmaskmovq
 836   call void @llvm.x86.avx2.maskstore.q.256(i8* %a0, <4 x i64> %a1, <4 x i64> %a2)
 837   ret void
 838 }
 839 declare void @llvm.x86.avx2.maskstore.q.256(i8*, <4 x i64>, <4 x i64>) nounwind
 840
 841
 842 define void @test_x86_avx2_maskstore_d(i8* %a0, <4 x i32> %a1, <4 x i32> %a2) {
 843   ; CHECK: vpmaskmovd
 844   call void @llvm.x86.avx2.maskstore.d(i8* %a0, <4 x i32> %a1, <4 x i32> %a2)
 845   ret void
 846 }
 847 declare void @llvm.x86.avx2.maskstore.d(i8*, <4 x i32>, <4 x i32>) nounwind
 848
 849
 850 define void @test_x86_avx2_maskstore_d_256(i8* %a0, <8 x i32> %a1, <8 x i32> %a2) {
 851   ; CHECK: vpmaskmovd
 852   call void @llvm.x86.avx2.maskstore.d.256(i8* %a0, <8 x i32> %a1, <8 x i32> %a2)
 853   ret void
 854 }
 855 declare void @llvm.x86.avx2.maskstore.d.256(i8*, <8 x i32>, <8 x i32>) nounwind
 856
 857
 858 define <4 x i32> @test_x86_avx2_psllv_d(<4 x i32> %a0, <4 x i32> %a1) {
 859   ; CHECK: vpsllvd
 860   %res = call <4 x i32> @llvm.x86.avx2.psllv.d(<4 x i32> %a0, <4 x i32> %a1) ; <<4 x i32>> [#uses=1]
 861   ret <4 x i32> %res
 862 }
 863 declare <4 x i32> @llvm.x86.avx2.psllv.d(<4 x i32>, <4 x i32>) nounwind readnone
 864
 865
 866 define <8 x i32> @test_x86_avx2_psllv_d_256(<8 x i32> %a0, <8 x i32> %a1) {
 867   ; CHECK: vpsllvd
 868   %res = call <8 x i32> @llvm.x86.avx2.psllv.d.256(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 869   ret <8 x i32> %res
 870 }
 871 declare <8 x i32> @llvm.x86.avx2.psllv.d.256(<8 x i32>, <8 x i32>) nounwind readnone
 872
 873
 874 define <2 x i64> @test_x86_avx2_psllv_q(<2 x i64> %a0, <2 x i64> %a1) {
 875   ; CHECK: vpsllvq
 876   %res = call <2 x i64> @llvm.x86.avx2.psllv.q(<2 x i64> %a0, <2 x i64> %a1) ; <<2 x i64>> [#uses=1]
 877   ret <2 x i64> %res
 878 }
 879 declare <2 x i64> @llvm.x86.avx2.psllv.q(<2 x i64>, <2 x i64>) nounwind readnone
 880
 881
 882 define <4 x i64> @test_x86_avx2_psllv_q_256(<4 x i64> %a0, <4 x i64> %a1) {
 883   ; CHECK: vpsllvq
 884   %res = call <4 x i64> @llvm.x86.avx2.psllv.q.256(<4 x i64> %a0, <4 x i64> %a1) ; <<4 x i64>> [#uses=1]
 885   ret <4 x i64> %res
 886 }
 887 declare <4 x i64> @llvm.x86.avx2.psllv.q.256(<4 x i64>, <4 x i64>) nounwind readnone
 888
 889
 890 define <4 x i32> @test_x86_avx2_psrlv_d(<4 x i32> %a0, <4 x i32> %a1) {
 891   ; CHECK: vpsrlvd
 892   %res = call <4 x i32> @llvm.x86.avx2.psrlv.d(<4 x i32> %a0, <4 x i32> %a1) ; <<4 x i32>> [#uses=1]
 893   ret <4 x i32> %res
 894 }
 895 declare <4 x i32> @llvm.x86.avx2.psrlv.d(<4 x i32>, <4 x i32>) nounwind readnone
 896
 897
 898 define <8 x i32> @test_x86_avx2_psrlv_d_256(<8 x i32> %a0, <8 x i32> %a1) {
 899   ; CHECK: vpsrlvd
 900   %res = call <8 x i32> @llvm.x86.avx2.psrlv.d.256(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 901   ret <8 x i32> %res
 902 }
 903 declare <8 x i32> @llvm.x86.avx2.psrlv.d.256(<8 x i32>, <8 x i32>) nounwind readnone
 904
 905
 906 define <2 x i64> @test_x86_avx2_psrlv_q(<2 x i64> %a0, <2 x i64> %a1) {
 907   ; CHECK: vpsrlvq
 908   %res = call <2 x i64> @llvm.x86.avx2.psrlv.q(<2 x i64> %a0, <2 x i64> %a1) ; <<2 x i64>> [#uses=1]
 909   ret <2 x i64> %res
 910 }
 911 declare <2 x i64> @llvm.x86.avx2.psrlv.q(<2 x i64>, <2 x i64>) nounwind readnone
 912
 913
 914 define <4 x i64> @test_x86_avx2_psrlv_q_256(<4 x i64> %a0, <4 x i64> %a1) {
 915   ; CHECK: vpsrlvq
 916   %res = call <4 x i64> @llvm.x86.avx2.psrlv.q.256(<4 x i64> %a0, <4 x i64> %a1) ; <<4 x i64>> [#uses=1]
 917   ret <4 x i64> %res
 918 }
 919 declare <4 x i64> @llvm.x86.avx2.psrlv.q.256(<4 x i64>, <4 x i64>) nounwind readnone
 920
 921
 922 define <4 x i32> @test_x86_avx2_psrav_d(<4 x i32> %a0, <4 x i32> %a1) {
 923   ; CHECK: vpsravd
 924   %res = call <4 x i32> @llvm.x86.avx2.psrav.d(<4 x i32> %a0, <4 x i32> %a1) ; <<4 x i32>> [#uses=1]
 925   ret <4 x i32> %res
 926 }
 927 declare <4 x i32> @llvm.x86.avx2.psrav.d(<4 x i32>, <4 x i32>) nounwind readnone
 928
 929
 930 define <8 x i32> @test_x86_avx2_psrav_d_256(<8 x i32> %a0, <8 x i32> %a1) {
 931   ; CHECK: vpsravd
 932   %res = call <8 x i32> @llvm.x86.avx2.psrav.d.256(<8 x i32> %a0, <8 x i32> %a1) ; <<8 x i32>> [#uses=1]
 933   ret <8 x i32> %res
 934 }
 935 declare <8 x i32> @llvm.x86.avx2.psrav.d.256(<8 x i32>, <8 x i32>) nounwind readnone
 936
 937 ; This is checked here because the execution dependency fix pass makes it hard to test in AVX mode since we don't have 256-bit integer instructions
 938 define void @test_x86_avx_storeu_dq_256(i8* %a0, <32 x i8> %a1) {
 939   ; CHECK: vmovdqu
 940   ; add operation forces the execution domain.
 941   %a2 = add <32 x i8> %a1, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
 942   call void @llvm.x86.avx.storeu.dq.256(i8* %a0, <32 x i8> %a2)
 943   ret void
 944 }
 945 declare void @llvm.x86.avx.storeu.dq.256(i8*, <32 x i8>) nounwind
 946
 947 define <2 x double> @test_x86_avx2_gather_d_pd(<2 x double> %a0, i8* %a1,
 948                      <4 x i32> %idx, <2 x double> %mask) {
 949   ; CHECK: vgatherdpd
 950   %res = call <2 x double> @llvm.x86.avx2.gather.d.pd(<2 x double> %a0,
 951                             i8* %a1, <4 x i32> %idx, <2 x double> %mask, i8 2) ;
 952   ret <2 x double> %res
 953 }
 954 declare <2 x double> @llvm.x86.avx2.gather.d.pd(<2 x double>, i8*,
 955                       <4 x i32>, <2 x double>, i8) nounwind readonly
 956
 957 define <4 x double> @test_x86_avx2_gather_d_pd_256(<4 x double> %a0, i8* %a1,
 958                      <4 x i32> %idx, <4 x double> %mask) {
 959   ; CHECK: vgatherdpd
 960   %res = call <4 x double> @llvm.x86.avx2.gather.d.pd.256(<4 x double> %a0,
 961                             i8* %a1, <4 x i32> %idx, <4 x double> %mask, i8 2) ;
 962   ret <4 x double> %res
 963 }
 964 declare <4 x double> @llvm.x86.avx2.gather.d.pd.256(<4 x double>, i8*,
 965                       <4 x i32>, <4 x double>, i8) nounwind readonly
 966
 967 define <2 x double> @test_x86_avx2_gather_q_pd(<2 x double> %a0, i8* %a1,
 968                      <2 x i64> %idx, <2 x double> %mask) {
 969   ; CHECK: vgatherqpd
 970   %res = call <2 x double> @llvm.x86.avx2.gather.q.pd(<2 x double> %a0,
 971                             i8* %a1, <2 x i64> %idx, <2 x double> %mask, i8 2) ;
 972   ret <2 x double> %res
 973 }
 974 declare <2 x double> @llvm.x86.avx2.gather.q.pd(<2 x double>, i8*,
 975                       <2 x i64>, <2 x double>, i8) nounwind readonly
 976
 977 define <4 x double> @test_x86_avx2_gather_q_pd_256(<4 x double> %a0, i8* %a1,
 978                      <4 x i64> %idx, <4 x double> %mask) {
 979   ; CHECK: vgatherqpd
 980   %res = call <4 x double> @llvm.x86.avx2.gather.q.pd.256(<4 x double> %a0,
 981                             i8* %a1, <4 x i64> %idx, <4 x double> %mask, i8 2) ;
 982   ret <4 x double> %res
 983 }
 984 declare <4 x double> @llvm.x86.avx2.gather.q.pd.256(<4 x double>, i8*,
 985                       <4 x i64>, <4 x double>, i8) nounwind readonly
 986
 987 define <4 x float> @test_x86_avx2_gather_d_ps(<4 x float> %a0, i8* %a1,
 988                      <4 x i32> %idx, <4 x float> %mask) {
 989   ; CHECK: vgatherdps
 990   %res = call <4 x float> @llvm.x86.avx2.gather.d.ps(<4 x float> %a0,
 991                             i8* %a1, <4 x i32> %idx, <4 x float> %mask, i8 2) ;
 992   ret <4 x float> %res
 993 }
 994 declare <4 x float> @llvm.x86.avx2.gather.d.ps(<4 x float>, i8*,
 995                       <4 x i32>, <4 x float>, i8) nounwind readonly
 996
 997 define <8 x float> @test_x86_avx2_gather_d_ps_256(<8 x float> %a0, i8* %a1,
 998                      <8 x i32> %idx, <8 x float> %mask) {
 999   ; CHECK: vgatherdps
1000   %res = call <8 x float> @llvm.x86.avx2.gather.d.ps.256(<8 x float> %a0,
1001                             i8* %a1, <8 x i32> %idx, <8 x float> %mask, i8 2) ;
1002   ret <8 x float> %res
1003 }
1004 declare <8 x float> @llvm.x86.avx2.gather.d.ps.256(<8 x float>, i8*,
1005                       <8 x i32>, <8 x float>, i8) nounwind readonly
1006
1007 define <4 x float> @test_x86_avx2_gather_q_ps(<4 x float> %a0, i8* %a1,
1008                      <2 x i64> %idx, <4 x float> %mask) {
1009   ; CHECK: vgatherqps
1010   %res = call <4 x float> @llvm.x86.avx2.gather.q.ps(<4 x float> %a0,
1011                             i8* %a1, <2 x i64> %idx, <4 x float> %mask, i8 2) ;
1012   ret <4 x float> %res
1013 }
1014 declare <4 x float> @llvm.x86.avx2.gather.q.ps(<4 x float>, i8*,
1015                       <2 x i64>, <4 x float>, i8) nounwind readonly
1016
1017 define <4 x float> @test_x86_avx2_gather_q_ps_256(<4 x float> %a0, i8* %a1,
1018                      <4 x i64> %idx, <4 x float> %mask) {
1019   ; CHECK: vgatherqps
1020   %res = call <4 x float> @llvm.x86.avx2.gather.q.ps.256(<4 x float> %a0,
1021                             i8* %a1, <4 x i64> %idx, <4 x float> %mask, i8 2) ;
1022   ret <4 x float> %res
1023 }
1024 declare <4 x float> @llvm.x86.avx2.gather.q.ps.256(<4 x float>, i8*,
1025                       <4 x i64>, <4 x float>, i8) nounwind readonly
1026
1027 define <2 x i64> @test_x86_avx2_gather_d_q(<2 x i64> %a0, i8* %a1,
1028                      <4 x i32> %idx, <2 x i64> %mask) {
1029   ; CHECK: vpgatherdq
1030   %res = call <2 x i64> @llvm.x86.avx2.gather.d.q(<2 x i64> %a0,
1031                             i8* %a1, <4 x i32> %idx, <2 x i64> %mask, i8 2) ;
1032   ret <2 x i64> %res
1033 }
1034 declare <2 x i64> @llvm.x86.avx2.gather.d.q(<2 x i64>, i8*,
1035                       <4 x i32>, <2 x i64>, i8) nounwind readonly
1036
1037 define <4 x i64> @test_x86_avx2_gather_d_q_256(<4 x i64> %a0, i8* %a1,
1038                      <4 x i32> %idx, <4 x i64> %mask) {
1039   ; CHECK: vpgatherdq
1040   %res = call <4 x i64> @llvm.x86.avx2.gather.d.q.256(<4 x i64> %a0,
1041                             i8* %a1, <4 x i32> %idx, <4 x i64> %mask, i8 2) ;
1042   ret <4 x i64> %res
1043 }
1044 declare <4 x i64> @llvm.x86.avx2.gather.d.q.256(<4 x i64>, i8*,
1045                       <4 x i32>, <4 x i64>, i8) nounwind readonly
1046
1047 define <2 x i64> @test_x86_avx2_gather_q_q(<2 x i64> %a0, i8* %a1,
1048                      <2 x i64> %idx, <2 x i64> %mask) {
1049   ; CHECK: vpgatherqq
1050   %res = call <2 x i64> @llvm.x86.avx2.gather.q.q(<2 x i64> %a0,
1051                             i8* %a1, <2 x i64> %idx, <2 x i64> %mask, i8 2) ;
1052   ret <2 x i64> %res
1053 }
1054 declare <2 x i64> @llvm.x86.avx2.gather.q.q(<2 x i64>, i8*,
1055                       <2 x i64>, <2 x i64>, i8) nounwind readonly
1056
1057 define <4 x i64> @test_x86_avx2_gather_q_q_256(<4 x i64> %a0, i8* %a1,
1058                      <4 x i64> %idx, <4 x i64> %mask) {
1059   ; CHECK: vpgatherqq
1060   %res = call <4 x i64> @llvm.x86.avx2.gather.q.q.256(<4 x i64> %a0,
1061                             i8* %a1, <4 x i64> %idx, <4 x i64> %mask, i8 2) ;
1062   ret <4 x i64> %res
1063 }
1064 declare <4 x i64> @llvm.x86.avx2.gather.q.q.256(<4 x i64>, i8*,
1065                       <4 x i64>, <4 x i64>, i8) nounwind readonly
1066
1067 define <4 x i32> @test_x86_avx2_gather_d_d(<4 x i32> %a0, i8* %a1,
1068                      <4 x i32> %idx, <4 x i32> %mask) {
1069   ; CHECK: vpgatherdd
1070   %res = call <4 x i32> @llvm.x86.avx2.gather.d.d(<4 x i32> %a0,
1071                             i8* %a1, <4 x i32> %idx, <4 x i32> %mask, i8 2) ;
1072   ret <4 x i32> %res
1073 }
1074 declare <4 x i32> @llvm.x86.avx2.gather.d.d(<4 x i32>, i8*,
1075                       <4 x i32>, <4 x i32>, i8) nounwind readonly
1076
1077 define <8 x i32> @test_x86_avx2_gather_d_d_256(<8 x i32> %a0, i8* %a1,
1078                      <8 x i32> %idx, <8 x i32> %mask) {
1079   ; CHECK: vpgatherdd
1080   %res = call <8 x i32> @llvm.x86.avx2.gather.d.d.256(<8 x i32> %a0,
1081                             i8* %a1, <8 x i32> %idx, <8 x i32> %mask, i8 2) ;
1082   ret <8 x i32> %res
1083 }
1084 declare <8 x i32> @llvm.x86.avx2.gather.d.d.256(<8 x i32>, i8*,
1085                       <8 x i32>, <8 x i32>, i8) nounwind readonly
1086
1087 define <4 x i32> @test_x86_avx2_gather_q_d(<4 x i32> %a0, i8* %a1,
1088                      <2 x i64> %idx, <4 x i32> %mask) {
1089   ; CHECK: vpgatherqd
1090   %res = call <4 x i32> @llvm.x86.avx2.gather.q.d(<4 x i32> %a0,
1091                             i8* %a1, <2 x i64> %idx, <4 x i32> %mask, i8 2) ;
1092   ret <4 x i32> %res
1093 }
1094 declare <4 x i32> @llvm.x86.avx2.gather.q.d(<4 x i32>, i8*,
1095                       <2 x i64>, <4 x i32>, i8) nounwind readonly
1096
1097 define <4 x i32> @test_x86_avx2_gather_q_d_256(<4 x i32> %a0, i8* %a1,
1098                      <4 x i64> %idx, <4 x i32> %mask) {
1099   ; CHECK: vpgatherqd
1100   %res = call <4 x i32> @llvm.x86.avx2.gather.q.d.256(<4 x i32> %a0,
1101                             i8* %a1, <4 x i64> %idx, <4 x i32> %mask, i8 2) ;
1102   ret <4 x i32> %res
1103 }
1104 declare <4 x i32> @llvm.x86.avx2.gather.q.d.256(<4 x i32>, i8*,
1105                       <4 x i64>, <4 x i32>, i8) nounwind readonly
1106
1107 ; PR13298
1108 define <8 x float>  @test_gather_mask(<8 x float> %a0, float* %a,
1109                                       <8 x i32> %idx, <8 x float> %mask,
1110                                       float* nocapture %out) {
1111 ; CHECK: test_gather_mask
1112 ; CHECK: vmovaps %ymm2, [[DEST:%.*]]
1113 ; CHECK: vgatherdps [[DEST]]
1114 ;; gather with mask
1115   %a_i8 = bitcast float* %a to i8*
1116   %res = call <8 x float> @llvm.x86.avx2.gather.d.ps.256(<8 x float> %a0,
1117                            i8* %a_i8, <8 x i32> %idx, <8 x float> %mask, i8 4) ;
1118
1119 ;; for debugging, we'll just dump out the mask
1120   %out_ptr = bitcast float * %out to <8 x float> *
1121   store <8 x float> %mask, <8 x float> * %out_ptr, align 4
1122
1123   ret <8 x float> %res
1124 }