tnum_clear_subreg
struct tnum tnum_clear_subreg(struct tnum a);
return tnum_or(tnum_clear_subreg(reg), tnum_subreg(subreg));
reg->var_off = tnum_or(tnum_clear_subreg(var64_off), var32_off);