diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2018-01-13 18:00:59 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2018-01-13 18:00:59 +0000 |
| commit | 9005477f2552a411974c12299f627f80473e17d9 (patch) | |
| tree | 923ea4cad9f4eac45c16ec2f88e594968f305011 /gcc/target.def | |
| parent | 5cce817119cd31d18fbfc1c8245519d86b5e9480 (diff) | |
Rework the legitimize_address_displacement hook
This patch:
- tweaks the handling of legitimize_address_displacement
so that it gets called before rather than after the address has
been expanded. This means that we're no longer at the mercy
of LRA being able to interpret the expanded instructions.
- passes the original offset to legitimize_address_displacement.
- adds SVE support to the AArch64 implementation of
legitimize_address_displacement.
2018-01-13 Richard Sandiford <richard.sandiford@linaro.org>
Alan Hayward <alan.hayward@arm.com>
David Sherwood <david.sherwood@arm.com>
gcc/
* target.def (legitimize_address_displacement): Take the original
offset as a poly_int.
* targhooks.h (default_legitimize_address_displacement): Update
accordingly.
* targhooks.c (default_legitimize_address_displacement): Likewise.
* doc/tm.texi: Regenerate.
* lra-constraints.c (base_plus_disp_to_reg): Take the displacement
as an argument, moving assert of ad->disp == ad->disp_term to...
(process_address_1): ...here. Update calls to base_plus_disp_to_reg.
Try calling targetm.legitimize_address_displacement before expanding
the address rather than afterwards, and adjust for the new interface.
* config/aarch64/aarch64.c (aarch64_legitimize_address_displacement):
Match the new hook interface. Handle SVE addresses.
* config/sh/sh.c (sh_legitimize_address_displacement): Make the
new hook interface.
Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
Co-Authored-By: David Sherwood <david.sherwood@arm.com>
From-SVN: r256637
Diffstat (limited to 'gcc/target.def')
| -rw-r--r-- | gcc/target.def | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/gcc/target.def b/gcc/target.def index 363935b49de..aeb41df1945 100644 --- a/gcc/target.def +++ b/gcc/target.def @@ -5657,13 +5657,16 @@ as SH, this hook can be used to avoid excessive spilling.", displacement addressing. */ DEFHOOK (legitimize_address_displacement, - "A target hook which returns @code{true} if *@var{disp} is\n\ -legitimezed to valid address displacement with subtracting *@var{offset}\n\ -at memory mode @var{mode}.\n\ -The default version of this target hook returns @code{false}.\n\ -This hook will benefit machines with limited base plus displacement\n\ -addressing.", - bool, (rtx *disp, rtx *offset, machine_mode mode), + "This hook tries to split address offset @var{orig_offset} into\n\ +two parts: one that should be added to the base address to create\n\ +a local anchor point, and an additional offset that can be applied\n\ +to the anchor to address a value of mode @var{mode}. The idea is that\n\ +the local anchor could be shared by other accesses to nearby locations.\n\ +\n\ +The hook returns true if it succeeds, storing the offset of the\n\ +anchor from the base in @var{offset1} and the offset of the final address\n\ +from the anchor in @var{offset2}. The default implementation returns false.", + bool, (rtx *offset1, rtx *offset2, poly_int64 orig_offset, machine_mode mode), default_legitimize_address_displacement) /* This target hook allows the backend to perform additional |