]>
Commit | Line | Data |
---|---|---|
dfd2257a UD |
1 | /* Round argument to nearest integral value according to current rounding |
2 | direction. | |
688903eb | 3 | Copyright (C) 1997-2018 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 PE |
19 | License along with the GNU C Library; if not, see |
20 | <http://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> |
70e2ba33 | 27 | #include <fenv_private.h> |
fd3b4e7c | 28 | #include <libm-alias-ldouble.h> |
c4d17461 | 29 | #include <fix-fp-int-convert-overflow.h> |
dfd2257a | 30 | |
15089e04 | 31 | static const _Float128 two112[2] = |
dfd2257a | 32 | { |
02bbfb41 PM |
33 | L(5.19229685853482762853049632922009600E+33), /* 0x406F000000000000, 0 */ |
34 | L(-5.19229685853482762853049632922009600E+33) /* 0xC06F000000000000, 0 */ | |
dfd2257a UD |
35 | }; |
36 | ||
dfd2257a | 37 | long long int |
15089e04 | 38 | __llrintl (_Float128 x) |
dfd2257a | 39 | { |
abfbdde1 | 40 | int32_t j0; |
24ab7723 | 41 | uint64_t i0,i1; |
15089e04 PM |
42 | _Float128 w; |
43 | _Float128 t; | |
abfbdde1 | 44 | long long int result; |
dfd2257a UD |
45 | int sx; |
46 | ||
abfbdde1 UD |
47 | GET_LDOUBLE_WORDS64 (i0, i1, x); |
48 | j0 = ((i0 >> 48) & 0x7fff) - 0x3fff; | |
49 | sx = i0 >> 63; | |
50 | i0 &= 0x0000ffffffffffffLL; | |
51 | i0 |= 0x0001000000000000LL; | |
dfd2257a | 52 | |
cc3fa755 | 53 | if (j0 < (int32_t) (8 * sizeof (long long int)) - 1) |
dfd2257a | 54 | { |
d0d286d3 JM |
55 | #if defined FE_INVALID || defined FE_INEXACT |
56 | /* X < LLONG_MAX + 1 implied by J0 < 63. */ | |
15089e04 | 57 | if (x > (_Float128) LLONG_MAX) |
d0d286d3 JM |
58 | { |
59 | /* In the event of overflow we must raise the "invalid" | |
60 | exception, but not "inexact". */ | |
61 | t = __nearbyintl (x); | |
62 | feraiseexcept (t == LLONG_MAX ? FE_INEXACT : FE_INVALID); | |
63 | } | |
64 | else | |
65 | #endif | |
66 | { | |
67 | w = two112[sx] + x; | |
68 | t = w - two112[sx]; | |
69 | } | |
bd3a1a10 | 70 | GET_LDOUBLE_WORDS64 (i0, i1, t); |
abfbdde1 UD |
71 | j0 = ((i0 >> 48) & 0x7fff) - 0x3fff; |
72 | i0 &= 0x0000ffffffffffffLL; | |
73 | i0 |= 0x0001000000000000LL; | |
dfd2257a | 74 | |
6624dbc0 UD |
75 | if (j0 < 0) |
76 | result = 0; | |
77 | else if (j0 <= 48) | |
abfbdde1 UD |
78 | result = i0 >> (48 - j0); |
79 | else | |
80 | result = ((long long int) i0 << (j0 - 48)) | (i1 >> (112 - j0)); | |
dfd2257a UD |
81 | } |
82 | else | |
83 | { | |
d0d286d3 JM |
84 | /* The number is too large. Unless it rounds to LLONG_MIN, |
85 | FE_INVALID must be raised and the return value is | |
86 | unspecified. */ | |
87 | #if defined FE_INVALID || defined FE_INEXACT | |
15089e04 | 88 | if (x < (_Float128) LLONG_MIN |
02bbfb41 | 89 | && x > (_Float128) LLONG_MIN - 1) |
d0d286d3 JM |
90 | { |
91 | /* If truncation produces LLONG_MIN, the cast will not raise | |
92 | the exception, but may raise "inexact". */ | |
93 | t = __nearbyintl (x); | |
94 | feraiseexcept (t == LLONG_MIN ? FE_INEXACT : FE_INVALID); | |
95 | return LLONG_MIN; | |
96 | } | |
15089e04 | 97 | else if (FIX_LDBL_LLONG_CONVERT_OVERFLOW && x != (_Float128) LLONG_MIN) |
c4d17461 SL |
98 | { |
99 | feraiseexcept (FE_INVALID); | |
100 | return sx == 0 ? LLONG_MAX : LLONG_MIN; | |
101 | } | |
102 | ||
d0d286d3 | 103 | #endif |
dfd2257a UD |
104 | return (long long int) x; |
105 | } | |
106 | ||
107 | return sx ? -result : result; | |
108 | } | |
109 | ||
fd3b4e7c | 110 | libm_alias_ldouble (__llrint, llrint) |