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
449403c583SJens Wiklander #ifdef SOFTFLOAT_FAST_INT64
459403c583SJens Wiklander
f128M_le(const float128_t * aPtr,const float128_t * bPtr)469403c583SJens Wiklander bool f128M_le( const float128_t *aPtr, const float128_t *bPtr )
479403c583SJens Wiklander {
489403c583SJens Wiklander
499403c583SJens Wiklander return f128_le( *aPtr, *bPtr );
509403c583SJens Wiklander
519403c583SJens Wiklander }
529403c583SJens Wiklander
539403c583SJens Wiklander #else
549403c583SJens Wiklander
f128M_le(const float128_t * aPtr,const float128_t * bPtr)559403c583SJens Wiklander bool f128M_le( const float128_t *aPtr, const float128_t *bPtr )
569403c583SJens Wiklander {
579403c583SJens Wiklander const uint32_t *aWPtr, *bWPtr;
589403c583SJens Wiklander uint32_t uiA96, uiB96;
599403c583SJens Wiklander bool signA, signB;
609403c583SJens Wiklander uint32_t wordA, wordB;
619403c583SJens Wiklander
629403c583SJens Wiklander aWPtr = (const uint32_t *) aPtr;
639403c583SJens Wiklander bWPtr = (const uint32_t *) bPtr;
649403c583SJens Wiklander if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) {
659403c583SJens Wiklander softfloat_raiseFlags( softfloat_flag_invalid );
669403c583SJens Wiklander return false;
679403c583SJens Wiklander }
689403c583SJens Wiklander uiA96 = aWPtr[indexWordHi( 4 )];
699403c583SJens Wiklander uiB96 = bWPtr[indexWordHi( 4 )];
709403c583SJens Wiklander signA = signF128UI96( uiA96 );
719403c583SJens Wiklander signB = signF128UI96( uiB96 );
729403c583SJens Wiklander if ( signA != signB ) {
739403c583SJens Wiklander if ( signA ) return true;
749403c583SJens Wiklander if ( (uiA96 | uiB96) & 0x7FFFFFFF ) return false;
759403c583SJens Wiklander wordA = aWPtr[indexWord( 4, 2 )];
769403c583SJens Wiklander wordB = bWPtr[indexWord( 4, 2 )];
779403c583SJens Wiklander if ( wordA | wordB ) return false;
789403c583SJens Wiklander wordA = aWPtr[indexWord( 4, 1 )];
799403c583SJens Wiklander wordB = bWPtr[indexWord( 4, 1 )];
809403c583SJens Wiklander if ( wordA | wordB ) return false;
819403c583SJens Wiklander wordA = aWPtr[indexWord( 4, 0 )];
829403c583SJens Wiklander wordB = bWPtr[indexWord( 4, 0 )];
839403c583SJens Wiklander return ((wordA | wordB) == 0);
849403c583SJens Wiklander }
859403c583SJens Wiklander if ( signA ) {
869403c583SJens Wiklander aWPtr = (const uint32_t *) bPtr;
879403c583SJens Wiklander bWPtr = (const uint32_t *) aPtr;
889403c583SJens Wiklander }
899403c583SJens Wiklander return (softfloat_compare128M( aWPtr, bWPtr ) <= 0);
909403c583SJens Wiklander
919403c583SJens Wiklander }
929403c583SJens Wiklander
939403c583SJens Wiklander #endif
949403c583SJens Wiklander
95