/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | mpn.cpp | 157 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 D | mpn.cpp | 157 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 D | cmp.c | 18 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 D | cmp.c | 18 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 D | cmp.c | 18 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 12 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 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 D | 980816-1.c | 12 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 D | 980816-1.c | 11 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 D | 980816-1.c | 11 int lden = lden_orig; local 13 neg_double (&lden, &hden); 16 quo[i] = work / (unsigned int ) lden; 17 carry = work % (unsigned int ) lden;
|