]> git.ipfire.org Git - thirdparty/glibc.git/blame - sysdeps/ieee754/ldbl-128/s_totalorderl.c
Add totalorder, totalorderf, totalorderl.
[thirdparty/glibc.git] / sysdeps / ieee754 / ldbl-128 / s_totalorderl.c
CommitLineData
5e9d98a3
JM
1/* Total order operation. ldbl-128 version.
2 Copyright (C) 2016 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 <math.h>
20#include <math_private.h>
21#include <stdint.h>
22
23int
24totalorderl (_Float128 x, _Float128 y)
25{
26 int64_t hx, hy;
27 uint64_t lx, ly;
28 GET_LDOUBLE_WORDS64 (hx, lx, x);
29 GET_LDOUBLE_WORDS64 (hy, ly, y);
30#ifdef HIGH_ORDER_BIT_IS_SET_FOR_SNAN
31 uint64_t uhx = hx & 0x7fffffffffffffffULL;
32 uint64_t uhy = hy & 0x7fffffffffffffffULL;
33 /* For the preferred quiet NaN convention, this operation is a
34 comparison of the representations of the arguments interpreted as
35 sign-magnitude integers. If both arguments are NaNs, invert the
36 quiet/signaling bit so comparing that way works. */
37 if ((uhx > 0x7fff000000000000ULL || (uhx == 0x7fff000000000000ULL
38 && lx != 0))
39 && (uhy > 0x7fff000000000000ULL || (uhy == 0x7fff000000000000ULL
40 && ly != 0)))
41 {
42 hx ^= 0x0000800000000000ULL;
43 hy ^= 0x0000800000000000ULL;
44 }
45#endif
46 uint64_t hx_sign = hx >> 63;
47 uint64_t hy_sign = hy >> 63;
48 hx ^= hx_sign >> 1;
49 lx ^= hx_sign;
50 hy ^= hy_sign >> 1;
51 ly ^= hy_sign;
52 return hx < hy || (hx == hy && lx <= ly);
53}