Add Register mask support to RABasic.

When a virtual register is live across a call, limit the search space to
call-preserved registers.

llvm-svn: 150081
This commit is contained in:
Jakob Stoklund Olesen 2012-02-08 18:54:35 +00:00
parent 0e4319ec99
commit 0c1eea2922
1 changed files with 14 additions and 0 deletions

View File

@ -72,6 +72,11 @@ class RABasic : public MachineFunctionPass, public RegAllocBase
std::auto_ptr<Spiller> SpillerInstance;
std::priority_queue<LiveInterval*, std::vector<LiveInterval*>,
CompSpillWeight> Queue;
// Scratch space. Allocated here to avoid repeated malloc calls in
// selectOrSplit().
BitVector UsableRegs;
public:
RABasic();
@ -234,6 +239,10 @@ bool RABasic::spillInterferences(LiveInterval &VirtReg, unsigned PhysReg,
// selectOrSplit().
unsigned RABasic::selectOrSplit(LiveInterval &VirtReg,
SmallVectorImpl<LiveInterval*> &SplitVRegs) {
// Check for register mask interference. When live ranges cross calls, the
// set of usable registers is reduced to the callee-saved ones.
bool CrossRegMasks = LIS->checkRegMaskInterference(VirtReg, UsableRegs);
// Populate a list of physical register spill candidates.
SmallVector<unsigned, 8> PhysRegSpillCands;
@ -244,6 +253,11 @@ unsigned RABasic::selectOrSplit(LiveInterval &VirtReg,
++I) {
unsigned PhysReg = *I;
// If PhysReg is clobbered by a register mask, it isn't useful for
// allocation or spilling.
if (CrossRegMasks && !UsableRegs.test(PhysReg))
continue;
// Check interference and as a side effect, intialize queries for this
// VirtReg and its aliases.
unsigned interfReg = checkPhysRegInterference(VirtReg, PhysReg);