VPMADD52HUQ X7, X11, K1, X1                        // 62f2a509b5cf
	VPMADD52HUQ X0, X11, K1, X1                        // 62f2a509b5c8
	VPMADD52HUQ 17(SP)(BP*2), X11, K1, X1              // 62f2a509b58c6c11000000
	VPMADD52HUQ -7(DI)(R8*4), X11, K1, X1              // 62b2a509b58c87f9ffffff
	VPMADD52HUQ X7, X31, K1, X1                        // 62f28501b5cf
	VPMADD52HUQ X0, X31, K1, X1                        // 62f28501b5c8

		// 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"`},
		{"VADDPD.Z.Z X0, X1, X2", `Z suffix should be the last; duplicate suffix "Z"`},

	// 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"

	JCS	2(PC)
loop:
	LOOP	loop // LOOP

	// Intel pseudonyms for our own renamings.
	PADDD	M2, M1 // PADDL M2, M1
	MOVDQ2Q	X1, M1 // MOVQ X1, M1
	MOVNTDQ	X1, (AX)	// MOVNTO X1, (AX)
	MOVOA	(AX), X1	// MOVO (AX), X1

// Tests for SP indexed addresses.
	MOVQ	foo(SP)(AX*1), BX		// 488b1c04
	MOVQ	foo+32(SP)(CX*2), DX		// 488b544c20
	MOVQ	foo+32323(SP)(R8*4), R9		// 4e8b8c84437e0000

	VPSRAW $-1, X1, X2           // c5e971e1ff
	VPSRAW $-1, Y1, Y2           // c5ed71e1ff
	VPSRLW $-1, X1, X1           // c5f171d1ff
	VPSRLW $-1, Y1, Y2           // c5ed71d1ff
	VEXTRACTPS $-1, X1, AX       // c4e37917c8ff
	VPEXTRB $-1, X1, AX          // c4e37914c8ff
	VPEXTRD $-1, X1, AX          // c4e37916c8ff
	VPEXTRQ $-1, X1, AX          // c4e3f916c8ff
	// EVEX: High-16 X registers.
	VADDPD X30, X1, X0          // 6291f50858c6

	VGF2P8AFFINEQB $94, (R15), Z15, K1, Z30            // 62438549ce375e
	VGF2P8MULB X15, X1, K7, X7                         // 62d2750fcfff
	VGF2P8MULB X12, X1, K7, X7                         // 62d2750fcffc
	VGF2P8MULB X0, X1, K7, X7                          // 62f2750fcff8
	VGF2P8MULB 15(R8), X1, K7, X7                      // 62d2750fcfb80f000000
	VGF2P8MULB (BP), X1, K7, X7                        // 62f2750fcf7d00

	VRSQRT28SD X8, X1, K1, X6                          // 62d2f509cdf0 or 62d2f529cdf0 or 62d2f549cdf0
	VRSQRT28SD X6, X1, K1, X6                          // 62f2f509cdf6 or 62f2f529cdf6 or 62f2f549cdf6
	VRSQRT28SD X0, X1, K1, X6                          // 62f2f509cdf0 or 62f2f529cdf0 or 62f2f549cdf0

	V4FNMADDPS 99(R15)(R15*1), [Z21-Z24], K3, Z12      // 62125743aaa43f63000000
	V4FNMADDPS (DX), [Z21-Z24], K3, Z12                // 62725743aa22
	V4FNMADDSS -17(BP)(SI*8), [X1-X4], K4, X11         // 6272770cab9cf5efffffff or 6272772cab9cf5efffffff or 6272774cab9cf5efffffff
	V4FNMADDSS (R15), [X1-X4], K4, X11                 // 6252770cab1f or 6252772cab1f or 6252774cab1f

  public void testMappingAnd_regular() {
    double x1 = 1.2;
    double y1 = 3.4;
    double xDelta = 5.6;
    double yDelta = 7.8;
    LinearTransformation transformation =
        LinearTransformation.mapping(x1, y1).and(x1 + xDelta, y1 + yDelta);
    assertDiagonalLinearTransformation(transformation, x1, y1, xDelta, yDelta);
  }

  public void testMappingAnd_horizontal() {
    double x1 = 1.2;
    double xDelta = 3.4;

  public void testMappingAnd_regular() {
    double x1 = 1.2;
    double y1 = 3.4;
    double xDelta = 5.6;
    double yDelta = 7.8;
    LinearTransformation transformation =
        LinearTransformation.mapping(x1, y1).and(x1 + xDelta, y1 + yDelta);
    assertDiagonalLinearTransformation(transformation, x1, y1, xDelta, yDelta);
  }

  public void testMappingAnd_horizontal() {
    double x1 = 1.2;
    double xDelta = 3.4;