1 | /* Total order operation. ldbl-96 version. |
2 | Copyright (C) 2016-2018 Free Software Foundation, Inc. |
3 | This file is part of the GNU C Library. |
4 | |
5 | The GNU C Library is free software; you can redistribute it and/or |
6 | modify it under the terms of the GNU Lesser General Public |
7 | License as published by the Free Software Foundation; either |
8 | version 2.1 of the License, or (at your option) any later version. |
9 | |
10 | The GNU C Library is distributed in the hope that it will be useful, |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
13 | Lesser General Public License for more details. |
14 | |
15 | You should have received a copy of the GNU Lesser General Public |
16 | License along with the GNU C Library; if not, see |
17 | <http://www.gnu.org/licenses/>. */ |
18 | |
19 | #include <float.h> |
20 | #include <math.h> |
21 | #include <math_private.h> |
22 | #include <libm-alias-ldouble.h> |
23 | #include <nan-high-order-bit.h> |
24 | #include <stdint.h> |
25 | |
26 | int |
27 | __totalorderl (long double x, long double y) |
28 | { |
29 | int16_t expx, expy; |
30 | uint32_t hx, hy; |
31 | uint32_t lx, ly; |
32 | GET_LDOUBLE_WORDS (expx, hx, lx, x); |
33 | GET_LDOUBLE_WORDS (expy, hy, ly, y); |
34 | if (LDBL_MIN_EXP == -16382) |
35 | { |
36 | /* M68K variant: for the greatest exponent, the high mantissa |
37 | bit is not significant and both values of it are valid, so |
38 | set it before comparing. For the Intel variant, only one |
39 | value of the high mantissa bit is valid for each exponent, so |
40 | this is not necessary. */ |
41 | if ((expx & 0x7fff) == 0x7fff) |
42 | hx |= 0x80000000; |
43 | if ((expy & 0x7fff) == 0x7fff) |
44 | hy |= 0x80000000; |
45 | } |
46 | #if HIGH_ORDER_BIT_IS_SET_FOR_SNAN |
47 | # error not implemented |
48 | #endif |
49 | uint32_t x_sign = expx >> 15; |
50 | uint32_t y_sign = expy >> 15; |
51 | expx ^= x_sign >> 17; |
52 | hx ^= x_sign; |
53 | lx ^= x_sign; |
54 | expy ^= y_sign >> 17; |
55 | hy ^= y_sign; |
56 | ly ^= y_sign; |
57 | return expx < expy || (expx == expy && (hx < hy || (hx == hy && lx <= ly))); |
58 | } |
59 | libm_alias_ldouble (__totalorder, totalorder) |
60 | |