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"`},

	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

	VGF2P8AFFINEQB $82, X19, X0, K1, X0                // 62b3fd09cec352
	VGF2P8AFFINEQB $82, 17(SP)(BP*2), X0, K1, X0       // 62f3fd09ce846c1100000052
	VGF2P8AFFINEQB $82, -7(DI)(R8*4), X0, K1, X0       // 62b3fd09ce8487f9ffffff52
	VGF2P8AFFINEQB $82, X22, X28, K1, X0               // 62b39d01cec652
	VGF2P8AFFINEQB $82, X7, X28, K1, X0                // 62f39d01cec752

	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

	VPSHLDQ $94, X19, X0, K4, X0                       // 62b3fd0c71c35e
	VPSHLDQ $94, 17(SP), X0, K4, X0                    // 62f3fd0c718424110000005e
	VPSHLDQ $94, -17(BP)(SI*4), X0, K4, X0             // 62f3fd0c7184b5efffffff5e
	VPSHLDQ $94, X22, X28, K4, X0                      // 62b39d0471c65e
	VPSHLDQ $94, X7, X28, K4, X0                       // 62f39d0471c75e

	VRCP28SD X11, X14, K4, X19                         // 62c28d0ccbdb
	VRCP28SD X17, X14, K4, X19                         // 62a28d0ccbd9
	VRCP28SD X25, X0, K4, X19                          // 6282fd0ccbd9
	VRCP28SD X11, X0, K4, X19                          // 62c2fd0ccbdb
	VRCP28SD X17, X0, K4, X19                          // 62a2fd0ccbd9
	VRCP28SD X25, X14, K4, X13                         // 62128d0ccbe9

	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

	{"[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 ','"},