VPMADD52HUQ X7, X11, K1, X18                       // 62e2a509b5d7
	VPMADD52HUQ X0, X11, K1, X18                       // 62e2a509b5d0
	VPMADD52HUQ 17(SP)(BP*2), X11, K1, X18             // 62e2a509b5946c11000000
	VPMADD52HUQ -7(DI)(R8*4), X11, K1, X18             // 62a2a509b59487f9ffffff
	VPMADD52HUQ X7, X31, K1, X18                       // 62e28501b5d7
	VPMADD52HUQ X0, X31, K1, X18                       // 62e28501b5d0

		// Test AVX512 suffixes.
		{"VADDPD.A X0, X1, X2", `unknown suffix "A"`},
		{"VADDPD.A.A X0, X1, X2", `unknown suffix "A"; duplicate suffix "A"`},
		{"VADDPD.A.A.A X0, X1, X2", `unknown suffix "A"; duplicate suffix "A"`},
		{"VADDPD.A.B X0, X1, X2", `unknown suffix "A"; unknown suffix "B"`},
		{"VADDPD.Z.A X0, X1, X2", `Z suffix should be the last; unknown suffix "A"`},

	VGETEXPSS X14, X2, K7, X13                         // 62526d0f43ee
	VGETEXPSS X25, X0, K6, X0                          // 62927d0e43c1 or 62927d2e43c1 or 62927d4e43c1
	VGETEXPSS -7(DI)(R8*1), X0, K6, X0                 // 62b27d0e438407f9ffffff or 62b27d2e438407f9ffffff or 62b27d4e438407f9ffffff
	VGETEXPSS (SP), X0, K6, X0                         // 62f27d0e430424 or 62f27d2e430424 or 62f27d4e430424

	KXORB K4, K1, K5                                   // c5f547ec
	VANDNPD X15, X0, K4, X22                           // 62c1fd0c55f7
	VANDNPD X11, X0, K4, X22                           // 62c1fd0c55f3
	VANDNPD X0, X0, K4, X22                            // 62e1fd0c55f0
	VANDNPD (R8), X0, K4, X22                          // 62c1fd0c5530
	VANDNPD 15(DX)(BX*2), X0, K4, X22                  // 62e1fd0c55b45a0f000000

	VPMULTISHIFTQB X14, X20, K5, X0                    // 62d2dd0583c6
	VPMULTISHIFTQB 17(SP)(BP*1), X20, K5, X0           // 62f2dd0583842c11000000
	VPMULTISHIFTQB -7(CX)(DX*8), X20, K5, X0           // 62f2dd058384d1f9ffffff
	VPMULTISHIFTQB X9, X7, K5, X0                      // 62d2c50d83c1
	VPMULTISHIFTQB X7, X7, K5, X0                      // 62f2c50d83c7

	VPCLMULQDQ $127, X22, X0, X0                       // 62b37d0844c67f or 62b3fd0844c67f
	VPCLMULQDQ $127, X19, X0, X0                       // 62b37d0844c37f or 62b3fd0844c37f
	VPCLMULQDQ $127, X22, X28, X0                      // 62b31d0044c67f or 62b39d0044c67f
	VPCLMULQDQ $127, X7, X28, X0                       // 62f31d0044c77f or 62f39d0044c77f
	VPCLMULQDQ $127, X19, X28, X0                      // 62b31d0044c37f or 62b39d0044c37f

	{"[k3-k6]", "register list: bad low register in `[k3`"},
	{"[X0]", "register list: expected '-' after `[X0`, found ']'"},
	{"[X0-]", "register list: bad high register in `[X0-]`"},
	{"[X0-x]", "register list: bad high register in `[X0-x`"},
	{"[X0-X1-X2]", "register list: expected ']' after `[X0-X1`, found '-'"},
	{"[X0,X3]", "register list: expected '-' after `[X0`, found ','"},
	{"[X0,X1,X2,X3]", "register list: expected '-' after `[X0`, found ','"},

	VAESDEC X24, X0, X31                               // 62027d08def8 or 6202fd08def8
	VAESDEC X20, X0, X31                               // 62227d08defc or 6222fd08defc
	VAESDEC X7, X0, X31                                // 62627d08deff or 6262fd08deff
	VAESDEC -7(DI)(R8*1), X0, X31                      // 62227d08debc07f9ffffff or 6222fd08debc07f9ffffff

	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"
	VADDPD X0, X1, K0, X2           // ERROR "invalid instruction"
	VADDPD Y0, Y1, K0, Y2           // ERROR "invalid instruction"

	VPDPBUSDS X25, X0, K4, X19                         // 62827d0c51d9
	VPDPBUSDS X11, X0, K4, X19                         // 62c27d0c51db
	VPDPBUSDS X17, X0, K4, X19                         // 62a27d0c51d9
	VPDPBUSDS 7(AX)(CX*4), X0, K4, X19                 // 62e27d0c519c8807000000
	VPDPBUSDS 7(AX)(CX*1), X0, K4, X19                 // 62e27d0c519c0807000000