float_raise( float_flag_invalid ); 
roundData->exception |= float_flag_invalid; 
float32 float32_mul( float32 a, float32 b ){    flag aSign, bSign, zSign;    int16 aExp, bExp, zExp;    bits32 aSig, bSig;    bits64 zSig64;    bits32 zSig;    aSig = extractFloat32Frac( a );    aExp = extractFloat32Exp( a );    aSign = extractFloat32Sign( a );    bSig = extractFloat32Frac( b );    bExp = extractFloat32Exp( b );    bSign = extractFloat32Sign( b );    zSign = aSign ^ bSign;    if ( aExp == 0xFF ) {        if ( aSig || ( ( bExp == 0xFF ) && bSig ) ) {            return propagateFloat32NaN( a, b );        }        if ( ( bExp | bSig ) == 0 ) {            float_raise( float_flag_invalid );            return float32_default_nan;        }        return packFloat32( zSign, 0xFF, 0 );    }    if ( bExp == 0xFF ) {        if ( bSig ) return propagateFloat32NaN( a, b );        if ( ( aExp | aSig ) == 0 ) {            float_raise( float_flag_invalid );            return float32_default_nan;        }        return packFloat32( zSign, 0xFF, 0 );    }    if ( aExp == 0 ) {        if ( aSig == 0 ) return packFloat32( zSign, 0, 0 );        normalizeFloat32Subnormal( aSig, &aExp, &aSig );    }    if ( bExp == 0 ) {        if ( bSig == 0 ) return packFloat32( zSign, 0, 0 );        normalizeFloat32Subnormal( bSig, &bExp, &bSig );    }    zExp = aExp + bExp - 0x7F;    aSig = ( aSig | 0x00800000 )<<7;    bSig = ( bSig | 0x00800000 )<<8;    shift64RightJamming( ( (bits64) aSig ) * bSig, 32, &zSig64 );    zSig = zSig64;    if ( 0 <= (sbits32) ( zSig<<1 ) ) {        zSig <<= 1;        --zExp;    }    return roundAndPackFloat32( zSign, zExp, zSig );}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/softfloat.c/clean/arch/arm/nwfpe/softfloat.c