VPMOVSXBW (SP), K7, Z8                             // 62727d4f200424 or 6272fd4f200424
	VPMOVUSWB X6, K1, X6                               // 62f27e0910f6
	VPMOVUSWB X6, K1, 99(R15)(R15*2)                   // 62927e0910b47f63000000
	VPMOVUSWB X6, K1, -7(DI)                           // 62f27e0910b7f9ffffff
	VPMOVUSWB Y15, K2, X22                             // 62327e2a10fe

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,...

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,...

    }
    return retVal;
  }

  private enum SmallEnum {
    X0,
    X1,
    X2
  }

  private enum MediumEnum {
    X0,
    X1,
    X2,
    X3,
    X4,
    X5,
    X6,
    X7,
    X8,
    X9,
    X10,
    X11,
    X12,
    X13,
    X14,
    X15,
    X16,
    X17,
    X18,
    X19,
    X20,
    X21,
    X22,
    X23,
    X24,

	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

	VPEXPANDB X16, K1, X6                              // 62b27d0962f0
	VPEXPANDB X28, K1, X6                              // 62927d0962f4
	VPEXPANDB X8, K1, X6                               // 62d27d0962f0
	VPEXPANDB 99(R15)(R15*4), K1, X6                   // 62927d096274bf63
	VPEXPANDB 15(DX), K1, X6                           // 62f27d0962720f