From 0c99ec5c426117d4cd53e64e9ad4b22f3a903f36 Mon Sep 17 00:00:00 2001
From: Richard Henderson <rth@cygnus.com>
Date: Fri, 7 Apr 2000 02:24:45 -0700
Subject: rtl.def (COND_EXEC): New.

        * rtl.def (COND_EXEC): New.
        * rtl.h (COND_EXEC_TEST, COND_EXEC_CODE): New.
        * tm.texi (MAX_CONDITIONAL_EXECUTE): Document.

        * genconfig.c (have_cond_arith_flag): Remove.
        (have_cond_exec_flag): New.
        (walk_insn_part): Detect COND_EXEC, not arithmetic in IF_THEN_ELSE.
        (main): Print HAVE_conditional_execution.

        * haifa-sched.c (haifa_classify_insn): Recognize COND_EXEC.
        (sched_analyze_insn, print_pattern): Likewise.
        * reload.c (find_equiv_reg): Likewise.
        * rtlanal.c (reg_referenced_p): Likewise.
        (note_stores, dead_or_set_regno_p): Likewise.
        (reg_overlap_mentioned_p): Rewrite to use a switch.

From-SVN: r32997
---
 gcc/haifa-sched.c | 30 +++++++++++++++++++++++++++---
 1 file changed, 27 insertions(+), 3 deletions(-)

(limited to 'gcc/haifa-sched.c')

diff --git a/gcc/haifa-sched.c b/gcc/haifa-sched.c
index eb6f121..36a4cc8 100644
--- a/gcc/haifa-sched.c
+++ b/gcc/haifa-sched.c
@@ -2588,6 +2588,7 @@ haifa_classify_insn (insn)
 		WORST_CLASS (tmp_class,
 			   may_trap_exp (SET_SRC (XVECEXP (pat, 0, i)), 0));
 	      break;
+	    case COND_EXEC:
 	    case TRAP_IF:
 	      tmp_class = TRAP_RISKY;
 	      break;
@@ -2617,6 +2618,7 @@ haifa_classify_insn (insn)
 	    WORST_CLASS (tmp_class,
 			 may_trap_exp (SET_SRC (pat), 0));
 	  break;
+	case COND_EXEC:
 	case TRAP_IF:
 	  tmp_class = TRAP_RISKY;
 	  break;
@@ -3649,6 +3651,15 @@ sched_analyze_insn (deps, x, insn, loop_notes)
   int maxreg = max_reg_num ();
   int i;
 
+  if (code == COND_EXEC)
+    {
+      sched_analyze_2 (deps, COND_EXEC_TEST (x), insn);
+
+      /* ??? Should be recording conditions so we reduce the number of
+	 false dependancies.  */
+      x = COND_EXEC_CODE (x);
+      code = GET_CODE (x);
+    }
   if (code == SET || code == CLOBBER)
     sched_analyze_1 (deps, x, insn);
   else if (code == PARALLEL)
@@ -3656,11 +3667,19 @@ sched_analyze_insn (deps, x, insn, loop_notes)
       register int i;
       for (i = XVECLEN (x, 0) - 1; i >= 0; i--)
 	{
-	  code = GET_CODE (XVECEXP (x, 0, i));
+	  rtx sub = XVECEXP (x, 0, i);
+	  code = GET_CODE (sub);
+
+	  if (code == COND_EXEC)
+	    {
+	      sched_analyze_2 (deps, COND_EXEC_TEST (sub), insn);
+	      sub = COND_EXEC_CODE (sub);
+	      code = GET_CODE (sub);
+	    }
 	  if (code == SET || code == CLOBBER)
-	    sched_analyze_1 (deps, XVECEXP (x, 0, i), insn);
+	    sched_analyze_1 (deps, sub, insn);
 	  else
-	    sched_analyze_2 (deps, XVECEXP (x, 0, i), insn);
+	    sched_analyze_2 (deps, sub, insn);
 	}
     }
   else
@@ -5313,6 +5332,11 @@ print_pattern (buf, x, verbose)
       print_value (t1, XEXP (x, 0), verbose);
       sprintf (buf, "use %s", t1);
       break;
+    case COND_EXEC:
+      print_value (t1, COND_EXEC_CODE (x), verbose);
+      print_value (t2, COND_EXEC_TEST (x), verbose);
+      sprintf (buf, "cond_exec %s %s", t1, t2);
+      break;
     case PARALLEL:
       {
 	int i;
-- 
cgit v1.1