]>
Commit | Line | Data |
---|---|---|
dfd2257a UD |
1 | /* Round argument to nearest integral value according to current rounding |
2 | direction. | |
04277e02 | 3 | Copyright (C) 1997-2019 Free Software Foundation, Inc. |
dfd2257a | 4 | This file is part of the GNU C Library. |
abfbdde1 | 5 | Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997 and |
350635a5 | 6 | Jakub Jelinek <jj@ultra.linux.cz>, 1999. |
dfd2257a UD |
7 | |
8 | The GNU C Library is free software; you can redistribute it and/or | |
41bdb6e2 AJ |
9 | modify it under the terms of the GNU Lesser General Public |
10 | License as published by the Free Software Foundation; either | |
11 | version 2.1 of the License, or (at your option) any later version. | |
dfd2257a UD |
12 | |
13 | The GNU C Library is distributed in the hope that it will be useful, | |
14 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
41bdb6e2 | 16 | Lesser General Public License for more details. |
dfd2257a | 17 | |
41bdb6e2 | 18 | You should have received a copy of the GNU Lesser General Public |
59ba27a6 | 19 | License along with the GNU C Library; if not, see |
5a82c748 | 20 | <https://www.gnu.org/licenses/>. */ |
dfd2257a | 21 | |
d0d286d3 JM |
22 | #include <fenv.h> |
23 | #include <limits.h> | |
dfd2257a UD |
24 | #include <math.h> |
25 | ||
1ed0291c | 26 | #include <math_private.h> |
fd3b4e7c | 27 | #include <libm-alias-ldouble.h> |
c4d17461 | 28 | #include <fix-fp-int-convert-overflow.h> |
dfd2257a | 29 | |
15089e04 | 30 | static const _Float128 two112[2] = |
dfd2257a | 31 | { |
02bbfb41 PM |
32 | L(5.19229685853482762853049632922009600E+33), /* 0x406F000000000000, 0 */ |
33 | L(-5.19229685853482762853049632922009600E+33) /* 0xC06F000000000000, 0 */ | |
dfd2257a UD |
34 | }; |
35 | ||
dfd2257a | 36 | long long int |
15089e04 | 37 | __llrintl (_Float128 x) |
dfd2257a | 38 | { |
abfbdde1 | 39 | int32_t j0; |
24ab7723 | 40 | uint64_t i0,i1; |
15089e04 PM |
41 | _Float128 w; |
42 | _Float128 t; | |
abfbdde1 | 43 | long long int result; |
dfd2257a UD |
44 | int sx; |
45 | ||
abfbdde1 UD |
46 | GET_LDOUBLE_WORDS64 (i0, i1, x); |
47 | j0 = ((i0 >> 48) & 0x7fff) - 0x3fff; | |
48 | sx = i0 >> 63; | |
49 | i0 &= 0x0000ffffffffffffLL; | |
50 | i0 |= 0x0001000000000000LL; | |
dfd2257a | 51 | |
cc3fa755 | 52 | if (j0 < (int32_t) (8 * sizeof (long long int)) - 1) |
dfd2257a | 53 | { |
d0d286d3 JM |
54 | #if defined FE_INVALID || defined FE_INEXACT |
55 | /* X < LLONG_MAX + 1 implied by J0 < 63. */ | |
15089e04 | 56 | if (x > (_Float128) LLONG_MAX) |
d0d286d3 JM |
57 | { |
58 | /* In the event of overflow we must raise the "invalid" | |
59 | exception, but not "inexact". */ | |
60 | t = __nearbyintl (x); | |
61 | feraiseexcept (t == LLONG_MAX ? FE_INEXACT : FE_INVALID); | |
62 | } | |
63 | else | |
64 | #endif | |
65 | { | |
66 | w = two112[sx] + x; | |
67 | t = w - two112[sx]; | |
68 | } | |
bd3a1a10 | 69 | GET_LDOUBLE_WORDS64 (i0, i1, t); |
abfbdde1 UD |
70 | j0 = ((i0 >> 48) & 0x7fff) - 0x3fff; |
71 | i0 &= 0x0000ffffffffffffLL; | |
72 | i0 |= 0x0001000000000000LL; | |
dfd2257a | 73 | |
6624dbc0 UD |
74 | if (j0 < 0) |
75 | result = 0; | |
76 | else if (j0 <= 48) | |
abfbdde1 UD |
77 | result = i0 >> (48 - j0); |
78 | else | |
79 | result = ((long long int) i0 << (j0 - 48)) | (i1 >> (112 - j0)); | |
dfd2257a UD |
80 | } |
81 | else | |
82 | { | |
d0d286d3 JM |
83 | /* The number is too large. Unless it rounds to LLONG_MIN, |
84 | FE_INVALID must be raised and the return value is | |
85 | unspecified. */ | |
86 | #if defined FE_INVALID || defined FE_INEXACT | |
15089e04 | 87 | if (x < (_Float128) LLONG_MIN |
02bbfb41 | 88 | && x > (_Float128) LLONG_MIN - 1) |
d0d286d3 JM |
89 | { |
90 | /* If truncation produces LLONG_MIN, the cast will not raise | |
91 | the exception, but may raise "inexact". */ | |
92 | t = __nearbyintl (x); | |
93 | feraiseexcept (t == LLONG_MIN ? FE_INEXACT : FE_INVALID); | |
94 | return LLONG_MIN; | |
95 | } | |
15089e04 | 96 | else if (FIX_LDBL_LLONG_CONVERT_OVERFLOW && x != (_Float128) LLONG_MIN) |
c4d17461 SL |
97 | { |
98 | feraiseexcept (FE_INVALID); | |
99 | return sx == 0 ? LLONG_MAX : LLONG_MIN; | |
100 | } | |
101 | ||
d0d286d3 | 102 | #endif |
dfd2257a UD |
103 | return (long long int) x; |
104 | } | |
105 | ||
106 | return sx ? -result : result; | |
107 | } | |
108 | ||
fd3b4e7c | 109 | libm_alias_ldouble (__llrint, llrint) |