Searched refs:zero_ems (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 3785 expr_ref zero_ems(m), sh(m), is_sh_zero(m), sl(m), sbits_s(m), short_shift(m); in unpack() local
3786 zero_ems = m_bv_util.mk_numeral(0, ebits - sbits); in unpack()
3789 m_simp.mk_eq(zero_ems, sh, is_sh_zero); in unpack()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 3769 expr_ref zero_ems(m), sh(m), is_sh_zero(m), sl(m), sbits_s(m), short_shift(m);
3770 zero_ems = m_bv_util.mk_numeral(0, ebits - sbits);
3773 m_simp.mk_eq(zero_ems, sh, is_sh_zero);
|