summaryrefslogtreecommitdiff
path: root/tune
Commit message (Collapse)AuthorAgeFilesLines
* Copyright notice update: added 2021 withvlefevre2021-01-034-4/+4
| | | | | | | | perl -pi -e 's/ (\d{4}-)?(2020)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh. Removed 2020 from the example in the doc/README.dev file. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14229 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed MPFR_DECL_STATIC_ASSERT macro as it was buggy, unused, rathervlefevre2020-06-091-2/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | useless, and it had drawbacks. Details: * In src/mpfr-sassert.h, the default definition of this macro in the MPFR_USE_STATIC_ASSERT case ended with a spurious ";". Since this macro was unused, this wasn't noticeable... except in the configure test for static assertions, which failed in some cases (e.g. with CFLAGS="-std=c99 -pedantic-errors -Wno-error=overlength-strings") for this reason, which had the effect to let MPFR_USE_STATIC_ASSERT undefined, while static assertions were actually working. * Still in src/mpfr-sassert.h, but when MPFR_USE_STATIC_ASSERT is not defined, the MPFR_DECL_STATIC_ASSERT(c) expanded to nothing, which would yield invalid code as MPFR_DECL_STATIC_ASSERT(some_assertion); would yield an extra ";" (about the same issue as above). Given the fact that the portable MPFR_USE_STATIC_ASSERT code does not work with this compiler, it is not clear whether this is fixable in a completely reliable way. * MPFR_DECL_STATIC_ASSERT can be replaced by MPFR_STAT_STATIC_ASSERT after moving it to the statement section of a function, with almost no drawbacks (just a bit readability in some cases?). * When MPFR_USE_STATIC_ASSERT is not defined, MPFR_STAT_STATIC_ASSERT will check the assertion at run time (for free, since the result is known at compile time), while MPFR_DECL_STATIC_ASSERT would not be able to do anything useful. Changes: * acinclude.m4: removed the test of MPFR_DECL_STATIC_ASSERT. * src/mpfr-sassert.h: removed MPFR_DECL_STATIC_ASSERT definitions. * tune/tuneup.c: removed MPFR_DECL_STATIC_ASSERT redefinition. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13947 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2020 withvlefevre2020-01-084-4/+4
| | | | | | | | 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
* For Makefile.am and each one in SUBDIRS, added the .POSIX target tovlefevre2019-08-021-0/+6
| | | | | | | select the POSIX behavior (since we do not require GNU "make"). See: https://sympa.inria.fr/sympa/arc/mpfr/2019-08/msg00005.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13545 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated the www.gnu.org URL's (http → https) on all the files with:vlefevre2019-01-073-3/+3
| | | | | | | 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-014-4/+4
| | | | | | | | 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
* [src/mulders.c] fixed issue with --enable-gmp-internalszimmerma2018-11-101-5/+1
| | | | | | | | [tune/tuneup.c] likewise (see https://sympa.inria.fr/sympa/arc/mpfr/2018-11/msg00015.html) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13253 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed trailing spaces.vlefevre2018-02-261-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12445 280ebfd0-de03-0410-8827-d642c229c3f4
* [tune/tuneup.c] ensure k < n in mpfr_divhigh_n[]zimmerma2018-02-211-17/+14
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12381 280ebfd0-de03-0410-8827-d642c229c3f4
* [tune/tuneup.c] for mpfr_div_threshold, start from 3 limbs againzimmerma2018-02-211-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12367 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] start from 4 limbs for mpfr_div_thresholdzimmerma2018-02-211-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12361 280ebfd0-de03-0410-8827-d642c229c3f4
* [tune/tuneup.c] make tune_simple_func more robust for small precisionszimmerma2018-02-211-3/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12358 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/x86_64/mparam.h] added tuning for generic x86_64zimmerma2018-02-211-1/+2
| | | | | | | [tune/tuneup.c] mpfr_divhigh now wants n >= 2 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12351 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div.c] added commentzimmerma2018-02-201-3/+3
| | | | | | | | | | [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
* Copyright notice update: added 2018 withvlefevre2018-01-034-4/+4
| | | | | | | | | | 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
* Copyright notice update: added 2017 withvlefevre2017-01-014-4/+4
| | | | | | | | | 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
* Replacedvlefevre2016-02-043-3/+3
| | | | | | | | 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-014-4/+4
| | | | | | | | | 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
* More details in a comment about assertions via tuneup.vlefevre2015-09-041-2/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9669 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed failed assertion during "make tune"zimmerma2015-09-041-2/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9668 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2015 withvlefevre2015-02-134-4/+4
| | | | | | | | | 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
* re-enable assertions (patch from Patrick Pélissier)zimmerma2014-01-241-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8893 280ebfd0-de03-0410-8827-d642c229c3f4
* [tune/tuneup.c] Fix compilation error due to static assertion beingvlefevre2014-01-241-0/+6
| | | | | | wrong (patch by Patrick Pélissier). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8890 280ebfd0-de03-0410-8827-d642c229c3f4
* Use of the numberof macro.vlefevre2014-01-231-2/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8876 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2014 withvlefevre2014-01-034-4/+4
| | | | | | | | | 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
* Applied patch 3 by Ondřej Bílka with some manual corrections,vlefevre2013-07-222-2/+2
| | | | | | | fixing typos: https://sympa.inria.fr/sympa/arc/mpfr/2013-07/msg00016.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8621 280ebfd0-de03-0410-8827-d642c229c3f4
* Use copyright year ranges, followingvlefevre2013-05-304-4/+4
| | | | | | 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-034-4/+4
| | | | | | | | | 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
* Tuning: reverted changeset r8444 and applied patch by Patrick Pélissiervlefevre2012-12-311-3/+3
| | | | | | for GMP 5.1.0 to link against librt conditionally. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8445 280ebfd0-de03-0410-8827-d642c229c3f4
* [Makefile.am] -lrt is needed for clock_gettime() [undefined with GMP 5.1.0]zimmerma2012-12-311-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8444 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated autotool files to get rid of obsolete macros (thanks tovlefevre2012-07-271-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Daniel Richard G. for the patch; kept the autoconf requirement to 2.60 instead of changing it to 2.68 as done with autoupdate, since 2.60 seems to be sufficient according to the changes and 2.68 is too recent, e.g. Debian/stable still has 2.67). --- Note --- This update has another effect: The "Configs for Windows DLLs." code (from "case $host in" to "esac") is now executed at the right time, after options like --disable-static are taken into account. Juste before this change, the test if test "$enable_shared" = yes; then was always false. This could be seen on hydra: With r8360: [...] configure flags: --disable-static --disable-dependency-tracking --prefix=/nix/store/95zhbb0v23syxsazx33hg3acbvixyq5a-mpfr-0-3.2.0-dev [...] checking for DLL/static GMP... static [...] checking whether to build shared libraries... yes checking whether to build static libraries... no [...] With r8367: [...] configure flags: --disable-static --disable-dependency-tracking --prefix=/nix/store/8zblwffd2ww1z0smqlgwrfzcl6b48rim-mpfr-0-3.2.0-dev [...] checking whether to build shared libraries... yes checking whether to build static libraries... no checking for DLL/static GMP... static [...] git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8364 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] fixed compiler warning (got on gcc49.fsffrance.org)zimmerma2012-03-051-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8064 280ebfd0-de03-0410-8827-d642c229c3f4
* Changed Arenaire to AriC with:vlefevre2012-01-103-3/+3
| | | | | | | perl -pi -e 's/Contributed by the Arenaire/Contributed by the AriC/' **/*(^/) under zsh. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7993 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2012 withvlefevre2012-01-104-4/+4
| | | | | | | | | perl -pi -e 's/2011 Free Software/2011, 2012 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file (the m4 and tools/mbench directories were not modified). Removed 2011 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7986 280ebfd0-de03-0410-8827-d642c229c3f4
* [tune/tuneup.c] Untabified.vlefevre2011-08-121-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7796 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mulders.c] use mpn_sbpi1_divappr_q if available and WANT_GMP_INTERNALSzimmerma2011-08-051-5/+10
| | | | | | | | | is defined [src/mpfr-gmp.h] defined macros needed for mpfr_divhigh_n_basecase [configure.ac] check for mpn_sbpi1_divappr_q git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7787 280ebfd0-de03-0410-8827-d642c229c3f4
* [mulders.c] added a basecase code for Mulders' short divisionzimmerma2011-08-051-1/+8
| | | | | | | | [tuneup.c] added corresponding tuning code [TODO] added an item git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7783 280ebfd0-de03-0410-8827-d642c229c3f4
* Added tuning for MPFR_DIV_THRESHOLD, and default value.zimmerma2011-07-311-1/+18
| | | | | | | It now remains to do the tuning on the architectures in mparam_in.h. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7768 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] fix tuning bounds of short product and division according to thezimmerma2011-07-281-4/+7
| | | | | | | ARITH-20 paper git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7756 280ebfd0-de03-0410-8827-d642c229c3f4
* Added new types mpfr_limb_ptr and mpfr_limb_srcptr to src/mpfr-impl.h,vlefevre2011-02-092-12/+12
| | | | | | | and replaced mp_ptr and mp_srcptr (GMP internals) by these 2 new types respectively. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7455 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2011 withvlefevre2011-01-174-4/+4
| | | | | | | | perl -pi -e 's/2010 Free Software/2010, 2011 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file and the m4 and tools/mbench directories. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7389 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] added cast from time_t to long, after warning under HP-UX:zimmerma2010-10-221-2/+2
| | | | | | | | | tuneup.c:1131: warning: format '%ld' expects type 'long int', but argument 3 has type 'time_t' tuneup.c:1133: warning: format '%ld' expects type 'long int', but argument 2 has type 'time_t' (I don't know if it is because time_t is unsigned, or has a different width) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7238 280ebfd0-de03-0410-8827-d642c229c3f4
* Cosmetic change: the constant MPFR_TUNE_CASE is now defined in mparam_h.in.schevill2010-10-201-0/+2
| | | | | | | | | | Hence the files src/some-architecture/mparam.h are now simply obtained by performing 'make tune' on some architecture and copying the resulting src/mparam.h to src/some-architecture/mparam.h. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7231 280ebfd0-de03-0410-8827-d642c229c3f4
* Typo.schevill2010-10-201-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7230 280ebfd0-de03-0410-8827-d642c229c3f4
* Up-to-date thresholds.schevill2010-10-201-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7229 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] increase maximal number of calls to speed_measure from 5 to 30zimmerma2010-10-191-5/+3
| | | | | | | (seems to solve problems on gcc15) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7217 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] print size when speed_measure failszimmerma2010-10-181-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7203 280ebfd0-de03-0410-8827-d642c229c3f4
* Reorganized mparam_h.in in separate files.schevill2010-10-151-5/+13
| | | | | | | | Added mpfr_buildopt_tune_case function. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7201 280ebfd0-de03-0410-8827-d642c229c3f4
* Modified the number of iterations in the loop of mpfr_speed_measure.schevill2010-10-141-4/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7200 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] new function mpfr_speed_measure, which calls speed_measure() severalzimmerma2010-10-141-96/+32
| | | | | | | | times (currently 30) until there is no failure. In case all 30 calls fail, give some hints to the user. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7199 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status