From: Paul Brook <paul@codesourcery.com>
Date: Mon, 2 Feb 2009 17:09:45 +0000 (+0000)
Subject: arm.md (arm_addsi3): Add r/r/k alternative.
X-Git-Tag: releases/gcc-4.4.0~672
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e007946898e3371d82dff0f9b0ec11af178be3f2;p=thirdparty%2Fgcc.git

arm.md (arm_addsi3): Add r/r/k alternative.

2009-02-02  Paul Brook  <paul@codesourcery.com>

	gcc/
	* config/arm/arm.md (arm_addsi3): Add r/r/k alternative.

From-SVN: r143874
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a4c777c57a5c..8ed5b7fc92e3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2009-02-02  Paul Brook  <paul@codesourcery.com>
+
+	* config/arm/arm.md (arm_addsi3): Add r/r/k alternative.
+
 2009-02-02  Jakub Jelinek  <jakub@redhat.com>
 
 	PR inline-asm/39058
diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
index 0acf257cb43c..4eccd734b826 100644
--- a/gcc/config/arm/arm.md
+++ b/gcc/config/arm/arm.md
@@ -605,14 +605,18 @@
   ""
 )
 
+;; The r/r/k alternative is required when reloading the address
+;;  (plus (reg rN) (reg sp)) into (reg rN).  In this case reload will
+;; put the duplicated register first, and not try the commutative version.
 (define_insn_and_split "*arm_addsi3"
-  [(set (match_operand:SI          0 "s_register_operand" "=r, !k,r, !k,r")
-	(plus:SI (match_operand:SI 1 "s_register_operand" "%rk,!k,rk,!k,rk")
-		 (match_operand:SI 2 "reg_or_int_operand" "rI, rI,L, L,?n")))]
+  [(set (match_operand:SI          0 "s_register_operand" "=r, !k, r,r, !k,r")
+	(plus:SI (match_operand:SI 1 "s_register_operand" "%rk,!k, r,rk,!k,rk")
+		 (match_operand:SI 2 "reg_or_int_operand" "rI, rI,!k,L, L,?n")))]
   "TARGET_32BIT"
   "@
    add%?\\t%0, %1, %2
    add%?\\t%0, %1, %2
+   add%?\\t%0, %2, %1
    sub%?\\t%0, %1, #%n2
    sub%?\\t%0, %1, #%n2
    #"
@@ -627,7 +631,7 @@
 		      operands[1], 0);
   DONE;
   "
-  [(set_attr "length" "4,4,4,4,16")
+  [(set_attr "length" "4,4,4,4,4,16")
    (set_attr "predicable" "yes")]
 )