VPMADD52HUQ 15(DX)(BX*2), Y31, K7, Y17             // 62e28527b58c5a0f000000
	VPMADD52HUQ Y28, Y8, K7, Y17                       // 6282bd2fb5cc
	VPMADD52HUQ Y13, Y8, K7, Y17                       // 62c2bd2fb5cd
	VPMADD52HUQ Y7, Y8, K7, Y17                        // 62e2bd2fb5cf
	VPMADD52HUQ (R8), Y8, K7, Y17                      // 62c2bd2fb508
	VPMADD52HUQ 15(DX)(BX*2), Y8, K7, Y17              // 62e2bd2fb58c5a0f000000

	VP4DPWSSD 15(DX)(BX*8), [Z2-Z5], K4, Z17           // 62e26f4c528cda0f000000
	VP4DPWSSD 7(SI)(DI*1), [Z12-Z15], K4, Z17          // 62e21f4c528c3e07000000
	VP4DPWSSD 15(DX)(BX*8), [Z12-Z15], K4, Z17         // 62e21f4c528cda0f000000
	VP4DPWSSD 7(SI)(DI*1), [Z22-Z25], K4, Z17          // 62e24f44528c3e07000000
	VP4DPWSSD 15(DX)(BX*8), [Z22-Z25], K4, Z17         // 62e24f44528cda0f000000

	VMOVNTDQ Y26, 15(DX)(BX*4)                         // 62617d28e7949a0f000000
	VMOVNTDQ Z18, -15(R14)(R15*1)                      // 62817d48e7943ef1ffffff
	VMOVNTDQ Z24, -15(R14)(R15*1)                      // 62017d48e7843ef1ffffff
	VMOVNTDQ Z18, -15(BX)                              // 62e17d48e793f1ffffff
	VMOVNTDQ Z24, -15(BX)                              // 62617d48e783f1ffffff

	VPDPBUSD -15(BX), X16, K2, X6                      // 62f27d0250b3f1ffffff
	VPDPBUSD X15, X28, K2, X6                          // 62d21d0250f7
	VPDPBUSD X11, X28, K2, X6                          // 62d21d0250f3
	VPDPBUSD X1, X28, K2, X6                           // 62f21d0250f1
	VPDPBUSD -15(R14)(R15*1), X28, K2, X6              // 62921d0250b43ef1ffffff
	VPDPBUSD -15(BX), X28, K2, X6                      // 62f21d0250b3f1ffffff

	ADCQ (BX), DX                           // 481313
	ADCQ (R11), DX                          // 491313
	ADCQ (BX), R11                          // 4c131b
	ADCQ (R11), R11                         // 4d131b
	ADCB (BX), DL                           // 1213
	ADCB (R11), DL                          // 411213
	ADCB (BX), R11                          // 44121b
	ADCB (R11), R11                         // 45121b

	// CLWB instructions:
	CLWB BX                          // ERROR "invalid instruction"
	// CLDEMOTE instructions:
	CLDEMOTE BX                      // ERROR "invalid instruction"
	// WAITPKG instructions:
	TPAUSE (BX)                      // ERROR "invalid instruction"
	UMONITOR (BX)                    // ERROR "invalid instruction"
	UMWAIT (BX)                      // ERROR "invalid instruction"

	DIVB	foo+4(SB)
	PUSHL	$foo+4(SB)
	POPL		AX

// LTYPE3 rimrem	{ outcode(int($1), &$2); }
	SUBB	$1, AX
	SUBB	$1, foo+4(SB)
	SUBB	BX, AX
	SUBB	BX, foo+4(SB)

// LTYPE4 remrim	{ outcode(int($1), &$2); }
	CMPB	AX, $1
	CMPB	foo+4(SB), $4
	CMPB	BX, AX
	CMPB	foo+4(SB), BX

// LTYPER nonrel	{ outcode(int($1), &$2); }
label:
	JC	label // JCS
	JC	-1(PC) // JCS -1(PC)

// LTYPEC spec3	{ outcode(int($1), &$2); }

	{"(BP)(DX*4)", "(BP)(DX*4)"},
	{"(BP)(R8*4)", "(BP)(R8*4)"},
	{"(BX)", "(BX)"},
	{"(DI)", "(DI)"},
	{"(DI)(BX*1)", "(DI)(BX*1)"},
	{"(DX)", "(DX)"},
	{"(R9)", "(R9)"},
	{"(R9)(BX*8)", "(R9)(BX*8)"},
	{"(SI)", "(SI)"},
	{"(SI)(BX*1)", "(SI)(BX*1)"},
	{"(SI)(DX*1)", "(SI)(DX*1)"},
	{"(SP)", "(SP)"},
	{"(SP)(AX*4)", "(SP)(AX*4)"},
	{"32(SP)(BX*2)", "32(SP)(BX*2)"},
	{"32323(SP)(R8*4)", "32323(SP)(R8*4)"},

	VMOVDQU8 15(DX)(BX*1), K3, X31                     // 62617f0b6fbc1a0f000000
	VMOVDQU8 -7(CX)(DX*2), K3, X31                     // 62617f0b6fbc51f9ffffff
	VMOVDQU8 Y3, K4, Y6                                // 62f17f2c7fde
	VMOVDQU8 Y3, K4, 7(SI)(DI*1)                       // 62f17f2c7f9c3e07000000
	VMOVDQU8 Y3, K4, 15(DX)(BX*8)                      // 62f17f2c7f9cda0f000000

	VPSHUFBITQMB 15(DX)(BX*2), X7, K6, K0              // 62f2450e8f845a0f000000
	VPSHUFBITQMB X24, X13, K6, K0                      // 6292150e8fc0
	VPSHUFBITQMB X7, X13, K6, K0                       // 62f2150e8fc7
	VPSHUFBITQMB X0, X13, K6, K0                       // 62f2150e8fc0
	VPSHUFBITQMB (R8), X13, K6, K0                     // 62d2150e8f00
	VPSHUFBITQMB 15(DX)(BX*2), X13, K6, K0             // 62f2150e8f845a0f000000