re PR target/64533 ([SH] alloca generates unsafe code)

PR target/64533
* config/sh/sh.md (*addsi3_compact): Use u constraint instead
of r for the second alternative of the destination operand.

From-SVN: r219338

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5eb1bc65bb5fcd1242e56db4fb68c351220f11d0..55ffb7b7ad34ec42b9c65364b7be935dd5d88659 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-01-08  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       PR target/64533
+       * config/sh/sh.md (*addsi3_compact): Use u constraint instead
+       of r for the second alternative of the destination operand.
+
 2015-01-07  Segher Boessenkool  <segher@kernel.crashing.org>
 
        PR target/36557

diff --git a/gcc/config/sh/sh.md b/gcc/config/sh/sh.md
index 37d2a2013b58e9833501df462584d3cb0522ff7d..6e0b97f2fddde865b525a3874acb845419bfea84 100644 (file)
--- a/gcc/config/sh/sh.md
+++ b/gcc/config/sh/sh.md
@@ -2061,9 +2061,10 @@
 ;; The problem is that LRA expects something like
 ;;    (set rA (plus rB (const_int N)))
 ;; to work.  We can do that, but we have to split out an additional reg-reg
-;; copy before the actual add insn.
+;; copy before the actual add insn.  Use u constraint for that case to avoid
+;; the invalid value in the stack pointer.
 (define_insn_and_split "*addsi3_compact"
-  [(set (match_operand:SI 0 "arith_reg_dest" "=r,&r")
+  [(set (match_operand:SI 0 "arith_reg_dest" "=r,&u")
        (plus:SI (match_operand:SI 1 "arith_operand" "%0,r")
                 (match_operand:SI 2 "arith_or_int_operand" "rI08,rn")))]
   "TARGET_SH1