VADDPD X30, X29, X10        // 6211950058d6
	VADDPD X12, X11, X28        // 6241a50858e4
	VADDPD X30, X11, X28        // 6201a50858e6
	VADDPD X12, X29, X28        // 6241950058e4
	VADDPD X30, X29, X28        // 6201950058e6
	VADDPD (AX), X29, X0        // 62f195005800
	VADDPD (AX), X1, X28        // 6261f5085820
	VADDPD (AX), X29, X28       // 626195005820
	VADDPD (AX), X29, X10       // 627195005810

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

	// Usage of rounding with invalid operands.
	VADDPD.RU_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RD_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RZ_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RN_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RU_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"
	VADDPD.RD_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"

	VADDPD Z13, Z11, K3, Z14                           // 6251a54b58f5
	VADDPD Z14, Z11, K3, Z14                           // 6251a54b58f6
	VADDPD Z13, Z5, K3, Z14                            // 6251d54b58f5
	VADDPD Z14, Z5, K3, Z14                            // 6251d54b58f6
	VADDPD Z13, Z11, K3, Z27                           // 6241a54b58dd
	VADDPD Z14, Z11, K3, Z27                           // 6241a54b58de

	VADDPD X11, X9, X11                     // c4413158db
	VADDPD (BX), Y15, Y2                    // c4e1055813 or c5855813
	VADDPD (R11), Y15, Y2                   // c4c1055813
	VADDPD Y2, Y15, Y2                      // c4e10558d2 or c58558d2
	VADDPD Y11, Y15, Y2                     // c4c10558d3
	VADDPD (BX), Y15, Y11                   // c46105581b or c505581b