VPSHUFHW $65, 15(R8), K5, Y6                       // 62d17e2d70b00f00000041 or 62d1fe2d70b00f00000041
	VPSHUFHW $65, (BP), K5, Y6                         // 62f17e2d70750041 or 62f1fe2d70750041
	VPSHUFHW $67, Z0, K3, Z7                           // 62f17e4b70f843 or 62f1fe4b70f843
	VPSHUFHW $67, Z6, K3, Z7                           // 62f17e4b70fe43 or 62f1fe4b70fe43
	VPSHUFHW $67, (SI), K3, Z7                         // 62f17e4b703e43 or 62f1fe4b703e43

	"VPSHLDVQ",
	"VPSHLDVW",
	"VPSHLDW",
	"VPSHRDD",
	"VPSHRDQ",
	"VPSHRDVD",
	"VPSHRDVQ",
	"VPSHRDVW",
	"VPSHRDW",
	"VPSHUFB",
	"VPSHUFBITQMB",
	"VPSHUFD",
	"VPSHUFHW",
	"VPSHUFLW",
	"VPSIGNB",
	"VPSIGND",
	"VPSIGNW",
	"VPSLLD",
	"VPSLLDQ",
	"VPSLLQ",
	"VPSLLVD",
	"VPSLLVQ",
	"VPSLLVW",
	"VPSLLW",
	"VPSRAD",
	"VPSRAQ",

	VPSHUFHW $7, X11, X11                   // c4417a70db07
	VPSHUFHW $7, (BX), Y2                   // c4e17e701307 or c5fe701307
	VPSHUFHW $7, (R11), Y2                  // c4c17e701307
	VPSHUFHW $7, Y2, Y2                     // c4e17e70d207 or c5fe70d207
	VPSHUFHW $7, Y11, Y2                    // c4c17e70d307
	VPSHUFHW $7, (BX), Y11                  // c4617e701b07 or c57e701b07

	RORXL $-1, (AX), DX          // c4e37bf010ff
	RORXQ $-1, (AX), DX          // c4e3fbf010ff
	VPSHUFD $-1, X1, X2          // c5f970d1ff
	VPSHUFD $-1, Y1, Y2          // c5fd70d1ff
	VPSHUFHW $-1, X1, X2         // c5fa70d1ff
	VPSHUFHW $-1, Y1, Y2         // c5fe70d1ff
	VPSHUFLW $-1, X1, X2         // c5fb70d1ff
	VPSHUFLW $-1, Y1, Y2         // c5ff70d1ff
	VROUNDPD $-1, X1, X2         // c4e37909d1ff