summaryrefslogtreecommitdiff
path: root/tests/tsub.c
Commit message (Collapse)AuthorAgeFilesLines
* Attempt to eliminate issues with aliasing rules. But this triggersubf2vlefevre2020-03-261-1/+1
| | | | | | | a new failure with -Werror=strict-aliasing on src/fma.c due to <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94337>. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/ubf2@13820 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Avoid the build failure with -Werror=strict-aliasing byvlefevre2020-03-261-21/+21
| | | | | | replacing x[…] by p[…] (but this doesn't eliminate the problem itself). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13818 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Fixed tests on UBF.vlefevre2020-03-251-3/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13815 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Completed tests for UBF (currently fail).vlefevre2020-03-251-3/+38
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13811 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] More tests on UBF. The results are not checked yet,vlefevre2020-03-241-11/+38
| | | | | | | but running the tests with UBsan could allow one to trigger bugs (such as the one fixed in r13806). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13807 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Corrected a function name.vlefevre2020-03-241-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13804 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] More tests on UBF, in particular with an exponent changevlefevre2020-03-241-20/+74
| | | | | | (including subnormal → normal and normal → overflow due to that). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13803 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Tests on UBF: underflow/overflow cases done.vlefevre2020-03-241-28/+41
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13802 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] More tests on UBF.vlefevre2020-03-231-11/+140
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13801 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Added comments.vlefevre2020-03-231-0/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13797 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] First tests on UBF.vlefevre2020-03-231-0/+90
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13796 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2020 withvlefevre2020-01-081-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/trunk@13652 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/trunk@13372 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/trunk@13359 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Updated the comment added in r12701.vlefevre2018-05-091-4/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12702 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Added a comment about the bug fixed in r10697:vlefevre2018-05-091-1/+6
| | | | | | bug20180217 is a non-regression test for this bug. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12701 280ebfd0-de03-0410-8827-d642c229c3f4
* Replaced mpfr_mul_2exp & mpfr_div_2exp by mpfr_mul_2ui & mpfr_div_2ui,vlefevre2018-04-171-5/+5
| | | | | | | | respectively (for the tests, except in reuse.c and in taway.c). Note: As documented, mpfr_mul_2exp & mpfr_div_2exp are only kept for compatibility with MPF; mpfr_mul_2ui & mpfr_div_2ui are preferred. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12607 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1.c] removed dead codezimmerma2018-02-191-0/+13
| | | | | | | [tests/tsub.c] added coverage test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12317 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Improved a comment.vlefevre2018-02-171-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12287 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Check reuse of arguments for all mpfr_sub tests, whenvlefevre2018-02-171-13/+66
| | | | | | possible. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12286 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Updated bug20180217 to trigger the bug: one needs tovlefevre2018-02-171-11/+8
| | | | | | reuse the smallest input variable as the output variable. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12283 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Added a test.vlefevre2018-02-171-0/+85
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12282 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] More tests in bug20180216.vlefevre2018-02-161-16/+25
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12257 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Added bug20180216 test currently failing (correspondingvlefevre2018-02-161-0/+32
| | | | | | | to the failure mentioned in r12253, r12254 and r12255, but reproducible with a simple "./configure"). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12256 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Updated comment for bug20180215.vlefevre2018-02-151-2/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12250 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Added a comment for bug20180215 (bug in the casevlefevre2018-02-151-0/+3
| | | | | | 2 <= d < p in generic code mpfr_sub1sp() introduced in r12242). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12248 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/tsub.c] Added bug20180215 test currently failing, found from avlefevre2018-02-151-0/+33
| | | | | | | | | failure using -DMPFR_GENERIC_ABI in CFLAGS and the --enable-assert=full configure option; but the test had to be extended so that it also fails with a simple "configure", i.e. without -DMPFR_GENERIC_ABI in CFLAGS and without the --enable-assert=full configure option. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12246 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2018 withvlefevre2018-01-031-1/+1
| | | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2017)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the ck-mparam and timings-mpfr.c files and the mbench directory under "tools" (not distributed with MPFR). Removed 2017 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12067 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests] Got rid of the use of mpfr_print_binary, in general withvlefevre2017-09-141-2/+2
| | | | | | | | mpfr_dump. Replaced some "mpfr_out_str (stdout, 2, ...)" by mpfr_dump for consistency or as improvements. Some other corrections in the related error messages. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11750 280ebfd0-de03-0410-8827-d642c229c3f4
* Merged the latest changes from the trunk.vlefevre2017-01-011-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@11121 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests] Define the RND_RAND_NO_RNDF and RND_LOOP_NO_RNDF macros, similarvlefevre2016-07-221-8/+3
| | | | | | | | to RND_RAND and RND_LOOP respectively but excluding MPFR_RNDF, to be used for tests that don't make sense in the faithful rounding mode. Replaced code to use these macros, fixing the remaining failures. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10656 280ebfd0-de03-0410-8827-d642c229c3f4
* added more tests for RNDFzimmerma2016-06-241-0/+74
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10502 280ebfd0-de03-0410-8827-d642c229c3f4
* replaced mpfr_cmp by !mpfr_equal_pzimmerma2016-06-241-4/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10498 280ebfd0-de03-0410-8827-d642c229c3f4
* added exhaustive tests for add,sub,mul,div,sqrtzimmerma2016-06-241-0/+55
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10497 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed corner case with RNDFzimmerma2016-06-241-0/+33
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10496 280ebfd0-de03-0410-8827-d642c229c3f4
* more work on branch faithfulzimmerma2016-06-221-0/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10480 280ebfd0-de03-0410-8827-d642c229c3f4
* Merged the latest changes from the trunk.vlefevre2016-06-061-0/+153
|\ | | | | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10436 280ebfd0-de03-0410-8827-d642c229c3f4
| * [tests/tsub.c] Added comments for check_max_almosteven (latestvlefevre2016-05-301-0/+23
| | | | | | | | | | | | test case, added in r10383). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10386 280ebfd0-de03-0410-8827-d642c229c3f4
| * [src/sub1.c] Fixed bug in mpfr_sub1 (real subtraction b - c, |b| > |c|):vlefevre2016-05-291-0/+130
| | | | | | | | | | | | | | | | | | | | | | In MPFR_RNDN (rounding to nearest), when |b| is the midpoint between the maximum number and 2^emax (the maximum number + 1 ulp) and c is small, the obtained result is an infinity (with overflow) instead of ± the maximum number (no overflow). The cause is that an overflow is generated too early (in the rounding code). [tests/tsub.c] Added test cases. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10383 280ebfd0-de03-0410-8827-d642c229c3f4
* | start implementing RNDF (work in progress)zimmerma2016-05-281-2/+4
|/ | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/faithful@10380 280ebfd0-de03-0410-8827-d642c229c3f4
* Replaced various instances of mpfr_print_binary + newline (sometimesvlefevre2016-04-071-36/+36
| | | | | | missing) by mpfr_dump. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10252 280ebfd0-de03-0410-8827-d642c229c3f4
* changed test_generic() calls to start from MPFR_PREC_MIN instead of 2;zimmerma2016-02-051-1/+1
| | | | | | | this revealed a special-case code in mpfr_exp which didn't work for prec=1 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9955 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed to correctly check prec=1zimmerma2016-02-041-3/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9950 280ebfd0-de03-0410-8827-d642c229c3f4
* Replacedvlefevre2016-02-041-1/+1
| | | | | | | | Contributed by the AriC and Caramel projects by Contributed by the AriC and Caramba projects git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9941 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2016 withvlefevre2016-01-011-1/+1
| | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2015)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh (the m4 and tools/mbench directories were not modified). Removed 2015 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9779 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2015 withvlefevre2015-02-131-1/+1
| | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2014)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the tools/mbench directory (not distributed with MPFR). Removed 2014 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9278 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2014 withvlefevre2014-01-031-1/+1
| | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2013)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh (the tools/mbench directory was not modified). Removed 2013 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8723 280ebfd0-de03-0410-8827-d642c229c3f4
* Use copyright year ranges, followingvlefevre2013-05-301-1/+1
| | | | | | http://www.gnu.org/prep/maintain/maintain.html#Copyright-Notices git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8540 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2013 withvlefevre2013-01-031-1/+1
| | | | | | | | | perl -pi -e 's/2012 Free Software/2012, 2013 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file and the m4 directory (the tools/mbench directory was not modified). Removed 2012 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8447 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests] Removed #include of headers already included via "mpfr-test.h"vlefevre2012-02-241-3/+0
| | | | | | | (<limits.h>, <stdio.h>, <stdlib.h>). Note: this change doesn't apply to tvalist.c, which is a special test that doesn't use "mpfr-test.h". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8054 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status