// 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 $126, -7(DI)(R8*1), Z12, K2, Z12           // 62331d4a03a407f9ffffff7e
	VALIGND $126, (SP), Z12, K2, Z12                   // 62731d4a0324247e
	VALIGND $126, Z6, Z9, K2, Z17                      // 62e3354a03ce7e
	VALIGND $126, Z25, Z9, K2, Z17                     // 6283354a03c97e
	VALIGND $126, -7(DI)(R8*1), Z9, K2, Z17            // 62a3354a038c07f9ffffff7e
	VALIGND $126, (SP), Z9, K2, Z17                    // 62e3354a030c247e

	"V4FNMADDSS",
	"VADDPD",
	"VADDPS",
	"VADDSD",
	"VADDSS",
	"VADDSUBPD",
	"VADDSUBPS",
	"VAESDEC",
	"VAESDECLAST",
	"VAESENC",
	"VAESENCLAST",
	"VAESIMC",
	"VAESKEYGENASSIST",
	"VALIGND",
	"VALIGNQ",
	"VANDNPD",
	"VANDNPS",
	"VANDPD",
	"VANDPS",
	"VBLENDMPD",
	"VBLENDMPS",
	"VBLENDPD",
	"VBLENDPS",
	"VBLENDVPD",
	"VBLENDVPS",
	"VBROADCASTF128",
	"VBROADCASTF32X2",