VPGATHERDQ (BP)(Y20*2), K1, Z20 // ERROR "index and destination registers should be distinct"
	// Instructions without EVEX variant can't use High-16 registers.
	VADDSUBPD X20, X1, X2           // ERROR "invalid instruction"
	VADDSUBPS X0, X20, X2           // ERROR "invalid instruction"
	// Use of K0 for write mask (Yknot0).
	// TODO(quasilyte): improve error message (#21860).
	//                  "K0 can't be used for write mask"

	"UNPCKHPS",
	"UNPCKLPD",
	"UNPCKLPS",
	"UMONITOR",
	"V4FMADDPS",
	"V4FMADDSS",
	"V4FNMADDPS",
	"V4FNMADDSS",
	"VADDPD",
	"VADDPS",
	"VADDSD",
	"VADDSS",
	"VADDSUBPD",
	"VADDSUBPS",
	"VAESDEC",
	"VAESDECLAST",
	"VAESENC",
	"VAESENCLAST",
	"VAESIMC",
	"VAESKEYGENASSIST",
	"VALIGND",
	"VALIGNQ",
	"VANDNPD",
	"VANDNPS",
	"VANDPD",
	"VANDPS",
	"VBLENDMPD",

	VADDSUBPS X11, X9, X11                  // c44133d0db
	VADDSUBPS (BX), Y15, Y2                 // c4e107d013 or c587d013
	VADDSUBPS (R11), Y15, Y2                // c4c107d013
	VADDSUBPS Y2, Y15, Y2                   // c4e107d0d2 or c587d0d2
	VADDSUBPS Y11, Y15, Y2                  // c4c107d0d3
	VADDSUBPS (BX), Y15, Y11                // c46107d01b or c507d01b
	VADDSUBPS (R11), Y15, Y11               // c44107d01b