[Bug target/87627] GCC generates rube-goldberg machine for trivial tail call on 32-bit x86

amonakov at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Mon Oct 22 18:41:00 GMT 2018


--- Comment #5 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
I've spent some time looking at this again, and I couldn't find a way to
preserve REG_EQUIV notes (it's actually unclear what REG_EQUIV means

What I think could help in simple cases like this one, and might also be
helpful in other situations, is to have mem_attrs indicate that memory does not
escape. RTL CSE would not need to invalidate such MEMs when processing a call.

More information about the Gcc-bugs mailing list