RISCV_CONST_HIGH_PART
#define RISCV_CONST_LOW_PART(x) ((x) - RISCV_CONST_HIGH_PART(x))
(ENCODE_UTYPE_IMM(RISCV_CONST_HIGH_PART(x)) | \