summaryrefslogtreecommitdiff
path: root/tune
Commit message (Collapse)AuthorAgeFilesLines
* 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
* [tuneup.c] try again when speed_measure returns -1.0 (i.e. fails)zimmerma2010-10-131-0/+64
| | | | | | | | | also check return value of speed_measure in all cases (was not done for mulhigh, sqrhigh and divhigh, reported by Sylvain Chevillard) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7198 280ebfd0-de03-0410-8827-d642c229c3f4
* Small indication explaining what is the negative threshold for Ai.schevill2010-10-121-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7197 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed trailing spaces and untabified several files.vlefevre2010-09-301-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7186 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mulders.c] added new function mpfr_divhigh_n() for short divisionzimmerma2010-09-291-13/+92
| | | | | | | | | | | | | | | (not used yet), fixed comments and added error analysis in mpfr_mulhigh_n() and mpfr_sqrhigh_n() [src/sqrt.c] fixed ill-placed MPFR_TMP_MARK [src/mparam_h.in] added default MPFR_DIVHIGH_TAB for mpfr_divhigh_n() [src/round_p.c] typo [src/mpfr-impl.h] added prototype for mpfr_divhigh_n [src/mul.c] added comment, simplified code [tune/tuneup.c] added tuning for mpfr_divhigh_n(), increased MAX_STEPS to get a better tuning (will take longer), set tolerance to 1.0 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7183 280ebfd0-de03-0410-8827-d642c229c3f4
* [tuneup.c] changed lower bound for exp_2 threshold from MPFR_PREC_MIN (2) tozimmerma2010-09-241-3/+1
| | | | | | | | GMP_NUMB_BITS. Seems to be better (since for p=2 the 2nd routine was sometimes already faster). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7170 280ebfd0-de03-0410-8827-d642c229c3f4
* now use Mulders' algorithm also for mpfr_sqr, provides nice speed improvementzimmerma2010-09-241-4/+57
| | | | | | | in all functions that perform squarings git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7166 280ebfd0-de03-0410-8827-d642c229c3f4
* Source reorganization. In short:vlefevre2010-08-174-0/+1806
* Added directories and moved related files into them: - src for the MPFR source files (to build the library). - doc for documentation files (except INSTALL, README...). - tools for various tools (scripts) and mbench. - tune for tuneup-related source files. - other for other source files (not distributed in tarballs). Existing directories: - tests for the source files of the test suite (make check). - examples for examples. - m4 for m4 files. * Renamed configure.in to configure.ac. * Added/updated Makefile.am files where needed. * Updated acinclude.m4 and configure.ac (AC_CONFIG_FILES line). * Updated the documentation (INSTALL, README, doc/README.dev and doc/mpfr.texi). * Updated NEWS and TODO. * Updated the scripts now in tools. The following script was used: #!/usr/bin/env zsh svn mkdir doc other src tools tune svn mv ${${(M)$(sed -n '/libmpfr_la_SOURCES/,/[^\]$/p' \ Makefile.am):#*.[ch]}:#get_patches.c} mparam_h.in \ round_raw_generic.c jyn_asympt.c src svn mv mbench check_inits_clears coverage get_patches.sh mpfrlint \ nightly-test update-patchv update-version tools svn mv bidimensional_sample.c speed.c tuneup.c tune svn mv *.{c,h} other svn mv FAQ.html README.dev algorithm* faq.xsl fdl.texi mpfr.texi \ update-faq doc svn mv configure.in configure.ac svn cp Makefile.am src/Makefile.am svn rm replace_all [Modifying some files, see above] svn add doc/Makefile.am svn add tune/Makefile.am git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7087 280ebfd0-de03-0410-8827-d642c229c3f4