diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-09-02 15:10:45 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-09-02 15:10:45 +0000 |
commit | f747635a1e6a0728959b5c1ccfd77f6b624bea3d (patch) | |
tree | 6f7d38d8f23dba46ae89dd367a712a0d3570d722 /src/sub1sp.c | |
parent | 08fbdd590f9eeffdfbfc37cf5cfaa38e80da28ec (diff) | |
download | mpfr-f747635a1e6a0728959b5c1ccfd77f6b624bea3d.tar.gz |
added sub1sp1_extracted.c (not ready yet)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13572 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/sub1sp.c')
-rw-r--r-- | src/sub1sp.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/sub1sp.c b/src/sub1sp.c index a8c39a266..1c36d679a 100644 --- a/src/sub1sp.c +++ b/src/sub1sp.c @@ -99,6 +99,20 @@ int mpfr_sub1sp (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode) #if !defined(MPFR_GENERIC_ABI) +/* the sub1sp1_extracted.c is not ready yet */ + +#if 0 && defined(MPFR_WANT_PROVEN_CODE) && GMP_NUMB_BITS == 64 && \ + UINT_MAX == 0xffffffff && MPFR_PREC_BITS == 64 && \ + _MPFR_PREC_FORMAT == 3 && _MPFR_EXP_FORMAT == _MPFR_PREC_FORMAT + +/* The code assumes that mp_limb_t has 64 bits exactly, unsigned int + has 32 bits exactly, mpfr_prec_t and mpfr_exp_t are of type long, + which has 64 bits exactly. */ + +#include "sub1sp1_extracted.c" + +#else + /* special code for p < GMP_NUMB_BITS */ static int mpfr_sub1sp1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode, @@ -281,6 +295,8 @@ mpfr_sub1sp1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode, } } +#endif /* MPFR_WANT_PROVEN_CODE */ + /* special code for p = GMP_NUMB_BITS */ static int mpfr_sub1sp1n (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode) |