From 551438612079b434ee41fc8a8396b8fc77d59bfb Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Mon, 16 Oct 2000 09:46:09 +0200
Subject: [PATCH] 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
---
 gcc/ChangeLog                     |  4 ++++
 gcc/rtlanal.c                     | 11 +++++++++
 gcc/testsuite/ChangeLog           |  4 ++++
 gcc/testsuite/gcc.dg/20001013-1.c | 39 +++++++++++++++++++++++++++++++
 4 files changed, 58 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/20001013-1.c

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);
+}
-- 
2.30.2