jump.c (thread_jumps): check can_reverse_comparison_p before threading a reversed-condition jump.

* jump.c (thread_jumps): check can_reverse_comparison_p before threading a reversed-condition jump. From-SVN: r15590

jump.c (thread_jumps): check can_reverse_comparison_p before threading a reversed-condition jump.
* jump.c (thread_jumps): check can_reverse_comparison_p before threading a reversed-condition jump. From-SVN: r15590
cc5e1642 · J"orn Rennecke · Jeff Law · 272299b9 · cc5e1642 · cc5e1642
Commit cc5e1642 authored Sep 20, 1997 by J"orn Rennecke Committed by Jeff Law Sep 19, 1997
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 1 deletions

gcc/ChangeLog
+3 -0

gcc/jump.c
+4 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
 Fri Sep 19 18:53:50 1997 J"orn Rennecke <amylaar@cygnus.co.uk>

+	* jump.c (thread_jumps): check can_reverse_comparison_p before
+	threading a reversed-condition jump.
+
 	* sched.c (update_flow_info): Don't pass SCRATCH to dead_or_set_p.
 	* haifa-sched.c (update_flow_info): Likewise.


--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -4463,7 +4463,10 @@ thread_jumps (f, max_reg, flag_before_loop)
 	  if (rtx_equal_for_thread_p (b1op0, b2op0, b2)
 	      && rtx_equal_for_thread_p (b1op1, b2op1, b2)
 	      && (comparison_dominates_p (code1, code2)
-		  || comparison_dominates_p (code1, reverse_condition (code2))))
+		  || (comparison_dominates_p (code1, reverse_condition (code2))
+		      && can_reverse_comparison_p (XEXP (SET_SRC (PATTERN (b1)),
+							 0),
+						   b1))))
 	    {
 	      t1 = prev_nonnote_insn (b1);
 	      t2 = prev_nonnote_insn (b2);