xref: /optee_os/lib/libutils/isoc/arch/arm/softfloat/source/s_roundPackToI32.c (revision 1bb929836182ecb96d2d9d268daa807c67596396)
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, 2015 The Regents of the University of
99403c583SJens Wiklander California.  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 int_fast32_t
softfloat_roundPackToI32(bool sign,uint_fast64_t sig,uint_fast8_t roundingMode,bool exact)459403c583SJens Wiklander  softfloat_roundPackToI32(
469403c583SJens Wiklander      bool sign, uint_fast64_t sig, uint_fast8_t roundingMode, bool exact )
479403c583SJens Wiklander {
489403c583SJens Wiklander     bool roundNearEven;
499403c583SJens Wiklander     uint_fast8_t roundIncrement, roundBits;
509403c583SJens Wiklander     uint_fast32_t sig32;
519403c583SJens Wiklander     union { uint32_t ui; int32_t i; } uZ;
529403c583SJens Wiklander     int_fast32_t z;
539403c583SJens Wiklander 
549403c583SJens Wiklander     roundNearEven = (roundingMode == softfloat_round_near_even);
559403c583SJens Wiklander     roundIncrement = 0x40;
569403c583SJens Wiklander     if ( ! roundNearEven && (roundingMode != softfloat_round_near_maxMag) ) {
579403c583SJens Wiklander         roundIncrement =
589403c583SJens Wiklander             (roundingMode
599403c583SJens Wiklander                  == (sign ? softfloat_round_min : softfloat_round_max))
609403c583SJens Wiklander                 ? 0x7F
619403c583SJens Wiklander                 : 0;
629403c583SJens Wiklander     }
639403c583SJens Wiklander     roundBits = sig & 0x7F;
649403c583SJens Wiklander     sig += roundIncrement;
659403c583SJens Wiklander     if ( sig & UINT64_C( 0xFFFFFF8000000000 ) ) goto invalid;
669403c583SJens Wiklander     sig32 = sig>>7;
679403c583SJens Wiklander     sig32 &= ~(uint_fast32_t) (! (roundBits ^ 0x40) & roundNearEven);
689403c583SJens Wiklander     uZ.ui = sign ? -sig32 : sig32;
699403c583SJens Wiklander     z = uZ.i;
709403c583SJens Wiklander     if ( z && ((z < 0) ^ sign) ) goto invalid;
719403c583SJens Wiklander     if ( exact && roundBits ) {
729403c583SJens Wiklander         softfloat_exceptionFlags |= softfloat_flag_inexact;
739403c583SJens Wiklander     }
749403c583SJens Wiklander     return z;
759403c583SJens Wiklander  invalid:
769403c583SJens Wiklander     softfloat_raiseFlags( softfloat_flag_invalid );
779403c583SJens Wiklander     return sign ? -0x7FFFFFFF - 1 : 0x7FFFFFFF;
789403c583SJens Wiklander 
799403c583SJens Wiklander }
809403c583SJens Wiklander 
81