diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-27 12:23:42 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-27 12:23:42 +0000 |
| commit | c29a3a453c8b2291a69d8a62206b4fd42f6d0671 (patch) | |
| tree | bd9be220e6cf812077ca9ae2ce58157d14a82aef /src/add1sp.c | |
| parent | f8d0f23348087845a356944e531e80151befe23a (diff) | |
| download | mpfr-c29a3a453c8b2291a69d8a62206b4fd42f6d0671.tar.gz | |
[src/add1sp1_extracted.c] replaced extracted code by new for MPFR_PREC_BITS=64
[src/mul_1_extracted.c] likewise
[src/add1sp.c] changed condition to use the formally extracted code
[src/mul.c] likewise (but code is still not yet activated here)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13037 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/add1sp.c')
| -rw-r--r-- | src/add1sp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/add1sp.c b/src/add1sp.c index e6221b6c7..8fee93dc3 100644 --- a/src/add1sp.c +++ b/src/add1sp.c @@ -110,7 +110,7 @@ int mpfr_add1sp (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode) #if !defined(MPFR_GENERIC_ABI) #if defined(MPFR_WANT_PROVEN_CODE) && GMP_NUMB_BITS == 64 && \ - MPFR_PREC_BITS == 32 && _MPFR_EXP_FORMAT == _MPFR_PREC_FORMAT + MPFR_PREC_BITS == 64 && _MPFR_EXP_FORMAT == _MPFR_PREC_FORMAT #include "add1sp1_extracted.c" |