VPMADD52LUQ X3, X7, K1, X7                         // 62f2c509b4fb
	VPMADD52LUQ 15(R8), X7, K1, X7                     // 62d2c509b4b80f000000
	VPMADD52LUQ (BP), X7, K1, X7                       // 62f2c509b47d00
	VPMADD52LUQ X5, X14, K1, X7                        // 62f28d09b4fd
	VPMADD52LUQ X31, X14, K1, X7                       // 62928d09b4ff
	VPMADD52LUQ X3, X14, K1, X7                        // 62f28d09b4fb

	VPMULTISHIFTQB X14, X20, K5, X7                    // 62d2dd0583fe
	VPMULTISHIFTQB 17(SP)(BP*1), X20, K5, X7           // 62f2dd0583bc2c11000000
	VPMULTISHIFTQB -7(CX)(DX*8), X20, K5, X7           // 62f2dd0583bcd1f9ffffff
	VPMULTISHIFTQB X9, X7, K5, X7                      // 62d2c50d83f9
	VPMULTISHIFTQB X7, X7, K5, X7                      // 62f2c50d83ff

	VPOPCNTW (DI), K3, Z16                             // 62e2fd4b5407
	VPSHUFBITQMB X24, X7, K6, K0                       // 6292450e8fc0
	VPSHUFBITQMB X7, X7, K6, K0                        // 62f2450e8fc7
	VPSHUFBITQMB X0, X7, K6, K0                        // 62f2450e8fc0
	VPSHUFBITQMB (R8), X7, K6, K0                      // 62d2450e8f00
	VPSHUFBITQMB 15(DX)(BX*2), X7, K6, K0              // 62f2450e8f845a0f000000

	VAESDEC X7, X7, X31                                // 62624508deff or 6262c508deff
	VAESDEC -7(DI)(R8*1), X7, X31                      // 62224508debc07f9ffffff or 6222c508debc07f9ffffff
	VAESDEC (SP), X7, X31                              // 62624508de3c24 or 6262c508de3c24
	VAESDEC X24, X0, X31                               // 62027d08def8 or 6202fd08def8

	VGF2P8MULB X0, X7, K7, X7                          // 62f2450fcff8
	VGF2P8MULB 15(R8), X7, K7, X7                      // 62d2450fcfb80f000000
	VGF2P8MULB (BP), X7, K7, X7                        // 62f2450fcf7d00
	VGF2P8MULB X15, X9, K7, X7                         // 62d2350fcfff
	VGF2P8MULB X12, X9, K7, X7                         // 62d2350fcffc
	VGF2P8MULB X0, X9, K7, X7                          // 62f2350fcff8

	VRSQRT28SD X16, X24, K2, X31                       // 6222bd02cdf8
	VRSQRT28SD X12, X24, K2, X31                       // 6242bd02cdfc
	VRSQRT28SD X20, X7, K2, X31                        // 6222c50acdfc
	VRSQRT28SD X16, X7, K2, X31                        // 6222c50acdf8
	VRSQRT28SD X12, X7, K2, X31                        // 6242c50acdfc
	VRSQRT28SD X20, X20, K2, X3                        // 62b2dd02cddc

	{"X10", "X10"},
	{"X11", "X11"},
	{"X12", "X12"},
	{"X13", "X13"},
	{"X14", "X14"},
	{"X15", "X15"},
	{"X2", "X2"},
	{"X3", "X3"},
	{"X4", "X4"},
	{"X5", "X5"},
	{"X6", "X6"},
	{"X7", "X7"},
	{"X8", "X8"},
	{"X9", "X9"},
	{"_expand_key_128<>(SB)", "_expand_key_128<>(SB)"},
	{"_seek<>(SB)", "_seek<>(SB)"},
	{"a2+16(FP)", "a2+16(FP)"},
	{"addr2+24(FP)", "addr2+24(FP)"},

    }
    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		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

	// Move vector element to general-purpose register: VMOVQ  <Vn>.<T>[index], Rd