BICW R7@>15, R5, R16                       // b03ce70a
	BIC R12@>13, R12, R19                      // 9335ec8a
	BICSW R25->20, R3, R20                     // 7450b96a
	BICS R19->12, R1, R23                      // 3730b3ea
	BICS R19, R1, R23                          // 370033ea
	BICS R19>>0, R1, R23                       // 370073ea
	CALL -1(PC)                                // ffffff97

	ADD	R19.UXTX, R14, R17              // d161338b
	ADDSW	R19.UXTW, R14, R17              // d141332b
	ADDS	R12.SXTX, R3, R1                // 61e02cab
	SUB	R19.UXTH<<4, R2, R21            // 553033cb
	SUBW	R1.UXTX<<1, R3, R2              // 6264214b
	SUBS	R3.UXTX, R8, R9                 // 096123eb
	SUBSW	R17.UXTH, R15, R21              // f521316b
	SUBW	ZR<<14, R19, R13                // 6d3a1f4b

R10, R19 ADDV R24, R19, R7 // next c MULHVU R15, R5, R25 // z_hi[2] = x[2] * y MULV R15, R5, R15 // z_lo[2] = x[2] * y ADDV R15, R11, R18 // z_lo[2] = x[2] * y + z[2] SGTU R15, R18, R19 ADDV R25, R19, R25 // z_hi[2] = x[2] * y + z[2] ADDV R18, R7, R11 // z_lo[2] = x[2] * y + z[2] + c SGTU R18, R11, R19 ADDV R25, R19, R7 // next c MULHVU R16, R5, R26 // z_hi[3] = x[3] * y MULV R16, R5, R16 // z_lo[3] = x[3] * y ADDV R16, R12, R18 // z_lo[3] = x[3] * y + z[3] SGTU R16, R18, R19 ADDV R26, R19, R26 //...

	VMOVQ		R6, V4.W4       // c4089f72
	VMOVQ		R7, V5.V2       // e50c9f72
	XVMOVQ		R16, X31.B32    // 1f029f76
	XVMOVQ		R17, X28.H16    // 3c069f76
	XVMOVQ		R18, X10.W8     // 4a0a9f76
	XVMOVQ		R19, X9.V4      // 690e9f76

	// Move vector
	XVMOVQ		X0, X31.B32     // 1f000777
	XVMOVQ		X1, X30.H16     // 3e800777
	XVMOVQ		X2, X29.W8      // 5dc00777
	XVMOVQ		X3, X28.V4      // 7ce00777