VPGATHERDQ Y0, 664(X4*8), Y6            // c4e2fd9034e598020000
	VPGATHERDQ Y0, 8(X14*1), Y6             // c4a2fd90343508000000
	VPGATHERDQ Y0, -8(X14*1), Y6            // c4a2fd903435f8ffffff
	VPGATHERDQ Y0, 0(X14*1), Y6             // c4a2fd90343500000000
	VPGATHERDQ Y0, 664(X14*1), Y6           // c4a2fd90343598020000
	VPGATHERDQ Y0, 8(X14*8), Y6             // c4a2fd9034f508000000

	VPGATHERDQ X2, 664(BX*1), X1    // ERROR "invalid instruction"
	VPGATHERDQ Y2, (BP)(AX*2), Y1   // ERROR "invalid instruction"
	VPGATHERDQ Y5, 664(DX*8), Y6    // ERROR "invalid instruction"
	VPGATHERDQ Y5, (DX), Y0         // ERROR "invalid instruction"
	// VM/X rejects Y index register.
	VPGATHERDQ Y5, 664(Y14*8), Y6   // ERROR "invalid instruction"
	VPGATHERQQ X2, (BP)(Y7*2), X1   // ERROR "invalid instruction"

p256ord<>+0x00(SB), (const0, const1) LDP p256ord<>+0x10(SB), (const2, const3) LDP 0*16(a_ptr), (x0, x1) LDP 1*16(a_ptr), (x2, x3) LDP 0*16(b_ptr), (y0, y1) LDP 1*16(b_ptr), (y2, y3) // y[0] * x MUL y0, x0, acc0 UMULH y0, x0, acc1 MUL y0, x1, t0 ADDS t0, acc1 UMULH y0, x1, acc2 MUL y0, x2, t0 ADCS t0, acc2 UMULH y0, x2, acc3 MUL y0, x3, t0 ADCS t0, acc3 UMULH y0, x3, acc4 ADC $0, acc4 // First reduction step MUL acc0, hlp1, hlp0 MUL const0, hlp1, t0 ADDS t0, acc0, acc0 UMULH const0, hlp0, t1 MUL const1,...

p256ord<>+0x00(SB), (const0, const1) LDP p256ord<>+0x10(SB), (const2, const3) LDP 0*16(a_ptr), (x0, x1) LDP 1*16(a_ptr), (x2, x3) LDP 0*16(b_ptr), (y0, y1) LDP 1*16(b_ptr), (y2, y3) // y[0] * x MUL y0, x0, acc0 UMULH y0, x0, acc1 MUL y0, x1, t0 ADDS t0, acc1 UMULH y0, x1, acc2 MUL y0, x2, t0 ADCS t0, acc2 UMULH y0, x2, acc3 MUL y0, x3, t0 ADCS t0, acc3 UMULH y0, x3, acc4 ADC $0, acc4 // First reduction step MUL acc0, hlp1, hlp0 MUL const0, hlp1, t0 ADDS t0, acc0, acc0 UMULH const0, hlp0, t1 MUL const1,...

	VAESDEC Y5, Y0, Y22                                // 62e27d28def5 or 62e2fd28def5
	VAESDEC Y19, Y0, Y22                               // 62a27d28def3 or 62a2fd28def3
	VAESDEC Y31, Y0, Y22                               // 62827d28def7 or 6282fd28def7
	VAESDEC 99(R15)(R15*1), Y0, Y22                    // 62827d28deb43f63000000 or 6282fd28deb43f63000000

	VGF2P8AFFINEINVQB $27, Y7, Y12, K3, Y0             // 62f39d2bcfc71b
	VGF2P8AFFINEINVQB $27, (BX), Y12, K3, Y0           // 62f39d2bcf031b
	VGF2P8AFFINEINVQB $27, -17(BP)(SI*1), Y12, K3, Y0  // 62f39d2bcf8435efffffff1b
	VGF2P8AFFINEINVQB $27, Y5, Y3, K3, Y0              // 62f3e52bcfc51b
	VGF2P8AFFINEINVQB $27, Y28, Y3, K3, Y0             // 6293e52bcfc41b
	VGF2P8AFFINEINVQB $27, Y7, Y3, K3, Y0              // 62f3e52bcfc71b

	VPLZCNTQ Y12, K1, Y0                               // 62d2fd2944c4
	VPLZCNTQ Y1, K1, Y0                                // 62f2fd2944c1
	VPLZCNTQ Y14, K1, Y0                               // 62d2fd2944c6
	VPLZCNTQ 15(R8)(R14*4), K1, Y0                     // 6292fd294484b00f000000
	VPLZCNTQ -7(CX)(DX*4), K1, Y0                      // 62f2fd29448491f9ffffff

	VPSHLDVD Y7, Y12, K6, Y0                           // 62f21d2e71c7
	VPSHLDVD 15(R8)(R14*4), Y12, K6, Y0                // 62921d2e7184b00f000000
	VPSHLDVD -7(CX)(DX*4), Y12, K6, Y0                 // 62f21d2e718491f9ffffff
	VPSHLDVD Y5, Y3, K6, Y0                            // 62f2652e71c5
	VPSHLDVD Y28, Y3, K6, Y0                           // 6292652e71c4

	VPERMB -7(CX)(DX*8), Y5, K7, Y22                   // 62e2552f8db4d1f9ffffff
	VPERMB Y5, Y0, K7, Y22                             // 62e27d2f8df5
	VPERMB Y19, Y0, K7, Y22                            // 62a27d2f8df3
	VPERMB Y31, Y0, K7, Y22                            // 62827d2f8df7
	VPERMB 17(SP)(BP*1), Y0, K7, Y22                   // 62e27d2f8db42c11000000
	VPERMB -7(CX)(DX*8), Y0, K7, Y22                   // 62e27d2f8db4d1f9ffffff

	VANDNPD Y9, Y1, K5, Y0                             // 62d1f52d55c1
	VANDNPD 99(R15)(R15*8), Y1, K5, Y0                 // 6291f52d5584ff63000000
	VANDNPD 7(AX)(CX*8), Y1, K5, Y0                    // 62f1f52d5584c807000000
	VANDNPD Y17, Y14, K5, Y0                           // 62b18d2d55c1
	VANDNPD Y7, Y14, K5, Y0                            // 62f18d2d55c7