llvm/test/CodeGen/X86/prefer-avx256-wide-mul.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512vl,+avx512bw,+prefer-256-bit | FileCheck %s --check-prefix=AVX256BW
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512vl,+avx512bw,-prefer-256-bit | FileCheck %s --check-prefix=AVX512BW
   4 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512bw,+prefer-256-bit | FileCheck %s --check-prefix=AVX512BW
   5 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512bw,-prefer-256-bit | FileCheck %s --check-prefix=AVX512BW
   6
   7 define <32 x i8> @test_div7_32i8(<32 x i8> %a) {
   8 ; AVX256BW-LABEL: test_div7_32i8:
   9 ; AVX256BW:       # %bb.0:
  10 ; AVX256BW-NEXT:    vpxor %xmm1, %xmm1, %xmm1
  11 ; AVX256BW-NEXT:    vpunpckhbw {{.*#+}} ymm2 = ymm0[8],ymm1[8],ymm0[9],ymm1[9],ymm0[10],ymm1[10],ymm0[11],ymm1[11],ymm0[12],ymm1[12],ymm0[13],ymm1[13],ymm0[14],ymm1[14],ymm0[15],ymm1[15],ymm0[24],ymm1[24],ymm0[25],ymm1[25],ymm0[26],ymm1[26],ymm0[27],ymm1[27],ymm0[28],ymm1[28],ymm0[29],ymm1[29],ymm0[30],ymm1[30],ymm0[31],ymm1[31]
  12 ; AVX256BW-NEXT:    vmovdqa {{.*#+}} ymm3 = [37,37,37,37,37,37,37,37,37,37,37,37,37,37,37,37]
  13 ; AVX256BW-NEXT:    vpmullw %ymm3, %ymm2, %ymm2
  14 ; AVX256BW-NEXT:    vpsrlw $8, %ymm2, %ymm2
  15 ; AVX256BW-NEXT:    vpunpcklbw {{.*#+}} ymm1 = ymm0[0],ymm1[0],ymm0[1],ymm1[1],ymm0[2],ymm1[2],ymm0[3],ymm1[3],ymm0[4],ymm1[4],ymm0[5],ymm1[5],ymm0[6],ymm1[6],ymm0[7],ymm1[7],ymm0[16],ymm1[16],ymm0[17],ymm1[17],ymm0[18],ymm1[18],ymm0[19],ymm1[19],ymm0[20],ymm1[20],ymm0[21],ymm1[21],ymm0[22],ymm1[22],ymm0[23],ymm1[23]
  16 ; AVX256BW-NEXT:    vpmullw %ymm3, %ymm1, %ymm1
  17 ; AVX256BW-NEXT:    vpsrlw $8, %ymm1, %ymm1
  18 ; AVX256BW-NEXT:    vpackuswb %ymm2, %ymm1, %ymm1
  19 ; AVX256BW-NEXT:    vpsubb %ymm1, %ymm0, %ymm0
  20 ; AVX256BW-NEXT:    vpsrlw $1, %ymm0, %ymm0
  21 ; AVX256BW-NEXT:    vpand {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0
  22 ; AVX256BW-NEXT:    vpaddb %ymm1, %ymm0, %ymm0
  23 ; AVX256BW-NEXT:    vpsrlw $2, %ymm0, %ymm0
  24 ; AVX256BW-NEXT:    vpand {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0
  25 ; AVX256BW-NEXT:    retq
  26 ;
  27 ; AVX512BW-LABEL: test_div7_32i8:
  28 ; AVX512BW:       # %bb.0:
  29 ; AVX512BW-NEXT:    vpmovzxbw {{.*#+}} zmm1 = ymm0[0],zero,ymm0[1],zero,ymm0[2],zero,ymm0[3],zero,ymm0[4],zero,ymm0[5],zero,ymm0[6],zero,ymm0[7],zero,ymm0[8],zero,ymm0[9],zero,ymm0[10],zero,ymm0[11],zero,ymm0[12],zero,ymm0[13],zero,ymm0[14],zero,ymm0[15],zero,ymm0[16],zero,ymm0[17],zero,ymm0[18],zero,ymm0[19],zero,ymm0[20],zero,ymm0[21],zero,ymm0[22],zero,ymm0[23],zero,ymm0[24],zero,ymm0[25],zero,ymm0[26],zero,ymm0[27],zero,ymm0[28],zero,ymm0[29],zero,ymm0[30],zero,ymm0[31],zero
  30 ; AVX512BW-NEXT:    vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm1
  31 ; AVX512BW-NEXT:    vpsrlw $8, %zmm1, %zmm1
  32 ; AVX512BW-NEXT:    vpmovwb %zmm1, %ymm1
  33 ; AVX512BW-NEXT:    vpsubb %ymm1, %ymm0, %ymm0
  34 ; AVX512BW-NEXT:    vpsrlw $1, %ymm0, %ymm0
  35 ; AVX512BW-NEXT:    vpand {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0
  36 ; AVX512BW-NEXT:    vpaddb %ymm1, %ymm0, %ymm0
  37 ; AVX512BW-NEXT:    vpsrlw $2, %ymm0, %ymm0
  38 ; AVX512BW-NEXT:    vpand {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0
  39 ; AVX512BW-NEXT:    retq
  40   %res = udiv <32 x i8> %a, <i8 7, i8 7, i8 7, i8 7,i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7,i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7,i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7,i8 7, i8 7, i8 7, i8 7>
  41   ret <32 x i8> %res
  42 }
  43
  44 define <32 x i8> @test_mul_32i8(<32 x i8> %a, <32 x i8> %b) {
  45 ; AVX256BW-LABEL: test_mul_32i8:
  46 ; AVX256BW:       # %bb.0:
  47 ; AVX256BW-NEXT:    vpunpckhbw {{.*#+}} ymm2 = ymm1[8,8,9,9,10,10,11,11,12,12,13,13,14,14,15,15,24,24,25,25,26,26,27,27,28,28,29,29,30,30,31,31]
  48 ; AVX256BW-NEXT:    vpunpckhbw {{.*#+}} ymm3 = ymm0[8,8,9,9,10,10,11,11,12,12,13,13,14,14,15,15,24,24,25,25,26,26,27,27,28,28,29,29,30,30,31,31]
  49 ; AVX256BW-NEXT:    vpmullw %ymm2, %ymm3, %ymm2
  50 ; AVX256BW-NEXT:    vmovdqa {{.*#+}} ymm3 = [255,255,255,255,255,255,255,255,255,255,255,255,255,255,255,255]
  51 ; AVX256BW-NEXT:    vpand %ymm3, %ymm2, %ymm2
  52 ; AVX256BW-NEXT:    vpunpcklbw {{.*#+}} ymm1 = ymm1[0,0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,16,16,17,17,18,18,19,19,20,20,21,21,22,22,23,23]
  53 ; AVX256BW-NEXT:    vpunpcklbw {{.*#+}} ymm0 = ymm0[0,0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,16,16,17,17,18,18,19,19,20,20,21,21,22,22,23,23]
  54 ; AVX256BW-NEXT:    vpmullw %ymm1, %ymm0, %ymm0
  55 ; AVX256BW-NEXT:    vpand %ymm3, %ymm0, %ymm0
  56 ; AVX256BW-NEXT:    vpackuswb %ymm2, %ymm0, %ymm0
  57 ; AVX256BW-NEXT:    retq
  58 ;
  59 ; AVX512BW-LABEL: test_mul_32i8:
  60 ; AVX512BW:       # %bb.0:
  61 ; AVX512BW-NEXT:    vpmovzxbw {{.*#+}} zmm1 = ymm1[0],zero,ymm1[1],zero,ymm1[2],zero,ymm1[3],zero,ymm1[4],zero,ymm1[5],zero,ymm1[6],zero,ymm1[7],zero,ymm1[8],zero,ymm1[9],zero,ymm1[10],zero,ymm1[11],zero,ymm1[12],zero,ymm1[13],zero,ymm1[14],zero,ymm1[15],zero,ymm1[16],zero,ymm1[17],zero,ymm1[18],zero,ymm1[19],zero,ymm1[20],zero,ymm1[21],zero,ymm1[22],zero,ymm1[23],zero,ymm1[24],zero,ymm1[25],zero,ymm1[26],zero,ymm1[27],zero,ymm1[28],zero,ymm1[29],zero,ymm1[30],zero,ymm1[31],zero
  62 ; AVX512BW-NEXT:    vpmovzxbw {{.*#+}} zmm0 = ymm0[0],zero,ymm0[1],zero,ymm0[2],zero,ymm0[3],zero,ymm0[4],zero,ymm0[5],zero,ymm0[6],zero,ymm0[7],zero,ymm0[8],zero,ymm0[9],zero,ymm0[10],zero,ymm0[11],zero,ymm0[12],zero,ymm0[13],zero,ymm0[14],zero,ymm0[15],zero,ymm0[16],zero,ymm0[17],zero,ymm0[18],zero,ymm0[19],zero,ymm0[20],zero,ymm0[21],zero,ymm0[22],zero,ymm0[23],zero,ymm0[24],zero,ymm0[25],zero,ymm0[26],zero,ymm0[27],zero,ymm0[28],zero,ymm0[29],zero,ymm0[30],zero,ymm0[31],zero
  63 ; AVX512BW-NEXT:    vpmullw %zmm1, %zmm0, %zmm0
  64 ; AVX512BW-NEXT:    vpmovwb %zmm0, %ymm0
  65 ; AVX512BW-NEXT:    retq
  66   %res = mul <32 x i8> %a, %b
  67   ret <32 x i8> %res
  68 }