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 uint_fast64_t softfloat_roundPackToUI64(bool sign,uint_fast64_t sig,uint_fast64_t sigExtra,uint_fast8_t roundingMode,bool exact)459403c583SJens Wiklander softfloat_roundPackToUI64( 469403c583SJens Wiklander bool sign, 479403c583SJens Wiklander uint_fast64_t sig, 489403c583SJens Wiklander uint_fast64_t sigExtra, 499403c583SJens Wiklander uint_fast8_t roundingMode, 509403c583SJens Wiklander bool exact 519403c583SJens Wiklander ) 529403c583SJens Wiklander { 539403c583SJens Wiklander bool roundNearEven, doIncrement; 549403c583SJens Wiklander 559403c583SJens Wiklander roundNearEven = (roundingMode == softfloat_round_near_even); 569403c583SJens Wiklander doIncrement = (UINT64_C( 0x8000000000000000 ) <= sigExtra); 579403c583SJens Wiklander if ( ! roundNearEven && (roundingMode != softfloat_round_near_maxMag) ) { 589403c583SJens Wiklander doIncrement = 599403c583SJens Wiklander (roundingMode 609403c583SJens Wiklander == (sign ? softfloat_round_min : softfloat_round_max)) 619403c583SJens Wiklander && sigExtra; 629403c583SJens Wiklander } 639403c583SJens Wiklander if ( doIncrement ) { 649403c583SJens Wiklander ++sig; 659403c583SJens Wiklander if ( ! sig ) goto invalid; 669403c583SJens Wiklander sig &= 679403c583SJens Wiklander ~(uint_fast64_t) 689403c583SJens Wiklander (! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 699403c583SJens Wiklander & roundNearEven); 709403c583SJens Wiklander } 719403c583SJens Wiklander if ( sign && sig ) goto invalid; 729403c583SJens Wiklander if ( exact && sigExtra ) { 739403c583SJens Wiklander softfloat_exceptionFlags |= softfloat_flag_inexact; 749403c583SJens Wiklander } 759403c583SJens Wiklander return sig; 769403c583SJens Wiklander invalid: 779403c583SJens Wiklander softfloat_raiseFlags( softfloat_flag_invalid ); 789403c583SJens Wiklander return UINT64_C( 0xFFFFFFFFFFFFFFFF ); 799403c583SJens Wiklander 809403c583SJens Wiklander } 819403c583SJens Wiklander 82