new macro REVERSE_CONDEXEC_PREDICATES_P

From-SVN: r39947

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 57d50323ca3c00f5f1fa36eeb5e09ba952a8efbd..b4bd20689387689b5ff595b6a5dfca2fd046e9ac 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2001-02-20  Aldy Hernandez  <aldyh@redhat.com>
+
+        * tm.texi (REVERSE_CONDEXEC_PREDICATES_P): New macro documentation.
+
+        * flow.c (ior_reg_cond): Use REVERSE_CONDEXEC_PREDICATES_P macro.
+        (REVERSE_CONDEXEC_PREDICATES_P): Define macro.
+
 2001-02-21  Jason Merrill  <jason@redhat.com>
 
        * tree.h (DECL_UNINLINABLE): Move from C++ frontend.

diff --git a/gcc/flow.c b/gcc/flow.c
index 9137db512dce5673402e526eea52ace8f5218578..65c8a2872e5d379e41e6af060344c882cb1689fc 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -168,6 +168,12 @@ Boston, MA 02111-1307, USA.  */
 #define EPILOGUE_USES(REGNO)  0
 #endif
 
+#ifdef HAVE_conditional_execution
+#ifndef REVERSE_CONDEXEC_PREDICATES_P
+#define REVERSE_CONDEXEC_PREDICATES_P(x, y) ((x) == reverse_condition (y))
+#endif
+#endif
+
 /* The obstack on which the flow graph components are allocated.  */
 
 struct obstack flow_obstack;
@@ -5137,7 +5143,7 @@ ior_reg_cond (old, x, add)
   if (GET_RTX_CLASS (GET_CODE (old)) == '<')
     {
       if (GET_RTX_CLASS (GET_CODE (x)) == '<'
-         && GET_CODE (x) == reverse_condition (GET_CODE (old))
+         && REVERSE_CONDEXEC_PREDICATES_P (GET_CODE (x), GET_CODE (old))
          && REGNO (XEXP (x, 0)) == REGNO (XEXP (old, 0)))
        return const1_rtx;
       if (GET_CODE (x) == GET_CODE (old)

diff --git a/gcc/tm.texi b/gcc/tm.texi
index d6557b861f80d2b8e7e66ce2ceaee88bc8c7dcdd..7676b1913229d33f041d0a92b5bf655d9cdc99f0 100644 (file)
--- a/gcc/tm.texi
+++ b/gcc/tm.texi
@@ -4880,6 +4880,17 @@ like:
     : reverse_condition_maybe_unordered (CODE))
 @end smallexample
 
+@findex REVERSE_CONDEXEC_PREDICATES_P
+@item REVERSE_CONDEXEC_PREDICATES_P (@var{code1}, @var{code2})
+A C expression that returns true if the conditional execution predicate
+@var{code1} is the inverse of @var{code2} and vice versa.  Define this to
+return 0 if the target has conditional execution predicates that cannot be
+reversed safely.  If none is specified, this macro expands to:
+
+@smallexample
+#define REVERSE_CONDEXEC_PREDICATES_P (x, y) ((x) == reverse_condition (y))
+@end smallexample
+
 @end table
 
 @node Costs