From 22be591854c5d2e79f2a995b2d602ae9affb8fce Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 6 Apr 2012 06:44:18 +0000 Subject: 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 --- gcc/ChangeLog | 5 +++++ gcc/config/ia64/ia64.c | 6 +++++- 2 files changed, 10 insertions(+), 1 deletion(-) (limited to 'gcc') 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 + + * 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 H.J. Lu 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; -- cgit v1.1