diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/real.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/hex-round-1.c | 31 |
4 files changed, 46 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 070443d..6f10df5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-07-29 Joseph S. Myers <joseph@codesourcery.com> + + PR c/21720 + * real.c (real_from_string): Set last bit if there is a nonzero + hex digit beyond GCC's internal precision. + 2005-07-28 Richard Henderson <rth@redhat.com> PR rtl-opt/22619 @@ -1789,6 +1789,10 @@ real_from_string (REAL_VALUE_TYPE *r, const char *str) |= (unsigned long) d << (pos % HOST_BITS_PER_LONG); pos -= 4; } + else if (d) + /* Ensure correct rounding by setting last bit if there is + a subsequent nonzero digit. */ + r->sig[0] |= 1; exp += 4; str++; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a8badc52..45f6324 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-07-29 Joseph S. Myers <joseph@codesourcery.com> + + PR c/21720 + * gcc.dg/hex-round-1.c: New test. + 2005-07-28 Jan Hubicka <jh@suse.cz> * inliner-1.c: Do not dump everything. diff --git a/gcc/testsuite/gcc.dg/hex-round-1.c b/gcc/testsuite/gcc.dg/hex-round-1.c new file mode 100644 index 0000000..1ce9c35 --- /dev/null +++ b/gcc/testsuite/gcc.dg/hex-round-1.c @@ -0,0 +1,31 @@ +/* Test for hexadecimal float rounding: bug 21720. */ +/* { dg-do link } */ +/* { dg-options "-O -std=gnu99" } */ + +#include <float.h> + +extern void link_failure (void); + +int +main (void) +{ +#if FLT_RADIX == 2 && FLT_MANT_DIG == 24 + if (0x1.000001000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.0000010000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.00000100000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.000001000000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.0000010000000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.00000100000000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.000001000000000000000000000000000000000001p0f == 1) + link_failure (); + if (0x1.0000010000000000000000000000000000000000001p0f == 1) + link_failure (); +#endif + return 0; +} |