Searched defs:zero_sig_sz (Results 1 – 1 of 1) sorted by relevance
3043 expr_ref max_exp(m), max_exp_bvsz(m), zero_sig_sz(m); in mk_to_fp_signed() local3168 expr_ref max_exp(m), max_exp_bvsz(m), zero_sig_sz(m); in mk_to_fp_unsigned() local