615 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f | FileCheck %s --check-prefix=AVX --check-prefix=AVX512F3; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512bw | FileCheck %s --check-prefix=AVX --check-prefix=AVX512BW4 5;6; sdiv by 77;8 9define <8 x i64> @test_div7_8i64(<8 x i64> %a) nounwind {10; AVX-LABEL: test_div7_8i64:11; AVX: # %bb.0:12; AVX-NEXT: vextracti32x4 $3, %zmm0, %xmm113; AVX-NEXT: vpextrq $1, %xmm1, %rax14; AVX-NEXT: movabsq $5270498306774157605, %rcx # imm = 0x492492492492492515; AVX-NEXT: imulq %rcx16; AVX-NEXT: movq %rdx, %rax17; AVX-NEXT: shrq $63, %rax18; AVX-NEXT: sarq %rdx19; AVX-NEXT: addq %rax, %rdx20; AVX-NEXT: vmovq %rdx, %xmm221; AVX-NEXT: vmovq %xmm1, %rax22; AVX-NEXT: imulq %rcx23; AVX-NEXT: movq %rdx, %rax24; AVX-NEXT: shrq $63, %rax25; AVX-NEXT: sarq %rdx26; AVX-NEXT: addq %rax, %rdx27; AVX-NEXT: vmovq %rdx, %xmm128; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm2[0]29; AVX-NEXT: vextracti32x4 $2, %zmm0, %xmm230; AVX-NEXT: vpextrq $1, %xmm2, %rax31; AVX-NEXT: imulq %rcx32; AVX-NEXT: movq %rdx, %rax33; AVX-NEXT: shrq $63, %rax34; AVX-NEXT: sarq %rdx35; AVX-NEXT: addq %rax, %rdx36; AVX-NEXT: vmovq %rdx, %xmm337; AVX-NEXT: vmovq %xmm2, %rax38; AVX-NEXT: imulq %rcx39; AVX-NEXT: movq %rdx, %rax40; AVX-NEXT: shrq $63, %rax41; AVX-NEXT: sarq %rdx42; AVX-NEXT: addq %rax, %rdx43; AVX-NEXT: vmovq %rdx, %xmm244; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm3[0]45; AVX-NEXT: vinserti128 $1, %xmm1, %ymm2, %ymm146; AVX-NEXT: vextracti128 $1, %ymm0, %xmm247; AVX-NEXT: vpextrq $1, %xmm2, %rax48; AVX-NEXT: imulq %rcx49; AVX-NEXT: movq %rdx, %rax50; AVX-NEXT: shrq $63, %rax51; AVX-NEXT: sarq %rdx52; AVX-NEXT: addq %rax, %rdx53; AVX-NEXT: vmovq %rdx, %xmm354; AVX-NEXT: vmovq %xmm2, %rax55; AVX-NEXT: imulq %rcx56; AVX-NEXT: movq %rdx, %rax57; AVX-NEXT: shrq $63, %rax58; AVX-NEXT: sarq %rdx59; AVX-NEXT: addq %rax, %rdx60; AVX-NEXT: vmovq %rdx, %xmm261; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm3[0]62; AVX-NEXT: vpextrq $1, %xmm0, %rax63; AVX-NEXT: imulq %rcx64; AVX-NEXT: movq %rdx, %rax65; AVX-NEXT: shrq $63, %rax66; AVX-NEXT: sarq %rdx67; AVX-NEXT: addq %rax, %rdx68; AVX-NEXT: vmovq %rdx, %xmm369; AVX-NEXT: vmovq %xmm0, %rax70; AVX-NEXT: imulq %rcx71; AVX-NEXT: movq %rdx, %rax72; AVX-NEXT: shrq $63, %rax73; AVX-NEXT: sarq %rdx74; AVX-NEXT: addq %rax, %rdx75; AVX-NEXT: vmovq %rdx, %xmm076; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm3[0]77; AVX-NEXT: vinserti128 $1, %xmm2, %ymm0, %ymm078; AVX-NEXT: vinserti64x4 $1, %ymm1, %zmm0, %zmm079; AVX-NEXT: retq80 %res = sdiv <8 x i64> %a, <i64 7, i64 7, i64 7, i64 7, i64 7, i64 7, i64 7, i64 7>81 ret <8 x i64> %res82}83 84define <16 x i32> @test_div7_16i32(<16 x i32> %a) nounwind {85; AVX-LABEL: test_div7_16i32:86; AVX: # %bb.0:87; AVX-NEXT: vpbroadcastd {{.*#+}} zmm1 = [2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027]88; AVX-NEXT: vpmuldq %zmm1, %zmm0, %zmm289; AVX-NEXT: vpshufd {{.*#+}} zmm3 = zmm0[1,1,3,3,5,5,7,7,9,9,11,11,13,13,15,15]90; AVX-NEXT: vpmuldq %zmm1, %zmm3, %zmm191; AVX-NEXT: vpmovsxbd {{.*#+}} zmm3 = [1,17,3,19,5,21,7,23,9,25,11,27,13,29,15,31]92; AVX-NEXT: vpermi2d %zmm1, %zmm2, %zmm393; AVX-NEXT: vpaddd %zmm0, %zmm3, %zmm094; AVX-NEXT: vpsrld $31, %zmm0, %zmm195; AVX-NEXT: vpsrad $2, %zmm0, %zmm096; AVX-NEXT: vpaddd %zmm1, %zmm0, %zmm097; AVX-NEXT: retq98 %res = sdiv <16 x i32> %a, <i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7>99 ret <16 x i32> %res100}101 102define <32 x i16> @test_div7_32i16(<32 x i16> %a) nounwind {103; AVX512F-LABEL: test_div7_32i16:104; AVX512F: # %bb.0:105; AVX512F-NEXT: vextracti64x4 $1, %zmm0, %ymm1106; AVX512F-NEXT: vpbroadcastw {{.*#+}} ymm2 = [18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725]107; AVX512F-NEXT: vpmulhw %ymm2, %ymm1, %ymm1108; AVX512F-NEXT: vpsrlw $15, %ymm1, %ymm3109; AVX512F-NEXT: vpsraw $1, %ymm1, %ymm1110; AVX512F-NEXT: vpaddw %ymm3, %ymm1, %ymm1111; AVX512F-NEXT: vpmulhw %ymm2, %ymm0, %ymm0112; AVX512F-NEXT: vpsrlw $15, %ymm0, %ymm2113; AVX512F-NEXT: vpsraw $1, %ymm0, %ymm0114; AVX512F-NEXT: vpaddw %ymm2, %ymm0, %ymm0115; AVX512F-NEXT: vinserti64x4 $1, %ymm1, %zmm0, %zmm0116; AVX512F-NEXT: retq117;118; AVX512BW-LABEL: test_div7_32i16:119; AVX512BW: # %bb.0:120; AVX512BW-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm0 # [18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725]121; AVX512BW-NEXT: vpsrlw $15, %zmm0, %zmm1122; AVX512BW-NEXT: vpsraw $1, %zmm0, %zmm0123; AVX512BW-NEXT: vpaddw %zmm1, %zmm0, %zmm0124; AVX512BW-NEXT: retq125 %res = sdiv <32 x i16> %a, <i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7>126 ret <32 x i16> %res127}128 129define <64 x i8> @test_div7_64i8(<64 x i8> %a) nounwind {130; AVX512F-LABEL: test_div7_64i8:131; AVX512F: # %bb.0:132; AVX512F-NEXT: vextracti64x4 $1, %zmm0, %ymm1133; AVX512F-NEXT: vpxor %xmm2, %xmm2, %xmm2134; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm3 = ymm2[8],ymm1[8],ymm2[9],ymm1[9],ymm2[10],ymm1[10],ymm2[11],ymm1[11],ymm2[12],ymm1[12],ymm2[13],ymm1[13],ymm2[14],ymm1[14],ymm2[15],ymm1[15],ymm2[24],ymm1[24],ymm2[25],ymm1[25],ymm2[26],ymm1[26],ymm2[27],ymm1[27],ymm2[28],ymm1[28],ymm2[29],ymm1[29],ymm2[30],ymm1[30],ymm2[31],ymm1[31]135; AVX512F-NEXT: vpbroadcastw {{.*#+}} ymm4 = [0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147]136; AVX512F-NEXT: vpmulhw %ymm4, %ymm3, %ymm3137; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3138; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm5 = ymm2[0],ymm1[0],ymm2[1],ymm1[1],ymm2[2],ymm1[2],ymm2[3],ymm1[3],ymm2[4],ymm1[4],ymm2[5],ymm1[5],ymm2[6],ymm1[6],ymm2[7],ymm1[7],ymm2[16],ymm1[16],ymm2[17],ymm1[17],ymm2[18],ymm1[18],ymm2[19],ymm1[19],ymm2[20],ymm1[20],ymm2[21],ymm1[21],ymm2[22],ymm1[22],ymm2[23],ymm1[23]139; AVX512F-NEXT: vpmulhw %ymm4, %ymm5, %ymm5140; AVX512F-NEXT: vpsrlw $8, %ymm5, %ymm5141; AVX512F-NEXT: vpackuswb %ymm3, %ymm5, %ymm3142; AVX512F-NEXT: vpaddb %ymm1, %ymm3, %ymm1143; AVX512F-NEXT: vpsrlw $2, %ymm1, %ymm1144; AVX512F-NEXT: vpbroadcastb {{.*#+}} ymm3 = [63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63]145; AVX512F-NEXT: vpand %ymm3, %ymm1, %ymm1146; AVX512F-NEXT: vpbroadcastb {{.*#+}} ymm5 = [32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32]147; AVX512F-NEXT: vpxor %ymm5, %ymm1, %ymm1148; AVX512F-NEXT: vpsubb %ymm5, %ymm1, %ymm1149; AVX512F-NEXT: vpcmpgtb %ymm1, %ymm2, %ymm6150; AVX512F-NEXT: vpsubb %ymm6, %ymm1, %ymm1151; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm6 = ymm2[8],ymm0[8],ymm2[9],ymm0[9],ymm2[10],ymm0[10],ymm2[11],ymm0[11],ymm2[12],ymm0[12],ymm2[13],ymm0[13],ymm2[14],ymm0[14],ymm2[15],ymm0[15],ymm2[24],ymm0[24],ymm2[25],ymm0[25],ymm2[26],ymm0[26],ymm2[27],ymm0[27],ymm2[28],ymm0[28],ymm2[29],ymm0[29],ymm2[30],ymm0[30],ymm2[31],ymm0[31]152; AVX512F-NEXT: vpmulhw %ymm4, %ymm6, %ymm6153; AVX512F-NEXT: vpsrlw $8, %ymm6, %ymm6154; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm7 = ymm2[0],ymm0[0],ymm2[1],ymm0[1],ymm2[2],ymm0[2],ymm2[3],ymm0[3],ymm2[4],ymm0[4],ymm2[5],ymm0[5],ymm2[6],ymm0[6],ymm2[7],ymm0[7],ymm2[16],ymm0[16],ymm2[17],ymm0[17],ymm2[18],ymm0[18],ymm2[19],ymm0[19],ymm2[20],ymm0[20],ymm2[21],ymm0[21],ymm2[22],ymm0[22],ymm2[23],ymm0[23]155; AVX512F-NEXT: vpmulhw %ymm4, %ymm7, %ymm4156; AVX512F-NEXT: vpsrlw $8, %ymm4, %ymm4157; AVX512F-NEXT: vpackuswb %ymm6, %ymm4, %ymm4158; AVX512F-NEXT: vpaddb %ymm0, %ymm4, %ymm0159; AVX512F-NEXT: vpsrlw $2, %ymm0, %ymm0160; AVX512F-NEXT: vpand %ymm3, %ymm0, %ymm0161; AVX512F-NEXT: vpxor %ymm5, %ymm0, %ymm0162; AVX512F-NEXT: vpsubb %ymm5, %ymm0, %ymm0163; AVX512F-NEXT: vpcmpgtb %ymm0, %ymm2, %ymm2164; AVX512F-NEXT: vpsubb %ymm2, %ymm0, %ymm0165; AVX512F-NEXT: vinserti64x4 $1, %ymm1, %zmm0, %zmm0166; AVX512F-NEXT: retq167;168; AVX512BW-LABEL: test_div7_64i8:169; AVX512BW: # %bb.0:170; AVX512BW-NEXT: vpxor %xmm1, %xmm1, %xmm1171; AVX512BW-NEXT: vpunpckhbw {{.*#+}} zmm2 = zmm1[8],zmm0[8],zmm1[9],zmm0[9],zmm1[10],zmm0[10],zmm1[11],zmm0[11],zmm1[12],zmm0[12],zmm1[13],zmm0[13],zmm1[14],zmm0[14],zmm1[15],zmm0[15],zmm1[24],zmm0[24],zmm1[25],zmm0[25],zmm1[26],zmm0[26],zmm1[27],zmm0[27],zmm1[28],zmm0[28],zmm1[29],zmm0[29],zmm1[30],zmm0[30],zmm1[31],zmm0[31],zmm1[40],zmm0[40],zmm1[41],zmm0[41],zmm1[42],zmm0[42],zmm1[43],zmm0[43],zmm1[44],zmm0[44],zmm1[45],zmm0[45],zmm1[46],zmm0[46],zmm1[47],zmm0[47],zmm1[56],zmm0[56],zmm1[57],zmm0[57],zmm1[58],zmm0[58],zmm1[59],zmm0[59],zmm1[60],zmm0[60],zmm1[61],zmm0[61],zmm1[62],zmm0[62],zmm1[63],zmm0[63]172; AVX512BW-NEXT: vpbroadcastw {{.*#+}} zmm3 = [0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147]173; AVX512BW-NEXT: vpmulhw %zmm3, %zmm2, %zmm2174; AVX512BW-NEXT: vpsrlw $8, %zmm2, %zmm2175; AVX512BW-NEXT: vpunpcklbw {{.*#+}} zmm1 = zmm1[0],zmm0[0],zmm1[1],zmm0[1],zmm1[2],zmm0[2],zmm1[3],zmm0[3],zmm1[4],zmm0[4],zmm1[5],zmm0[5],zmm1[6],zmm0[6],zmm1[7],zmm0[7],zmm1[16],zmm0[16],zmm1[17],zmm0[17],zmm1[18],zmm0[18],zmm1[19],zmm0[19],zmm1[20],zmm0[20],zmm1[21],zmm0[21],zmm1[22],zmm0[22],zmm1[23],zmm0[23],zmm1[32],zmm0[32],zmm1[33],zmm0[33],zmm1[34],zmm0[34],zmm1[35],zmm0[35],zmm1[36],zmm0[36],zmm1[37],zmm0[37],zmm1[38],zmm0[38],zmm1[39],zmm0[39],zmm1[48],zmm0[48],zmm1[49],zmm0[49],zmm1[50],zmm0[50],zmm1[51],zmm0[51],zmm1[52],zmm0[52],zmm1[53],zmm0[53],zmm1[54],zmm0[54],zmm1[55],zmm0[55]176; AVX512BW-NEXT: vpmulhw %zmm3, %zmm1, %zmm1177; AVX512BW-NEXT: vpsrlw $8, %zmm1, %zmm1178; AVX512BW-NEXT: vpackuswb %zmm2, %zmm1, %zmm1179; AVX512BW-NEXT: vpaddb %zmm0, %zmm1, %zmm0180; AVX512BW-NEXT: vpsrlw $2, %zmm0, %zmm0181; AVX512BW-NEXT: vpbroadcastb {{.*#+}} zmm1 = [32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32]182; AVX512BW-NEXT: vpternlogd {{.*#+}} zmm0 = zmm1 ^ (zmm0 & m32bcst)183; AVX512BW-NEXT: vpsubb %zmm1, %zmm0, %zmm0184; AVX512BW-NEXT: vpmovb2m %zmm0, %k0185; AVX512BW-NEXT: vpmovm2b %k0, %zmm1186; AVX512BW-NEXT: vpsubb %zmm1, %zmm0, %zmm0187; AVX512BW-NEXT: retq188 %res = sdiv <64 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, 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>189 ret <64 x i8> %res190}191 192;193; sdiv by non-splat constant194;195 196define <64 x i8> @test_divconstant_64i8(<64 x i8> %a) nounwind {197; AVX512F-LABEL: test_divconstant_64i8:198; AVX512F: # %bb.0:199; AVX512F-NEXT: vextracti64x4 $1, %zmm0, %ymm2200; AVX512F-NEXT: vpxor %xmm1, %xmm1, %xmm1201; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm3 = ymm1[8],ymm2[8],ymm1[9],ymm2[9],ymm1[10],ymm2[10],ymm1[11],ymm2[11],ymm1[12],ymm2[12],ymm1[13],ymm2[13],ymm1[14],ymm2[14],ymm1[15],ymm2[15],ymm1[24],ymm2[24],ymm1[25],ymm2[25],ymm1[26],ymm2[26],ymm1[27],ymm2[27],ymm1[28],ymm2[28],ymm1[29],ymm2[29],ymm1[30],ymm2[30],ymm1[31],ymm2[31]202; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [0,137,0,71,0,147,0,19,0,79,0,41,0,43,0,179,0,147,0,79,0,43,0,187,0,103,0,57,0,129,0,147]203; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3204; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm2 = ymm1[0],ymm2[0],ymm1[1],ymm2[1],ymm1[2],ymm2[2],ymm1[3],ymm2[3],ymm1[4],ymm2[4],ymm1[5],ymm2[5],ymm1[6],ymm2[6],ymm1[7],ymm2[7],ymm1[16],ymm2[16],ymm1[17],ymm2[17],ymm1[18],ymm2[18],ymm1[19],ymm2[19],ymm1[20],ymm2[20],ymm1[21],ymm2[21],ymm1[22],ymm2[22],ymm1[23],ymm2[23]205; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm2, %ymm2 # [0,27,0,111,0,57,0,59,0,121,0,125,0,129,0,133,0,187,0,49,0,103,0,27,0,57,0,121,0,129,0,137]206; AVX512F-NEXT: vpsrlw $8, %ymm2, %ymm2207; AVX512F-NEXT: vpackuswb %ymm3, %ymm2, %ymm2208; AVX512F-NEXT: vpandq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm3209; AVX512F-NEXT: vextracti64x4 $1, %zmm3, %ymm4210; AVX512F-NEXT: vpaddb %ymm4, %ymm2, %ymm2211; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm4 = ymm2[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]212; AVX512F-NEXT: vpsraw $8, %ymm4, %ymm4213; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm4, %ymm4 # [16,32,16,128,32,64,64,16,32,64,128,32,64,128,64,64]214; AVX512F-NEXT: vpsrlw $8, %ymm4, %ymm4215; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm2 = ymm2[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]216; AVX512F-NEXT: vpsraw $8, %ymm2, %ymm2217; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm2, %ymm2 # [64,16,32,32,16,16,16,16,16,64,32,128,64,32,32,32]218; AVX512F-NEXT: vpsrlw $8, %ymm2, %ymm2219; AVX512F-NEXT: vpackuswb %ymm4, %ymm2, %ymm2220; AVX512F-NEXT: vpcmpgtb %ymm2, %ymm1, %ymm4221; AVX512F-NEXT: vpsubb %ymm4, %ymm2, %ymm2222; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm4 = ymm1[8],ymm0[8],ymm1[9],ymm0[9],ymm1[10],ymm0[10],ymm1[11],ymm0[11],ymm1[12],ymm0[12],ymm1[13],ymm0[13],ymm1[14],ymm0[14],ymm1[15],ymm0[15],ymm1[24],ymm0[24],ymm1[25],ymm0[25],ymm1[26],ymm0[26],ymm1[27],ymm0[27],ymm1[28],ymm0[28],ymm1[29],ymm0[29],ymm1[30],ymm0[30],ymm1[31],ymm0[31]223; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm4, %ymm4 # [0,137,0,129,0,121,0,57,0,27,0,103,0,49,0,187,0,133,0,129,0,125,0,121,0,59,0,57,0,111,0,27]224; AVX512F-NEXT: vpsrlw $8, %ymm4, %ymm4225; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm0 = ymm1[0],ymm0[0],ymm1[1],ymm0[1],ymm1[2],ymm0[2],ymm1[3],ymm0[3],ymm1[4],ymm0[4],ymm1[5],ymm0[5],ymm1[6],ymm0[6],ymm1[7],ymm0[7],ymm1[16],ymm0[16],ymm1[17],ymm0[17],ymm1[18],ymm0[18],ymm1[19],ymm0[19],ymm1[20],ymm0[20],ymm1[21],ymm0[21],ymm1[22],ymm0[22],ymm1[23],ymm0[23]226; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0 # [0,147,0,129,0,57,0,103,0,187,0,43,0,79,0,147,0,179,0,43,0,41,0,79,0,19,0,147,0,71,0,137]227; AVX512F-NEXT: vpsrlw $8, %ymm0, %ymm0228; AVX512F-NEXT: vpackuswb %ymm4, %ymm0, %ymm0229; AVX512F-NEXT: vpaddb %ymm3, %ymm0, %ymm0230; AVX512F-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]231; AVX512F-NEXT: vpsraw $8, %ymm3, %ymm3232; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [32,32,32,64,128,32,64,16,16,16,16,16,32,32,16,64]233; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3234; AVX512F-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]235; AVX512F-NEXT: vpsraw $8, %ymm0, %ymm0236; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0 # [64,64,128,64,32,128,64,32,16,64,64,32,128,16,32,16]237; AVX512F-NEXT: vpsrlw $8, %ymm0, %ymm0238; AVX512F-NEXT: vpackuswb %ymm3, %ymm0, %ymm0239; AVX512F-NEXT: vpcmpgtb %ymm0, %ymm1, %ymm1240; AVX512F-NEXT: vpsubb %ymm1, %ymm0, %ymm0241; AVX512F-NEXT: vinserti64x4 $1, %ymm2, %zmm0, %zmm0242; AVX512F-NEXT: retq243;244; AVX512BW-LABEL: test_divconstant_64i8:245; AVX512BW: # %bb.0:246; AVX512BW-NEXT: vpxor %xmm1, %xmm1, %xmm1247; AVX512BW-NEXT: vpunpckhbw {{.*#+}} zmm2 = zmm1[8],zmm0[8],zmm1[9],zmm0[9],zmm1[10],zmm0[10],zmm1[11],zmm0[11],zmm1[12],zmm0[12],zmm1[13],zmm0[13],zmm1[14],zmm0[14],zmm1[15],zmm0[15],zmm1[24],zmm0[24],zmm1[25],zmm0[25],zmm1[26],zmm0[26],zmm1[27],zmm0[27],zmm1[28],zmm0[28],zmm1[29],zmm0[29],zmm1[30],zmm0[30],zmm1[31],zmm0[31],zmm1[40],zmm0[40],zmm1[41],zmm0[41],zmm1[42],zmm0[42],zmm1[43],zmm0[43],zmm1[44],zmm0[44],zmm1[45],zmm0[45],zmm1[46],zmm0[46],zmm1[47],zmm0[47],zmm1[56],zmm0[56],zmm1[57],zmm0[57],zmm1[58],zmm0[58],zmm1[59],zmm0[59],zmm1[60],zmm0[60],zmm1[61],zmm0[61],zmm1[62],zmm0[62],zmm1[63],zmm0[63]248; AVX512BW-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm2, %zmm2 # [0,137,0,129,0,121,0,57,0,27,0,103,0,49,0,187,0,133,0,129,0,125,0,121,0,59,0,57,0,111,0,27,0,137,0,71,0,147,0,19,0,79,0,41,0,43,0,179,0,147,0,79,0,43,0,187,0,103,0,57,0,129,0,147]249; AVX512BW-NEXT: vpsrlw $8, %zmm2, %zmm2250; AVX512BW-NEXT: vpunpcklbw {{.*#+}} zmm1 = zmm1[0],zmm0[0],zmm1[1],zmm0[1],zmm1[2],zmm0[2],zmm1[3],zmm0[3],zmm1[4],zmm0[4],zmm1[5],zmm0[5],zmm1[6],zmm0[6],zmm1[7],zmm0[7],zmm1[16],zmm0[16],zmm1[17],zmm0[17],zmm1[18],zmm0[18],zmm1[19],zmm0[19],zmm1[20],zmm0[20],zmm1[21],zmm0[21],zmm1[22],zmm0[22],zmm1[23],zmm0[23],zmm1[32],zmm0[32],zmm1[33],zmm0[33],zmm1[34],zmm0[34],zmm1[35],zmm0[35],zmm1[36],zmm0[36],zmm1[37],zmm0[37],zmm1[38],zmm0[38],zmm1[39],zmm0[39],zmm1[48],zmm0[48],zmm1[49],zmm0[49],zmm1[50],zmm0[50],zmm1[51],zmm0[51],zmm1[52],zmm0[52],zmm1[53],zmm0[53],zmm1[54],zmm0[54],zmm1[55],zmm0[55]251; AVX512BW-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm1 # [0,147,0,129,0,57,0,103,0,187,0,43,0,79,0,147,0,179,0,43,0,41,0,79,0,19,0,147,0,71,0,137,0,27,0,111,0,57,0,59,0,121,0,125,0,129,0,133,0,187,0,49,0,103,0,27,0,57,0,121,0,129,0,137]252; AVX512BW-NEXT: vpsrlw $8, %zmm1, %zmm1253; AVX512BW-NEXT: vpackuswb %zmm2, %zmm1, %zmm1254; AVX512BW-NEXT: vpandq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm0255; AVX512BW-NEXT: vpaddb %zmm0, %zmm1, %zmm0256; AVX512BW-NEXT: vpunpckhbw {{.*#+}} zmm1 = zmm0[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,40,40,41,41,42,42,43,43,44,44,45,45,46,46,47,47,56,56,57,57,58,58,59,59,60,60,61,61,62,62,63,63]257; AVX512BW-NEXT: vpsraw $8, %zmm1, %zmm1258; AVX512BW-NEXT: vpsllvw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm1259; AVX512BW-NEXT: vpsrlw $8, %zmm1, %zmm1260; AVX512BW-NEXT: vpunpcklbw {{.*#+}} zmm0 = zmm0[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,32,32,33,33,34,34,35,35,36,36,37,37,38,38,39,39,48,48,49,49,50,50,51,51,52,52,53,53,54,54,55,55]261; AVX512BW-NEXT: vpsraw $8, %zmm0, %zmm0262; AVX512BW-NEXT: vpsllvw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm0263; AVX512BW-NEXT: vpsrlw $8, %zmm0, %zmm0264; AVX512BW-NEXT: vpackuswb %zmm1, %zmm0, %zmm0265; AVX512BW-NEXT: vpmovb2m %zmm0, %k0266; AVX512BW-NEXT: vpmovm2b %k0, %zmm1267; AVX512BW-NEXT: vpsubb %zmm1, %zmm0, %zmm0268; AVX512BW-NEXT: retq269 %res = sdiv <64 x i8> %a, <i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15, i8 16, i8 17, i8 18, i8 19, i8 20, i8 21, i8 22, i8 23, i8 24, i8 25, i8 26, i8 27, i8 28, i8 29, i8 30, i8 31, i8 32, i8 33, i8 34, i8 35, i8 36, i8 37, i8 38, i8 38, i8 37, i8 36, i8 35, i8 34, i8 33, i8 32, i8 31, i8 30, i8 29, i8 28, i8 27, i8 26, i8 25, i8 24, i8 23, i8 22, i8 21, i8 20, i8 19, i8 18, i8 17, i8 16, i8 15, i8 14, i8 13, i8 12, i8 11, i8 10, i8 9, i8 8, i8 7>270 ret <64 x i8> %res271}272 273;274; srem by 7275;276 277define <8 x i64> @test_rem7_8i64(<8 x i64> %a) nounwind {278; AVX-LABEL: test_rem7_8i64:279; AVX: # %bb.0:280; AVX-NEXT: vextracti32x4 $3, %zmm0, %xmm1281; AVX-NEXT: vpextrq $1, %xmm1, %rcx282; AVX-NEXT: movabsq $5270498306774157605, %rsi # imm = 0x4924924924924925283; AVX-NEXT: movq %rcx, %rax284; AVX-NEXT: imulq %rsi285; AVX-NEXT: movq %rdx, %rax286; AVX-NEXT: shrq $63, %rax287; AVX-NEXT: sarq %rdx288; AVX-NEXT: addq %rax, %rdx289; AVX-NEXT: leaq (,%rdx,8), %rax290; AVX-NEXT: subq %rax, %rdx291; AVX-NEXT: addq %rcx, %rdx292; AVX-NEXT: vmovq %rdx, %xmm2293; AVX-NEXT: vmovq %xmm1, %rcx294; AVX-NEXT: movq %rcx, %rax295; AVX-NEXT: imulq %rsi296; AVX-NEXT: movq %rdx, %rax297; AVX-NEXT: shrq $63, %rax298; AVX-NEXT: sarq %rdx299; AVX-NEXT: addq %rax, %rdx300; AVX-NEXT: leaq (,%rdx,8), %rax301; AVX-NEXT: subq %rax, %rdx302; AVX-NEXT: addq %rcx, %rdx303; AVX-NEXT: vmovq %rdx, %xmm1304; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm2[0]305; AVX-NEXT: vextracti32x4 $2, %zmm0, %xmm2306; AVX-NEXT: vpextrq $1, %xmm2, %rcx307; AVX-NEXT: movq %rcx, %rax308; AVX-NEXT: imulq %rsi309; AVX-NEXT: movq %rdx, %rax310; AVX-NEXT: shrq $63, %rax311; AVX-NEXT: sarq %rdx312; AVX-NEXT: addq %rax, %rdx313; AVX-NEXT: leaq (,%rdx,8), %rax314; AVX-NEXT: subq %rax, %rdx315; AVX-NEXT: addq %rcx, %rdx316; AVX-NEXT: vmovq %rdx, %xmm3317; AVX-NEXT: vmovq %xmm2, %rcx318; AVX-NEXT: movq %rcx, %rax319; AVX-NEXT: imulq %rsi320; AVX-NEXT: movq %rdx, %rax321; AVX-NEXT: shrq $63, %rax322; AVX-NEXT: sarq %rdx323; AVX-NEXT: addq %rax, %rdx324; AVX-NEXT: leaq (,%rdx,8), %rax325; AVX-NEXT: subq %rax, %rdx326; AVX-NEXT: addq %rcx, %rdx327; AVX-NEXT: vmovq %rdx, %xmm2328; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm3[0]329; AVX-NEXT: vinserti128 $1, %xmm1, %ymm2, %ymm1330; AVX-NEXT: vextracti128 $1, %ymm0, %xmm2331; AVX-NEXT: vpextrq $1, %xmm2, %rcx332; AVX-NEXT: movq %rcx, %rax333; AVX-NEXT: imulq %rsi334; AVX-NEXT: movq %rdx, %rax335; AVX-NEXT: shrq $63, %rax336; AVX-NEXT: sarq %rdx337; AVX-NEXT: addq %rax, %rdx338; AVX-NEXT: leaq (,%rdx,8), %rax339; AVX-NEXT: subq %rax, %rdx340; AVX-NEXT: addq %rcx, %rdx341; AVX-NEXT: vmovq %rdx, %xmm3342; AVX-NEXT: vmovq %xmm2, %rcx343; AVX-NEXT: movq %rcx, %rax344; AVX-NEXT: imulq %rsi345; AVX-NEXT: movq %rdx, %rax346; AVX-NEXT: shrq $63, %rax347; AVX-NEXT: sarq %rdx348; AVX-NEXT: addq %rax, %rdx349; AVX-NEXT: leaq (,%rdx,8), %rax350; AVX-NEXT: subq %rax, %rdx351; AVX-NEXT: addq %rcx, %rdx352; AVX-NEXT: vmovq %rdx, %xmm2353; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm3[0]354; AVX-NEXT: vpextrq $1, %xmm0, %rcx355; AVX-NEXT: movq %rcx, %rax356; AVX-NEXT: imulq %rsi357; AVX-NEXT: movq %rdx, %rax358; AVX-NEXT: shrq $63, %rax359; AVX-NEXT: sarq %rdx360; AVX-NEXT: addq %rax, %rdx361; AVX-NEXT: leaq (,%rdx,8), %rax362; AVX-NEXT: subq %rax, %rdx363; AVX-NEXT: addq %rcx, %rdx364; AVX-NEXT: vmovq %rdx, %xmm3365; AVX-NEXT: vmovq %xmm0, %rcx366; AVX-NEXT: movq %rcx, %rax367; AVX-NEXT: imulq %rsi368; AVX-NEXT: movq %rdx, %rax369; AVX-NEXT: shrq $63, %rax370; AVX-NEXT: sarq %rdx371; AVX-NEXT: addq %rax, %rdx372; AVX-NEXT: leaq (,%rdx,8), %rax373; AVX-NEXT: subq %rax, %rdx374; AVX-NEXT: addq %rcx, %rdx375; AVX-NEXT: vmovq %rdx, %xmm0376; AVX-NEXT: vpunpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm3[0]377; AVX-NEXT: vinserti128 $1, %xmm2, %ymm0, %ymm0378; AVX-NEXT: vinserti64x4 $1, %ymm1, %zmm0, %zmm0379; AVX-NEXT: retq380 %res = srem <8 x i64> %a, <i64 7, i64 7, i64 7, i64 7, i64 7, i64 7, i64 7, i64 7>381 ret <8 x i64> %res382}383 384define <16 x i32> @test_rem7_16i32(<16 x i32> %a) nounwind {385; AVX-LABEL: test_rem7_16i32:386; AVX: # %bb.0:387; AVX-NEXT: vpbroadcastd {{.*#+}} zmm1 = [2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027,2454267027]388; AVX-NEXT: vpmuldq %zmm1, %zmm0, %zmm2389; AVX-NEXT: vpshufd {{.*#+}} zmm3 = zmm0[1,1,3,3,5,5,7,7,9,9,11,11,13,13,15,15]390; AVX-NEXT: vpmuldq %zmm1, %zmm3, %zmm1391; AVX-NEXT: vpmovsxbd {{.*#+}} zmm3 = [1,17,3,19,5,21,7,23,9,25,11,27,13,29,15,31]392; AVX-NEXT: vpermi2d %zmm1, %zmm2, %zmm3393; AVX-NEXT: vpaddd %zmm0, %zmm3, %zmm1394; AVX-NEXT: vpsrld $31, %zmm1, %zmm2395; AVX-NEXT: vpsrad $2, %zmm1, %zmm1396; AVX-NEXT: vpaddd %zmm2, %zmm1, %zmm1397; AVX-NEXT: vpslld $3, %zmm1, %zmm2398; AVX-NEXT: vpsubd %zmm2, %zmm1, %zmm1399; AVX-NEXT: vpaddd %zmm1, %zmm0, %zmm0400; AVX-NEXT: retq401 %res = srem <16 x i32> %a, <i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7, i32 7>402 ret <16 x i32> %res403}404 405define <32 x i16> @test_rem7_32i16(<32 x i16> %a) nounwind {406; AVX512F-LABEL: test_rem7_32i16:407; AVX512F: # %bb.0:408; AVX512F-NEXT: vextracti64x4 $1, %zmm0, %ymm1409; AVX512F-NEXT: vpbroadcastw {{.*#+}} ymm2 = [18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725]410; AVX512F-NEXT: vpmulhw %ymm2, %ymm1, %ymm3411; AVX512F-NEXT: vpsrlw $15, %ymm3, %ymm4412; AVX512F-NEXT: vpsraw $1, %ymm3, %ymm3413; AVX512F-NEXT: vpaddw %ymm4, %ymm3, %ymm3414; AVX512F-NEXT: vpsllw $3, %ymm3, %ymm4415; AVX512F-NEXT: vpsubw %ymm4, %ymm3, %ymm3416; AVX512F-NEXT: vpaddw %ymm3, %ymm1, %ymm1417; AVX512F-NEXT: vpmulhw %ymm2, %ymm0, %ymm2418; AVX512F-NEXT: vpsrlw $15, %ymm2, %ymm3419; AVX512F-NEXT: vpsraw $1, %ymm2, %ymm2420; AVX512F-NEXT: vpaddw %ymm3, %ymm2, %ymm2421; AVX512F-NEXT: vpsllw $3, %ymm2, %ymm3422; AVX512F-NEXT: vpsubw %ymm3, %ymm2, %ymm2423; AVX512F-NEXT: vpaddw %ymm2, %ymm0, %ymm0424; AVX512F-NEXT: vinserti64x4 $1, %ymm1, %zmm0, %zmm0425; AVX512F-NEXT: retq426;427; AVX512BW-LABEL: test_rem7_32i16:428; AVX512BW: # %bb.0:429; AVX512BW-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm1 # [18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725,18725]430; AVX512BW-NEXT: vpsrlw $15, %zmm1, %zmm2431; AVX512BW-NEXT: vpsraw $1, %zmm1, %zmm1432; AVX512BW-NEXT: vpaddw %zmm2, %zmm1, %zmm1433; AVX512BW-NEXT: vpsllw $3, %zmm1, %zmm2434; AVX512BW-NEXT: vpsubw %zmm2, %zmm1, %zmm1435; AVX512BW-NEXT: vpaddw %zmm1, %zmm0, %zmm0436; AVX512BW-NEXT: retq437 %res = srem <32 x i16> %a, <i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7, i16 7>438 ret <32 x i16> %res439}440 441define <64 x i8> @test_rem7_64i8(<64 x i8> %a) nounwind {442; AVX512F-LABEL: test_rem7_64i8:443; AVX512F: # %bb.0:444; AVX512F-NEXT: vextracti64x4 $1, %zmm0, %ymm2445; AVX512F-NEXT: vpxor %xmm1, %xmm1, %xmm1446; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm3 = ymm1[8],ymm2[8],ymm1[9],ymm2[9],ymm1[10],ymm2[10],ymm1[11],ymm2[11],ymm1[12],ymm2[12],ymm1[13],ymm2[13],ymm1[14],ymm2[14],ymm1[15],ymm2[15],ymm1[24],ymm2[24],ymm1[25],ymm2[25],ymm1[26],ymm2[26],ymm1[27],ymm2[27],ymm1[28],ymm2[28],ymm1[29],ymm2[29],ymm1[30],ymm2[30],ymm1[31],ymm2[31]447; AVX512F-NEXT: vpbroadcastw {{.*#+}} ymm4 = [0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147]448; AVX512F-NEXT: vpmulhw %ymm4, %ymm3, %ymm3449; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3450; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm5 = ymm1[0],ymm2[0],ymm1[1],ymm2[1],ymm1[2],ymm2[2],ymm1[3],ymm2[3],ymm1[4],ymm2[4],ymm1[5],ymm2[5],ymm1[6],ymm2[6],ymm1[7],ymm2[7],ymm1[16],ymm2[16],ymm1[17],ymm2[17],ymm1[18],ymm2[18],ymm1[19],ymm2[19],ymm1[20],ymm2[20],ymm1[21],ymm2[21],ymm1[22],ymm2[22],ymm1[23],ymm2[23]451; AVX512F-NEXT: vpmulhw %ymm4, %ymm5, %ymm5452; AVX512F-NEXT: vpsrlw $8, %ymm5, %ymm5453; AVX512F-NEXT: vpackuswb %ymm3, %ymm5, %ymm3454; AVX512F-NEXT: vpaddb %ymm2, %ymm3, %ymm3455; AVX512F-NEXT: vpsrlw $2, %ymm3, %ymm3456; AVX512F-NEXT: vpbroadcastb {{.*#+}} ymm5 = [63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63]457; AVX512F-NEXT: vpand %ymm5, %ymm3, %ymm3458; AVX512F-NEXT: vpbroadcastb {{.*#+}} ymm6 = [32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32]459; AVX512F-NEXT: vpxor %ymm6, %ymm3, %ymm3460; AVX512F-NEXT: vpsubb %ymm6, %ymm3, %ymm3461; AVX512F-NEXT: vpcmpgtb %ymm3, %ymm1, %ymm7462; AVX512F-NEXT: vpsubb %ymm7, %ymm3, %ymm3463; AVX512F-NEXT: vpsllw $3, %ymm3, %ymm7464; AVX512F-NEXT: vpbroadcastb {{.*#+}} ymm8 = [248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248,248]465; AVX512F-NEXT: vpand %ymm7, %ymm8, %ymm7466; AVX512F-NEXT: vpsubb %ymm7, %ymm3, %ymm3467; AVX512F-NEXT: vpaddb %ymm3, %ymm2, %ymm2468; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm3 = ymm1[8],ymm0[8],ymm1[9],ymm0[9],ymm1[10],ymm0[10],ymm1[11],ymm0[11],ymm1[12],ymm0[12],ymm1[13],ymm0[13],ymm1[14],ymm0[14],ymm1[15],ymm0[15],ymm1[24],ymm0[24],ymm1[25],ymm0[25],ymm1[26],ymm0[26],ymm1[27],ymm0[27],ymm1[28],ymm0[28],ymm1[29],ymm0[29],ymm1[30],ymm0[30],ymm1[31],ymm0[31]469; AVX512F-NEXT: vpmulhw %ymm4, %ymm3, %ymm3470; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3471; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm7 = ymm1[0],ymm0[0],ymm1[1],ymm0[1],ymm1[2],ymm0[2],ymm1[3],ymm0[3],ymm1[4],ymm0[4],ymm1[5],ymm0[5],ymm1[6],ymm0[6],ymm1[7],ymm0[7],ymm1[16],ymm0[16],ymm1[17],ymm0[17],ymm1[18],ymm0[18],ymm1[19],ymm0[19],ymm1[20],ymm0[20],ymm1[21],ymm0[21],ymm1[22],ymm0[22],ymm1[23],ymm0[23]472; AVX512F-NEXT: vpmulhw %ymm4, %ymm7, %ymm4473; AVX512F-NEXT: vpsrlw $8, %ymm4, %ymm4474; AVX512F-NEXT: vpackuswb %ymm3, %ymm4, %ymm3475; AVX512F-NEXT: vpaddb %ymm0, %ymm3, %ymm3476; AVX512F-NEXT: vpsrlw $2, %ymm3, %ymm3477; AVX512F-NEXT: vpand %ymm5, %ymm3, %ymm3478; AVX512F-NEXT: vpxor %ymm6, %ymm3, %ymm3479; AVX512F-NEXT: vpsubb %ymm6, %ymm3, %ymm3480; AVX512F-NEXT: vpcmpgtb %ymm3, %ymm1, %ymm1481; AVX512F-NEXT: vpsubb %ymm1, %ymm3, %ymm1482; AVX512F-NEXT: vpsllw $3, %ymm1, %ymm3483; AVX512F-NEXT: vpand %ymm3, %ymm8, %ymm3484; AVX512F-NEXT: vpsubb %ymm3, %ymm1, %ymm1485; AVX512F-NEXT: vpaddb %ymm1, %ymm0, %ymm0486; AVX512F-NEXT: vinserti64x4 $1, %ymm2, %zmm0, %zmm0487; AVX512F-NEXT: retq488;489; AVX512BW-LABEL: test_rem7_64i8:490; AVX512BW: # %bb.0:491; AVX512BW-NEXT: vpxor %xmm1, %xmm1, %xmm1492; AVX512BW-NEXT: vpunpckhbw {{.*#+}} zmm2 = zmm1[8],zmm0[8],zmm1[9],zmm0[9],zmm1[10],zmm0[10],zmm1[11],zmm0[11],zmm1[12],zmm0[12],zmm1[13],zmm0[13],zmm1[14],zmm0[14],zmm1[15],zmm0[15],zmm1[24],zmm0[24],zmm1[25],zmm0[25],zmm1[26],zmm0[26],zmm1[27],zmm0[27],zmm1[28],zmm0[28],zmm1[29],zmm0[29],zmm1[30],zmm0[30],zmm1[31],zmm0[31],zmm1[40],zmm0[40],zmm1[41],zmm0[41],zmm1[42],zmm0[42],zmm1[43],zmm0[43],zmm1[44],zmm0[44],zmm1[45],zmm0[45],zmm1[46],zmm0[46],zmm1[47],zmm0[47],zmm1[56],zmm0[56],zmm1[57],zmm0[57],zmm1[58],zmm0[58],zmm1[59],zmm0[59],zmm1[60],zmm0[60],zmm1[61],zmm0[61],zmm1[62],zmm0[62],zmm1[63],zmm0[63]493; AVX512BW-NEXT: vpbroadcastw {{.*#+}} zmm3 = [0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147,0,147]494; AVX512BW-NEXT: vpmulhw %zmm3, %zmm2, %zmm2495; AVX512BW-NEXT: vpsrlw $8, %zmm2, %zmm2496; AVX512BW-NEXT: vpunpcklbw {{.*#+}} zmm1 = zmm1[0],zmm0[0],zmm1[1],zmm0[1],zmm1[2],zmm0[2],zmm1[3],zmm0[3],zmm1[4],zmm0[4],zmm1[5],zmm0[5],zmm1[6],zmm0[6],zmm1[7],zmm0[7],zmm1[16],zmm0[16],zmm1[17],zmm0[17],zmm1[18],zmm0[18],zmm1[19],zmm0[19],zmm1[20],zmm0[20],zmm1[21],zmm0[21],zmm1[22],zmm0[22],zmm1[23],zmm0[23],zmm1[32],zmm0[32],zmm1[33],zmm0[33],zmm1[34],zmm0[34],zmm1[35],zmm0[35],zmm1[36],zmm0[36],zmm1[37],zmm0[37],zmm1[38],zmm0[38],zmm1[39],zmm0[39],zmm1[48],zmm0[48],zmm1[49],zmm0[49],zmm1[50],zmm0[50],zmm1[51],zmm0[51],zmm1[52],zmm0[52],zmm1[53],zmm0[53],zmm1[54],zmm0[54],zmm1[55],zmm0[55]497; AVX512BW-NEXT: vpmulhw %zmm3, %zmm1, %zmm1498; AVX512BW-NEXT: vpsrlw $8, %zmm1, %zmm1499; AVX512BW-NEXT: vpackuswb %zmm2, %zmm1, %zmm1500; AVX512BW-NEXT: vpaddb %zmm0, %zmm1, %zmm1501; AVX512BW-NEXT: vpsrlw $2, %zmm1, %zmm1502; AVX512BW-NEXT: vpbroadcastb {{.*#+}} zmm2 = [32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32]503; AVX512BW-NEXT: vpternlogd {{.*#+}} zmm1 = zmm2 ^ (zmm1 & m32bcst)504; AVX512BW-NEXT: vpsubb %zmm2, %zmm1, %zmm1505; AVX512BW-NEXT: vpmovb2m %zmm1, %k0506; AVX512BW-NEXT: vpmovm2b %k0, %zmm2507; AVX512BW-NEXT: vpsubb %zmm2, %zmm1, %zmm1508; AVX512BW-NEXT: vpsllw $3, %zmm1, %zmm2509; AVX512BW-NEXT: vpandd {{\.?LCPI[0-9]+_[0-9]+}}(%rip){1to16}, %zmm2, %zmm2510; AVX512BW-NEXT: vpsubb %zmm2, %zmm1, %zmm1511; AVX512BW-NEXT: vpaddb %zmm1, %zmm0, %zmm0512; AVX512BW-NEXT: retq513 %res = srem <64 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, 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>514 ret <64 x i8> %res515}516 517;518; srem by non-splat constant519;520 521define <64 x i8> @test_remconstant_64i8(<64 x i8> %a) nounwind {522; AVX512F-LABEL: test_remconstant_64i8:523; AVX512F: # %bb.0:524; AVX512F-NEXT: vextracti64x4 $1, %zmm0, %ymm2525; AVX512F-NEXT: vpxor %xmm1, %xmm1, %xmm1526; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm3 = ymm1[8],ymm2[8],ymm1[9],ymm2[9],ymm1[10],ymm2[10],ymm1[11],ymm2[11],ymm1[12],ymm2[12],ymm1[13],ymm2[13],ymm1[14],ymm2[14],ymm1[15],ymm2[15],ymm1[24],ymm2[24],ymm1[25],ymm2[25],ymm1[26],ymm2[26],ymm1[27],ymm2[27],ymm1[28],ymm2[28],ymm1[29],ymm2[29],ymm1[30],ymm2[30],ymm1[31],ymm2[31]527; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [0,137,0,71,0,147,0,19,0,79,0,41,0,43,0,179,0,147,0,79,0,43,0,187,0,103,0,57,0,129,0,147]528; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3529; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm4 = ymm1[0],ymm2[0],ymm1[1],ymm2[1],ymm1[2],ymm2[2],ymm1[3],ymm2[3],ymm1[4],ymm2[4],ymm1[5],ymm2[5],ymm1[6],ymm2[6],ymm1[7],ymm2[7],ymm1[16],ymm2[16],ymm1[17],ymm2[17],ymm1[18],ymm2[18],ymm1[19],ymm2[19],ymm1[20],ymm2[20],ymm1[21],ymm2[21],ymm1[22],ymm2[22],ymm1[23],ymm2[23]530; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm4, %ymm4 # [0,27,0,111,0,57,0,59,0,121,0,125,0,129,0,133,0,187,0,49,0,103,0,27,0,57,0,121,0,129,0,137]531; AVX512F-NEXT: vpsrlw $8, %ymm4, %ymm4532; AVX512F-NEXT: vpackuswb %ymm3, %ymm4, %ymm3533; AVX512F-NEXT: vpandq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm4534; AVX512F-NEXT: vextracti64x4 $1, %zmm4, %ymm5535; AVX512F-NEXT: vpaddb %ymm5, %ymm3, %ymm3536; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm5 = ymm3[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]537; AVX512F-NEXT: vpsraw $8, %ymm5, %ymm5538; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm5, %ymm5 # [16,32,16,128,32,64,64,16,32,64,128,32,64,128,64,64]539; AVX512F-NEXT: vpsrlw $8, %ymm5, %ymm5540; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm3 = ymm3[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]541; AVX512F-NEXT: vpsraw $8, %ymm3, %ymm3542; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [64,16,32,32,16,16,16,16,16,64,32,128,64,32,32,32]543; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3544; AVX512F-NEXT: vpackuswb %ymm5, %ymm3, %ymm3545; AVX512F-NEXT: vpcmpgtb %ymm3, %ymm1, %ymm5546; AVX512F-NEXT: vpsubb %ymm5, %ymm3, %ymm3547; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm5 # [38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7]548; AVX512F-NEXT: vpbroadcastw {{.*#+}} ymm6 = [255,255,255,255,255,255,255,255,255,255,255,255,255,255,255,255]549; AVX512F-NEXT: vpand %ymm6, %ymm5, %ymm5550; AVX512F-NEXT: vpmaddubsw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [0,37,0,35,0,33,0,31,0,29,0,27,0,25,0,23,0,21,0,19,0,17,0,15,0,13,0,11,0,9,0,7]551; AVX512F-NEXT: vpsllw $8, %ymm3, %ymm3552; AVX512F-NEXT: vpor %ymm3, %ymm5, %ymm3553; AVX512F-NEXT: vpsubb %ymm3, %ymm2, %ymm2554; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm3 = ymm1[8],ymm0[8],ymm1[9],ymm0[9],ymm1[10],ymm0[10],ymm1[11],ymm0[11],ymm1[12],ymm0[12],ymm1[13],ymm0[13],ymm1[14],ymm0[14],ymm1[15],ymm0[15],ymm1[24],ymm0[24],ymm1[25],ymm0[25],ymm1[26],ymm0[26],ymm1[27],ymm0[27],ymm1[28],ymm0[28],ymm1[29],ymm0[29],ymm1[30],ymm0[30],ymm1[31],ymm0[31]555; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [0,137,0,129,0,121,0,57,0,27,0,103,0,49,0,187,0,133,0,129,0,125,0,121,0,59,0,57,0,111,0,27]556; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3557; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm5 = ymm1[0],ymm0[0],ymm1[1],ymm0[1],ymm1[2],ymm0[2],ymm1[3],ymm0[3],ymm1[4],ymm0[4],ymm1[5],ymm0[5],ymm1[6],ymm0[6],ymm1[7],ymm0[7],ymm1[16],ymm0[16],ymm1[17],ymm0[17],ymm1[18],ymm0[18],ymm1[19],ymm0[19],ymm1[20],ymm0[20],ymm1[21],ymm0[21],ymm1[22],ymm0[22],ymm1[23],ymm0[23]558; AVX512F-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm5, %ymm5 # [0,147,0,129,0,57,0,103,0,187,0,43,0,79,0,147,0,179,0,43,0,41,0,79,0,19,0,147,0,71,0,137]559; AVX512F-NEXT: vpsrlw $8, %ymm5, %ymm5560; AVX512F-NEXT: vpackuswb %ymm3, %ymm5, %ymm3561; AVX512F-NEXT: vpaddb %ymm4, %ymm3, %ymm3562; AVX512F-NEXT: vpunpckhbw {{.*#+}} ymm4 = ymm3[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]563; AVX512F-NEXT: vpsraw $8, %ymm4, %ymm4564; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm4, %ymm4 # [32,32,32,64,128,32,64,16,16,16,16,16,32,32,16,64]565; AVX512F-NEXT: vpsrlw $8, %ymm4, %ymm4566; AVX512F-NEXT: vpunpcklbw {{.*#+}} ymm3 = ymm3[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]567; AVX512F-NEXT: vpsraw $8, %ymm3, %ymm3568; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm3, %ymm3 # [64,64,128,64,32,128,64,32,16,64,64,32,128,16,32,16]569; AVX512F-NEXT: vpsrlw $8, %ymm3, %ymm3570; AVX512F-NEXT: vpackuswb %ymm4, %ymm3, %ymm3571; AVX512F-NEXT: vpcmpgtb %ymm3, %ymm1, %ymm1572; AVX512F-NEXT: vpsubb %ymm1, %ymm3, %ymm1573; AVX512F-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm1, %ymm3 # [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38]574; AVX512F-NEXT: vpand %ymm6, %ymm3, %ymm3575; AVX512F-NEXT: vpmaddubsw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm1, %ymm1 # [0,8,0,10,0,12,0,14,0,16,0,18,0,20,0,22,0,24,0,26,0,28,0,30,0,32,0,34,0,36,0,38]576; AVX512F-NEXT: vpsllw $8, %ymm1, %ymm1577; AVX512F-NEXT: vpor %ymm1, %ymm3, %ymm1578; AVX512F-NEXT: vpsubb %ymm1, %ymm0, %ymm0579; AVX512F-NEXT: vinserti64x4 $1, %ymm2, %zmm0, %zmm0580; AVX512F-NEXT: retq581;582; AVX512BW-LABEL: test_remconstant_64i8:583; AVX512BW: # %bb.0:584; AVX512BW-NEXT: vpxor %xmm1, %xmm1, %xmm1585; AVX512BW-NEXT: vpunpckhbw {{.*#+}} zmm2 = zmm1[8],zmm0[8],zmm1[9],zmm0[9],zmm1[10],zmm0[10],zmm1[11],zmm0[11],zmm1[12],zmm0[12],zmm1[13],zmm0[13],zmm1[14],zmm0[14],zmm1[15],zmm0[15],zmm1[24],zmm0[24],zmm1[25],zmm0[25],zmm1[26],zmm0[26],zmm1[27],zmm0[27],zmm1[28],zmm0[28],zmm1[29],zmm0[29],zmm1[30],zmm0[30],zmm1[31],zmm0[31],zmm1[40],zmm0[40],zmm1[41],zmm0[41],zmm1[42],zmm0[42],zmm1[43],zmm0[43],zmm1[44],zmm0[44],zmm1[45],zmm0[45],zmm1[46],zmm0[46],zmm1[47],zmm0[47],zmm1[56],zmm0[56],zmm1[57],zmm0[57],zmm1[58],zmm0[58],zmm1[59],zmm0[59],zmm1[60],zmm0[60],zmm1[61],zmm0[61],zmm1[62],zmm0[62],zmm1[63],zmm0[63]586; AVX512BW-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm2, %zmm2 # [0,137,0,129,0,121,0,57,0,27,0,103,0,49,0,187,0,133,0,129,0,125,0,121,0,59,0,57,0,111,0,27,0,137,0,71,0,147,0,19,0,79,0,41,0,43,0,179,0,147,0,79,0,43,0,187,0,103,0,57,0,129,0,147]587; AVX512BW-NEXT: vpsrlw $8, %zmm2, %zmm2588; AVX512BW-NEXT: vpunpcklbw {{.*#+}} zmm1 = zmm1[0],zmm0[0],zmm1[1],zmm0[1],zmm1[2],zmm0[2],zmm1[3],zmm0[3],zmm1[4],zmm0[4],zmm1[5],zmm0[5],zmm1[6],zmm0[6],zmm1[7],zmm0[7],zmm1[16],zmm0[16],zmm1[17],zmm0[17],zmm1[18],zmm0[18],zmm1[19],zmm0[19],zmm1[20],zmm0[20],zmm1[21],zmm0[21],zmm1[22],zmm0[22],zmm1[23],zmm0[23],zmm1[32],zmm0[32],zmm1[33],zmm0[33],zmm1[34],zmm0[34],zmm1[35],zmm0[35],zmm1[36],zmm0[36],zmm1[37],zmm0[37],zmm1[38],zmm0[38],zmm1[39],zmm0[39],zmm1[48],zmm0[48],zmm1[49],zmm0[49],zmm1[50],zmm0[50],zmm1[51],zmm0[51],zmm1[52],zmm0[52],zmm1[53],zmm0[53],zmm1[54],zmm0[54],zmm1[55],zmm0[55]589; AVX512BW-NEXT: vpmulhw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm1 # [0,147,0,129,0,57,0,103,0,187,0,43,0,79,0,147,0,179,0,43,0,41,0,79,0,19,0,147,0,71,0,137,0,27,0,111,0,57,0,59,0,121,0,125,0,129,0,133,0,187,0,49,0,103,0,27,0,57,0,121,0,129,0,137]590; AVX512BW-NEXT: vpsrlw $8, %zmm1, %zmm1591; AVX512BW-NEXT: vpackuswb %zmm2, %zmm1, %zmm1592; AVX512BW-NEXT: vpandq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm0, %zmm2593; AVX512BW-NEXT: vpaddb %zmm2, %zmm1, %zmm1594; AVX512BW-NEXT: vpunpckhbw {{.*#+}} zmm2 = zmm1[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,40,40,41,41,42,42,43,43,44,44,45,45,46,46,47,47,56,56,57,57,58,58,59,59,60,60,61,61,62,62,63,63]595; AVX512BW-NEXT: vpsraw $8, %zmm2, %zmm2596; AVX512BW-NEXT: vpsllvw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm2, %zmm2597; AVX512BW-NEXT: vpsrlw $8, %zmm2, %zmm2598; AVX512BW-NEXT: vpunpcklbw {{.*#+}} zmm1 = zmm1[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,32,32,33,33,34,34,35,35,36,36,37,37,38,38,39,39,48,48,49,49,50,50,51,51,52,52,53,53,54,54,55,55]599; AVX512BW-NEXT: vpsraw $8, %zmm1, %zmm1600; AVX512BW-NEXT: vpsllvw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm1601; AVX512BW-NEXT: vpsrlw $8, %zmm1, %zmm1602; AVX512BW-NEXT: vpackuswb %zmm2, %zmm1, %zmm1603; AVX512BW-NEXT: vpmovb2m %zmm1, %k0604; AVX512BW-NEXT: vpmovm2b %k0, %zmm2605; AVX512BW-NEXT: vpsubb %zmm2, %zmm1, %zmm1606; AVX512BW-NEXT: vpmullw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm2 # [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7]607; AVX512BW-NEXT: vpmaddubsw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %zmm1, %zmm1 # [0,8,0,10,0,12,0,14,0,16,0,18,0,20,0,22,0,24,0,26,0,28,0,30,0,32,0,34,0,36,0,38,0,37,0,35,0,33,0,31,0,29,0,27,0,25,0,23,0,21,0,19,0,17,0,15,0,13,0,11,0,9,0,7]608; AVX512BW-NEXT: vpsllw $8, %zmm1, %zmm1609; AVX512BW-NEXT: vpternlogd {{.*#+}} zmm1 = zmm1 | (zmm2 & m32bcst)610; AVX512BW-NEXT: vpsubb %zmm1, %zmm0, %zmm0611; AVX512BW-NEXT: retq612 %res = srem <64 x i8> %a, <i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15, i8 16, i8 17, i8 18, i8 19, i8 20, i8 21, i8 22, i8 23, i8 24, i8 25, i8 26, i8 27, i8 28, i8 29, i8 30, i8 31, i8 32, i8 33, i8 34, i8 35, i8 36, i8 37, i8 38, i8 38, i8 37, i8 36, i8 35, i8 34, i8 33, i8 32, i8 31, i8 30, i8 29, i8 28, i8 27, i8 26, i8 25, i8 24, i8 23, i8 22, i8 21, i8 20, i8 19, i8 18, i8 17, i8 16, i8 15, i8 14, i8 13, i8 12, i8 11, i8 10, i8 9, i8 8, i8 7>613 ret <64 x i8> %res614}615