VPMINUB Z24, Z0, K4, Z0                            // 62917d4cdac0 or 6291fd4cdac0
	VPMINUB Z12, Z0, K4, Z0                            // 62d17d4cdac4 or 62d1fd4cdac4
	VPMINUB (R14), Z0, K4, Z0                          // 62d17d4cda06 or 62d1fd4cda06
	VPMINUB -7(DI)(R8*8), Z0, K4, Z0                   // 62b17d4cda84c7f9ffffff or 62b1fd4cda84c7f9ffffff

	VPCLMULQDQ $97, Z9, Z0, Z24                        // 62437d4844c161 or 6243fd4844c161
	VPCLMULQDQ $97, Z3, Z0, Z24                        // 62637d4844c361 or 6263fd4844c361
	VPCLMULQDQ $97, 7(SI)(DI*1), Z0, Z24               // 62637d4844843e0700000061 or 6263fd4844843e0700000061
	VPCLMULQDQ $97, 15(DX)(BX*8), Z0, Z24              // 62637d484484da0f00000061 or 6263fd484484da0f00000061

	VFMADDSUB213PS Z12, Z0, K3, Z0                     // 62d27d4ba6c4
	VFMADDSUB213PS 17(SP), Z0, K3, Z0                  // 62f27d4ba6842411000000
	VFMADDSUB213PS -17(BP)(SI*4), Z0, K3, Z0           // 62f27d4ba684b5efffffff
	VFMADDSUB213PS Z24, Z25, K3, Z0                    // 62923543a6c0
	VFMADDSUB213PS Z12, Z25, K3, Z0                    // 62d23543a6c4

	VP4DPWSSDS -7(DI)(R8*1), [Z4-Z7], K1, Z0           // 62b25f49538407f9ffffff
	VP4DPWSSDS (SP), [Z4-Z7], K1, Z0                   // 62f25f49530424
	VP4DPWSSDS -7(DI)(R8*1), [Z14-Z17], K1, Z0         // 62b20f49538407f9ffffff
	VP4DPWSSDS (SP), [Z14-Z17], K1, Z0                 // 62f20f49530424
	VP4DPWSSDS -7(DI)(R8*1), [Z24-Z27], K1, Z0         // 62b23f41538407f9ffffff
	VP4DPWSSDS (SP), [Z24-Z27], K1, Z0                 // 62f23f41530424

	// TODO(quasilyte): improve error message (#21860).
	V4FMADDPS (AX), [Z0-Z4], K1, Z7  // ERROR "invalid instruction"
	V4FMADDPS (AX), [Z0-Z0], K1, Z7  // ERROR "invalid instruction"
	// Invalid ranges in REG_LIST (low > high).
	// TODO(quasilyte): improve error message (#21860).
	V4FMADDPS (AX), [Z4-Z0], K1, Z7  // ERROR "invalid instruction"
	V4FMADDPS (AX), [Z1-Z0], K1, Z7  // ERROR "invalid instruction"
	// Mismatching registers in a range.

	VINSERTI32X8 $1, Y13, Z17, K7, Z0                  // 62d375473ac501
	VINSERTI32X8 $1, Y20, Z17, K7, Z0                  // 62b375473ac401
	VINSERTI32X8 $1, 15(R8)(R14*1), Z17, K7, Z0        // 629375473a84300f00000001
	VINSERTI32X8 $1, 15(R8)(R14*2), Z17, K7, Z0        // 629375473a84700f00000001
	VINSERTI32X8 $1, Y24, Z0, K7, Z0                   // 62937d4f3ac001
	VINSERTI32X8 $1, Y13, Z0, K7, Z0                   // 62d37d4f3ac501

TEXT asmtest_avx512_4fmaps(SB), NOSPLIT, $0
	V4FMADDPS 17(SP), [Z0-Z3], K2, Z0                  // 62f27f4a9a842411000000
	V4FMADDPS -17(BP)(SI*4), [Z0-Z3], K2, Z0           // 62f27f4a9a84b5efffffff
	V4FMADDPS 17(SP), [Z10-Z13], K2, Z0                // 62f22f4a9a842411000000
	V4FMADDPS -17(BP)(SI*4), [Z10-Z13], K2, Z0         // 62f22f4a9a84b5efffffff
	V4FMADDPS 17(SP), [Z20-Z23], K2, Z0                // 62f25f429a842411000000

	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

	VPLZCNTD 17(SP)(BP*4), K3, Z3                      // 62f27d4b449cac11000000
	VPLZCNTD Z21, K3, Z0                               // 62b27d4b44c5
	VPLZCNTD Z13, K3, Z0                               // 62d27d4b44c5
	VPLZCNTD 17(SP)(BP*8), K3, Z0                      // 62f27d4b4484ec11000000
	VPLZCNTD 17(SP)(BP*4), K3, Z0                      // 62f27d4b4484ac11000000
	VPLZCNTQ X9, K2, X13                               // 6252fd0a44e9

	VEXP2PD Z17, K7, Z20                               // 62a2fd4fc8e1
	VEXP2PD Z0, K7, Z20                                // 62e2fd4fc8e0
	VEXP2PD Z17, K7, Z0                                // 62b2fd4fc8c1
	VEXP2PD Z0, K7, Z0                                 // 62f2fd4fc8c0
	VEXP2PD Z31, K2, Z17                               // 6282fd4ac8cf
	VEXP2PD Z0, K2, Z17                                // 62e2fd4ac8c8