ENCODE_ITYPE_IMM
(ENCODE_ITYPE_IMM(RISCV_CONST_LOW_PART(x)) << 32))
(ENCODE_UTYPE_IMM(x) | (ENCODE_ITYPE_IMM(x) << 32))