rv_cr_insn
return rv_cr_insn(0x8, rs1, RV_REG_ZERO, 0x2);
return rv_cr_insn(0x8, rd, rs, 0x2);
return rv_cr_insn(0x9, rs1, RV_REG_ZERO, 0x2);
return rv_cr_insn(0x9, rd, rs, 0x2);