Precompute interference for neighbor blocks as long as there is no interference.

This doesn't require seeking in the live interval union, so it is very cheap.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129187 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2011-04-09 02:59:05 +00:00
parent 5fc25cccff
commit 9d29cbad32
2 changed files with 37 additions and 22 deletions

View File

@ -26,7 +26,7 @@ void InterferenceCache::init(MachineFunction *mf,
TRI = tri; TRI = tri;
PhysRegEntries.assign(TRI->getNumRegs(), 0); PhysRegEntries.assign(TRI->getNumRegs(), 0);
for (unsigned i = 0; i != CacheEntries; ++i) for (unsigned i = 0; i != CacheEntries; ++i)
Entries[i].clear(indexes); Entries[i].clear(mf, indexes);
} }
InterferenceCache::Entry *InterferenceCache::get(unsigned PhysReg) { InterferenceCache::Entry *InterferenceCache::get(unsigned PhysReg) {
@ -91,10 +91,6 @@ bool InterferenceCache::Entry::valid(LiveIntervalUnion *LIUArray,
} }
void InterferenceCache::Entry::update(unsigned MBBNum) { void InterferenceCache::Entry::update(unsigned MBBNum) {
BlockInterference *BI = &Blocks[MBBNum];
BI->Tag = Tag;
BI->First = BI->Last = SlotIndex();
SlotIndex Start, Stop; SlotIndex Start, Stop;
tie(Start, Stop) = Indexes->getMBBRange(MBBNum); tie(Start, Stop) = Indexes->getMBBRange(MBBNum);
@ -109,23 +105,39 @@ void InterferenceCache::Entry::update(unsigned MBBNum) {
PrevPos = Start; PrevPos = Start;
} }
// Check for first interference. MachineFunction::const_iterator MFI = MF->getBlockNumbered(MBBNum);
for (unsigned i = 0, e = Iters.size(); i != e; ++i) { BlockInterference *BI = &Blocks[MBBNum];
Iter &I = Iters[i]; for (;;) {
if (!I.valid()) BI->Tag = Tag;
continue; BI->First = BI->Last = SlotIndex();
SlotIndex StartI = I.start();
if (StartI >= Stop) // Check for first interference.
continue; for (unsigned i = 0, e = Iters.size(); i != e; ++i) {
if (!BI->First.isValid() || StartI < BI->First) Iter &I = Iters[i];
BI->First = StartI; if (!I.valid())
continue;
SlotIndex StartI = I.start();
if (StartI >= Stop)
continue;
if (!BI->First.isValid() || StartI < BI->First)
BI->First = StartI;
}
PrevPos = Stop;
if (BI->First.isValid())
break;
// No interference in this block? Go ahead and precompute the next block.
if (++MFI == MF->end())
return;
MBBNum = MFI->getNumber();
BI = &Blocks[MBBNum];
if (BI->Tag == Tag)
return;
tie(Start, Stop) = Indexes->getMBBRange(MBBNum);
} }
// No interference in block. // Check for last interference in block.
if (!BI->First.isValid())
return;
// Check for last interference.
for (unsigned i = 0, e = Iters.size(); i != e; ++i) { for (unsigned i = 0, e = Iters.size(); i != e; ++i) {
Iter &I = Iters[i]; Iter &I = Iters[i];
if (!I.valid() || I.start() >= Stop) if (!I.valid() || I.start() >= Stop)
@ -140,5 +152,4 @@ void InterferenceCache::Entry::update(unsigned MBBNum) {
if (Backup) if (Backup)
++I; ++I;
} }
PrevPos = Stop;
} }

View File

@ -43,6 +43,9 @@ class InterferenceCache {
/// change. /// change.
unsigned Tag; unsigned Tag;
/// MF - The current function.
MachineFunction *MF;
/// Indexes - Mapping block numbers to SlotIndex ranges. /// Indexes - Mapping block numbers to SlotIndex ranges.
SlotIndexes *Indexes; SlotIndexes *Indexes;
@ -67,8 +70,9 @@ class InterferenceCache {
public: public:
Entry() : PhysReg(0), Tag(0), Indexes(0) {} Entry() : PhysReg(0), Tag(0), Indexes(0) {}
void clear(SlotIndexes *indexes) { void clear(MachineFunction *mf, SlotIndexes *indexes) {
PhysReg = 0; PhysReg = 0;
MF = mf;
Indexes = indexes; Indexes = indexes;
} }