Home
last modified time | relevance | path

Searched refs:lden (Results 1 – 25 of 293) sorted by relevance

12345678910>>...12

/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dmpn.cpp157 if (lnum < lden) { in div()
174 SASSERT(denom[lden-1] != 0); in div()
176 if (lnum == 1 && lden == 1) { in div()
180 else if (lnum < lden || (lnum == lden && numer[lnum-1] < denom[lden-1])) { in div()
188 if (lden == 1) in div()
197 trace_nl(quot, lnum-lden+1); in div()
200 trace_nl(rem, lden); in div()
204 mul(quot, lnum-lden+1, denom, lden, temp.c_ptr()); in div()
224 while (lden > 0 && ((denom[lden-1] << d) & MASK_FIRST) == 0) d++; in div_normalize()
228 n_denom.resize(lden); in div_normalize()
[all …]
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dmpn.cpp157 if (lnum < lden) { in div()
174 SASSERT(denom[lden-1] != 0); in div()
176 if (lnum == 1 && lden == 1) { in div()
180 else if (lnum < lden || (lnum == lden && numer[lnum-1] < denom[lden-1])) { in div()
188 if (lden == 1) in div()
197 trace_nl(quot, lnum-lden+1); in div()
200 trace_nl(rem, lden); in div()
204 mul(quot, lnum-lden+1, denom, lden, temp.data()); in div()
224 while (lden > 0 && ((denom[lden-1] << d) & MASK_FIRST) == 0) d++; in div_normalize()
228 n_denom.resize(lden); in div_normalize()
[all …]
/dports/math/e-antic/flint2-ae7ec89/fmpq_poly/
H A Dcmp.c18 int _fmpq_poly_cmp(const fmpz * lpoly, const fmpz_t lden, in _fmpq_poly_cmp() argument
25 if (fmpz_equal(lden, rden)) in _fmpq_poly_cmp()
31 else if (*lden == WORD(1)) /* Here rden exceeds 1 */ in _fmpq_poly_cmp()
43 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
45 fmpz_mul(rcoeff, rpoly + (--i), lden); in _fmpq_poly_cmp()
54 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
59 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
/dports/math/flint2/flint-2.8.4/fmpq_poly/
H A Dcmp.c18 int _fmpq_poly_cmp(const fmpz * lpoly, const fmpz_t lden, in _fmpq_poly_cmp() argument
25 if (fmpz_equal(lden, rden)) in _fmpq_poly_cmp()
31 else if (*lden == WORD(1)) /* Here rden exceeds 1 */ in _fmpq_poly_cmp()
43 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
45 fmpz_mul(rcoeff, rpoly + (--i), lden); in _fmpq_poly_cmp()
54 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
59 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpq_poly/
H A Dcmp.c18 int _fmpq_poly_cmp(const fmpz * lpoly, const fmpz_t lden, in _fmpq_poly_cmp() argument
25 if (fmpz_equal(lden, rden)) in _fmpq_poly_cmp()
31 else if (*lden == WORD(1)) /* Here rden exceeds 1 */ in _fmpq_poly_cmp()
43 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
45 fmpz_mul(rcoeff, rpoly + (--i), lden); in _fmpq_poly_cmp()
54 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
59 fmpz_mul(rcoeff, rpoly + i, lden); in _fmpq_poly_cmp()
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/testsuite/gcc.dg/
H A D980816-1.c12 int lden = lden_orig; local
14 neg_double (&lden, &hden);
17 quo[i] = work / (unsigned int ) lden;
18 carry = work % (unsigned int ) lden;
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/testsuite/gcc.dg/
H A D980816-1.c12 int lden = lden_orig; local
14 neg_double (&lden, &hden);
17 quo[i] = work / (unsigned int ) lden;
18 carry = work % (unsigned int ) lden;
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gcc.dg/
H A D980816-1.c11 int lden = lden_orig; local
13 neg_double (&lden, &hden);
16 quo[i] = work / (unsigned int ) lden;
17 carry = work % (unsigned int ) lden;

12345678910>>...12