cond.md (cond_to_int peephole2): Don't eliminate the insns if the intermediate value...

* config/m32c/cond.md (cond_to_int peephole2): Don't eliminate the
insns if the intermediate value will be used later.

From-SVN: r141788

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7617fa7eaf0170f184952023576aa6bf4780f6d0..dcfedb13cd52efe284b90d26c658cc2f0b3f70f5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-12  DJ Delorie  <dj@redhat.com>
+
+       * config/m32c/cond.md (cond_to_int peephole2): Don't eliminate the
+       insns if the intermediate value will be used later.
+
 2008-11-12  Andreas Schwab  <schwab@suse.de>
 
        * config/m68k/m68k.c (print_operand): Mask off extra extension

diff --git a/gcc/config/m32c/cond.md b/gcc/config/m32c/cond.md
index a01efe9efa93c83a3428f9caecb9f2c869b036c4..a64d3cafcc682ecb6250996670f87cf16c4317a3 100644 (file)
--- a/gcc/config/m32c/cond.md
+++ b/gcc/config/m32c/cond.md
@@ -300,7 +300,9 @@
   [(set_attr "flags" "x")]
   )  
 
-;; A cond_to_int followed by a compare against zero is essentially a no-op.
+;; A cond_to_int followed by a compare against zero is essentially a
+;; no-op.  However, the result of the cond_to_int may be used by later
+;; insns, so make sure it's dead before deleting its set.
 
 (define_peephole2
   [(set (match_operand:HI 0 "mra_qi_operand" "")
@@ -313,6 +315,7 @@
        (compare (match_operand:HI 1 "mra_qi_operand" "")
                 (const_int 0)))
    ]
-  "rtx_equal_p(operands[0], operands[1])"
+  "rtx_equal_p (operands[0], operands[1])
+     && dead_or_set_p (peep2_next_insn (1), operands[0])"
   [(const_int 1)]
   "")