]>
git.ipfire.org Git - thirdparty/glibc.git/blob - sysdeps/ieee754/dbl-64/wordsize-64/s_remquo.c
1 /* Compute remainder and a congruent to the quotient.
2 Copyright (C) 1997-2021 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997.
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public
8 License as published by the Free Software Foundation; either
9 version 2.1 of the License, or (at your option) any later version.
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with the GNU C Library; if not, see
18 <https://www.gnu.org/licenses/>. */
22 #include <math_private.h>
23 #include <libm-alias-double.h>
26 static const double zero
= 0.0;
30 __remquo (double x
, double y
, int *quo
)
36 EXTRACT_WORDS64 (hx
, x
);
37 EXTRACT_WORDS64 (hy
, y
);
38 sx
= hx
& UINT64_C(0x8000000000000000);
39 qs
= sx
^ (hy
& UINT64_C(0x8000000000000000));
40 hy
&= UINT64_C(0x7fffffffffffffff);
41 hx
&= UINT64_C(0x7fffffffffffffff);
43 /* Purge off exception values. */
44 if (__glibc_unlikely (hy
== 0))
45 return (x
* y
) / (x
* y
); /* y = 0 */
46 if (__builtin_expect (hx
>= UINT64_C(0x7ff0000000000000) /* x not finite */
47 || hy
> UINT64_C(0x7ff0000000000000), 0))/* y is NaN */
48 return (x
* y
) / (x
* y
);
50 if (hy
<= UINT64_C(0x7fbfffffffffffff))
51 x
= __ieee754_fmod (x
, 8 * y
); /* now x < 8y */
53 if (__glibc_unlikely (hx
== hy
))
60 INSERT_WORDS64 (y
, hy
);
63 if (hy
<= UINT64_C(0x7fcfffffffffffff) && x
>= 4 * y
)
68 if (hy
<= UINT64_C(0x7fdfffffffffffff) && x
>= 2 * y
)
74 if (hy
< UINT64_C(0x0020000000000000))
89 double y_half
= 0.5 * y
;
102 *quo
= qs
? -cquo
: cquo
;
104 /* Ensure correct sign of zero result in round-downward mode. */
111 libm_alias_double (__remquo
, remquo
)