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

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

From-SVN: r15590

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ac47a5317296acaf02186e357046dd3c1819cc47..64efb49d43ae2c98186b78d7e0b829c5c2fd89d9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 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.
 

diff --git a/gcc/jump.c b/gcc/jump.c
index b27786380a36fb70c7e63b86f4955fc7a1fcf967..fee77d69f3c16a08751f8bf12cc30c850a081e75 100644 (file)
--- 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);