__mark_reg32_known
__mark_reg32_known(dst_reg, var32_off.value);
__mark_reg32_known(dst_reg, var32_off.value);
__mark_reg32_known(dst_reg, var32_off.value);
__mark_reg32_known(®s[insn->dst_reg], 0);
__mark_reg32_known(dst_reg, -1ull);