Toolchain/binutils-gdb
1
0
Fork 0
forked from Imagelibrary/binutils-gdb
Code Pull Requests Activity

gas: support NaN flavors

Browse Source 
Like for infinity, there isn't just a single NaN. The sign bit may be
of interest and, going beyond infinity, whether the value is quiet or
signalling may be even more relevant to be able to encode.

Note that an anomaly with x86'es double extended precision NaN values
gets taken care of at the same time: For all other formats a positive
value with all mantissa bits set was used, while here a negative value
with all non-significant mantissa bits clear was chose for an unknown
reason.

For m68k, since I don't know their X_PRECISION floating point value
layout, a warning gets issued if any of the new flavors was attempted
to be encoded that way. However likely it may be that, given that the
code lives in a source file supposedly implementing IEEE-compliant
formats, the bit patterns of the individual words match x86'es, I didn't
want to guess so. And my very, very old paper doc doesn't even mention
floating point formats other than single and double.
This commit is contained in:
Jan Beulich
2021-08-11 08:36:28 +02:00
parent 7727283e51
commit f0dec3f488
9 changed files with 221 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
gas/config/atof-ieee.c
View File

@@ -19,6 +19,7 @@
02110-1301, USA. */
#include "as.h"
#include "safe-ctype.h"
/* Flonums returned here. */
extern FLONUM_TYPE generic_floating_point_number;
@@ -324,24 +325,34 @@ gen_to_words (LITTLENUM_TYPE *words, int precision, long exponent_bits)
return return_value;
}
/* NaN: Do the right thing. */
if (generic_floating_point_number.sign == 0)
switch (generic_floating_point_number.sign)
{
/* NaN: Do the right thing. */
case 0:
case 'Q': case 'q':
case 'S': case 's':
if (TC_LARGEST_EXPONENT_IS_NORMAL (precision))
as_warn (_("NaNs are not supported by this target"));
if (precision == H_PRECISION)
{
words[0] = 0x7fff;
if (TOUPPER (generic_floating_point_number.sign) != 'S')
words[0] = 0x7fff;
else
words[0] = exponent_bits == 5 ? 0x7dff : 0x7fbf;
}
else if (precision == F_PRECISION)
{
words[0] = 0x7fff;
words[0] = TOUPPER (generic_floating_point_number.sign) == 'S'
? 0x7fbf : 0x7fff;
words[1] = 0xffff;
}
else if (precision == X_PRECISION)
{
#ifdef TC_M68K
if (generic_floating_point_number.sign)
as_warn (_("NaN flavors are not supported by this target"));
words[0] = 0x7fff;
words[1] = 0;
words[2] = 0xffff;
@@ -350,11 +361,12 @@ gen_to_words (LITTLENUM_TYPE *words, int precision, long exponent_bits)
words[5] = 0xffff;
#else /* ! TC_M68K */
#ifdef TC_I386
words[0] = 0xffff;
words[1] = 0xc000;
words[2] = 0;
words[3] = 0;
words[4] = 0;
words[0] = 0x7fff;
words[1] = TOUPPER (generic_floating_point_number.sign) == 'S'
? 0xbfff : 0xffff;
words[2] = 0xffff;
words[3] = 0xffff;
words[4] = 0xffff;
#else /* ! TC_I386 */
abort ();
#endif /* ! TC_I386 */
@@ -362,15 +374,19 @@ gen_to_words (LITTLENUM_TYPE *words, int precision, long exponent_bits)
}
else
{
words[0] = 0x7fff;
words[0] = TOUPPER (generic_floating_point_number.sign) == 'S'
? 0x7ff7 : 0x7fff;
words[1] = 0xffff;
words[2] = 0xffff;
words[3] = 0xffff;
}
if (ISLOWER (generic_floating_point_number.sign))
words[0] |= 0x8000;
return return_value;
}
else if (generic_floating_point_number.sign == 'P')
{
case 'P':
if (TC_LARGEST_EXPONENT_IS_NORMAL (precision))
as_warn (_("Infinities are not supported by this target"));
@@ -413,9 +429,8 @@ gen_to_words (LITTLENUM_TYPE *words, int precision, long exponent_bits)
words[3] = 0;
}
return return_value;
}
else if (generic_floating_point_number.sign == 'N')
{
case 'N':
if (TC_LARGEST_EXPONENT_IS_NORMAL (precision))
as_warn (_("Infinities are not supported by this target"));