Home
last modified time | relevance | path

Searched refs:mlog2 (Results 1 – 18 of 18) sorted by relevance

/dports/cad/verilator/verilator-4.216/test_regress/t/
H A Dt_func_mlog2.v18 if (mlog2(32'd0) != 32'd0) $stop;
19 if (mlog2(32'd1) != 32'd0) $stop;
20 if (mlog2(32'd3) != 32'd2) $stop;
25 sum <= mlog2(cyc) + sum * 32'd42;
36 function integer mlog2; function
41 mlog2 = 0;
45 mlog2 = 0;
48 mlog2 = mlog2 + 1;
/dports/games/vavoom/vavoom-1.33/source/
H A Dmaths.h88 int mlog2(int val);
H A Dmaths.cpp87 int mlog2(int val) in mlog2() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dmpzzp.h274 unsigned mlog2(mpz const & n) { return m().mlog2(n); } in mlog2() function
H A Dmpbq.cpp92 return m_manager.mlog2(a.m_num) - a.m_k + 1; in magnitude_lb()
100 return m_manager.mlog2(a.m_num) - a.m_k; in magnitude_ub()
H A Dmpz.h675 unsigned mlog2(mpz const & n);
H A Dmpz.cpp2255 unsigned mpz_manager<SYNCH>::mlog2(mpz const & a) { in mlog2() function in mpz_manager
2284 return mlog2(a) + 1; in bitsize()
2386 unsigned k = mlog2(a); in root()
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dmpzzp.h274 unsigned mlog2(mpz const & n) { return m().mlog2(n); } in mlog2() function
H A Dmpbq.cpp91 return m_manager.mlog2(a.m_num) - a.m_k + 1; in magnitude_lb()
99 return m_manager.mlog2(a.m_num) - a.m_k; in magnitude_ub()
H A Dmpz.h676 unsigned mlog2(mpz const & n);
H A Dmpz.cpp2248 unsigned mpz_manager<SYNCH>::mlog2(mpz const & a) { in mlog2() function in mpz_manager
2277 return mlog2(a) + 1; in bitsize()
2379 unsigned k = mlog2(a); in root()
/dports/math/z3/z3-z3-4.8.13/src/test/
H A Dmpz.cpp419 k = m.mlog2(neg_a); in tst_log2()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/
H A Dmpz.cpp419 k = m.mlog2(neg_a); in tst_log2()
/dports/net/dgd/dgd-1.4.23/src/host/
H A Dsimfloat.c2331 static flt mlog2 = { 0x0000, 0x8007, 0x58b9, 0x05fdf474L }; in flt_tanh() local
2341 if (f_cmp(&a, &mlog2) > 0) { in flt_tanh()
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/
H A Dalgebraic_numbers.cpp752 return qm().mlog2(u.numerator()) - qm().mlog2(l.numerator()) - u_k + l_k - u_k; in magnitude()
H A Dupolynomial.cpp1999 unsigned log2_a_n = pos_a_n ? m().log2(p[n]) : m().mlog2(p[n]); in knuth_positive_root_upper_bound()
2007 unsigned log2_a_n_k = pos_a_n_k ? m().log2(a_n_k) : m().mlog2(a_n_k); in knuth_positive_root_upper_bound()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/
H A Dalgebraic_numbers.cpp752 return qm().mlog2(u.numerator()) - qm().mlog2(l.numerator()) - u_k + l_k - u_k; in magnitude()
H A Dupolynomial.cpp1999 unsigned log2_a_n = pos_a_n ? m().log2(p[n]) : m().mlog2(p[n]); in knuth_positive_root_upper_bound()
2007 unsigned log2_a_n_k = pos_a_n_k ? m().log2(a_n_k) : m().mlog2(a_n_k); in knuth_positive_root_upper_bound()