RV_U_IMM_31_12_MASK
(RV_X_MASK(x_, RV_U_IMM_31_12_OPOFF, RV_U_IMM_31_12_MASK)); })
*utype_insn &= ~(RV_U_IMM_31_12_MASK);
*utype_insn |= (imm & RV_U_IMM_31_12_MASK) + ((imm & BIT(11)) << 1);