VPMADD52LUQ -7(CX)(DX*8), Y9, K1, Y2               // 62f2b529b494d1f9ffffff
	VPMADD52LUQ Y3, Y1, K1, Y2                         // 62f2f529b4d3
	VPMADD52LUQ Y2, Y1, K1, Y2                         // 62f2f529b4d2
	VPMADD52LUQ Y9, Y1, K1, Y2                         // 62d2f529b4d1
	VPMADD52LUQ 17(SP)(BP*1), Y1, K1, Y2               // 62f2f529b4942c11000000

	VCVTSS2USIQ 7(AX)(CX*2), R10                       // 6271fe0879944807000000 or 6271fe2879944807000000 or 6271fe4879944807000000
	VCVTSS2USIQ X13, CX                                // 62d1fe0879cd or 62d1fe2879cd or 62d1fe4879cd
	VCVTSS2USIQ -17(BP)(SI*2), CX                      // 62f1fe08798c75efffffff or 62f1fe28798c75efffffff or 62f1fe48798c75efffffff

	VPACKUSDW 17(SP)(BP*1), X25, K3, X0                // 62f235032b842c11000000
	VPACKUSDW -7(CX)(DX*8), X25, K3, X0                // 62f235032b84d1f9ffffff
	VPACKUSDW Y22, Y2, K3, Y25                         // 62226d2b2bce
	VPACKUSDW 7(AX)(CX*4), Y2, K3, Y25                 // 62626d2b2b8c8807000000
	VPACKUSDW 7(AX)(CX*1), Y2, K3, Y25                 // 62626d2b2b8c0807000000

	VPMULTISHIFTQB 7(AX)(CX*4), Z2, K7, Z18            // 62e2ed4f83948807000000
	VPMULTISHIFTQB 7(AX)(CX*1), Z2, K7, Z18            // 62e2ed4f83940807000000
	VPMULTISHIFTQB Z7, Z21, K7, Z18                    // 62e2d54783d7
	VPMULTISHIFTQB Z13, Z21, K7, Z18                   // 62c2d54783d5
	VPMULTISHIFTQB 7(AX)(CX*4), Z21, K7, Z18           // 62e2d54783948807000000

	JMP	(AX)(AX*4)
	JCS	2(PC)
	JMP	R13

// LTYPEN spec4	{ outcode($1, &$2); }
	NOP
	NOP	AX
	NOP	foo+4(SB)

// LTYPES spec5	{ outcode($1, &$2); }
	SHLL	CX, R12
	SHLL	CX, foo+4(SB)
	// Old syntax, still accepted:
	SHLL	CX, R11:AX // SHLL CX, AX, R11

// LTYPEM spec6	{ outcode($1, &$2); }
	MOVL	AX, R11
	MOVL	$4, R11
//	MOVL	AX, 0(AX):DS // no longer works - did it ever?

	VPDPBUSDS 7(AX)(CX*4), X14, K4, X19                // 62e20d0c519c8807000000
	VPDPBUSDS 7(AX)(CX*1), X14, K4, X19                // 62e20d0c519c0807000000
	VPDPBUSDS X25, X0, K4, X19                         // 62827d0c51d9
	VPDPBUSDS X11, X0, K4, X19                         // 62c27d0c51db
	VPDPBUSDS X17, X0, K4, X19                         // 62a27d0c51d9

	VINSERTF64X2 $0, 7(AX)(CX*1), Y30, K4, Y30         // 62638d2418b4080700000000
	VINSERTF64X2 $0, X3, Y16, K4, Y26                  // 6263fd2418d300
	VINSERTF64X2 $0, X26, Y16, K4, Y26                 // 6203fd2418d200
	VINSERTF64X2 $0, X23, Y16, K4, Y26                 // 6223fd2418d700
	VINSERTF64X2 $0, 7(AX)(CX*4), Y16, K4, Y26         // 6263fd241894880700000000

	VPCONFLICTQ 7(AX)(CX*8), K4, Y1                    // 62f2fd2cc48cc807000000
	VPCONFLICTQ Z27, K7, Z3                            // 6292fd4fc4db
	VPCONFLICTQ Z15, K7, Z3                            // 62d2fd4fc4df
	VPCONFLICTQ 7(AX)(CX*4), K7, Z3                    // 62f2fd4fc49c8807000000
	VPCONFLICTQ 7(AX)(CX*1), K7, Z3                    // 62f2fd4fc49c0807000000

	VADDPD (AX), X10, X28       // 6261ad085820
	VADDPD (CX)(AX*1), X29, X0  // 62f19500580401
	VADDPD (CX)(AX*1), X1, X28  // 6261f508582401
	VADDPD (CX)(AX*1), X29, X28 // 62619500582401
	VADDPD (CX)(AX*1), X29, X10 // 62719500581401
	VADDPD (CX)(AX*1), X10, X28 // 6261ad08582401
	VADDPD (CX)(AX*2), X29, X0  // 62f19500580441
	VADDPD (CX)(AX*2), X1, X28  // 6261f508582441
	VADDPD (CX)(AX*2), X29, X28 // 62619500582441

	VPOPCNTQ 7(AX)(CX*4), K2, Y1                       // 62f2fd2a558c8807000000
	VPOPCNTQ 7(AX)(CX*1), K2, Y1                       // 62f2fd2a558c0807000000
	VPOPCNTQ Y5, K2, Y27                               // 6262fd2a55dd
	VPOPCNTQ Y17, K2, Y27                              // 6222fd2a55d9
	VPOPCNTQ Y13, K2, Y27                              // 6242fd2a55dd