Virtualization
/
berkeley-softfloat-3
mirror of https://github.com/ucb-bar/berkeley-softfloat-3.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed some bugs affecting a few processors. Reboot the official release 

date (for the last time) to be 2015 Feb 16.
This commit is contained in:
John Hauser 2015-02-19 14:09:32 -08:00
parent 6e7b8b549a
commit c07232ca9e
18 changed files with 79 additions and 72 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
COPYING.txt
View File

@ -2,7 +2,7 @@
License for Berkeley SoftFloat Release 3
John R. Hauser
2015 Jan 9
2015 February 16
The following applies to the whole of SoftFloat Release 3 as well as to each
source file individually.

2
README.html
View File

@ -11,7 +11,7 @@
<P>
John R. Hauser<BR>
2015 Jan 9<BR>
2015 February 16<BR>
</P>
<P>

2
README.txt
View File

@ -2,7 +2,7 @@
Package Overview for Berkeley SoftFloat Release 3
John R. Hauser
2015 Jan 9
2015 February 16
Berkeley SoftFloat is a software implementation of binary floating-point
that conforms to the IEEE Standard for Floating-Point Arithmetic. SoftFloat

4
doc/SoftFloat-history.html
View File

@ -11,11 +11,11 @@
<P>
John R. Hauser<BR>
2015 January 31<BR>
2015 February 16<BR>
</P>
<H3>Release 3 (2015 January)</H3>
<H3>Release 3 (2015 February)</H3>
<UL>

2
doc/SoftFloat-source.html
View File

@ -11,7 +11,7 @@
<P>
John R. Hauser<BR>
2015 Jan 9<BR>
2015 February 16<BR>
</P>

2
doc/SoftFloat.html
View File

@ -11,7 +11,7 @@
<P>
John R. Hauser<BR>
2015 Jan 9<BR>
2015 February 16<BR>
</P>

