source: mainline/softfloat/generic/conversion.c@ 4a5abddd

/*
 * Copyright (C) 2005 Josef Cejka
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - 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.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``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 AUTHOR 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 "sftypes.h"
#include "conversion.h"

float64 convertFloat32ToFloat64(float32 a) 
{
        float64 result;
        __u64 mant;
        
        result.parts.sign = a.parts.sign;
        result.parts.mantisa = a.parts.mantisa;
        result.parts.mantisa <<= (FLOAT64_MANTISA_SIZE - FLOAT32_MANTISA_SIZE );
        
        if ((isFloat32Infinity(a))||(isFloat32NaN(a))) {
                result.parts.exp = 0x7FF;
                /* TODO; check if its correct for SigNaNs*/
                return result;
        };
        
        result.parts.exp = a.parts.exp + ( (int)FLOAT64_BIAS - FLOAT32_BIAS );
        if (a.parts.exp == 0) {
                /* normalize denormalized numbers */

                if (result.parts.mantisa == 0ll) { /* fix zero */
                        result.parts.exp = 0ll;
                        return result;
                }
                        
                mant = result.parts.mantisa;
                
                while (!(mant & (0x10000000000000ll))) {
                        mant <<= 1;
                        --result.parts.exp;
                };
                
                ++result.parts.exp;
                result.parts.mantisa = mant;
        };
        
        return result;
        
};

float32 convertFloat64ToFloat32(float64 a) 
{
        float32 result;
        __s32 exp;
        __u64 mant;
        
        result.parts.sign = a.parts.sign;
        
        if (isFloat64NaN(a)) {
                
                result.parts.exp = 0xFF;
                
                if (isFloat64SigNaN(a)) {
                        result.parts.mantisa = 0x800000; /* set first bit of mantisa nonzero */
                        return result;
                }
        
                result.parts.mantisa = 0x1; /* mantisa nonzero but its first bit is zero */
                return result;
        };

        if (isFloat64Infinity(a)) {
                result.parts.mantisa = 0;
                result.parts.exp = 0xFF;
                return result;
        };

        exp = (int)a.parts.exp - FLOAT64_BIAS + FLOAT32_BIAS;
        
        if (exp >= 0xFF) {
                /*FIXME: overflow*/
                result.parts.mantisa = 0;
                result.parts.exp = 0xFF;
                return result;
                
        } else if (exp <= 0 ) {
                
                /* underflow or denormalized */
                
                result.parts.exp = 0;
                
                exp *= -1;      
                if (exp > FLOAT32_MANTISA_SIZE ) {
                        /* FIXME: underflow */
                        result.parts.mantisa = 0;
                        return result;
                };
                
                /* denormalized */
                
                mant = a.parts.mantisa; 
                mant |= 0x10000000000000ll; /* denormalize and set hidden bit */
                
                mant >>= (FLOAT64_MANTISA_SIZE - FLOAT32_MANTISA_SIZE + 1);
                
                while (exp > 0) {
                        --exp;
                        mant >>= 1;
                };
                result.parts.mantisa = mant;
                
                return result;
        };

        result.parts.exp = exp;
        result.parts.mantisa = a.parts.mantisa >> (FLOAT64_MANTISA_SIZE - FLOAT32_MANTISA_SIZE);
        return result;
};