re PR middle-end/11767 (different code behaviour with -fnon-call-exceptions -fprofile...

        PR middle-end/11767
        * optabs.c (prepare_cmp_insn): Force trapping memories to registers
        before the compare, if flag_non_call_exceptions.
	* g++.dg/other/profile1.C: New.

From-SVN: r78808

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 139b25a35b5c516ad046efe59ef3e954eb4aff04..45a72b864047365e4d7505e15d9dc20dc19b474c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-03-02  Richard Henderson  <rth@redhat.com>
+
+        PR middle-end/11767
+        * optabs.c (prepare_cmp_insn): Force trapping memories to registers
+        before the compare, if flag_non_call_exceptions.
+
 2004-03-02  Richard Henderson  <rth@redhat.com>
 
         PR middle-end/14327

diff --git a/gcc/optabs.c b/gcc/optabs.c
index d4eb640a71cbfc7fbc9e7d49d429d7467519edd1..9da601c4f84d651fcaa9aed17509d3e7b9b783f2 100644 (file)
--- a/gcc/optabs.c
+++ b/gcc/optabs.c
@@ -3476,6 +3476,16 @@ prepare_cmp_insn (px, py, pcomparison, size, pmode, punsignedp, purpose)
       return;
     }
 
+  /* Don't allow operands to the compare to trap, as that can put the
+     compare and branch in different basic blocks.  */
+  if (flag_non_call_exceptions)
+    {
+      if (may_trap_p (x))
+       x = force_reg (mode, x);
+      if (may_trap_p (y))
+       y = force_reg (mode, y);
+    }
+
   *px = x;
   *py = y;
   if (can_compare_p (*pcomparison, mode, purpose))