From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 6 Apr 2012 06:44:18 +0000 (+0000)
Subject: ia64.c (ia64_load_pair_ok): Return 0 if the second member of the destination isn... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=22be591854c5d2e79f2a995b2d602ae9affb8fce;p=gcc.git

ia64.c (ia64_load_pair_ok): Return 0 if the second member of the destination isn't also a FP_REGS register.

	* config/ia64/ia64.c (ia64_load_pair_ok): Return 0 if the second member
	of the destination isn't also a FP_REGS register.

From-SVN: r186177
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8118ed59ad7..178238d1ab7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2012-04-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* config/ia64/ia64.c (ia64_load_pair_ok): Return 0 if the second member
+	of the destination isn't also a FP_REGS register.
+
 2012-04-05  Teresa Johnson  <tejohnson@google.com>
 	    H.J. Lu  <hongjiu.lu@intel.com>
 
diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c
index 4b8a6929b1e..c6595064606 100644
--- a/gcc/config/ia64/ia64.c
+++ b/gcc/config/ia64/ia64.c
@@ -857,7 +857,11 @@ ia64_move_ok (rtx dst, rtx src)
 int
 ia64_load_pair_ok (rtx dst, rtx src)
 {
-  if (GET_CODE (dst) != REG || !FP_REGNO_P (REGNO (dst)))
+  /* ??? There is a thinko in the implementation of the "x" constraint and the
+     FP_REGS class.  The constraint will also reject (reg f30:TI) so we must
+     also return false for it.  */
+  if (GET_CODE (dst) != REG
+      || !(FP_REGNO_P (REGNO (dst)) && FP_REGNO_P (REGNO (dst) + 1)))
     return 0;
   if (GET_CODE (src) != MEM || MEM_VOLATILE_P (src))
     return 0;