x2 := arg1[2] x3 := arg1[3] x4 := arg1[4] x5 := arg1[5] x6 := arg1[0] var x7 uint64 var x8 uint64 x8, x7 = bits.Mul64(x6, arg2[5]) var x9 uint64 var x10 uint64 x10, x9 = bits.Mul64(x6, arg2[4]) var x11 uint64 var x12 uint64 x12, x11 = bits.Mul64(x6, arg2[3]) var x13 uint64 var x14 uint64 x14, x13 = bits.Mul64(x6, arg2[2]) var x15 uint64 var x16 uint64 x16, x15 = bits.Mul64(x6, arg2[1]) var x17 uint64 var x18 uint64 x18, x17 = bits.Mul64(x6, arg2[0]) var x19 uint64 var x20 uint64 x19, x20 = bits.Add64(x18,...

	XVMOVQ		X4, 2040(R4)    // 84e0df2c
	XVMOVQ		X5, -2040(R4)   // 8520e02c
	XVMOVQ		X6, y+16(FP)    // 0660c02c
	XVMOVQ		X7, x+2030(FP)  // 07d8df2c
	XVMOVQ		(R4), X2        // 8200802c
	XVMOVQ		3(R4), X3       // 830c802c
	XVMOVQ		2044(R4), X4    // 84f09f2c
	XVMOVQ		-2044(R4), X5   // 8510a02c
	XVMOVQ		y+16(FP), X6    // 0660802c
	XVMOVQ		x+2030(FP), X7  // 07d89f2c