VPDPBUSD X1, X28, K2, X6                           // 62f21d0250f1
	VPDPBUSD -15(R14)(R15*1), X28, K2, X6              // 62921d0250b43ef1ffffff
	VPDPBUSD -15(BX), X28, K2, X6                      // 62f21d0250b3f1ffffff
	VPDPBUSD X15, X8, K2, X6                           // 62d23d0a50f7
	VPDPBUSD X11, X8, K2, X6                           // 62d23d0a50f3

	VPCONFLICTD X6, K6, X6                             // 62f27d0ec4f6
	VPCONFLICTD X1, K6, X6                             // 62f27d0ec4f1
	VPCONFLICTD X8, K6, X6                             // 62d27d0ec4f0
	VPCONFLICTD 15(R8), K6, X6                         // 62d27d0ec4b00f000000
	VPCONFLICTD (BP), K6, X6                           // 62f27d0ec47500
	VPCONFLICTD X6, K6, X17                            // 62e27d0ec4ce

	VRSQRT28SD X8, X6, K1, X6                          // 62d2cd09cdf0 or 62d2cd29cdf0 or 62d2cd49cdf0
	VRSQRT28SD X6, X6, K1, X6                          // 62f2cd09cdf6 or 62f2cd29cdf6 or 62f2cd49cdf6
	VRSQRT28SD X0, X6, K1, X6                          // 62f2cd09cdf0 or 62f2cd29cdf0 or 62f2cd49cdf0

	RORI	$-1, X5, X6			// ERROR "immediate out of range 0 to 63"
	SLLI	$-1, X5, X6			// ERROR "immediate out of range 0 to 63"
	SRLI	$-1, X5, X6			// ERROR "immediate out of range 0 to 63"
	SRAI	$-1, X5, X6			// ERROR "immediate out of range 0 to 63"
	RORIW	$32, X5, X6			// ERROR "immediate out of range 0 to 31"
	SLLIW	$32, X5, X6			// ERROR "immediate out of range 0 to 31"
	SRLIW	$32, X5, X6			// ERROR "immediate out of range 0 to 31"

	CLUI	$32, X5					// ERROR "must be in range [-32, 31]"
	CADD	$31, X5, X6				// ERROR "rd must be the same as rs1"
	CADD	$-33, X5				// ERROR "must be in range [-32, 31]"
	CADD	$32, X5					// ERROR "must be in range [-32, 31]"
	CADDI	$0, X5					// ERROR "immediate cannot be zero"
	CADDI	$31, X5, X6				// ERROR "rd must be the same as rs1"
	CADDI	$-33, X5				// ERROR "must be in range [-32, 31]"

	{"X1", "X1"},
	{"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		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