[ARM][RegisterScavenging] Don't consider LR liveout if it is not reloaded
authorTomas Matheson <tomas.matheson@arm.com>
Wed, 20 Jan 2021 15:55:26 +0000 (15:55 +0000)
committerTomas Matheson <tomas.matheson@arm.com>
Thu, 28 Jan 2021 09:22:55 +0000 (09:22 +0000)
commitb9ed8ebe0e2ffa803b0bda60f9bbc9bb26f95000
tree9ac61408fb477a6392cae1591ac8a7ae73d059f0
parent01b9e613c28b833327ab4de93d0638a5c8d3514f
[ARM][RegisterScavenging] Don't consider LR liveout if it is not reloaded

https://bugs.llvm.org/show_bug.cgi?id=48232

When PrologEpilogInserter writes callee-saved registers to the stack, LR is not reloaded but is instead loaded directly into PC.
This was not taken into account when determining if each callee-saved register was liveout for the block.
When frame elimination inserts virtual registers, and the register scavenger tries to scavenge LR, it considers it liveout and tries to spill again.
However there is no emergency spill slot to use, and it fails with an error:

    fatal error: error in backend: Error while trying to spill LR from class GPR: Cannot scavenge register without an emergency spill slot!

This patch pervents any callee-saved registers which are not reloaded (including LR) from being marked liveout.
They are therefore available to scavenge without requiring an extra spill.
llvm/lib/CodeGen/LiveRegUnits.cpp
llvm/test/CodeGen/AArch64/scavenge-lr.mir [new file with mode: 0644]
llvm/test/CodeGen/Thumb2/mve-multivec-spill.ll