diff options
Diffstat (limited to 'softfloat/f64_to_i64_r_minMag.c')
-rw-r--r--[-rwxr-xr-x] | softfloat/f64_to_i64_r_minMag.c | 154 |
1 files changed, 100 insertions, 54 deletions
diff --git a/softfloat/f64_to_i64_r_minMag.c b/softfloat/f64_to_i64_r_minMag.c index 21faf6e..65d6491 100755..100644 --- a/softfloat/f64_to_i64_r_minMag.c +++ b/softfloat/f64_to_i64_r_minMag.c @@ -1,54 +1,100 @@ -// See LICENSE.SoftFloat for license details. - -
-#include <stdbool.h>
-#include <stdint.h>
-#include "platform.h"
-#include "internals.h"
-#include "softfloat.h"
-
-int_fast64_t f64_to_i64_r_minMag( float64_t a, bool exact )
-{
- union ui64_f64 uA;
- uint_fast64_t uiA;
- bool sign;
- int_fast16_t exp;
- uint_fast64_t sig;
- int_fast16_t shiftCount;
- int_fast64_t absZ;
-
- uA.f = a;
- uiA = uA.ui;
- sign = signF64UI( uiA );
- exp = expF64UI( uiA );
- sig = fracF64UI( uiA );
- shiftCount = exp - 0x433;
- if ( 0 <= shiftCount ) {
- if ( 0x43E <= exp ) {
- if ( uiA != packToF64UI( 1, 0x43E, 0 ) ) {
- softfloat_raiseFlags( softfloat_flag_invalid );
- if ( ! sign || ( ( exp == 0x7FF ) && sig ) ) {
- return INT64_C( 0x7FFFFFFFFFFFFFFF );
- }
- }
- return - INT64_C( 0x7FFFFFFFFFFFFFFF ) - 1;
- }
- sig |= UINT64_C( 0x0010000000000000 );
- absZ = sig<<shiftCount;
- } else {
- if ( exp < 0x3FF ) {
- if ( exact && ( exp | sig ) ) {
- softfloat_raiseFlags( softfloat_flag_inexact );
- }
- return 0;
- }
- sig |= UINT64_C( 0x0010000000000000 );
- absZ = sig>>( - shiftCount );
- if ( exact && (uint64_t) ( sig<<( shiftCount & 63 ) ) ) {
- softfloat_raiseFlags( softfloat_flag_inexact );
- }
- }
- return sign ? - absZ : absZ;
-
-}
-
+ +/*============================================================================ + +This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic +Package, Release 3e, by John R. Hauser. + +Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University of +California. All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + + 1. Redistributions of source code must retain the above copyright notice, + this list of conditions, and the following disclaimer. + + 2. Redistributions in binary form must reproduce the above copyright notice, + this list of conditions, and the following disclaimer in the documentation + and/or other materials provided with the distribution. + + 3. Neither the name of the University nor the names of its contributors may + be used to endorse or promote products derived from this software without + specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS "AS IS", AND ANY +EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED +WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, ARE +DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY +DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES +(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; +LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND +ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +=============================================================================*/ + +#include <stdbool.h> +#include <stdint.h> +#include "platform.h" +#include "internals.h" +#include "specialize.h" +#include "softfloat.h" + +int_fast64_t f64_to_i64_r_minMag( float64_t a, bool exact ) +{ + union ui64_f64 uA; + uint_fast64_t uiA; + bool sign; + int_fast16_t exp; + uint_fast64_t sig; + int_fast16_t shiftDist; + int_fast64_t absZ; + + /*------------------------------------------------------------------------ + *------------------------------------------------------------------------*/ + uA.f = a; + uiA = uA.ui; + sign = signF64UI( uiA ); + exp = expF64UI( uiA ); + sig = fracF64UI( uiA ); + /*------------------------------------------------------------------------ + *------------------------------------------------------------------------*/ + shiftDist = 0x433 - exp; + if ( shiftDist <= 0 ) { + /*-------------------------------------------------------------------- + *--------------------------------------------------------------------*/ + if ( shiftDist < -10 ) { + if ( uiA == packToF64UI( 1, 0x43E, 0 ) ) { + return -INT64_C( 0x7FFFFFFFFFFFFFFF ) - 1; + } + softfloat_raiseFlags( softfloat_flag_invalid ); + return + (exp == 0x7FF) && sig ? i64_fromNaN + : sign ? i64_fromNegOverflow : i64_fromPosOverflow; + } + /*-------------------------------------------------------------------- + *--------------------------------------------------------------------*/ + sig |= UINT64_C( 0x0010000000000000 ); + absZ = sig<<-shiftDist; + } else { + /*-------------------------------------------------------------------- + *--------------------------------------------------------------------*/ + if ( 53 <= shiftDist ) { + if ( exact && (exp | sig) ) { + softfloat_raiseFlags( softfloat_flag_inexact ); + } + return 0; + } + /*-------------------------------------------------------------------- + *--------------------------------------------------------------------*/ + sig |= UINT64_C( 0x0010000000000000 ); + absZ = sig>>shiftDist; + if ( exact && (absZ<<shiftDist != sig) ) { + softfloat_raiseFlags( softfloat_flag_inexact ); + } + } + return sign ? -absZ : absZ; + +} + |