R17 // z_hi[0] = x[0] * y MULV R13, R5, R13 // z_lo[0] = x[0] * y ADDV R13, R9, R18 // z_lo[0] = x[0] * y + z[0] SGTU R13, R18, R19 ADDV R17, R19, R17 // z_hi[0] = x[0] * y + z[0] ADDV R18, R7, R9 // z_lo[0] = x[0] * y + z[0] + c SGTU R18, R9, R19 ADDV R17, R19, R7 // next c MULHVU R14, R5, R24 // z_hi[1] = x[1] * y MULV R14, R5, R14 // z_lo[1] = x[1] * y ADDV R14, R10, R18 // z_lo[1] = x[1] * y + z[1] SGTU R14, R18, R19 ADDV R24, R19, R24 // z_hi[1] = x[1] * y + z[1] ADDV R18, R7, R10 // z_lo[1]...

	VMOVQ		R5, V3.H8       // a3049f72
	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