diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/config/ia64/ia64.c | 6 |
2 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8118ed5..178238d 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 4b8a692..c659506 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; |