tnum_const_subreg
struct tnum tnum_const_subreg(struct tnum a, u32 value);
reg->var_off = tnum_const_subreg(reg->var_off, imm);