diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2000-10-16 09:46:09 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2000-10-16 09:46:09 +0200 |
| commit | 551438612079b434ee41fc8a8396b8fc77d59bfb (patch) | |
| tree | 7b17ce7b18383d7738d9fcf0a3ab811f32a0db55 /gcc | |
| parent | 392e6b81c315fc986ee48e498528cdc8da2a3263 (diff) | |
| download | gcc-551438612079b434ee41fc8a8396b8fc77d59bfb.tar.gz | |
rtlanal.c (may_trap_p): Check operand modes of COMPARE.
* rtlanal.c (may_trap_p): Check operand modes of COMPARE.
* gcc.dg/20001013-1.c: New test.
From-SVN: r36878
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/rtlanal.c | 11 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/20001013-1.c | 39 |
4 files changed, 58 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 92a3b4e38e7..566515cf12f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2000-10-16 Jakub Jelinek <jakub@redhat.com> + + * rtlanal.c (may_trap_p): Check operand modes of COMPARE. + 2000-10-14 Joseph S. Myers <jsm28@cam.ac.uk> * PROBLEMS: Remove. diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c index 8edcdbc184f..52a430b12ff 100644 --- a/gcc/rtlanal.c +++ b/gcc/rtlanal.c @@ -1930,6 +1930,17 @@ may_trap_p (x) certainly may trap. */ return 1; + case COMPARE: + /* Any floating comparison may trap. */ + if (GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT) + return 1; + /* But often the compare has some CC mode, so check operand + modes as well. */ + if (GET_MODE_CLASS (GET_MODE (XEXP (x, 0))) == MODE_FLOAT + || GET_MODE_CLASS (GET_MODE (XEXP (x, 1))) == MODE_FLOAT) + return 1; + break; + default: /* Any floating arithmetic may trap. */ if (GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2e6782f9f81..f9b2a924303 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-10-16 Jakub Jelinek <jakub@redhat.com> + + * gcc.dg/20001013-1.c: New test. + 2000-10-15 Joseph S. Myers <jsm28@cam.ac.uk> * gcc.dg/c90-printf-2.c, gcc.dg/c90-scanf-2.c: Determine the type diff --git a/gcc/testsuite/gcc.dg/20001013-1.c b/gcc/testsuite/gcc.dg/20001013-1.c new file mode 100644 index 00000000000..f154cfda0a4 --- /dev/null +++ b/gcc/testsuite/gcc.dg/20001013-1.c @@ -0,0 +1,39 @@ +/* { dg-do run { target sparc*-*-* } } */ +/* { dg-options "-O2 -mvis" } */ + +int l; + +int baz (double x) +{ + return l == 0; +} + +double bar (double x) +{ + return 1.0; +} + +double foo (double x) +{ + if (l == -1 || baz (x)) return x; + if (x < 0.0) + return bar (x); + else + return 0.0; +} + +union { + double d; + long long l; +} x = { l: 0x7ff8000000000000LL }, y; + +main () +{ + unsigned int fsr = 0; + __asm __volatile ("ld %0, %%fsr" : : "m" (fsr)); + y.d = foo (x.d); + __asm __volatile ("st %%fsr, %0" : "=m" (fsr)); + if (x.l != y.l || (fsr & 0x3ff)) + abort (); + exit (0); +} |