10
source/extF80M_sqrt.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -135,7 +135,7 @@ void extF80M_sqrt( const extFloat80_t *aPtr, extFloat80_t *zPtr )
/*------------------------------------------------------------------------
*------------------------------------------------------------------------*/
if ( (q & 0xFFFFFF) <= 2 ) {
q &= ~0xFFFF;
q &= ~(uint32_t) 0xFFFF;
extSigZ[indexWordLo( 3 )] = q<<7;
x64 = sig64Z + (q>>27);
term[indexWord( 4, 3 )] = 0;

10
source/extF80_sqrt.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -127,7 +127,7 @@ extFloat80_t extF80_sqrt( extFloat80_t a )
/*------------------------------------------------------------------------
*------------------------------------------------------------------------*/
if ( (q & 0xFFFFFF) <= 2 ) {
q &= ~0xFFFF;
q &= ~(uint_fast64_t) 0xFFFF;
sigZExtra = (uint64_t) (q<<39);
term = softfloat_mul64ByShifted32To128( x64 + (q>>27), q );
x64 = (uint_fast64_t) (uint32_t) (q<<5) * (uint32_t) q;

10
source/s_mulAddF128M.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -241,7 +241,7 @@ void
*----------------------------------------------------------------*/
shiftCount = expDiff & 31;
if ( shiftCount ) {
softfloat_shortShiftRight160M( sigX, expDiff, sigX );
softfloat_shortShiftRight160M( sigX, shiftCount, sigX );
}
expDiff >>= 5;
extSigPtr =

12
source/s_roundPackMToExtF80M.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -171,7 +171,7 @@ void
| extSigPtr[indexWord( 3, 1 )];
if ( doIncrement ) {
++sig;
sig &= ~(! (sigExtra & 0x7FFFFFFF) & roundNearEven);
sig &= ~(uint64_t) (! (sigExtra & 0x7FFFFFFF) & roundNearEven);
exp = ((sig & UINT64_C( 0x8000000000000000 )) != 0);
}
goto packReturn;
@ -211,7 +211,7 @@ void
++exp;
sig = UINT64_C( 0x8000000000000000 );
} else {
sig &= ~(! (sigExtra & 0x7FFFFFFF) & roundNearEven);
sig &= ~(uint64_t) (! (sigExtra & 0x7FFFFFFF) & roundNearEven);
}
}
/*------------------------------------------------------------------------

14
source/s_roundPackToExtF80.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -156,7 +156,8 @@ extFloat80_t
if ( doIncrement ) {
++sig;
sig &=
~(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
~(uint_fast64_t)
(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
& roundNearEven);
exp = ((sig & UINT64_C( 0x8000000000000000 )) != 0);
}
@ -194,7 +195,8 @@ extFloat80_t
sig = UINT64_C( 0x8000000000000000 );
} else {
sig &=
~(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
~(uint_fast64_t)
(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
& roundNearEven);
}
} else {

11
source/s_roundPackToF128.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -130,7 +130,8 @@ float128_t
sig64 = sig128.v64;
sig0 =
sig128.v0
& ~(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
& ~(uint64_t)
(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
& roundNearEven);
} else {
if ( ! (sig64 | sig0) ) exp = 0;

10
source/s_roundPackToF32.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -80,7 +80,7 @@ float32_t
}
if ( roundBits ) softfloat_exceptionFlags |= softfloat_flag_inexact;
sig = (sig + roundIncrement)>>7;
sig &= ~(! (roundBits ^ 0x40) & roundNearEven);
sig &= ~(uint_fast32_t) (! (roundBits ^ 0x40) & roundNearEven);
uiZ = packToF32UI( sign, sig ? exp : 0, sig );
uiZ:
uZ.ui = uiZ;

10
source/s_roundPackToF64.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -83,7 +83,7 @@ float64_t
}
if ( roundBits ) softfloat_exceptionFlags |= softfloat_flag_inexact;
sig = (sig + roundIncrement)>>10;
sig &= ~(! (roundBits ^ 0x200) & roundNearEven);
sig &= ~(uint_fast64_t) (! (roundBits ^ 0x200) & roundNearEven);
uiZ = packToF64UI( sign, sig ? exp : 0, sig );
uiZ:
uZ.ui = uiZ;

10
source/s_roundPackToI32.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -60,7 +60,7 @@ int_fast32_t
sig += roundIncrement;
if ( sig & UINT64_C( 0xFFFFFF8000000000 ) ) goto invalid;
sig32 = sig>>7;
sig32 &= ~(! (roundBits ^ 0x40) & roundNearEven);
sig32 &= ~(uint_fast32_t) (! (roundBits ^ 0x40) & roundNearEven);
uZ.ui = sign ? -sig32 : sig32;
z = uZ.i;
if ( z && ((z < 0) ^ sign) ) goto invalid;

12
source/s_roundPackToI64.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -62,7 +62,9 @@ int_fast64_t
++sig;
if ( ! sig ) goto invalid;
sig &=
~(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF )) & roundNearEven);
~(uint_fast64_t)
(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
& roundNearEven);
}
uZ.ui = sign ? -sig : sig;
z = uZ.i;

10
source/s_roundPackToUI32.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -58,7 +58,7 @@ uint_fast32_t
sig += roundIncrement;
if ( sig & UINT64_C( 0xFFFFFF8000000000 ) ) goto invalid;
z = sig>>7;
z &= ~(! (roundBits ^ 0x40) & roundNearEven);
z &= ~(uint_fast32_t) (! (roundBits ^ 0x40) & roundNearEven);
if ( sign && z ) goto invalid;
if ( exact && roundBits ) {
softfloat_exceptionFlags |= softfloat_flag_inexact;

12
source/s_roundPackToUI64.c
View File

@ -4,10 +4,10 @@
This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic
Package, Release 3, by John R. Hauser.
Copyright 2011, 2012, 2013, 2014 The Regents of the University of California
(Regents). All Rights Reserved. Redistribution and use in source and binary
forms, with or without modification, are permitted provided that the following
conditions are met:
Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of
California (Regents). 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 two paragraphs of disclaimer.
@ -60,7 +60,9 @@ uint_fast64_t
++sig;
if ( ! sig ) goto invalid;
sig &=
~(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF )) & roundNearEven);
~(uint_fast64_t)
(! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
& roundNearEven);
}
if ( sign && sig ) goto invalid;
if ( exact && sigExtra ) {