From: Joern Rennecke <joern.rennecke@embecosm.com>
Date: Mon, 8 Apr 2013 15:59:41 +0000 (+0000)
Subject: epiphany.md (mov_f+2): New peephole2 pattern.
X-Git-Tag: releases/gcc-4.9.0~6612
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2ccc703d2ee849e502ebcf9fec62e57a14a9bc18;p=thirdparty%2Fgcc.git

epiphany.md (mov_f+2): New peephole2 pattern.

        * config/epiphany/epiphany.md (mov_f+2): New peephole2 pattern.
        (cstoresi4): Also allow re-use of zero result when doing a NE
        comparison to a non-zero operand.
        Use (clobber (sratch)) for first insn if the gpr output is not needed.

From-SVN: r197590
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cad07ad79ad8..0ff91d8afe48 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -25,6 +25,11 @@
 	(<op_mnc>_f, mov_f, cstoresi4): New patterns.
 	(mov_f+1, mov_f+2): New peephole2 patterns.
 
+	* config/epiphany/epiphany.md (mov_f+2): New peephole2 pattern.
+	(cstoresi4): Also allow re-use of zero result when doing a NE
+	comparison to a non-zero operand.
+	Use (clobber (sratch)) for first insn if the gpr output is not needed.
+
 2013-04-08  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/34949
diff --git a/gcc/config/epiphany/epiphany.md b/gcc/config/epiphany/epiphany.md
index 1908fedf7e54..4bb8da395115 100644
--- a/gcc/config/epiphany/epiphany.md
+++ b/gcc/config/epiphany/epiphany.md
@@ -1789,14 +1789,30 @@
 		      (const_int 0)))
      (set (match_dup 0) (logical_op:SI (match_dup 1) (match_dup 2)))])])
 
+(define_peephole2
+  [(parallel
+    [(set (match_operand:SI 0 "gpr_operand" "=r")
+	  (logical_op:SI (match_operand:SI 1 "gpr_operand"  "r")
+			 (match_operand:SI 2 "gpr_operand" "%r")))
+     (clobber (reg:CC CC_REGNUM))])
+   (parallel
+    [(set (reg:CC CC_REGNUM)
+	  (compare:CC (match_dup 0) (const_int 0)))
+     (clobber (match_operand:SI 3 "gpr_operand" "=r"))])]
+  ""
+  [(parallel
+    [(set (reg:CC CC_REGNUM)
+	  (compare:CC (logical_op:SI (match_dup 1) (match_dup 2))
+		      (const_int 0)))
+     (set (match_dup 0) (logical_op:SI (match_dup 1) (match_dup 2)))])])
+
 (define_expand "cstoresi4"
   [(parallel
     [(set (reg:CC CC_REGNUM)
           (match_operand:SI 1 "comparison_operator"))
-     (set (match_operand:SI 0 "gpr_operand" "=r")
-	  (match_operand:SI 2 "" ""))])
+     (match_operand:SI 2 "" "")])
    (set (match_dup 0) (match_operand:SI 3 "arith_operand" ""))
-   (set (match_dup 0)
+   (set (match_operand:SI 0 "gpr_operand" "=r")
 	(if_then_else:SI (match_dup 4) (match_dup 5) (match_dup 0)))]
   ""
 {
@@ -1813,12 +1829,18 @@
   else
     operands[2] = force_reg (SImode, operands[2]);
   operands[1] = gen_rtx_COMPARE (CCmode, operands[2], operands[3]);
-  if (operands[3] != const0_rtx)
-    operands[2] = gen_rtx_MINUS (SImode, operands[2], operands[3]);
-  if (cmp_code != NE || operands[3] != const0_rtx)
-    operands[3] = const0_rtx;
+  if (cmp_code != NE)
+    {
+      operands[2] = gen_rtx_CLOBBER (VOIDmode, gen_rtx_SCRATCH (SImode));
+      operands[3] = const0_rtx;
+    }
   else
-    operands[3] = operands[0];
+    {
+      if (operands[3] != const0_rtx)
+	operands[2] = gen_rtx_MINUS (SImode, operands[2], operands[3]);
+      operands[2] = gen_rtx_SET (VOIDmode, operands[0], operands[2]);
+      operands[3] = operands[0];
+    }
   operands[4] = gen_rtx_fmt_ee (cmp_code, SImode,
 				gen_rtx_REG (CCmode, CC_REGNUM), const0_rtx);
   operands[5] = force_reg (SImode, GEN_INT (STORE_FLAG_VALUE));