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"

	VPMADD52LUQ X5, X9, K1, X24                        // 6262b509b4c5
	VPMADD52LUQ X31, X9, K1, X24                       // 6202b509b4c7
	VPMADD52LUQ X3, X9, K1, X24                        // 6262b509b4c3
	VPMADD52LUQ 15(R8), X9, K1, X24                    // 6242b509b4800f000000
	VPMADD52LUQ (BP), X9, K1, X24                      // 6262b509b44500
	VPMADD52LUQ X5, X7, K1, X24                        // 6262c509b4c5

	VPERMT2B X9, X9, K7, X5                            // 62d2350f7de9
	VPERMT2B (BX), X9, K7, X5                          // 62f2350f7d2b
	VPERMT2B -17(BP)(SI*1), X9, K7, X5                 // 62f2350f7dac35efffffff
	VPERMT2B X2, X13, K7, X5                           // 62f2150f7dea
	VPERMT2B X8, X13, K7, X5                           // 62d2150f7de8

	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

	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"

	VMOVLPD (AX), X5, X5             // c5d11228 or 62f1d5281228 or 62f1d5481228
	VMOVLPD 7(DX), X5, X5            // c5d1126a07 or 62f1d52812aa07000000 or 62f1d54812aa07000000
	VMOVLPD -15(R11)(CX*1), X5, X5   // c4c151126c0bf1 or 62d1d52812ac0bf1ffffff or 62d1d54812ac0bf1ffffff
	VMOVLPD (SP)(AX*2), X5, X5       // c5d1122c44 or 62f1d528122c44 or 62f1d548122c44

	VANDNPD X0, X17, K4, X5                            // 62f1f50455e8
	VANDNPD (R8), X17, K4, X5                          // 62d1f5045528
	VANDNPD 15(DX)(BX*2), X17, K4, X5                  // 62f1f50455ac5a0f000000
	VANDNPD X15, X7, K4, X5                            // 62d1c50c55ef
	VANDNPD X11, X7, K4, X5                            // 62d1c50c55eb

	VPSHLDVQ X23, X15, K7, X5                          // 62b2850f71ef
	VPSHLDVQ 99(R15)(R15*1), X15, K7, X5               // 6292850f71ac3f63000000
	VPSHLDVQ (DX), X15, K7, X5                         // 62f2850f712a
	VPSHLDVQ X3, X8, K7, X5                            // 62f2bd0f71eb
	VPSHLDVQ X26, X8, K7, X5                           // 6292bd0f71ea

	VPOPCNTW X5, K3, X11                               // 6272fd0b54dd
	VPOPCNTW X25, K3, X11                              // 6212fd0b54d9
	VPOPCNTW (CX), K3, X11                             // 6272fd0b5419
	VPOPCNTW 99(R15), K3, X11                          // 6252fd0b549f63000000
	VPOPCNTW X20, K3, X23                              // 62a2fd0b54fc
	VPOPCNTW X5, K3, X23                               // 62e2fd0b54fd

	VCVTPS2DQ -15(R14)(R15*2), K2, Z12                 // 62117d4a5ba47ef1ffffff
	VCVTPS2PD X14, K4, X5                              // 62d17c0c5aee
	VCVTPS2PD 99(R15)(R15*8), K4, X5                   // 62917c0c5aacff63000000
	VCVTPS2PD 7(AX)(CX*8), K4, X5                      // 62f17c0c5aacc807000000
	VCVTPS2PD X0, K1, Y9                               // 62717c295ac8