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
f32_lt(float32_t a,float32_t b)449403c583SJens Wiklander bool f32_lt( float32_t a, float32_t b )
459403c583SJens Wiklander {
469403c583SJens Wiklander union ui32_f32 uA;
479403c583SJens Wiklander uint_fast32_t uiA;
489403c583SJens Wiklander union ui32_f32 uB;
499403c583SJens Wiklander uint_fast32_t uiB;
509403c583SJens Wiklander bool signA, signB;
519403c583SJens Wiklander
529403c583SJens Wiklander uA.f = a;
539403c583SJens Wiklander uiA = uA.ui;
549403c583SJens Wiklander uB.f = b;
559403c583SJens Wiklander uiB = uB.ui;
569403c583SJens Wiklander if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) {
579403c583SJens Wiklander softfloat_raiseFlags( softfloat_flag_invalid );
589403c583SJens Wiklander return false;
599403c583SJens Wiklander }
609403c583SJens Wiklander signA = signF32UI( uiA );
619403c583SJens Wiklander signB = signF32UI( uiB );
629403c583SJens Wiklander return
639403c583SJens Wiklander (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0)
649403c583SJens Wiklander : (uiA != uiB) && (signA ^ (uiA < uiB));
659403c583SJens Wiklander
669403c583SJens Wiklander }
679403c583SJens Wiklander
68