summaryrefslogtreecommitdiff
path: root/src/div.c
Commit message (Collapse)AuthorAgeFilesLines
* Copyright notice update: added 2020 withvlefevre2020-01-091-1/+1
| | | | | | | | perl -pi -e 's/ (\d{4}-)?(2019)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh. Removed 2019 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13659 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated the www.gnu.org URL's (http → https) on all the files with:vlefevre2019-01-071-1/+1
| | | | | | | perl -pi -e 's,http://www.gnu.org/,https://www.gnu.org/,g' **/*(.) under zsh. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13373 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2019 withvlefevre2019-01-011-1/+1
| | | | | | | | perl -pi -e 's/ (\d{4}-)?(2018)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh. Removed 2018 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13360 280ebfd0-de03-0410-8827-d642c229c3f4
* Minor date-related changes as in the trunk:vlefevre2018-01-091-1/+1
| | | | | | | | | | * Copyright notice update in most files: added 2018. * tools/ck-mparam: in the copyright notice, just keep the year 2011 since this file is not part of the tarball (just used by mpfrlint). * doc/mpfr.texi: updated the month. (merged changesets r12067-12069 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12077 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div.c] fixed bug in mpfr_div2_approx()zimmerma2017-12-181-1/+2
| | | | | | | | [tests/tdiv.c] added non-regression test [tests/ttan.c] added test triggering bug in mpfr_div2_approx() git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12002 280ebfd0-de03-0410-8827-d642c229c3f4
* get rid of DEBUG macro (but keep corresponding commands in comment to helpzimmerma2017-12-111-40/+0
| | | | | | | understanding of the code and debugging) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11955 280ebfd0-de03-0410-8827-d642c229c3f4
* [src] Replaced some "return 0" by "MPFR_RET (0)" (the generated codevlefevre2017-12-071-3/+3
| | | | | | | | is the same as shown by gcc, thanks to an obvious optimization; this is semantically better, which could help provers, and would allow code instrumentation in the future, if need be). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11928 280ebfd0-de03-0410-8827-d642c229c3f4
* Merged the latest changes from the trunk, including some old changesetsvlefevre2017-05-041-3/+149
|\ | | | | | | | | | | | | | | | | | | | | related to mpfr_zeta that were skipped, resolving conflicts. Added RNDF support to new code introduced by this merge: * mpfr_mul_1n in src/mul.c (from r11281); * mpfr_sqr_1n in src/sqr.c (from r11283); * mpfr_div_1n in src/div.c (from r11284); * mpfr_sqrt1n in src/sqrt.c (from r11293). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@11456 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] Declare variables used by GMP_NUMB_BITS == 64 only in thevlefevre2017-02-081-22/+26
| | | | | | | | | | | | related code. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11286 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/mul.c] simplified logic for special codezimmerma2017-02-081-5/+12
| | | | | | | | | | | | | | [src/div.c] fixed bug in mpfr_div_1n when extra=0 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11285 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] special code for prec=GMP_NUMB_BITSzimmerma2017-02-081-1/+136
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11284 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] simplified underflow in div_1 and div_2 (one case is not possible)zimmerma2017-02-061-11/+10
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11260 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] improved slow branch of mpfr_div_2zimmerma2017-01-301-25/+25
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11247 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] fixed TODO: replaced two if-statements by while-loopzimmerma2017-01-301-8/+3
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11246 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] Added TODO's.vlefevre2017-01-301-2/+4
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11245 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] Added a MPFR_ASSERTD.vlefevre2017-01-301-0/+1
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11244 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] use ADD_LIMB macro, and fixed commentzimmerma2017-01-171-3/+3
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11206 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] new variant of mpfr_div2_approx()zimmerma2017-01-161-100/+43
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11203 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] C90 compatibility (avoid initializer elements not computablevlefevre2017-01-131-3/+6
| | | | | | | | | | | | at load time). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11195 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] added some alternate code for mpfr_div2_approx (disabled for now)zimmerma2017-01-121-0/+78
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11194 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] small improvement in div_1 and div_2: force all precisions to bezimmerma2017-01-121-15/+22
| | | | | | | | | | | | | | equal, then we cannot have rb <> 0 and sb = 0 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11192 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] improved case p=127 (or two-limb case with hard to round case)zimmerma2017-01-121-2/+34
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11191 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] improve mpfr_div_1 for precision 63zimmerma2017-01-121-10/+36
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11189 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] added FIXMEzimmerma2017-01-101-1/+4
| | | | | | | | | | | | | | [src/sub1sp.c] added comments git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11183 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] fixed previous commit: mpfr_div_1 and mpfr_div_2 also work forzimmerma2017-01-061-5/+15
| | | | | | | | | | | | | | GMP_NUMB_BITS <> 64, only some fast code inside is not defined git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11152 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] Use mpfr_limb_ptr instead of mp_ptr.vlefevre2017-01-051-1/+2
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11150 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] Fix for GMP_NUMB_BITS != 64.vlefevre2017-01-051-3/+4
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11149 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] faster division for 2 limbszimmerma2017-01-051-12/+51
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11148 280ebfd0-de03-0410-8827-d642c229c3f4
| * fixed underflow bug by replacing !MPFR_IS_LIKE_RNDZ by new macrozimmerma2017-01-051-2/+2
| | | | | | | | | | | | | | | | MPFR_IS_LIKE_RNDA: for RNDN, !MPFR_IS_LIKE_RNDZ was true, while new macro MPFR_IS_LIKE_RNDA is false git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11140 280ebfd0-de03-0410-8827-d642c229c3f4
| * use a macro instead of a function for __gmpfr_invert_limb andzimmerma2017-01-031-3/+7
| | | | | | | | | | | | | | __gmpfr_invert_limb_approx saves 2-3 cycles git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11129 280ebfd0-de03-0410-8827-d642c229c3f4
| * Copyright notice update: added 2017 withvlefevre2017-01-011-1/+1
| | | | | | | | | | | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2016)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the tools/mbench directory (not distributed with MPFR). Removed 2016 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11117 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] C90 compatibility.vlefevre2016-12-311-2/+4
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11114 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] further improvement in mpfr_div_1()zimmerma2016-12-301-6/+6
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11109 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] use an approximate quotient in mpfr_div_1()zimmerma2016-12-301-6/+28
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11108 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] simplify mpfr_div_1()zimmerma2016-12-301-18/+7
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11107 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/invert_limb.c] new file for __gmpfr_invert_limb internal functionzimmerma2016-12-301-38/+12
| | | | | | | | | | | | | | | | | | (only provided so far for 64-bit limb) [src/div.c] mpfr_div_1 and mpfr_div_2 don't require --enable-gmp-internals any more git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11106 280ebfd0-de03-0410-8827-d642c229c3f4
| * Improvement concerning the _mulx_u64 intrinsic.vlefevre2016-12-291-1/+1
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11104 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] replace GMP's invert_limb (internal) by own codezimmerma2016-12-291-7/+37
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11103 280ebfd0-de03-0410-8827-d642c229c3f4
| * Removed trailing whitespace.vlefevre2016-12-161-1/+1
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11053 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src] Simplified ~MPFR_LIMB_ZERO to MPFR_LIMB_MAX.vlefevre2016-12-091-3/+3
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11021 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] simplified mpfr_div_1 and mpfr_div_2zimmerma2016-12-091-44/+44
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11020 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] added comments and simplified codezimmerma2016-12-091-22/+28
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11019 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] simplified codezimmerma2016-12-091-2/+1
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11018 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] simplified underflow test in mpfr_div_1()zimmerma2016-12-091-11/+6
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11015 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] overflow and underflow are unlikely!zimmerma2016-12-091-2/+2
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11012 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] slightly better code (less dependencies) for mpfr_div_1 when u0 >= v0zimmerma2016-12-091-6/+6
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11011 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] simplified mpfr_div_1() codezimmerma2016-12-091-14/+12
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11010 280ebfd0-de03-0410-8827-d642c229c3f4
| * [div.c] in mpfr_div_1, do not deal with the case where the precision iszimmerma2016-12-091-20/+2
| | | | | | | | | | | | | | <= GMP_NUMB_BITS/2, to not slow down the general case git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11009 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/div.c] divsp1 -> div_1, divsp2 -> div_2 (not necessarily same precision)zimmerma2016-09-081-4/+4
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10817 280ebfd0-de03-0410-8827-d642c229c3f4
| * move macros from div.c to mpfr-gmp.hzimmerma2016-09-051-113/+0
| | | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10794 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status