VPEXTRB $-1, X1, AX // c4e37914c8ff
VPEXTRD $-1, X1, AX // c4e37916c8ff
VPEXTRQ $-1, X1, AX // c4e3f916c8ff
+ // EVEX: High-16 X registers.
+ VADDPD X30, X1, X0 // 6291f50858c6
+ VADDPD X2, X29, X0 // 62f1950058c2
+ VADDPD X30, X29, X0 // 6291950058c6
+ VADDPD X2, X1, X28 // 6261f50858e2
+ VADDPD X30, X1, X28 // 6201f50858e6
+ VADDPD X2, X29, X28 // 6261950058e2
+ VADDPD X30, X29, X28 // 6201950058e6
+ VADDPD X30, X11, X10 // 6211a50858d6
+ VADDPD X12, X29, X10 // 6251950058d4
+ VADDPD X30, X29, X10 // 6211950058d6
+ VADDPD X12, X11, X28 // 6241a50858e4
+ VADDPD X30, X11, X28 // 6201a50858e6
+ VADDPD X12, X29, X28 // 6241950058e4
+ VADDPD X30, X29, X28 // 6201950058e6
+ VADDPD (AX), X29, X0 // 62f195005800
+ VADDPD (AX), X1, X28 // 6261f5085820
+ VADDPD (AX), X29, X28 // 626195005820
+ VADDPD (AX), X29, X10 // 627195005810
+ VADDPD (AX), X10, X28 // 6261ad085820
+ VADDPD (CX)(AX*1), X29, X0 // 62f19500580401
+ VADDPD (CX)(AX*1), X1, X28 // 6261f508582401
+ VADDPD (CX)(AX*1), X29, X28 // 62619500582401
+ VADDPD (CX)(AX*1), X29, X10 // 62719500581401
+ VADDPD (CX)(AX*1), X10, X28 // 6261ad08582401
+ VADDPD (CX)(AX*2), X29, X0 // 62f19500580441
+ VADDPD (CX)(AX*2), X1, X28 // 6261f508582441
+ VADDPD (CX)(AX*2), X29, X28 // 62619500582441
+ VADDPD (CX)(AX*2), X29, X10 // 62719500581441
+ VADDPD (CX)(AX*2), X10, X28 // 6261ad08582441
+ // EVEX: displacement without Disp8.
+ VADDPD 15(AX), X29, X0 // 62f1950058800f000000
+ VADDPD 15(AX), X1, X28 // 6261f50858a00f000000
+ VADDPD 15(AX), X29, X28 // 6261950058a00f000000
+ VADDPD 15(AX), X29, X10 // 6271950058900f000000
+ VADDPD 15(AX), X10, X28 // 6261ad0858a00f000000
+ VADDPD 15(CX)(AX*1), X29, X0 // 62f195005884010f000000
+ VADDPD 15(CX)(AX*1), X1, X28 // 6261f50858a4010f000000
+ VADDPD 15(CX)(AX*1), X29, X28 // 6261950058a4010f000000
+ VADDPD 15(CX)(AX*1), X29, X10 // 627195005894010f000000
+ VADDPD 15(CX)(AX*1), X10, X28 // 6261ad0858a4010f000000
+ VADDPD 15(CX)(AX*2), X29, X0 // 62f195005884410f000000
+ VADDPD 15(CX)(AX*2), X1, X28 // 6261f50858a4410f000000
+ VADDPD 15(CX)(AX*2), X29, X28 // 6261950058a4410f000000
+ VADDPD 15(CX)(AX*2), X29, X10 // 627195005894410f000000
+ VADDPD 15(CX)(AX*2), X10, X28 // 6261ad0858a4410f000000
+ // EVEX: compressed displacement (Disp8).
+ VADDPD 2032(DX), X29, X0 // 62f1950058427f
+ VADDPD 2032(DX), X1, X29 // 6261f508586a7f
+ VADDPD 2032(DX), X29, X28 // 6261950058627f
+ VADDPD 2032(DX)(AX*2), X29, X0 // 62f195005844427f
+ VADDPD 2032(DX)(AX*2), X1, X29 // 6261f508586c427f
+ VADDPD 2032(DX)(AX*2), X29, X28 // 626195005864427f
+ VADDPD 4064(DX), Y0, Y29 // 6261fd28586a7f
+ VADDPD 4064(DX), Y29, Y1 // 62f19520584a7f
+ VADDPD 4064(DX), Y28, Y29 // 62619d20586a7f
+ VADDPD 4064(DX)(AX*2), Y0, Y29 // 6261fd28586c427f
+ VADDPD 4064(DX)(AX*2), Y29, Y1 // 62f19520584c427f
+ VADDPD 8128(DX), Z0, Z29 // 6261fd48586a7f
+ VADDPD 8128(DX), Z29, Z1 // 62f19540584a7f
+ VADDPD 8128(DX), Z28, Z29 // 62619d40586a7f
+ VADDPD 8128(DX)(AX*2), Z0, Z29 // 6261fd48586c427f
+ VADDPD 8128(DX)(AX*2), Z29, Z1 // 62f19540584c427f
+ // EVEX: compressed displacement that does not fit into 8bits.
+ VADDPD 2048(DX), X29, X0 // 62f19500588200080000
+ VADDPD 2048(DX), X1, X29 // 6261f50858aa00080000
+ VADDPD 2048(DX), X29, X28 // 6261950058a200080000
+ VADDPD 2048(DX)(AX*2), X29, X0 // 62f1950058844200080000
+ VADDPD 2048(DX)(AX*2), X1, X29 // 6261f50858ac4200080000
+ VADDPD 2048(DX)(AX*2), X29, X28 // 6261950058a44200080000
+ VADDPD 4096(DX), Y0, Y29 // 6261fd2858aa00100000
+ VADDPD 4096(DX), Y29, Y1 // 62f19520588a00100000
+ VADDPD 4096(DX), Y28, Y29 // 62619d2058aa00100000
+ VADDPD 4096(DX)(AX*2), Y0, Y29 // 6261fd2858ac4200100000
+ VADDPD 4096(DX)(AX*2), Y29, Y1 // 62f19520588c4200100000
+ VADDPD 8192(DX), Z0, Z29 // 6261fd4858aa00200000
+ VADDPD 8192(DX), Z29, Z1 // 62f19540588a00200000
+ VADDPD 8192(DX), Z28, Z29 // 62619d4058aa00200000
+ VADDPD 8192(DX)(AX*2), Z0, Z29 // 6261fd4858ac4200200000
+ VADDPD 8192(DX)(AX*2), Z29, Z1 // 62f19540588c4200200000
+ // EVEX: Y registers; VL=256.
+ VADDPD Y30, Y1, Y0 // 6291f52858c6
+ VADDPD Y0, Y29, Y2 // 62f1952058d0
+ VADDPD Y0, Y29, Y30 // 6261952058f0
+ VADDPD Y28, Y1, Y2 // 6291f52858d4
+ VADDPD Y28, Y1, Y30 // 6201f52858f4
+ VADDPD Y28, Y29, Y2 // 6291952058d4
+ VADDPD Y28, Y29, Y30 // 6201952058f4
+ VADDPD Y10, Y11, Y30 // 6241a52858f2
+ VADDPD Y10, Y29, Y12 // 6251952058e2
+ VADDPD Y10, Y29, Y30 // 6241952058f2
+ VADDPD Y28, Y11, Y12 // 6211a52858e4
+ VADDPD Y28, Y11, Y30 // 6201a52858f4
+ VADDPD Y28, Y29, Y12 // 6211952058e4
+ VADDPD Y28, Y29, Y30 // 6201952058f4
+ VADDPD (AX), Y29, Y0 // 62f195205800
+ VADDPD (AX), Y1, Y28 // 6261f5285820
+ VADDPD (AX), Y29, Y28 // 626195205820
+ VADDPD (AX), Y29, Y10 // 627195205810
+ VADDPD (AX), Y10, Y28 // 6261ad285820
+ VADDPD (CX)(AX*1), Y29, Y0 // 62f19520580401
+ VADDPD (CX)(AX*1), Y1, Y28 // 6261f528582401
+ VADDPD (CX)(AX*1), Y29, Y28 // 62619520582401
+ VADDPD (CX)(AX*1), Y29, Y10 // 62719520581401
+ VADDPD (CX)(AX*1), Y10, Y28 // 6261ad28582401
+ VADDPD (CX)(AX*2), Y29, Y0 // 62f19520580441
+ VADDPD (CX)(AX*2), Y1, Y28 // 6261f528582441
+ VADDPD (CX)(AX*2), Y29, Y28 // 62619520582441
+ VADDPD (CX)(AX*2), Y29, Y10 // 62719520581441
+ VADDPD (CX)(AX*2), Y10, Y28 // 6261ad28582441
+ VADDPD 15(AX), Y0, Y29 // 6261fd2858a80f000000
+ VADDPD 15(AX), Y28, Y1 // 62f19d2058880f000000
+ VADDPD 15(AX), Y28, Y29 // 62619d2058a80f000000
+ VADDPD 15(AX), Y10, Y29 // 6261ad2858a80f000000
+ VADDPD 15(AX), Y28, Y10 // 62719d2058900f000000
+ VADDPD 15(CX)(AX*1), Y0, Y29 // 6261fd2858ac010f000000
+ VADDPD 15(CX)(AX*1), Y28, Y1 // 62f19d20588c010f000000
+ VADDPD 15(CX)(AX*1), Y28, Y29 // 62619d2058ac010f000000
+ VADDPD 15(CX)(AX*1), Y10, Y29 // 6261ad2858ac010f000000
+ VADDPD 15(CX)(AX*1), Y28, Y10 // 62719d205894010f000000
+ VADDPD 15(CX)(AX*2), Y0, Y29 // 6261fd2858ac410f000000
+ VADDPD 15(CX)(AX*2), Y28, Y1 // 62f19d20588c410f000000
+ VADDPD 15(CX)(AX*2), Y28, Y29 // 62619d2058ac410f000000
+ VADDPD 15(CX)(AX*2), Y10, Y29 // 6261ad2858ac410f000000
+ VADDPD 15(CX)(AX*2), Y28, Y10 // 62719d205894410f000000
+ VADDPD 2048(DX), Y0, Y29 // 6261fd28586a40
+ VADDPD 2048(DX), Y29, Y1 // 62f19520584a40
+ VADDPD 2048(DX), Y28, Y29 // 62619d20586a40
+ VADDPD 2048(DX)(AX*2), Y0, Y29 // 6261fd28586c4240
+ VADDPD 2048(DX)(AX*2), Y29, Y1 // 62f19520584c4240
+ VADDPD 2048(DX)(AX*2), Y28, Y29 // 62619d20586c4240
+ // EVEX: Z registers; VL=512.
+ VADDPD Z30, Z0, Z1 // 6291fd4858ce
+ VADDPD Z0, Z2, Z29 // 6261ed4858e8
+ VADDPD Z0, Z30, Z29 // 62618d4058e8
+ VADDPD Z28, Z2, Z1 // 6291ed4858cc
+ VADDPD Z28, Z30, Z1 // 62918d4058cc
+ VADDPD Z28, Z2, Z29 // 6201ed4858ec
+ VADDPD Z28, Z30, Z29 // 62018d4058ec
+ VADDPD Z10, Z30, Z11 // 62518d4058da
+ VADDPD Z10, Z12, Z29 // 62419d4858ea
+ VADDPD Z10, Z30, Z29 // 62418d4058ea
+ VADDPD Z28, Z12, Z11 // 62119d4858dc
+ VADDPD Z28, Z30, Z11 // 62118d4058dc
+ VADDPD Z28, Z12, Z29 // 62019d4858ec
+ VADDPD Z28, Z30, Z29 // 62018d4058ec
+ VADDPD (AX), Z0, Z29 // 6261fd485828
+ VADDPD (AX), Z28, Z1 // 62f19d405808
+ VADDPD (AX), Z28, Z29 // 62619d405828
+ VADDPD (AX), Z10, Z29 // 6261ad485828
+ VADDPD (AX), Z28, Z10 // 62719d405810
+ VADDPD (CX)(AX*1), Z0, Z29 // 6261fd48582c01
+ VADDPD (CX)(AX*1), Z28, Z1 // 62f19d40580c01
+ VADDPD (CX)(AX*1), Z28, Z29 // 62619d40582c01
+ VADDPD (CX)(AX*1), Z10, Z29 // 6261ad48582c01
+ VADDPD (CX)(AX*1), Z28, Z10 // 62719d40581401
+ VADDPD (CX)(AX*2), Z0, Z29 // 6261fd48582c41
+ VADDPD (CX)(AX*2), Z28, Z1 // 62f19d40580c41
+ VADDPD (CX)(AX*2), Z28, Z29 // 62619d40582c41
+ VADDPD (CX)(AX*2), Z10, Z29 // 6261ad48582c41
+ VADDPD (CX)(AX*2), Z28, Z10 // 62719d40581441
+ VADDPD 15(AX), Z29, Z0 // 62f1954058800f000000
+ VADDPD 15(AX), Z1, Z28 // 6261f54858a00f000000
+ VADDPD 15(AX), Z29, Z28 // 6261954058a00f000000
+ VADDPD 15(AX), Z29, Z10 // 6271954058900f000000
+ VADDPD 15(AX), Z10, Z28 // 6261ad4858a00f000000
+ VADDPD 15(CX)(AX*1), Z29, Z0 // 62f195405884010f000000
+ VADDPD 15(CX)(AX*1), Z1, Z28 // 6261f54858a4010f000000
+ VADDPD 15(CX)(AX*1), Z29, Z28 // 6261954058a4010f000000
+ VADDPD 15(CX)(AX*1), Z29, Z10 // 627195405894010f000000
+ VADDPD 15(CX)(AX*1), Z10, Z28 // 6261ad4858a4010f000000
+ VADDPD 15(CX)(AX*2), Z29, Z0 // 62f195405884410f000000
+ VADDPD 15(CX)(AX*2), Z1, Z28 // 6261f54858a4410f000000
+ VADDPD 15(CX)(AX*2), Z29, Z28 // 6261954058a4410f000000
+ VADDPD 15(CX)(AX*2), Z29, Z10 // 627195405894410f000000
+ VADDPD 15(CX)(AX*2), Z10, Z28 // 6261ad4858a4410f000000
+ VADDPD 2048(DX), Z29, Z0 // 62f19540584220
+ VADDPD 2048(DX), Z1, Z29 // 6261f548586a20
+ VADDPD 2048(DX), Z29, Z28 // 62619540586220
+ VADDPD 2048(DX)(AX*2), Z29, Z0 // 62f1954058444220
+ VADDPD 2048(DX)(AX*2), Z1, Z29 // 6261f548586c4220
+ VADDPD 2048(DX)(AX*2), Z29, Z28 // 6261954058644220
+ // EVEX: KOP (opmask) instructions.
+ KMOVB K0, K0 // c5f990c0
+ KMOVB K7, K7 // c5f990ff
+ KMOVB K5, K1 // c5f990cd
+ KMOVB K1, K5 // c5f990e9
+ KMOVB (AX), K1 // c5f99008
+ KMOVB K0, (AX) // c5f99100
+ KMOVB K7, (R10) // c4c179913a
+ KMOVB K5, AX // c5f993c5
+ KMOVB K7, R10 // c57993d7
+ KMOVB AX, K5 // c5f992e8
+ KMOVB R10, K7 // c4c17992fa
+ KMOVW K0, K0 // c5f890c0
+ KMOVW K7, K7 // c5f890ff
+ KMOVW K5, K1 // c5f890cd
+ KMOVW K1, K5 // c5f890e9
+ KMOVW (AX), K1 // c5f89008
+ KMOVW K0, (AX) // c5f89100
+ KMOVW K7, (R10) // c4c178913a
+ KMOVW K5, AX // c5f893c5
+ KMOVW K7, R10 // c57893d7
+ KMOVW AX, K5 // c5f892e8
+ KMOVW R10, K7 // c4c17892fa
+ KMOVD K0, K0 // c4e1f990c0
+ KMOVD K7, K7 // c4e1f990ff
+ KMOVD K5, K1 // c4e1f990cd
+ KMOVD K1, K5 // c4e1f990e9
+ KMOVD (AX), K1 // c4e1f99008
+ KMOVD AX, K5 // c5fb92e8
+ KMOVD R10, K7 // c4c17b92fa
+ KMOVD K0, (AX) // c4e1f99100
+ KMOVD K7, (R10) // c4c1f9913a
+ KMOVD K5, AX // c5fb93c5
+ KMOVD K7, R10 // c57b93d7
+ KMOVQ K0, K0 // c4e1f890c0
+ KMOVQ K7, K7 // c4e1f890ff
+ KMOVQ K5, K1 // c4e1f890cd
+ KMOVQ K1, K5 // c4e1f890e9
+ KMOVQ (AX), K1 // c4e1f89008
+ KMOVQ AX, K5 // c4e1fb92e8
+ KMOVQ R10, K7 // c4c1fb92fa
+ KMOVQ K0, (AX) // c4e1f89100
+ KMOVQ K7, (R10) // c4c1f8913a
+ KMOVQ K5, AX // c4e1fb93c5
+ KMOVQ K7, R10 // c461fb93d7
+ KNOTB K7, K0 // c5f944c7
+ KNOTB K1, K5 // c5f944e9
+ KNOTW K7, K0 // c5f844c7
+ KNOTW K1, K5 // c5f844e9
+ KNOTD K7, K0 // c4e1f944c7
+ KNOTD K1, K5 // c4e1f944e9
+ KNOTQ K7, K0 // c4e1f844c7
+ KNOTQ K1, K5 // c4e1f844e9
+ KORB K7, K5, K0 // c5d545c7
+ KORB K0, K7, K5 // c5c545e8
+ KORW K7, K5, K0 // c5d445c7
+ KORW K0, K7, K5 // c5c445e8
+ KORD K7, K5, K0 // c4e1d545c7
+ KORD K0, K7, K5 // c4e1c545e8
+ KORQ K7, K5, K0 // c4e1d445c7
+ KORQ K0, K7, K5 // c4e1c445e8
+ KSHIFTLB $0, K7, K0 // c4e37932c700
+ KSHIFTLB $196, K1, K5 // c4e37932e9c4
+ KSHIFTLW $0, K7, K0 // c4e3f932c700
+ KSHIFTLW $196, K1, K5 // c4e3f932e9c4
+ KSHIFTLD $0, K7, K0 // c4e37933c700
+ KSHIFTLD $196, K1, K5 // c4e37933e9c4
+ KSHIFTLQ $0, K7, K0 // c4e3f933c700
+ KSHIFTLQ $196, K1, K5 // c4e3f933e9c4
+ // EVEX: masking with K1-K7.
+ VADDPD X2, X1, K1, X0 // 62f1f50958c2
+ VADDPD X12, X1, K4, X10 // 6251f50c58d4
+ VADDPD X22, X1, K7, X20 // 62a1f50f58e6
+ VADDPD (AX), X1, K1, X1 // 62f1f5095808
+ VADDPD 8(R10), X10, K4, X10 // 6251ad0c589208000000
+ VADDPD (R10)(AX*4), X20, K7, X20 // 62c1dd07582482
+ VADDPD Y2, Y1, K1, Y0 // 62f1f52958c2
+ VADDPD Y12, Y1, K4, Y10 // 6251f52c58d4
+ VADDPD Y22, Y1, K7, Y20 // 62a1f52f58e6
+ VADDPD (AX), Y1, K1, Y1 // 62f1f5295808
+ VADDPD 8(R10), Y10, K4, Y10 // 6251ad2c589208000000
+ VADDPD (R10)(AX*4), Y20, K7, Y20 // 62c1dd27582482
+ VADDPD Z2, Z1, K1, Z0 // 62f1f54958c2
+ VADDPD Z12, Z1, K4, Z10 // 6251f54c58d4
+ VADDPD Z22, Z1, K7, Z20 // 62a1f54f58e6
+ VADDPD (AX), Z1, K1, Z1 // 62f1f5495808
+ VADDPD 8(R10), Z10, K4, Z10 // 6251ad4c589208000000
+ VADDPD (R10)(AX*4), Z20, K7, Z20 // 62c1dd47582482
+ // EVEX gather (also tests Z as VSIB index).
+ VPGATHERDD 360(AX)(X2*4), K1, X1 // 62f27d09904c905a
+ VPGATHERDD 640(BP)(X15*8), K3, X14 // 62327d0b90b4fd80020000
+ VPGATHERDD 960(R10)(X25*2), K7, X24 // 62027d0790844ac0030000
+ VPGATHERDD 1280(R10)(X1*4), K4, X0 // 62d27d0c90848a00050000
+ VPGATHERDD 360(AX)(Y2*4), K1, Y1 // 62f27d29904c905a
+ VPGATHERDD 640(BP)(Y15*8), K3, Y14 // 62327d2b90b4fd80020000
+ VPGATHERDD 960(R10)(Y25*2), K7, Y24 // 62027d2790844ac0030000
+ VPGATHERDD 1280(R10)(Y1*4), K4, Y0 // 62d27d2c90848a00050000
+ VPGATHERDD 360(AX)(Z2*4), K1, Z1 // 62f27d49904c905a
+ VPGATHERDD 640(BP)(Z15*8), K3, Z14 // 62327d4b90b4fd80020000
+ VPGATHERDD 960(R10)(Z25*2), K7, Z24 // 62027d4790844ac0030000
+ VPGATHERDD 1280(R10)(Z1*4), K4, Z0 // 62d27d4c90848a00050000
+ VPGATHERDQ 360(AX)(X2*4), K1, X1 // 62f2fd09904c902d
+ VPGATHERDQ 640(BP)(X15*8), K3, X14 // 6232fd0b9074fd50
+ VPGATHERDQ 960(R10)(X25*2), K7, X24 // 6202fd0790444a78
+ VPGATHERDQ 1280(R10)(X1*4), K4, X0 // 62d2fd0c90848a00050000
+ VPGATHERDQ 360(AX)(X2*4), K1, Y1 // 62f2fd29904c902d
+ VPGATHERDQ 640(BP)(X15*8), K3, Y14 // 6232fd2b9074fd50
+ VPGATHERDQ 960(R10)(X25*2), K7, Y24 // 6202fd2790444a78
+ VPGATHERDQ 1280(R10)(X1*4), K4, Y0 // 62d2fd2c90848a00050000
+ VPGATHERDQ 360(AX)(Y2*4), K1, Z1 // 62f2fd49904c902d
+ VPGATHERDQ 640(BP)(Y15*8), K3, Z14 // 6232fd4b9074fd50
+ VPGATHERDQ 960(R10)(Y25*2), K7, Z24 // 6202fd4790444a78
+ VPGATHERDQ 1280(R10)(Y1*4), K4, Z0 // 62d2fd4c90848a00050000
+ VGATHERDPD 360(R15)(X30*2), K6, X20 // 6282fd069264772d
+ VGATHERDPD 640(R15)(X20*2), K6, X10 // 6252fd0692546750
+ VGATHERDPD 960(R15)(X10*2), K6, X20 // 6282fd0e92645778
+ VGATHERDPD 1280(R15)(X0*2), K6, X10 // 6252fd0e92944700050000
+ VGATHERDPD 360(R15)(X30*2), K6, Y20 // 6282fd269264772d
+ VGATHERDPD 640(R15)(X20*2), K6, Y10 // 6252fd2692546750
+ VGATHERDPD 960(R15)(X10*2), K6, Y20 // 6282fd2e92645778
+ VGATHERDPD 1280(R15)(X0*2), K6, Y10 // 6252fd2e92944700050000
+ VGATHERDPD 360(R15)(Y30*2), K6, Z20 // 6282fd469264772d
+ VGATHERDPD 640(R15)(Y20*2), K6, Z10 // 6252fd4692546750
+ VGATHERDPD 960(R15)(Y10*2), K6, Z20 // 6282fd4e92645778
+ VGATHERDPD 1280(R15)(Y0*2), K6, Z10 // 6252fd4e92944700050000
+ VGATHERDPS 360(R15)(X30*2), K6, X20 // 62827d069264775a
+ VGATHERDPS 640(R15)(X20*2), K6, X10 // 62527d0692946780020000
+ VGATHERDPS 960(R15)(X10*2), K6, X20 // 62827d0e92a457c0030000
+ VGATHERDPS 1280(R15)(X0*2), K6, X10 // 62527d0e92944700050000
+ VGATHERDPS 360(R15)(Y30*2), K6, Y20 // 62827d269264775a
+ VGATHERDPS 640(R15)(Y20*2), K6, Y10 // 62527d2692946780020000
+ VGATHERDPS 960(R15)(Y10*2), K6, Y20 // 62827d2e92a457c0030000
+ VGATHERDPS 1280(R15)(Y0*2), K6, Y10 // 62527d2e92944700050000
+ VGATHERDPS 360(R15)(Z30*2), K6, Z20 // 62827d469264775a
+ VGATHERDPS 640(R15)(Z20*2), K6, Z10 // 62527d4692946780020000
+ VGATHERDPS 960(R15)(Z10*2), K6, Z20 // 62827d4e92a457c0030000
+ VGATHERDPS 1280(R15)(Z0*2), K6, Z10 // 62527d4e92944700050000
+ VGATHERQPS 360(R15)(X30*2), K6, X20 // 62827d069364775a
+ VGATHERQPS 640(R15)(X20*2), K6, X10 // 62527d0693946780020000
+ VGATHERQPS 960(R15)(X10*2), K6, X20 // 62827d0e93a457c0030000
+ VGATHERQPS 1280(R15)(X0*2), K6, X10 // 62527d0e93944700050000
+ VGATHERQPS 360(R15)(Y30*2), K6, X20 // 62827d269364775a
+ VGATHERQPS 640(R15)(Y20*2), K6, X10 // 62527d2693946780020000
+ VGATHERQPS 960(R15)(Y10*2), K6, X20 // 62827d2e93a457c0030000
+ VGATHERQPS 1280(R15)(Y0*2), K6, X10 // 62527d2e93944700050000
+ VGATHERQPS 360(R15)(Z30*2), K6, Y20 // 62827d469364775a
+ VGATHERQPS 640(R15)(Z20*2), K6, Y10 // 62527d4693946780020000
+ VGATHERQPS 960(R15)(Z10*2), K6, Y20 // 62827d4e93a457c0030000
+ VGATHERQPS 1280(R15)(Z0*2), K6, Y10 // 62527d4e93944700050000
+ VPGATHERQD 360(R15)(X30*2), K6, X20 // 62827d069164775a
+ VPGATHERQD 640(R15)(X20*2), K6, X10 // 62527d0691946780020000
+ VPGATHERQD 960(R15)(X10*2), K6, X20 // 62827d0e91a457c0030000
+ VPGATHERQD 1280(R15)(X0*2), K6, X10 // 62527d0e91944700050000
+ VPGATHERQD 360(R15)(Y30*2), K6, X20 // 62827d269164775a
+ VPGATHERQD 640(R15)(Y20*2), K6, X10 // 62527d2691946780020000
+ VPGATHERQD 960(R15)(Y10*2), K6, X20 // 62827d2e91a457c0030000
+ VPGATHERQD 1280(R15)(Y0*2), K6, X10 // 62527d2e91944700050000
+ VPGATHERQD 360(R15)(Z30*2), K6, Y20 // 62827d469164775a
+ VPGATHERQD 640(R15)(Z20*2), K6, Y10 // 62527d4691946780020000
+ VPGATHERQD 960(R15)(Z10*2), K6, Y20 // 62827d4e91a457c0030000
+ VPGATHERQD 1280(R15)(Z0*2), K6, Y10 // 62527d4e91944700050000
+ VPGATHERQQ 360(R15)(X30*2), K6, X20 // 6282fd069164772d
+ VPGATHERQQ 640(R15)(X20*2), K6, X10 // 6252fd0691546750
+ VPGATHERQQ 960(R15)(X10*2), K6, X20 // 6282fd0e91645778
+ VPGATHERQQ 1280(R15)(X0*2), K6, X10 // 6252fd0e91944700050000
+ VPGATHERQQ 360(R15)(Y30*2), K6, Y20 // 6282fd269164772d
+ VPGATHERQQ 640(R15)(Y20*2), K6, Y10 // 6252fd2691546750
+ VPGATHERQQ 960(R15)(Y10*2), K6, Y20 // 6282fd2e91645778
+ VPGATHERQQ 1280(R15)(Y0*2), K6, Y10 // 6252fd2e91944700050000
+ VPGATHERQQ 360(R15)(Z30*2), K6, Z20 // 6282fd469164772d
+ VPGATHERQQ 640(R15)(Z20*2), K6, Z10 // 6252fd4691546750
+ VPGATHERQQ 960(R15)(Z10*2), K6, Z20 // 6282fd4e91645778
+ VPGATHERQQ 1280(R15)(Z0*2), K6, Z10 // 6252fd4e91944700050000
+ VGATHERQPD 360(R15)(X30*2), K6, X20 // 6282fd069364772d
+ VGATHERQPD 640(R15)(X20*2), K6, X10 // 6252fd0693546750
+ VGATHERQPD 960(R15)(X10*2), K6, X20 // 6282fd0e93645778
+ VGATHERQPD 1280(R15)(X0*2), K6, X10 // 6252fd0e93944700050000
+ VGATHERQPD 360(R15)(Y30*2), K6, Y20 // 6282fd269364772d
+ VGATHERQPD 640(R15)(Y20*2), K6, Y10 // 6252fd2693546750
+ VGATHERQPD 960(R15)(Y10*2), K6, Y20 // 6282fd2e93645778
+ VGATHERQPD 1280(R15)(Y0*2), K6, Y10 // 6252fd2e93944700050000
+ VGATHERQPD 360(R15)(Z30*2), K6, Z20 // 6282fd469364772d
+ VGATHERQPD 640(R15)(Z20*2), K6, Z10 // 6252fd4693546750
+ VGATHERQPD 960(R15)(Z10*2), K6, Z20 // 6282fd4e93645778
+ VGATHERQPD 1280(R15)(Z0*2), K6, Z10 // 6252fd4e93944700050000
+ // EVEX: corner cases for High-16 registers.
+ VADDPD X31, X16, X15 // 6211fd0058ff
+ VADDPD X23, X15, X16 // 62a1850858c7
+ VADDPD Y31, Y16, Y15 // 6211fd2058ff
+ VADDPD Y23, Y15, Y16 // 62a1852858c7
+ VADDPD Z31, Z16, Z15 // 6211fd4058ff
+ VADDPD Z23, Z15, Z16 // 62a1854858c7
+ VGATHERQPD (DX)(X16*1),K1,X31 // 6262fd01933c02
+ VGATHERQPD (DX)(X31*1),K1,X16 // 62a2fd0193043a
+ VGATHERQPD (DX)(X15*1),K1,X23 // 62a2fd09933c3a
+ VGATHERQPD (DX)(X23*1),K1,X15 // 6272fd01933c3a
+ VGATHERQPD (DX)(Y16*1),K1,Y31 // 6262fd21933c02
+ VGATHERQPD (DX)(Y31*1),K1,Y16 // 62a2fd2193043a
+ VGATHERQPD (DX)(Y15*1),K1,Y23 // 62a2fd29933c3a
+ VGATHERQPD (DX)(Y23*1),K1,Y15 // 6272fd21933c3a
+ VGATHERQPD (DX)(Z16*1),K1,Z31 // 6262fd41933c02
+ VGATHERQPD (DX)(Z31*1),K1,Z16 // 62a2fd4193043a
+ VGATHERQPD (DX)(Z15*1),K1,Z23 // 62a2fd49933c3a
+ VGATHERQPD (DX)(Z23*1),K1,Z15 // 6272fd41933c3a
+ // EVEX: VCVTPD2DQ with Y suffix (VL=2).
+ VCVTPD2DQY (BX), X20 // 62e1ff28e623
+ VCVTPD2DQY (R11), X30 // 6241ff28e633
+ // XED encoder uses EVEX.X=0 for these; most x86 tools use EVEX.X=1.
+ // Either way is OK.
+ VMOVQ SP, X20 // 62e1fd086ee4 or 62a1fd086ee4
+ VMOVQ BP, X20 // 62e1fd086ee5 or 62a1fd086ee5
+ VMOVQ R14, X20 // 62c1fd086ee6 or 6281fd086ee6
+ // "VMOVQ r/m64, xmm1"/6E vs "VMOVQ xmm2/m64, xmm1"/7E with mem operand.
+ VMOVQ (AX), X20 // 62e1fd086e20 or 62e1fe087e20
+ VMOVQ 7(DX), X20 // 62e1fd086ea207000000 or 62e1fe087ea207000000
+ VMOVQ -15(R11)(CX*1), X20 // 62c1fd086ea40bf1ffffff or 62c1fe087ea40bf1ffffff
+ VMOVQ (SP)(AX*2), X20 // 62e1fd086e2444 or 62e1fe087e2444
+ // "VMOVQ xmm1, r/m64"/7E vs "VMOVQ xmm1, xmm2/m64"/D6 with mem operand.
+ VMOVQ X20, (AX) // 62e1fd087e20 or 62e1fd08d620
+ VMOVQ X20, 7(DX) // 62e1fd087ea207000000 or 62e1fd08d6a207000000
+ VMOVQ X20, -15(R11)(CX*1) // 62c1fd087ea40bf1ffffff or 62c1fd08d6a40bf1ffffff
+ VMOVQ X20, (SP)(AX*2) // 62e1fd087e2444 or 62e1fd08d62444
+ // VMOVHPD: overlapping VEX and EVEX variants.
+ VMOVHPD (AX), X5, X5 // c5d11628 or c4e1d11628 or 62f1d5281628 or 62f1d5481628
+ VMOVHPD 7(DX), X5, X5 // c5d1166a07 or 62f1d52816aa07000000 or 62f1d54816aa07000000
+ VMOVHPD -15(R11)(CX*1), X5, X5 // c4c151166c0bf1 or 62d1d52816ac0bf1ffffff or 62d1d54816ac0bf1ffffff
+ VMOVHPD (SP)(AX*2), X5, X5 // c5d1162c44 or c4e1d1162c44 or 62f1d528162c44 or 62f1d548162c44
+ VMOVHPD (AX), X8, X5 // c5b91628 or c4e1b91628 or 62f1bd281628 or 62f1bd481628
+ VMOVHPD 7(DX), X8, X5 // c5b9166a07 or 62f1bd2816aa07000000 or 62f1bd4816aa07000000
+ VMOVHPD -15(R11)(CX*1), X8, X5 // c4c139166c0bf1 or 62d1bd4816ac0bf1ffffff
+ VMOVHPD (SP)(AX*2), X8, X5 // c5b9162c44 or c4e1b9162c44 or 62f1bd28162c44 or 62f1bd48162c44
+ VMOVHPD (AX), X20, X5 // 62f1dd001628 or 62f1dd201628 or 62f1dd401628
+ VMOVHPD 7(DX), X20, X5 // 62f1dd0016aa07000000 or 62f1dd2016aa07000000 or 62f1dd4016aa07000000
+ VMOVHPD -15(R11)(CX*1), X20, X5 // 62d1dd0016ac0bf1ffffff or 62d1dd2016ac0bf1ffffff or 62d1dd4016ac0bf1ffffff
+ VMOVHPD (SP)(AX*2), X20, X5 // 62f1dd00162c44 or 62f1dd20162c44 or 62f1dd40162c44
+ VMOVHPD (AX), X5, X8 // c5511600 or c461d11600 or 6271d5281600 or 6271d5481600
+ VMOVHPD 7(DX), X5, X8 // c551164207 or 6271d528168207000000 or 6271d548168207000000
+ VMOVHPD -15(R11)(CX*1), X5, X8 // c4415116440bf1 or 6251d52816840bf1ffffff or 6251d54816840bf1ffffff
+ VMOVHPD (SP)(AX*2), X5, X8 // c551160444 or 6271d528160444 or 6271d548160444
+ VMOVHPD (AX), X8, X8 // c5391600 or 6271bd281600 or 6271bd481600
+ VMOVHPD 7(DX), X8, X8 // c539164207 or 6271bd28168207000000 or 6271bd48168207000000
+ VMOVHPD -15(R11)(CX*1), X8, X8 // c4413916440bf1 or 6251bd2816840bf1ffffff or 6251bd4816840bf1ffffff
+ VMOVHPD (SP)(AX*2), X8, X8 // c539160444 or 6271bd28160444 or 6271bd48160444
+ VMOVHPD (AX), X20, X8 // 6271dd001600 or 6271dd201600 or 6271dd401600
+ VMOVHPD 7(DX), X20, X8 // 6271dd00168207000000 or 6271dd20168207000000 or 6271dd40168207000000
+ VMOVHPD -15(R11)(CX*1), X20, X8 // 6251dd0016840bf1ffffff or 6251dd2016840bf1ffffff or 6251dd4016840bf1ffffff
+ VMOVHPD (SP)(AX*2), X20, X8 // 6271dd00160444 or 6271dd20160444 or 6271dd40160444
+ VMOVHPD (AX), X5, X20 // 62e1d5081620 or 62e1d5281620 or 62e1d5481620
+ VMOVHPD 7(DX), X5, X20 // 62e1d50816a207000000 or 62e1d52816a207000000 or 62e1d54816a207000000
+ VMOVHPD -15(R11)(CX*1), X5, X20 // 62c1d50816a40bf1ffffff or 62c1d52816a40bf1ffffff or 62c1d54816a40bf1ffffff
+ VMOVHPD (SP)(AX*2), X5, X20 // 62e1d508162444 or 62e1d528162444 or 62e1d548162444
+ VMOVHPD (AX), X8, X20 // 62e1bd081620 or 62e1bd281620 or 62e1bd481620
+ VMOVHPD 7(DX), X8, X20 // 62e1bd0816a207000000 or 62e1bd2816a207000000 or 62e1bd4816a207000000
+ VMOVHPD -15(R11)(CX*1), X8, X20 // 62c1bd0816a40bf1ffffff or 62c1bd2816a40bf1ffffff or 62c1bd4816a40bf1ffffff
+ VMOVHPD (SP)(AX*2), X8, X20 // 62e1bd08162444 or 62e1bd28162444 or 62e1bd48162444
+ VMOVHPD (AX), X20, X20 // 62e1dd001620 or 62e1dd201620 or 62e1dd401620
+ VMOVHPD 7(DX), X20, X20 // 62e1dd0016a207000000 or 62e1dd2016a207000000 or 62e1dd4016a207000000
+ VMOVHPD -15(R11)(CX*1), X20, X20 // 62c1dd0016a40bf1ffffff or 62c1dd2016a40bf1ffffff or 62c1dd4016a40bf1ffffff
+ VMOVHPD (SP)(AX*2), X20, X20 // 62e1dd00162444 or 62e1dd20162444 or 62e1dd40162444
+ VMOVHPD X5, (AX) // c5f91728 or 62f1fd281728 or 62f1fd481728
+ VMOVHPD X8, (AX) // c5791700 or 6271fd281700 or 6271fd481700
+ VMOVHPD X20, (AX) // 62e1fd081720 or 62e1fd281720 or 62e1fd481720
+ VMOVHPD X5, 7(DX) // c5f9176a07 or 62f1fd2817aa07000000 or 62f1fd4817aa07000000
+ VMOVHPD X8, 7(DX) // c579174207 or 6271fd28178207000000 or 6271fd48178207000000
+ VMOVHPD X20, 7(DX) // 62e1fd0817a207000000 or 62e1fd2817a207000000 or 62e1fd4817a207000000
+ VMOVHPD X5, -15(R11)(CX*1) // c4c179176c0bf1 or 62d1fd2817ac0bf1ffffff or 62d1fd4817ac0bf1ffffff
+ VMOVHPD X8, -15(R11)(CX*1) // c4417917440bf1 or 6251fd2817840bf1ffffff or 6251fd4817840bf1ffffff
+ VMOVHPD X20, -15(R11)(CX*1) // 62c1fd0817a40bf1ffffff or 62c1fd2817a40bf1ffffff or 62c1fd4817a40bf1ffffff
+ VMOVHPD X5, (SP)(AX*2) // c5f9172c44 or 62f1fd28172c44 or 62f1fd48172c44
+ VMOVHPD X8, (SP)(AX*2) // c579170444 or 6271fd28170444 or 6271fd48170444
+ VMOVHPD X20, (SP)(AX*2) // 62e1fd08172444 or 62e1fd28172444 or 62e1fd48172444
+ // VMOVLPD: overlapping VEX and EVEX variants.
+ VMOVLPD (AX), X5, X5 // c5d11228 or 62f1d5281228 or 62f1d5481228
+ VMOVLPD 7(DX), X5, X5 // c5d1126a07 or 62f1d52812aa07000000 or 62f1d54812aa07000000
+ VMOVLPD -15(R11)(CX*1), X5, X5 // c4c151126c0bf1 or 62d1d52812ac0bf1ffffff or 62d1d54812ac0bf1ffffff
+ VMOVLPD (SP)(AX*2), X5, X5 // c5d1122c44 or 62f1d528122c44 or 62f1d548122c44
+ VMOVLPD (AX), X8, X5 // c5b91228 or 62f1bd281228 or 62f1bd481228
+ VMOVLPD 7(DX), X8, X5 // c5b9126a07 or 62f1bd2812aa07000000 or 62f1bd4812aa07000000
+ VMOVLPD -15(R11)(CX*1), X8, X5 // c4c139126c0bf1 or 62d1bd2812ac0bf1ffffff or 62d1bd4812ac0bf1ffffff
+ VMOVLPD (SP)(AX*2), X8, X5 // c5b9122c44 or 62f1bd28122c44 or 62f1bd48122c44
+ VMOVLPD (AX), X20, X5 // 62f1dd001228 or 62f1dd201228 or 62f1dd401228
+ VMOVLPD 7(DX), X20, X5 // 62f1dd0012aa07000000 or 62f1dd2012aa07000000 or 62f1dd4012aa07000000
+ VMOVLPD -15(R11)(CX*1), X20, X5 // 62d1dd0012ac0bf1ffffff or 62d1dd2012ac0bf1ffffff or 62d1dd4012ac0bf1ffffff
+ VMOVLPD (SP)(AX*2), X20, X5 // 62f1dd00122c44 or 62f1dd20122c44 or 62f1dd40122c44
+ VMOVLPD (AX), X5, X8 // c5511200 or 6271d5281200 or 6271d5481200
+ VMOVLPD 7(DX), X5, X8 // c551124207 or 6271d528128207000000 or 6271d548128207000000
+ VMOVLPD -15(R11)(CX*1), X5, X8 // c4415112440bf1 or 6251d52812840bf1ffffff or 6251d54812840bf1ffffff
+ VMOVLPD (SP)(AX*2), X5, X8 // c551120444 or 6271d528120444 or 6271d548120444
+ VMOVLPD (AX), X8, X8 // c5391200 or 6271bd281200 or 6271bd481200
+ VMOVLPD 7(DX), X8, X8 // c539124207 or 6271bd28128207000000 or 6271bd48128207000000
+ VMOVLPD -15(R11)(CX*1), X8, X8 // c4413912440bf1 or 6251bd2812840bf1ffffff or 6251bd4812840bf1ffffff
+ VMOVLPD (SP)(AX*2), X8, X8 // c539120444 or 6271bd28120444 or 6271bd48120444
+ VMOVLPD (AX), X20, X8 // 6271dd001200 or 6271dd201200 or 6271dd401200
+ VMOVLPD 7(DX), X20, X8 // 6271dd00128207000000 or 6271dd20128207000000 or 6271dd40128207000000
+ VMOVLPD -15(R11)(CX*1), X20, X8 // 6251dd0012840bf1ffffff or 6251dd2012840bf1ffffff or 6251dd4012840bf1ffffff
+ VMOVLPD (SP)(AX*2), X20, X8 // 6271dd00120444 or 6271dd20120444 or 6271dd40120444
+ VMOVLPD (AX), X5, X20 // 62e1d5081220 or 62e1d5281220 or 62e1d5481220
+ VMOVLPD 7(DX), X5, X20 // 62e1d50812a207000000 or 62e1d52812a207000000 or 62e1d54812a207000000
+ VMOVLPD -15(R11)(CX*1), X5, X20 // 62c1d50812a40bf1ffffff or 62c1d52812a40bf1ffffff or 62c1d54812a40bf1ffffff
+ VMOVLPD (SP)(AX*2), X5, X20 // 62e1d508122444 or 62e1d528122444 or 62e1d548122444
+ VMOVLPD (AX), X8, X20 // 62e1bd081220 or 62e1bd281220 or 62e1bd481220
+ VMOVLPD 7(DX), X8, X20 // 62e1bd0812a207000000 or 62e1bd2812a207000000 or 62e1bd4812a207000000
+ VMOVLPD -15(R11)(CX*1), X8, X20 // 62c1bd0812a40bf1ffffff or 62c1bd2812a40bf1ffffff or 62c1bd4812a40bf1ffffff
+ VMOVLPD (SP)(AX*2), X8, X20 // 62e1bd08122444 or 62e1bd28122444 or 62e1bd48122444
+ VMOVLPD (AX), X20, X20 // 62e1dd001220 or 62e1dd201220 or 62e1dd401220
+ VMOVLPD 7(DX), X20, X20 // 62e1dd0012a207000000 or 62e1dd2012a207000000 or 62e1dd4012a207000000
+ VMOVLPD -15(R11)(CX*1), X20, X20 // 62c1dd0012a40bf1ffffff or 62c1dd2012a40bf1ffffff or 62c1dd4012a40bf1ffffff
+ VMOVLPD (SP)(AX*2), X20, X20 // 62e1dd00122444 or 62e1dd20122444 or 62e1dd40122444
+ VMOVLPD X5, (AX) // c5f91328 or 62f1fd281328 or 62f1fd481328
+ VMOVLPD X8, (AX) // c5791300 or 6271fd281300 or 6271fd481300
+ VMOVLPD X20, (AX) // 62e1fd081320 or 62e1fd281320 or 62e1fd481320
+ VMOVLPD X5, 7(DX) // c5f9136a07 or 62f1fd2813aa07000000 or 62f1fd4813aa07000000
+ VMOVLPD X8, 7(DX) // c579134207 or 6271fd28138207000000 or 6271fd48138207000000
+ VMOVLPD X20, 7(DX) // 62e1fd0813a207000000 or 62e1fd2813a207000000 or 62e1fd4813a207000000
+ VMOVLPD X5, -15(R11)(CX*1) // c4c179136c0bf1 or 62d1fd2813ac0bf1ffffff or 62d1fd4813ac0bf1ffffff
+ VMOVLPD X8, -15(R11)(CX*1) // c4417913440bf1 or 6251fd2813840bf1ffffff or 6251fd4813840bf1ffffff
+ VMOVLPD X20, -15(R11)(CX*1) // 62c1fd0813a40bf1ffffff or 62c1fd2813a40bf1ffffff or 62c1fd4813a40bf1ffffff
+ VMOVLPD X5, (SP)(AX*2) // c5f9132c44 or 62f1fd28132c44 or 62f1fd48132c44
+ VMOVLPD X8, (SP)(AX*2) // c579130444 or 6271fd28130444 or 6271fd48130444
+ VMOVLPD X20, (SP)(AX*2) // 62e1fd08132444 or 62e1fd28132444 or 62e1fd48132444
+ // "VPEXTRW imm8u, xmm1, r32/m16"/15 vs "VPEXTRW imm8u, xmm2, r32"/C5.
+ VPEXTRW $17, X20, AX // 62b17d08c5c411 or 62e37d0815e011 or 62e3fd0815e011
+ VPEXTRW $127, X20, AX // 62b17d08c5c47f or 62e37d0815e07f or 62e3fd0815e07f
+ VPEXTRW $17, X20, SP // 62b17d08c5e411 or 62e37d0815e411 or 62e3fd0815e411
+ VPEXTRW $127, X20, SP // 62b17d08c5e47f or 62e37d0815e47f or 62e3fd0815e47f
+ VPEXTRW $17, X20, BP // 62b17d08c5ec11 or 62e37d0815e511 or 62e3fd0815e511
+ VPEXTRW $127, X20, BP // 62b17d08c5ec7f or 62e37d0815e57f or 62e3fd0815e57f
+ VPEXTRW $17, X20, R14 // 62317d08c5f411 or 62c37d0815e611 or 62c3fd0815e611
+ VPEXTRW $127, X20, R14 // 62317d08c5f47f or 62c37d0815e67f or 62c3fd0815e67f
+ VPEXTRW $17, X20, (AX) // 62e37d08152011 or 62e3fd08152011
+ VPEXTRW $127, X20, (AX) // 62e37d0815207f or 62e3fd0815207f
+ VPEXTRW $17, X20, 7(DX) // 62e37d0815a20700000011 or 62e3fd0815a20700000011
+ VPEXTRW $127, X20, 7(DX) // 62e37d0815a2070000007f or 62e3fd0815a2070000007f
+ VPEXTRW $17, X20, -15(R11)(CX*1) // 62c37d0815a40bf1ffffff11 or 62c3fd0815a40bf1ffffff11
+ VPEXTRW $127, X20, -15(R11)(CX*1) // 62c37d0815a40bf1ffffff7f or 62c3fd0815a40bf1ffffff7f
+ VPEXTRW $17, X20, (SP)(AX*2) // 62e37d0815244411 or 62e3fd0815244411
+ VPEXTRW $127, X20, (SP)(AX*2) // 62e37d081524447f or 62e3fd081524447f
+ // EVEX: embedded zeroing.
+ VADDPD.Z X30, X1, X0 // 6291f58858c6
+ VMAXPD.Z (AX), Z2, K1, Z1 // 62f1edc95f08
+ // EVEX: embedded rounding.
+ VADDPD.RU_SAE Z3, Z2, K1, Z1 // 62f1ed5958cb
+ VADDPD.RD_SAE Z3, Z2, K1, Z1 // 62f1ed3958cb
+ VADDPD.RZ_SAE Z3, Z2, K1, Z1 // 62f1ed7958cb
+ VADDPD.RN_SAE Z3, Z2, K1, Z1 // 62f1ed1958cb
+ VADDPD.RU_SAE.Z Z3, Z2, K1, Z1 // 62f1edd958cb
+ VADDPD.RD_SAE.Z Z3, Z2, K1, Z1 // 62f1edb958cb
+ VADDPD.RZ_SAE.Z Z3, Z2, K1, Z1 // 62f1edf958cb
+ VADDPD.RN_SAE.Z Z3, Z2, K1, Z1 // 62f1ed9958cb
+ // EVEX: embedded broadcasting.
+ VADDPD.BCST (AX), X2, K1, X1 // 62f1ed195808
+ VADDPD.BCST.Z (AX), X2, K1, X1 // 62f1ed995808
+ VADDPD.BCST (AX), Y2, K1, Y1 // 62f1ed395808
+ VADDPD.BCST.Z (AX), Y2, K1, Y1 // 62f1edb95808
+ VADDPD.BCST (AX), Z2, K1, Z1 // 62f1ed595808
+ VADDPD.BCST.Z (AX), Z2, K1, Z1 // 62f1edd95808
+ VMAXPD.BCST (AX), Z2, K1, Z1 // 62f1ed595f08
+ VMAXPD.BCST.Z (AX), Z2, K1, Z1 // 62f1edd95f08
+ // EVEX: surpress all exceptions (SAE).
+ VMAXPD.SAE Z3, Z2, K1, Z1 // 62f1ed595fcb or 62f1ed195fcb
+ VMAXPD.SAE.Z Z3, Z2, K1, Z1 // 62f1edd95fcb or 62f1ed995fcb
+ VMAXPD (AX), Z2, K1, Z1 // 62f1ed495f08
+ VCMPSD.SAE $0, X0, X2, K0 // 62f1ef18c2c000
+ VCMPSD.SAE $0, X0, X2, K1, K0 // 62f1ef19c2c000
+ // EVEX: broadcast-affected compressed displacement (Disp8).
+ VADDPD.BCST 1016(DX), X0, X29 // 6261fd18586a7f
+ VADDPD.BCST 1016(DX), X29, X1 // 62f19510584a7f
+ VADDPD.BCST 1016(DX), X28, X29 // 62619d10586a7f
+ VADDPD.BCST 1016(DX)(AX*2), X0, X29 // 6261fd18586c427f
+ VADDPD.BCST 1016(DX)(AX*2), X29, X1 // 62f19510584c427f
+ VADDPD.BCST 1016(DX), Y0, Y29 // 6261fd38586a7f
+ VADDPD.BCST 1016(DX), Y29, Y1 // 62f19530584a7f
+ VADDPD.BCST 1016(DX), Y28, Y29 // 62619d30586a7f
+ VADDPD.BCST 1016(DX)(AX*2), Y0, Y29 // 6261fd38586c427f
+ VADDPD.BCST 1016(DX)(AX*2), Y29, Y1 // 62f19530584c427f
+ VADDPD.BCST 1016(DX), Z0, Z29 // 6261fd58586a7f
+ VADDPD.BCST 1016(DX), Z29, Z1 // 62f19550584a7f
+ VADDPD.BCST 1016(DX), Z28, Z29 // 62619d50586a7f
+ VADDPD.BCST 1016(DX)(AX*2), Z0, Z29 // 6261fd58586c427f
+ VADDPD.BCST 1016(DX)(AX*2), Z29, Z1 // 62f19550584c427f
+ VADDPS.BCST 508(DX), Z0, Z29 // 62617c58586a7f
+ VADDPS.BCST 508(DX), Z1, Z29 // 62617458586a7f
+ VADDPS.BCST 508(DX), Z28, Z29 // 62611c50586a7f
+ VADDPS.BCST 508(DX)(AX*2), Z0, Z29 // 62617c58586c427f
+ VADDPS.BCST 508(DX)(AX*2), Z1, Z29 // 62617458586c427f
+ // EVEX: broadcast-affected compressed displacement that does not fit into 8bits.
+ VADDPD.BCST 2032(DX), X0, X29 // 6261fd1858aaf0070000
+ VADDPD.BCST 2032(DX), X29, X1 // 62f19510588af0070000
+ VADDPD.BCST 2032(DX), X28, X29 // 62619d1058aaf0070000
+ VADDPD.BCST 2032(DX)(AX*2), X0, X29 // 6261fd1858ac42f0070000
+ VADDPD.BCST 2032(DX)(AX*2), X29, X1 // 62f19510588c42f0070000
+ VADDPD.BCST 2032(DX), Y0, Y29 // 6261fd3858aaf0070000
+ VADDPD.BCST 2032(DX), Y29, Y1 // 62f19530588af0070000
+ VADDPD.BCST 2032(DX), Y28, Y29 // 62619d3058aaf0070000
+ VADDPD.BCST 2032(DX)(AX*2), Y0, Y29 // 6261fd3858ac42f0070000
+ VADDPD.BCST 2032(DX)(AX*2), Y29, Y1 // 62f19530588c42f0070000
+ VADDPD.BCST 2032(DX), Z0, Z29 // 6261fd5858aaf0070000
+ VADDPD.BCST 2032(DX), Z29, Z1 // 62f19550588af0070000
+ VADDPD.BCST 2032(DX), Z28, Z29 // 62619d5058aaf0070000
+ VADDPD.BCST 2032(DX)(AX*2), Z0, Z29 // 6261fd5858ac42f0070000
+ VADDPD.BCST 2032(DX)(AX*2), Z29, Z1 // 62f19550588c42f0070000
+ VADDPS.BCST 2032(DX), Z0, Z29 // 62617c5858aaf0070000
+ VADDPS.BCST 2032(DX), Z1, Z29 // 6261745858aaf0070000
+ VADDPS.BCST 2032(DX), Z28, Z29 // 62611c5058aaf0070000
+ VADDPS.BCST 2032(DX)(AX*2), Z0, Z29 // 62617c5858ac42f0070000
+ VADDPS.BCST 2032(DX)(AX*2), Z1, Z29 // 6261745858ac42f0070000
+ // Forced EVEX encoding due to suffixes.
+ VADDPD.BCST 2032(DX), X0, X0 // 62f1fd185882f0070000
+ VADDPD.BCST 2032(DX), Y0, Y0 // 62f1fd385882f0070000
+ // Test new Z-cases one-by-one.
+ //
+ // Zevex_i_r_k_rm.
+ VCVTPS2PH $1, Z2, K5, Y21 // 62b37d4d1dd501
+ VCVTPS2PH $2, Z21, K4, Y2 // 62e37d4c1dea02
+ // Zevex_i_r_rm.
+ VCVTPS2PH $1, Z2, Y21 // 62b37d481dd501
+ VCVTPS2PH $2, Z21, Y2 // 62e37d481dea02
+ // Zevex_i_rm_k_r.
+ VFPCLASSPDX $1, X2, K5, K3 // 62f3fd0d66da01
+ VFPCLASSPDX $2, X21, K4, K1 // 62b3fd0c66cd02
+ VFPCLASSPDX $1, (AX), K5, K3 // 62f3fd0d661801
+ VFPCLASSPDX $2, (CX), K4, K1 // 62f3fd0c660902
+ // Zevex_i_rm_k_vo.
+ VPROLD $1, X2, K5, X21 // 62f1550572ca01
+ VPROLD $2, Y21, K5, Y2 // 62b16d2d72cd02
+ VPROLD $1, (AX), K5, X21 // 62f15505720801
+ VPROLD $2, (CX), K5, Y2 // 62f16d2d720902
+ // Zevex_i_rm_r.
+ VFPCLASSPDX $1, X2, K3 // 62f3fd0866da01
+ VFPCLASSPDX $2, X21, K1 // 62b3fd0866cd02
+ VFPCLASSPDX $1, (AX), K3 // 62f3fd08661801
+ VFPCLASSPDX $2, (CX), K1 // 62f3fd08660902
+ // Zevex_i_rm_v_k_r.
+ VALIGND $1, X2, X9, K5, X21 // 62e3350d03ea01
+ VALIGND $2, Y21, Y2, K5, Y9 // 62336d2d03cd02
+ VALIGND $3, Z9, Z21, K5, Z2 // 62d3554503d103
+ VALIGND $1, (AX), X9, K5, X21 // 62e3350d032801
+ VALIGND $2, (CX), Y2, K5, Y9 // 62736d2d030902
+ VALIGND $3, (AX), Z21, K5, Z2 // 62f35545031003
+ // Zevex_i_rm_v_r.
+ VALIGND $1, X2, X9, X21 // 62e3350803ea01
+ VALIGND $2, Y21, Y2, Y9 // 62336d2803cd02
+ VALIGND $3, Z9, Z21, Z2 // 62d3554003d103
+ VALIGND $1, (AX), X9, X21 // 62e33508032801
+ VALIGND $2, (CX), Y2, Y9 // 62736d28030902
+ VALIGND $3, (AX), Z21, Z2 // 62f35540031003
+ // Zevex_i_rm_vo.
+ VPROLD $1, X2, X21 // 62f1550072ca01
+ VPROLD $2, Y21, Y2 // 62b16d2872cd02
+ VPROLD $1, (AX), X21 // 62f15500720801
+ VPROLD $2, (CX), Y2 // 62f16d28720902
+ // Zevex_k_rmo.
+ VGATHERPF0DPD K5, (AX)(Y2*2) // 62f2fd4dc60c50
+ VGATHERPF0DPD K3, (CX)(Y21*2) // 62f2fd43c60c69
+ VSCATTERPF1DPD K5, (AX)(Y2*2) // 62f2fd4dc63450
+ VSCATTERPF1DPD K3, (CX)(Y21*2) // 62f2fd43c63469
+ // Zevex_r_k_rm.
+ VPSCATTERDD X2, K5, (AX)(X21*2) // 62f27d05a01468
+ VPSCATTERDD X21, K5, (AX)(X2*2) // 62e27d0da02c50
+ VPSCATTERDD Y2, K5, (AX)(Y21*2) // 62f27d25a01468
+ VPSCATTERDD Y21, K5, (AX)(Y2*2) // 62e27d2da02c50
+ VPSCATTERDD Z2, K5, (AX)(Z21*2) // 62f27d45a01468
+ VPSCATTERDD Z21, K5, (AX)(Z2*2) // 62e27d4da02c50
+ // Zevex_r_v_k_rm.
+ VMOVSD X2, X9, K5, X21 // 62b1b70d11d5 or 62e1b70d10ea
+ VMOVSD X21, X2, K5, X9 // 62c1ef0d11e9 or 6231ef0d10cd
+ VMOVSD X9, X21, K5, X2 // 6271d70511ca or 62d1d70510d1
+ // Zevex_r_v_rm.
+ VMOVSD X2, X9, X21 // 62b1b70811d5 or 62e1b70810ea
+ VMOVSD X21, X2, X9 // 62c1ef0811e9 or 6231ef0810cd
+ VMOVSD X9, X21, X2 // 6271d70011ca or 62d1d70010d1
+ VPMOVDB X2, X21 // 62b27e0831d5
+ VPMOVDB X21, X2 // 62e27e0831ea
+ VPMOVDB X2, (AX) // 62f27e083110
+ VPMOVDB X21, (AX) // 62e27e083128
+ // Zevex_rm_k_r.
+ VMOVDDUP X2, K5, X21 // 62e1ff0d12ea
+ VMOVDDUP X21, K5, X2 // 62b1ff0d12d5
+ VMOVDDUP (AX), K5, X21 // 62e1ff0d1228
+ VMOVDDUP (CX), K5, X2 // 62f1ff0d1211
+ VMOVDDUP Y2, K5, Y21 // 62e1ff2d12ea
+ VMOVDDUP Y21, K5, Y2 // 62b1ff2d12d5
+ VMOVDDUP (AX), K5, Y21 // 62e1ff2d1228
+ VMOVDDUP (CX), K5, Y2 // 62f1ff2d1211
+ VMOVDDUP Z2, K5, Z21 // 62e1ff4d12ea
+ VMOVDDUP Z21, K5, Z2 // 62b1ff4d12d5
+ VMOVDDUP (AX), K5, Z21 // 62e1ff4d1228
+ VMOVDDUP (CX), K5, Z2 // 62f1ff4d1211
+ // Zevex_rm_v_k_r.
+ VADDPD Z2, Z9, K5, Z21 // 62e1b54d58ea
+ VADDPD Z21, Z2, K5, Z9 // 6231ed4d58cd
+ VADDPD Z9, Z21, K5, Z2 // 62d1d54558d1
+ // Zevex_rm_v_r.
+ VADDPD Z2, Z9, Z21 // 62e1b54858ea
+ VADDPD Z21, Z2, Z9 // 6231ed4858cd
+ VADDPD Z9, Z21, Z2 // 62d1d54058d1
// End of tests.
RET