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