diff options
author | Wilco Dijkstra <wdijkstr@arm.com> | 2018-02-08 12:32:51 +0000 |
---|---|---|
committer | Wilco Dijkstra <wilco@gcc.gnu.org> | 2018-02-08 12:32:51 +0000 |
commit | 3f26f054872c375e7f9a80ede7a56036d9b57597 (patch) | |
tree | ddeddc6ae38f34532a1bc37c7d1e137dc788ad01 /gcc/tree.c | |
parent | 18fbe394d62371bedaa41ed32c89c659109ae8f5 (diff) | |
download | gcc-3f26f054872c375e7f9a80ede7a56036d9b57597.zip gcc-3f26f054872c375e7f9a80ede7a56036d9b57597.tar.gz gcc-3f26f054872c375e7f9a80ede7a56036d9b57597.tar.bz2 |
[AArch64] Use more LDP/STP in shrinkwrapping
The shrinkwrap optimization added in GCC 7 allows each callee-save to
be delayed and done only across blocks which need a particular callee-save.
Although this reduces unnecessary memory traffic on code paths that need
few callee-saves, it typically uses LDR/STR rather than LDP/STP. This
means more memory accesses and increased codesize, ~1.0% on average.
To improve this, if a particular callee-save must be saved/restored, also
add the adjacent callee-save to allow use of LDP/STP. This significantly
reduces codesize (for example gcc_r, povray_r, parest_r, xalancbmk_r are
1% smaller). This is a simple fix which can be backported. A more advanced
approach would scan blocks for pairs of callee-saves, but that requires a
full rewrite of all the callee-save code which is too late at this stage.
An example epilog in a shrinkwrapped function before:
ldp x21, x22, [sp,#16]
ldr x23, [sp,#32]
ldr x24, [sp,#40]
ldp x25, x26, [sp,#48]
ldr x27, [sp,#64]
ldr x28, [sp,#72]
ldr x30, [sp,#80]
ldr d8, [sp,#88]
ldp x19, x20, [sp],#96
ret
And after this patch:
ldr d8, [sp,#88]
ldp x21, x22, [sp,#16]
ldp x23, x24, [sp,#32]
ldp x25, x26, [sp,#48]
ldp x27, x28, [sp,#64]
ldr x30, [sp,#80]
ldp x19, x20, [sp],#96
ret
gcc/
* config/aarch64/aarch64.c (aarch64_components_for_bb):
Increase LDP/STP opportunities by adding adjacent callee-saves.
From-SVN: r257482
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions