// 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

TEXT asmtest_avx512dq(SB), NOSPLIT, $0
	KADDB K3, K1, K6                                   // c5f54af3
	KADDB K1, K1, K6                                   // c5f54af1
	KADDB K3, K5, K6                                   // c5d54af3
	KADDB K1, K5, K6                                   // c5d54af1
	KADDB K3, K1, K5                                   // c5f54aeb
	KADDB K1, K1, K5                                   // c5f54ae9

	VPCMPEQW 15(R8)(R14*4), Z5, K1, K6                 // 6291554975b4b00f000000 or 6291d54975b4b00f000000
	VPCMPEQW -7(CX)(DX*4), Z5, K1, K6                  // 62f1554975b491f9ffffff or 62f1d54975b491f9ffffff
	VPCMPGTB X26, X8, K1, K1                           // 62913d0964ca or 6291bd0964ca
	VPCMPGTB (BX), X8, K1, K1                          // 62f13d09640b or 62f1bd09640b

	VPMADD52HUQ -7(DI)(R8*4), X31, K1, X18             // 62a28501b59487f9ffffff
	VPMADD52HUQ X7, X3, K1, X18                        // 62e2e509b5d7
	VPMADD52HUQ X0, X3, K1, X18                        // 62e2e509b5d0
	VPMADD52HUQ 17(SP)(BP*2), X3, K1, X18              // 62e2e509b5946c11000000
	VPMADD52HUQ -7(DI)(R8*4), X3, K1, X18              // 62a2e509b59487f9ffffff

	VCVTPH2PS 17(SP)(BP*4), K1, Z1                     // 62f27d49138cac11000000
	VCVTPH2PS Y14, K1, Z16                             // 62c27d4913c6
	VCVTPH2PS 17(SP)(BP*8), K1, Z16                    // 62e27d491384ec11000000
	VCVTPH2PS 17(SP)(BP*4), K1, Z16                    // 62e27d491384ac11000000
	VCVTPS2DQ X22, K1, X11                             // 62317d095bde

	VPERMB X0, X2, K1, X23                             // 62e26d098df8
	VPERMB 7(SI)(DI*4), X2, K1, X23                    // 62e26d098dbcbe07000000
	VPERMB -7(DI)(R8*2), X2, K1, X23                   // 62a26d098dbc47f9ffffff
	VPERMB X26, X9, K1, X23                            // 628235098dfa
	VPERMB X19, X9, K1, X23                            // 62a235098dfb

	VP4DPWSSDS -7(DI)(R8*1), [Z4-Z7], K1, Z31          // 62225f4953bc07f9ffffff
	VP4DPWSSDS (SP), [Z4-Z7], K1, Z31                  // 62625f49533c24
	VP4DPWSSDS -7(DI)(R8*1), [Z14-Z17], K1, Z31        // 62220f4953bc07f9ffffff
	VP4DPWSSDS (SP), [Z14-Z17], K1, Z31                // 62620f49533c24
	VP4DPWSSDS -7(DI)(R8*1), [Z24-Z27], K1, Z31        // 62223f4153bc07f9ffffff
	VP4DPWSSDS (SP), [Z24-Z27], K1, Z31                // 62623f41533c24

	VADDPD.RU_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RD_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RZ_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RN_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RU_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"
	VADDPD.RD_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"
	VADDPD.RZ_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"

	VPDPWSSDS Y31, Y1, K1, Y9                          // 6212752953cf
	VPDPWSSDS (R8), Y1, K1, Y9                         // 625275295308
	VPDPWSSDS 15(DX)(BX*2), Y1, K1, Y9                 // 62727529538c5a0f000000
	VPDPWSSDS Y0, Y9, K1, Y9                           // 6272352953c8
	VPDPWSSDS Y19, Y9, K1, Y9                          // 6232352953cb

	VGF2P8AFFINEQB $82, X19, X0, K1, X15               // 6233fd09cefb52
	VGF2P8AFFINEQB $82, 17(SP)(BP*2), X0, K1, X15      // 6273fd09cebc6c1100000052
	VGF2P8AFFINEQB $82, -7(DI)(R8*4), X0, K1, X15      // 6233fd09cebc87f9ffffff52
	VGF2P8AFFINEQB $82, X22, X28, K1, X15              // 62339d01cefe52
	VGF2P8AFFINEQB $82, X7, X28, K1, X15               // 62739d01ceff52