1/* Total order operation. dbl-64/wordsize-64 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
25totalorder (double x, double y)
26{
27 int64_t ix, iy;
28 EXTRACT_WORDS64 (ix, x);
29 EXTRACT_WORDS64 (iy, y);
30#if HIGH_ORDER_BIT_IS_SET_FOR_SNAN
31 /* For the preferred quiet NaN convention, this operation is a
32 comparison of the representations of the arguments interpreted as
33 sign-magnitude integers. If both arguments are NaNs, invert the
34 quiet/signaling bit so comparing that way works. */
35 if ((ix & 0x7fffffffffffffffULL) > 0x7ff0000000000000ULL
36 && (iy & 0x7fffffffffffffffULL) > 0x7ff0000000000000ULL)
37 {
38 ix ^= 0x0008000000000000ULL;
39 iy ^= 0x0008000000000000ULL;
40 }
41#endif
42 uint64_t ix_sign = ix >> 63;
43 uint64_t iy_sign = iy >> 63;
44 ix ^= ix_sign >> 1;
45 iy ^= iy_sign >> 1;
46 return ix <= iy;
47}
48#ifdef NO_LONG_DOUBLE
49weak_alias (totalorder, totalorderl)
50#endif
51