sched-deps.c (add_dependence): Don't elide dependancy if the conditional used by…

sched-deps.c (add_dependence): Don't elide dependancy if the conditional used by insn is modified in elem.

        * sched-deps.c (add_dependence): Don't elide dependancy if the
        conditional used by insn is modified in elem.

From-SVN: r45330

gcc/ChangeLog

+2001-08-31  Richard Henderson  <rth@redhat.com>
+
+	* sched-deps.c (add_dependence): Don't elide dependancy if the
+	conditional used by insn is modified in elem.
+
 2001-08-31  Nick Clifton  <nickc@cambridge.redhat.com>
 
 	* config/v850/v850.h (OUTPUT_ADDR_CONST_EXTRA): Define.

gcc/sched-deps.c

@@ -213,11 +213,16 @@ add_dependence (insn, elem, dep_type)
 
   /* flow.c doesn't handle conditional lifetimes entirely correctly;
      calls mess up the conditional lifetimes.  */
+  /* ??? add_dependence is the wrong place to be eliding dependencies,
+     as that forgets that the condition expressions themselves may
+     be dependent.  */
   if (GET_CODE (insn) != CALL_INSN && GET_CODE (elem) != CALL_INSN)
     {
       cond1 = get_condition (insn);
       cond2 = get_condition (elem);
-      if (cond1 && cond2 && conditions_mutex_p (cond1, cond2))
+      if (cond1 && cond2
+	  && conditions_mutex_p (cond1, cond2)
+	  && !modified_in_p (cond1, elem))
 	return;
     }