CLUI	$-33, X5				// ERROR "must be in range [-32, 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"

	ADD	$-2048, X5, X6				// 13830280
	ADD	$2047, X5				// 9382f27f
	ADD	$-2048, X5				// 93820280

	SLT	X6, X5, X7				// b3a36200
	SLT	$55, X5, X7				// 93a37203
	SLTU	X6, X5, X7				// b3b36200
	SLTU	$55, X5, X7				// 93b37203

	AND	X6, X5, X7				// b3f36200
	AND	X5, X6					// 33735300
	AND	$1, X5, X6				// 13f31200
	AND	$1, X5					// 93f21200
	OR	X6, X5, X7				// b3e36200
	OR	X5, X6					// 33635300

uint64(p384Uint1(x336))) var x377 uint64 var x378 uint64 x378, x377 = bits.Mul64(x5, arg2[5]) var x379 uint64 var x380 uint64 x380, x379 = bits.Mul64(x5, arg2[4]) var x381 uint64 var x382 uint64 x382, x381 = bits.Mul64(x5, arg2[3]) var x383 uint64 var x384 uint64 x384, x383 = bits.Mul64(x5, arg2[2]) var x385 uint64 var x386 uint64 x386, x385 = bits.Mul64(x5, arg2[1]) var x387 uint64 var x388 uint64 x388, x387 = bits.Mul64(x5, arg2[0]) var x389 uint64 var x390 uint64 x389, x390 = bits.Add64(x388, x385,...

			x2 := int64(p.getRegister(prog, op, &a[2]))
			x3 := int64(p.getRegister(prog, op, &a[3]))
			x4 := int64(p.getRegister(prog, op, &a[4]))
			x5 := p.getConstant(prog, op, &a[5])
			// Cond is handled specially for this instruction.
			offset, MRC, ok := arch.ARMMRCOffset(op, cond, x0, x1, x2, x3, x4, x5)
			if !ok {
				p.errorf("unrecognized condition code .%q", cond)
			}
			prog.To.Offset = offset
			cond = ""

	XVMOVQ		X3, 3(R4)       // 830cc02c
	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