tnum_xor
struct tnum tnum_xor(struct tnum a, struct tnum b);
dst_reg->var_off = tnum_xor(dst_reg->var_off, src_reg.var_off);