VGATHERQPD (DX)(Z31*1),K1,Z16 // 62a2fd4193043a
	VGATHERQPD (DX)(Z15*1),K1,Z23 // 62a2fd49933c3a
	VGATHERQPD (DX)(Z23*1),K1,Z15 // 6272fd41933c3a
	// EVEX: VCVTPD2DQ with Y suffix (VL=2).
	VCVTPD2DQY (BX), X20  // 62e1ff28e623
	VCVTPD2DQY (R11), X30 // 6241ff28e633
	// XED encoder uses EVEX.X=0 for these; most x86 tools use EVEX.X=1.
	// Either way is OK.
	VMOVQ SP, X20  // 62e1fd086ee4 or 62a1fd086ee4

	VCVTPD2DQX X11, X11                     // c4417be6db
	VCVTPD2DQY (BX), X2                     // c4e17fe613 or c5ffe613
	VCVTPD2DQY (R11), X2                    // c4c17fe613
	VCVTPD2DQY Y2, X2                       // c4e17fe6d2 or c5ffe6d2
	VCVTPD2DQY Y11, X2                      // c4c17fe6d3
	VCVTPD2DQY (BX), X11                    // c4617fe61b or c57fe61b
	VCVTPD2DQY (R11), X11                   // c4417fe61b

	VCVTPD2DQX 7(AX), K7, X14                          // 6271ff0fe6b007000000
	VCVTPD2DQX (DI), K7, X14                           // 6271ff0fe637
	VCVTPD2DQY Y3, K6, X11                             // 6271ff2ee6db
	VCVTPD2DQY 15(R8), K6, X11                         // 6251ff2ee6980f000000
	VCVTPD2DQY (BP), K6, X11                           // 6271ff2ee65d00
	VCVTPD2PS Z7, K3, Y5                               // 62f1fd4b5aef