ShuriZma
/
xemu
mirror of https://github.com/xemu-project/xemu.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix softfloat NaN handling. 

git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@2805 c046a42c-6fe2-441c-8c8c-71466251a162
This commit is contained in:
ths 2007-05-11 17:10:14 +00:00
parent 5a1e8ffbe7
commit b645bb4885
1 changed files with 38 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
fpu/softfloat-specialize.h
View File

@ -61,7 +61,11 @@ typedef struct {
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
| The pattern for a default generated single-precision NaN. | The pattern for a default generated single-precision NaN.
*----------------------------------------------------------------------------*/ *----------------------------------------------------------------------------*/
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
#define float32_default_nan 0xFF800000
#else
#define float32_default_nan 0xFFC00000 #define float32_default_nan 0xFFC00000
#endif
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
| Returns 1 if the single-precision floating-point value `a' is a NaN; | Returns 1 if the single-precision floating-point value `a' is a NaN;
@ -70,9 +74,11 @@ typedef struct {
int float32_is_nan( float32 a ) int float32_is_nan( float32 a )
{ {
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
return ( 0xFF000000 < (bits32) ( a<<1 ) ); return ( ( ( a>>22 ) & 0x1FF ) == 0x1FE ) && ( a & 0x003FFFFF );
#else
return ( 0xFF800000 <= (bits32) ( a<<1 ) );
#endif
} }
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
@ -82,9 +88,11 @@ int float32_is_nan( float32 a )
int float32_is_signaling_nan( float32 a ) int float32_is_signaling_nan( float32 a )
{ {
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
return ( 0xFF800000 <= (bits32) ( a<<1 ) );
#else
return ( ( ( a>>22 ) & 0x1FF ) == 0x1FE ) && ( a & 0x003FFFFF ); return ( ( ( a>>22 ) & 0x1FF ) == 0x1FE ) && ( a & 0x003FFFFF );
#endif
} }
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
@ -131,8 +139,13 @@ static float32 propagateFloat32NaN( float32 a, float32 b STATUS_PARAM)
aIsSignalingNaN = float32_is_signaling_nan( a ); aIsSignalingNaN = float32_is_signaling_nan( a );
bIsNaN = float32_is_nan( b ); bIsNaN = float32_is_nan( b );
bIsSignalingNaN = float32_is_signaling_nan( b ); bIsSignalingNaN = float32_is_signaling_nan( b );
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
a &= ~0x00400000;
b &= ~0x00400000;
#else
a |= 0x00400000; a |= 0x00400000;
b |= 0x00400000; b |= 0x00400000;
#endif
if ( aIsSignalingNaN | bIsSignalingNaN ) float_raise( float_flag_invalid STATUS_VAR); if ( aIsSignalingNaN | bIsSignalingNaN ) float_raise( float_flag_invalid STATUS_VAR);
if ( aIsSignalingNaN ) { if ( aIsSignalingNaN ) {
if ( bIsSignalingNaN ) goto returnLargerSignificand; if ( bIsSignalingNaN ) goto returnLargerSignificand;
@ -154,7 +167,11 @@ static float32 propagateFloat32NaN( float32 a, float32 b STATUS_PARAM)
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
| The pattern for a default generated double-precision NaN. | The pattern for a default generated double-precision NaN.
*----------------------------------------------------------------------------*/ *----------------------------------------------------------------------------*/
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
#define float64_default_nan LIT64( 0xFFF0000000000000 )
#else
#define float64_default_nan LIT64( 0xFFF8000000000000 ) #define float64_default_nan LIT64( 0xFFF8000000000000 )
#endif
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
| Returns 1 if the double-precision floating-point value `a' is a NaN; | Returns 1 if the double-precision floating-point value `a' is a NaN;
@ -163,9 +180,13 @@ static float32 propagateFloat32NaN( float32 a, float32 b STATUS_PARAM)
int float64_is_nan( float64 a ) int float64_is_nan( float64 a )
{ {
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
return ( LIT64( 0xFFE0000000000000 ) < (bits64) ( a<<1 ) ); return
( ( ( a>>51 ) & 0xFFF ) == 0xFFE )
&& ( a & LIT64( 0x0007FFFFFFFFFFFF ) );
#else
return ( LIT64( 0xFFF0000000000000 ) <= (bits64) ( a<<1 ) );
#endif
} }
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
@ -175,11 +196,13 @@ int float64_is_nan( float64 a )
int float64_is_signaling_nan( float64 a ) int float64_is_signaling_nan( float64 a )
{ {
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
return ( LIT64( 0xFFF0000000000000 ) <= (bits64) ( a<<1 ) );
#else
return return
( ( ( a>>51 ) & 0xFFF ) == 0xFFE ) ( ( ( a>>51 ) & 0xFFF ) == 0xFFE )
&& ( a & LIT64( 0x0007FFFFFFFFFFFF ) ); && ( a & LIT64( 0x0007FFFFFFFFFFFF ) );
#endif
} }
/*---------------------------------------------------------------------------- /*----------------------------------------------------------------------------
@ -229,8 +252,13 @@ static float64 propagateFloat64NaN( float64 a, float64 b STATUS_PARAM)
aIsSignalingNaN = float64_is_signaling_nan( a ); aIsSignalingNaN = float64_is_signaling_nan( a );
bIsNaN = float64_is_nan( b ); bIsNaN = float64_is_nan( b );
bIsSignalingNaN = float64_is_signaling_nan( b ); bIsSignalingNaN = float64_is_signaling_nan( b );
#if defined(TARGET_MIPS) || defined(TARGET_HPPA)
a &= ~LIT64( 0x0008000000000000 );
b &= ~LIT64( 0x0008000000000000 );
#else
a |= LIT64( 0x0008000000000000 ); a |= LIT64( 0x0008000000000000 );
b |= LIT64( 0x0008000000000000 ); b |= LIT64( 0x0008000000000000 );
#endif
if ( aIsSignalingNaN | bIsSignalingNaN ) float_raise( float_flag_invalid STATUS_VAR); if ( aIsSignalingNaN | bIsSignalingNaN ) float_raise( float_flag_invalid STATUS_VAR);
if ( aIsSignalingNaN ) { if ( aIsSignalingNaN ) {
if ( bIsSignalingNaN ) goto returnLargerSignificand; if ( bIsSignalingNaN ) goto returnLargerSignificand;