![Maciej W. Rozycki](/assets/img/avatar_default.png)
Implement IEEE Std 754-2008 NaN encoding wired to the state of the FCSR.NAN2008 bit. Make the interpretation of the quiet bit in NaN data as follows: * in the legacy mode originally defined by the MIPS architecture the value of 1 denotes an sNaN whereas the value of 0 denotes a qNaN, * in the 2008 mode introduced with revision 5 of the MIPS architecture the value of 0 denotes an sNaN whereas the value of 1 denotes a qNaN, following the definition of the preferred NaN encoding introduced with IEEE Std 754-2008. In the 2008 mode, following the requirement of the said standard, quiet an sNaN where needed by setting the quiet bit to 1 and leaving all the NaN payload bits unchanged. Update format conversion operations according to the rules set by IEEE Std 754-2008 and the MIPS architecture. Specifically: * propagate NaN payload bits through conversions between floating-point formats such that as much information as possible is preserved and specifically a conversion from a narrower format to a wider format and then back to the original format does not change a qNaN payload in any way, * conversions from a floating-point to an integer format where the source is a NaN, infinity or a value that would convert to an integer outside the range of the result format produce, under the default exception handling, the respective values defined by the MIPS architecture. In full FPU emulation set the FIR.HAS2008 bit to 1, however do not make any further FCSR bits writable. Signed-off-by: Maciej W. Rozycki <macro@imgtec.com> Cc: Andrew Morton <akpm@linux-foundation.org> Cc: Matthew Fortune <Matthew.Fortune@imgtec.com> Cc: linux-mips@linux-mips.org Cc: linux-kernel@vger.kernel.org Patchwork: https://patchwork.linux-mips.org/patch/11477/ Signed-off-by: Ralf Baechle <ralf@linux-mips.org>
97 lines
3.5 KiB
C
97 lines
3.5 KiB
C
/* ieee754 floating point arithmetic
|
|
* single and double precision
|
|
*
|
|
* BUGS
|
|
* not much dp done
|
|
* doesn't generate IEEE754_INEXACT
|
|
*
|
|
*/
|
|
/*
|
|
* MIPS floating point support
|
|
* Copyright (C) 1994-2000 Algorithmics Ltd.
|
|
*
|
|
* This program is free software; you can distribute it and/or modify it
|
|
* under the terms of the GNU General Public License (Version 2) as
|
|
* published by the Free Software Foundation.
|
|
*
|
|
* This program is distributed in the hope it will be useful, but WITHOUT
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
* for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License along
|
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
|
* 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
*/
|
|
|
|
#include <linux/compiler.h>
|
|
|
|
#include "ieee754.h"
|
|
#include "ieee754sp.h"
|
|
#include "ieee754dp.h"
|
|
|
|
/*
|
|
* Special constants
|
|
*/
|
|
|
|
/*
|
|
* Older GCC requires the inner braces for initialization of union ieee754dp's
|
|
* anonymous struct member. Without an error will result.
|
|
*/
|
|
#define xPCNST(s, b, m, ebias) \
|
|
{ \
|
|
{ \
|
|
.sign = (s), \
|
|
.bexp = (b) + ebias, \
|
|
.mant = (m) \
|
|
} \
|
|
}
|
|
|
|
#define DPCNST(s, b, m) \
|
|
xPCNST(s, b, m, DP_EBIAS)
|
|
|
|
const union ieee754dp __ieee754dp_spcvals[] = {
|
|
DPCNST(0, DP_EMIN - 1, 0x0000000000000ULL), /* + zero */
|
|
DPCNST(1, DP_EMIN - 1, 0x0000000000000ULL), /* - zero */
|
|
DPCNST(0, 0, 0x0000000000000ULL), /* + 1.0 */
|
|
DPCNST(1, 0, 0x0000000000000ULL), /* - 1.0 */
|
|
DPCNST(0, 3, 0x4000000000000ULL), /* + 10.0 */
|
|
DPCNST(1, 3, 0x4000000000000ULL), /* - 10.0 */
|
|
DPCNST(0, DP_EMAX + 1, 0x0000000000000ULL), /* + infinity */
|
|
DPCNST(1, DP_EMAX + 1, 0x0000000000000ULL), /* - infinity */
|
|
DPCNST(0, DP_EMAX + 1, 0x7FFFFFFFFFFFFULL), /* + ind legacy qNaN */
|
|
DPCNST(0, DP_EMAX + 1, 0x8000000000000ULL), /* + indef 2008 qNaN */
|
|
DPCNST(0, DP_EMAX, 0xFFFFFFFFFFFFFULL), /* + max */
|
|
DPCNST(1, DP_EMAX, 0xFFFFFFFFFFFFFULL), /* - max */
|
|
DPCNST(0, DP_EMIN, 0x0000000000000ULL), /* + min normal */
|
|
DPCNST(1, DP_EMIN, 0x0000000000000ULL), /* - min normal */
|
|
DPCNST(0, DP_EMIN - 1, 0x0000000000001ULL), /* + min denormal */
|
|
DPCNST(1, DP_EMIN - 1, 0x0000000000001ULL), /* - min denormal */
|
|
DPCNST(0, 31, 0x0000000000000ULL), /* + 1.0e31 */
|
|
DPCNST(0, 63, 0x0000000000000ULL), /* + 1.0e63 */
|
|
};
|
|
|
|
#define SPCNST(s, b, m) \
|
|
xPCNST(s, b, m, SP_EBIAS)
|
|
|
|
const union ieee754sp __ieee754sp_spcvals[] = {
|
|
SPCNST(0, SP_EMIN - 1, 0x000000), /* + zero */
|
|
SPCNST(1, SP_EMIN - 1, 0x000000), /* - zero */
|
|
SPCNST(0, 0, 0x000000), /* + 1.0 */
|
|
SPCNST(1, 0, 0x000000), /* - 1.0 */
|
|
SPCNST(0, 3, 0x200000), /* + 10.0 */
|
|
SPCNST(1, 3, 0x200000), /* - 10.0 */
|
|
SPCNST(0, SP_EMAX + 1, 0x000000), /* + infinity */
|
|
SPCNST(1, SP_EMAX + 1, 0x000000), /* - infinity */
|
|
SPCNST(0, SP_EMAX + 1, 0x3FFFFF), /* + indef legacy quiet NaN */
|
|
SPCNST(0, SP_EMAX + 1, 0x400000), /* + indef 2008 quiet NaN */
|
|
SPCNST(0, SP_EMAX, 0x7FFFFF), /* + max normal */
|
|
SPCNST(1, SP_EMAX, 0x7FFFFF), /* - max normal */
|
|
SPCNST(0, SP_EMIN, 0x000000), /* + min normal */
|
|
SPCNST(1, SP_EMIN, 0x000000), /* - min normal */
|
|
SPCNST(0, SP_EMIN - 1, 0x000001), /* + min denormal */
|
|
SPCNST(1, SP_EMIN - 1, 0x000001), /* - min denormal */
|
|
SPCNST(0, 31, 0x000000), /* + 1.0e31 */
|
|
SPCNST(0, 63, 0x000000), /* + 1.0e63 */
|
|
};
|