This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH 5/5] Ensure the mode used to create split registers is suppported
- From: Matthew Fortune <Matthew dot Fortune at imgtec dot com>
- To: "'gcc-patches at gcc dot gnu dot org' (gcc-patches at gcc dot gnu dot org)" <gcc-patches at gcc dot gnu dot org>
- Cc: Vladimir Makarov <vmakarov at redhat dot com>, "Eric Botcazou (ebotcazou at adacore dot com)" <ebotcazou at adacore dot com>, Robert Suchanek <Robert dot Suchanek at imgtec dot com>, "Moore, Catherine (Catherine_Moore at mentor dot com)" <Catherine_Moore at mentor dot com>
- Date: Tue, 7 Feb 2017 14:08:47 +0000
- Subject: [PATCH 5/5] Ensure the mode used to create split registers is suppported
- Authentication-results: sourceware.org; auth=none
Hi,
This patch addresses a problem with LRA splitting hard registers
where the mode requires multiple registers. When splitting then
each constituent register is split individually using the widest
mode for each register but no check is made that such a mode is
actually supported in those registers.
MIPS has an ABI variant o32 FPXX that allows DFmode values to
exist in pairs of 32-bit floating point registers but only the
first 32-bit register is directly addressable. The second
register can only be accessed as part of a 64-bit load/store or
via a special move instruction used as part of a 64-bit move.
The split is simply rejected to ensure compliance with the ABI
although I expect the split logic could account for this case
and split using the wider mode. Such a change appears more
invasive than appropriate in stage 4.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78012
It is unknown if any other LRA enabled target could hit this
issue but it is certainly possible depending on mode/register
restrictions.
Thanks,
Matthew
Author: Robert Suchanek <robert.suchanek@imgtec.com>
gcc/
PR target/78012
* lra-constraints.c (split_reg): Check requested split mode
is supported by the register.
---
gcc/lra-constraints.c | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c
index 0b7ae34..db6e878 100644
--- a/gcc/lra-constraints.c
+++ b/gcc/lra-constraints.c
@@ -5402,6 +5402,26 @@ split_reg (bool before_p, int original_regno, rtx_insn *insn,
}
return false;
}
+ /* Split_if_necessary can split hard registers used as part of a
+ multi-register mode but splits each register individually. The
+ mode used for each independent register may not be supported
+ so reject the split. Splitting the wider mode should theoretically
+ be possible but is not implemented. */
+ if (! HARD_REGNO_MODE_OK (hard_regno, mode))
+ {
+ if (lra_dump_file != NULL)
+ {
+ fprintf (lra_dump_file,
+ " Rejecting split of %d(%s): unsuitable mode %s\n",
+ original_regno,
+ reg_class_names[lra_get_allocno_class (original_regno)],
+ GET_MODE_NAME (mode));
+ fprintf
+ (lra_dump_file,
+ " ))))))))))))))))))))))))))))))))))))))))))))))))\n");
+ }
+ return false;
+ }
new_reg = lra_create_new_reg (mode, original_reg, rclass, "split");
reg_renumber[REGNO (new_reg)] = hard_regno;
}
--
2.2.1