1*1bb92983SJerome Forissier // SPDX-License-Identifier: BSD-3-Clause
29403c583SJens Wiklander
39403c583SJens Wiklander /*============================================================================
49403c583SJens Wiklander
59403c583SJens Wiklander This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
69403c583SJens Wiklander Package, Release 3a, by John R. Hauser.
79403c583SJens Wiklander
89403c583SJens Wiklander Copyright 2011, 2012, 2013, 2014 The Regents of the University of California.
99403c583SJens Wiklander All rights reserved.
109403c583SJens Wiklander
119403c583SJens Wiklander Redistribution and use in source and binary forms, with or without
129403c583SJens Wiklander modification, are permitted provided that the following conditions are met:
139403c583SJens Wiklander
149403c583SJens Wiklander 1. Redistributions of source code must retain the above copyright notice,
159403c583SJens Wiklander this list of conditions, and the following disclaimer.
169403c583SJens Wiklander
179403c583SJens Wiklander 2. Redistributions in binary form must reproduce the above copyright notice,
189403c583SJens Wiklander this list of conditions, and the following disclaimer in the documentation
199403c583SJens Wiklander and/or other materials provided with the distribution.
209403c583SJens Wiklander
219403c583SJens Wiklander 3. Neither the name of the University nor the names of its contributors may
229403c583SJens Wiklander be used to endorse or promote products derived from this software without
239403c583SJens Wiklander specific prior written permission.
249403c583SJens Wiklander
259403c583SJens Wiklander THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS "AS IS", AND ANY
269403c583SJens Wiklander EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
279403c583SJens Wiklander WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, ARE
289403c583SJens Wiklander DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY
299403c583SJens Wiklander DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
309403c583SJens Wiklander (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
319403c583SJens Wiklander LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
329403c583SJens Wiklander ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
339403c583SJens Wiklander (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
349403c583SJens Wiklander SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
359403c583SJens Wiklander
369403c583SJens Wiklander =============================================================================*/
379403c583SJens Wiklander
389403c583SJens Wiklander #include <stdbool.h>
399403c583SJens Wiklander #include <stdint.h>
409403c583SJens Wiklander #include "platform.h"
419403c583SJens Wiklander #include "internals.h"
429403c583SJens Wiklander #include "softfloat.h"
439403c583SJens Wiklander
f128_lt(float128_t a,float128_t b)449403c583SJens Wiklander bool f128_lt( float128_t a, float128_t b )
459403c583SJens Wiklander {
469403c583SJens Wiklander union ui128_f128 uA;
479403c583SJens Wiklander uint_fast64_t uiA64, uiA0;
489403c583SJens Wiklander union ui128_f128 uB;
499403c583SJens Wiklander uint_fast64_t uiB64, uiB0;
509403c583SJens Wiklander bool signA, signB;
519403c583SJens Wiklander
529403c583SJens Wiklander uA.f = a;
539403c583SJens Wiklander uiA64 = uA.ui.v64;
549403c583SJens Wiklander uiA0 = uA.ui.v0;
559403c583SJens Wiklander uB.f = b;
569403c583SJens Wiklander uiB64 = uB.ui.v64;
579403c583SJens Wiklander uiB0 = uB.ui.v0;
589403c583SJens Wiklander if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) {
599403c583SJens Wiklander softfloat_raiseFlags( softfloat_flag_invalid );
609403c583SJens Wiklander return false;
619403c583SJens Wiklander }
629403c583SJens Wiklander signA = signF128UI64( uiA64 );
639403c583SJens Wiklander signB = signF128UI64( uiB64 );
649403c583SJens Wiklander return
659403c583SJens Wiklander (signA != signB)
669403c583SJens Wiklander ? signA
679403c583SJens Wiklander && (((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
689403c583SJens Wiklander | uiA0 | uiB0)
699403c583SJens Wiklander : ((uiA64 != uiB64) || (uiA0 != uiB0))
709403c583SJens Wiklander && (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
719403c583SJens Wiklander
729403c583SJens Wiklander }
739403c583SJens Wiklander
74