tnum_const
struct tnum tnum_const(u64 value);
return tnum_with_subreg(a, tnum_const(value));
t = tnum_or(tnum_subreg(reg1->var_off), tnum_const(val));
reg1->var_off = tnum_or(reg1->var_off, tnum_const(val));
t = tnum_and(tnum_subreg(reg1->var_off), tnum_const(~val));
reg1->var_off = tnum_and(reg1->var_off, tnum_const(~val));
reg->var_off = tnum_const(imm);
reg_off = tnum_add(reg->var_off, tnum_const(ip_align + reg->off + off));
reg_off = tnum_add(reg->var_off, tnum_const(reg->off + off));
reg->var_off = tnum_const((s8)u64_cval);
reg->var_off = tnum_const((s16)u64_cval);
reg->var_off = tnum_const((s32)u64_cval);
reg->var_off = tnum_const((s8)u32_val);
reg->var_off = tnum_const((s16)u32_val);