summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* [src/div.c] added commentzimmerma2018-02-203-210/+14
| | | | | | | | | | [src/mpfr-gmp.h] moved definition of MUL_FFT_THRESHOLD [src/mulders.c] removed unused code, and force n>=2 in mpfr_divhigh_n_basecase [tests/tmul.c] improve coverage [tune/tuneup.c] forbid k = n-1 in divhigh_ktab[] git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12348 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] revert part of r12312zimmerma2018-02-201-16/+12
| | | | | | | [tests/tai.c] added coverage test provided by Sylvain Chevillard git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12346 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1.c] revert r12317 since it did not consider UBFs. For the record,zimmerma2018-02-201-5/+7
| | | | | | | tfmma was failing with GMP_CHECK_RANDOMIZE=1519138438006416. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12345 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div.c] get rid of mpfr_div_with_mpz_tdiv_qzimmerma2018-02-201-111/+0
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12344 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/gmp_op.c] Fixed a bug in mpfr_cmp_q on NaN rational: the NaN flagvlefevre2018-02-201-1/+5
| | | | | | was set by mpfr_set_q, but the flags were not restored just after. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12343 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/gmp_op.c] Reverted incorrect change in r12337 for mpfr_cmp_q.vlefevre2018-02-201-2/+12
| | | | | | | Explanation in comment. If the code was not tested, it should be by using mpq_set_num and mpq_set_den to construct such rationals. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12342 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/{add,sub}1sp.c] Updated/added comments for MPFR_WANT_ASSERT >= 2.vlefevre2018-02-202-2/+28
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12339 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div.c] removed dead codezimmerma2018-02-201-28/+21
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12338 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/gmp_op.c] removed dead codezimmerma2018-02-201-10/+11
| | | | | | | [tests/tgmpop.c] improve coverage of gmp_op.c to 100% git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12337 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/random_deviate.c] Improved highest_bit_idx in the case wherevlefevre2018-02-201-5/+10
| | | | | | MPFR_LONG_WITHIN_LIMB is not defined (tested with GCC). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12333 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mul.c] resolved FIXME and removed dead codezimmerma2018-02-201-2/+20
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12332 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/random_deviate.c] highest_bit_idx() assumes x > 0zimmerma2018-02-201-8/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12330 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/random_deviate.c] fixed commentzimmerma2018-02-201-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12329 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/random_deviate.c] redo change r12315 using MPFR_LONG_WITHIN_LIMBzimmerma2018-02-201-14/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12328 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1.c] added 2 FIXMEzimmerma2018-02-201-2/+8
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12327 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/random_deviate.c] Reverted incorrect change r12315: MPFR_LIMB_MAXvlefevre2018-02-191-10/+14
| | | | | | | cannot be used with the preprocessor due to the cast. The test should be done in "pure" C and the middle-end of the compiler should optimize. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12322 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1.c] Removed an unused label.vlefevre2018-02-191-1/+0
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12321 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1.c] removed dead code, now coverage should be 100%zimmerma2018-02-191-5/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12319 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] Avoid more integer overflows.vlefevre2018-02-191-4/+18
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12318 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1.c] removed dead codezimmerma2018-02-191-4/+3
| | | | | | | [tests/tsub.c] added coverage test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12317 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] Detect some potential integer overflows.vlefevre2018-02-191-6/+32
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12316 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/random_deviate.c] don't compile alternate code if not neededzimmerma2018-02-191-14/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12315 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] Coding style. Corrected comments.vlefevre2018-02-191-7/+7
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12314 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] removed dead code, and improved coveragezimmerma2018-02-191-50/+47
| | | | | | | [tests/tai.c] exercise mpfr_ai near (negative) zeroes git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12312 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] fixed recomputation of wprec (to be confirmed)zimmerma2018-02-191-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12311 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/ai.c] removed dead codezimmerma2018-02-191-15/+13
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12310 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1sp.c] Fixed indentation.vlefevre2018-02-191-191/+191
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12309 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sqrt.c] Coding style.vlefevre2018-02-191-6/+13
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12307 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] Avoid a potential integer overflow in a type conversionvlefevre2018-02-191-11/+8
| | | | | | | for 32-bit mpfr_exp_t and 64-bit long (e.g. with -D_MPFR_PREC_FORMAT=2 on a 64-bit Linux machine). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12306 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div_2ui.c] Reverted incorrect change in r12272 and added commentsvlefevre2018-02-191-5/+13
| | | | | | | | and assertions. [tests/tmul_2exp.c] Improved a test to trigger the bug in r12272 also when mpfr_exp_t > 32 bits (e.g. on 64-bit Linux machines). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12305 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mul.c] Fixed type error with -D_MPFR_PREC_FORMAT=2 in CFLAGS andvlefevre2018-02-191-2/+9
| | | | | | the --enable-assert=full configure option (signaled by GCC's -Wformat). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12301 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/agm.c] added comment about line of code impossible to coverzimmerma2018-02-181-0/+8
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12299 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/agm.c,src/div.c,src/mpfr-impl.h] replaced MPFR_EXT_EMIN by MPFR_EMIN_MIN,zimmerma2018-02-183-14/+10
| | | | | | | and MPFR_EXT_EMAX by MPFR_EMAX_MAX git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12298 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sqrt.c] removed dead codezimmerma2018-02-181-4/+3
| | | | | | | [tests/tsqrt.c] improve coverage of mpfr_sqrt, now at 100% git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12297 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sqrt.c] removed dead codezimmerma2018-02-171-13/+11
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12294 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsqrt.c] improved coveragezimmerma2018-02-171-0/+5
| | | | | | | [src/sqrt.c] added comments git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12292 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] Added a FIXME comment.vlefevre2018-02-171-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12291 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sqrt.c] removed dead codezimmerma2018-02-171-3/+15
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12289 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1sp.c] fixed bug in mpfr_sub1sp1n (corner case when a=c)zimmerma2018-02-171-1/+3
| | | | | | | [tests/tsub1sp.c] added non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12285 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1sp.c] fixed case 2ezimmerma2018-02-171-1/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12284 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] Updated a comment.vlefevre2018-02-171-1/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12281 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] Fixed an integer overflow from r12276.vlefevre2018-02-171-2/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12280 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] Added a log message.vlefevre2018-02-171-0/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12279 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] It seems that code removed in r12273 wasn't necessarilyvlefevre2018-02-161-5/+2
| | | | | | | | | | | | | dead code with mpfr_exp_t > long (-D_MPFR_EXP_FORMAT=4 needed) because for MPFR_SMALL_INPUT_AFTER_SAVE_EXPO, err would be limited to -LONG_MAX and precisions larger than LONG_MAX could be problems. The -LONG_MAX bound from r4127 was arbitrary and only used to simplify the code due to the fact that mpfr_cmp_si compares to a "long" argument. But now we have the internal mpfr_get_exp_t function, allowing us to avoid this arbitrary bound (fixing the code and making it more efficient for these extreme cases) and simplify the code even more. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12276 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/expm1.c] improve coverage (by removing dead code)zimmerma2018-02-161-14/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12273 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div_2ui.c] No need for mpfr_uexp_t, due to the constraints onvlefevre2018-02-161-2/+2
| | | | | | the valid exponents. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12272 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mul_2ui.c] Simplified mpfr_mul_2ui (like mpfr_div_2ui).vlefevre2018-02-161-24/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12270 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div_2ui.c] Simplified justification.vlefevre2018-02-161-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12269 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div_2ui.c] Simplified code as suggested by PZ; added justification.vlefevre2018-02-161-12/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12268 280ebfd0-de03-0410-8827-d642c229c3f4
* GNU style: https://www.gnu.org/prep/standards/standards.html#Formattingzimmerma2018-02-163-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12267 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status