xref: /optee_os/lib/libutils/isoc/arch/arm/softfloat/source/s_roundPackMToUI64.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 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 uint_fast64_t
softfloat_roundPackMToUI64(bool sign,uint32_t * extSigPtr,uint_fast8_t roundingMode,bool exact)459403c583SJens Wiklander  softfloat_roundPackMToUI64(
469403c583SJens Wiklander      bool sign, uint32_t *extSigPtr, uint_fast8_t roundingMode, bool exact )
479403c583SJens Wiklander {
489403c583SJens Wiklander     bool roundNearEven;
499403c583SJens Wiklander     uint32_t sigExtra;
509403c583SJens Wiklander     bool doIncrement;
519403c583SJens Wiklander     uint64_t sig;
529403c583SJens Wiklander 
539403c583SJens Wiklander     roundNearEven = (roundingMode == softfloat_round_near_even);
549403c583SJens Wiklander     sigExtra = extSigPtr[indexWordLo( 3 )];
559403c583SJens Wiklander     doIncrement = (0x80000000 <= sigExtra);
569403c583SJens Wiklander     if ( ! roundNearEven && (roundingMode != softfloat_round_near_maxMag) ) {
579403c583SJens Wiklander         doIncrement =
589403c583SJens Wiklander             (roundingMode
599403c583SJens Wiklander                  == (sign ? softfloat_round_min : softfloat_round_max))
609403c583SJens Wiklander                 && sigExtra;
619403c583SJens Wiklander     }
629403c583SJens Wiklander     sig =
639403c583SJens Wiklander         (uint64_t) extSigPtr[indexWord( 3, 2 )]<<32
649403c583SJens Wiklander             | extSigPtr[indexWord( 3, 1 )];
659403c583SJens Wiklander     if ( doIncrement ) {
669403c583SJens Wiklander         ++sig;
679403c583SJens Wiklander         if ( ! sig ) goto invalid;
689403c583SJens Wiklander         if ( ! (sigExtra & 0x7FFFFFFF) && roundNearEven ) sig &= ~1;
699403c583SJens Wiklander     }
709403c583SJens Wiklander     if ( sign && sig ) goto invalid;
719403c583SJens Wiklander     if ( exact && sigExtra ) {
729403c583SJens Wiklander         softfloat_exceptionFlags |= softfloat_flag_inexact;
739403c583SJens Wiklander     }
749403c583SJens Wiklander     return sig;
759403c583SJens Wiklander  invalid:
769403c583SJens Wiklander     softfloat_raiseFlags( softfloat_flag_invalid );
779403c583SJens Wiklander     return UINT64_C( 0xFFFFFFFFFFFFFFFF );
789403c583SJens Wiklander 
799403c583SJens Wiklander }
809403c583SJens Wiklander 
81