VPCLMULQDQ $127, X22, X21, X15                     // 6233550044fe7f or 6233d50044fe7f
	VPCLMULQDQ $127, X7, X21, X15                      // 6273550044ff7f or 6273d50044ff7f
	VPCLMULQDQ $127, X19, X21, X15                     // 6233550044fb7f or 6233d50044fb7f
	VPCLMULQDQ $127, -17(BP)(SI*8), X21, X15           // 6273550044bcf5efffffff7f or 6273d50044bcf5efffffff7f
	VPCLMULQDQ $127, (R15), X21, X15                   // 62535500443f7f or 6253d500443f7f

	V4FNMADDSS -17(BP)(SI*8), [X1-X4], K4, X15         // 6272770cabbcf5efffffff or 6272772cabbcf5efffffff or 6272774cabbcf5efffffff
	V4FNMADDSS (R15), [X1-X4], K4, X15                 // 6252770cab3f or 6252772cab3f or 6252774cab3f
	V4FNMADDSS -17(BP)(SI*8), [X11-X14], K4, X15       // 6272270cabbcf5efffffff or 6272272cabbcf5efffffff or 6272274cabbcf5efffffff
	V4FNMADDSS (R15), [X11-X14], K4, X15               // 6252270cab3f or 6252272cab3f or 6252274cab3f

	VPGATHERQQ (BP)(Z20*2), K1, Z20 // ERROR "index and destination registers should be distinct"
	VPGATHERDQ (BP)(X2*2), K1, X2   // ERROR "index and destination registers should be distinct"
	VPGATHERDQ (BP)(X15*2), K1, Y15 // ERROR "index and destination registers should be distinct"
	VPGATHERDQ (BP)(Y20*2), K1, Z20 // ERROR "index and destination registers should be distinct"
	// Instructions without EVEX variant can't use High-16 registers.