191cbcaf9SJakob Stoklund Olesen //===-- InterferenceCache.h - Caching per-block interference ---*- C++ -*--===// 291cbcaf9SJakob Stoklund Olesen // 391cbcaf9SJakob Stoklund Olesen // The LLVM Compiler Infrastructure 491cbcaf9SJakob Stoklund Olesen // 591cbcaf9SJakob Stoklund Olesen // This file is distributed under the University of Illinois Open Source 691cbcaf9SJakob Stoklund Olesen // License. See LICENSE.TXT for details. 791cbcaf9SJakob Stoklund Olesen // 891cbcaf9SJakob Stoklund Olesen //===----------------------------------------------------------------------===// 991cbcaf9SJakob Stoklund Olesen // 1091cbcaf9SJakob Stoklund Olesen // InterferenceCache remembers per-block interference in LiveIntervalUnions. 1191cbcaf9SJakob Stoklund Olesen // 1291cbcaf9SJakob Stoklund Olesen //===----------------------------------------------------------------------===// 1391cbcaf9SJakob Stoklund Olesen 1491cbcaf9SJakob Stoklund Olesen #define DEBUG_TYPE "regalloc" 1591cbcaf9SJakob Stoklund Olesen #include "InterferenceCache.h" 1691cbcaf9SJakob Stoklund Olesen #include "llvm/Target/TargetRegisterInfo.h" 1791cbcaf9SJakob Stoklund Olesen 1891cbcaf9SJakob Stoklund Olesen using namespace llvm; 1991cbcaf9SJakob Stoklund Olesen 2091cbcaf9SJakob Stoklund Olesen void InterferenceCache::init(MachineFunction *mf, 2191cbcaf9SJakob Stoklund Olesen LiveIntervalUnion *liuarray, 2291cbcaf9SJakob Stoklund Olesen SlotIndexes *indexes, 2391cbcaf9SJakob Stoklund Olesen const TargetRegisterInfo *tri) { 2491cbcaf9SJakob Stoklund Olesen MF = mf; 2591cbcaf9SJakob Stoklund Olesen LIUArray = liuarray; 2691cbcaf9SJakob Stoklund Olesen TRI = tri; 2791cbcaf9SJakob Stoklund Olesen PhysRegEntries.assign(TRI->getNumRegs(), 0); 2891cbcaf9SJakob Stoklund Olesen for (unsigned i = 0; i != CacheEntries; ++i) 29*4ad6c160SJakob Stoklund Olesen Entries[i].clear(mf, indexes); 3091cbcaf9SJakob Stoklund Olesen } 3191cbcaf9SJakob Stoklund Olesen 3291cbcaf9SJakob Stoklund Olesen InterferenceCache::Entry *InterferenceCache::get(unsigned PhysReg) { 3391cbcaf9SJakob Stoklund Olesen unsigned E = PhysRegEntries[PhysReg]; 3491cbcaf9SJakob Stoklund Olesen if (E < CacheEntries && Entries[E].getPhysReg() == PhysReg) { 3591cbcaf9SJakob Stoklund Olesen if (!Entries[E].valid(LIUArray, TRI)) 3691cbcaf9SJakob Stoklund Olesen Entries[E].revalidate(); 3791cbcaf9SJakob Stoklund Olesen return &Entries[E]; 3891cbcaf9SJakob Stoklund Olesen } 3991cbcaf9SJakob Stoklund Olesen // No valid entry exists, pick the next round-robin entry. 4091cbcaf9SJakob Stoklund Olesen E = RoundRobin; 4191cbcaf9SJakob Stoklund Olesen if (++RoundRobin == CacheEntries) 4291cbcaf9SJakob Stoklund Olesen RoundRobin = 0; 4391cbcaf9SJakob Stoklund Olesen Entries[E].reset(PhysReg, LIUArray, TRI, MF); 4491cbcaf9SJakob Stoklund Olesen PhysRegEntries[PhysReg] = E; 4591cbcaf9SJakob Stoklund Olesen return &Entries[E]; 4691cbcaf9SJakob Stoklund Olesen } 4791cbcaf9SJakob Stoklund Olesen 4891cbcaf9SJakob Stoklund Olesen /// revalidate - LIU contents have changed, update tags. 4991cbcaf9SJakob Stoklund Olesen void InterferenceCache::Entry::revalidate() { 5091cbcaf9SJakob Stoklund Olesen // Invalidate all block entries. 5191cbcaf9SJakob Stoklund Olesen ++Tag; 5291cbcaf9SJakob Stoklund Olesen // Invalidate all iterators. 5391cbcaf9SJakob Stoklund Olesen PrevPos = SlotIndex(); 5491cbcaf9SJakob Stoklund Olesen for (unsigned i = 0, e = Aliases.size(); i != e; ++i) 5591cbcaf9SJakob Stoklund Olesen Aliases[i].second = Aliases[i].first->getTag(); 5691cbcaf9SJakob Stoklund Olesen } 5791cbcaf9SJakob Stoklund Olesen 5891cbcaf9SJakob Stoklund Olesen void InterferenceCache::Entry::reset(unsigned physReg, 5991cbcaf9SJakob Stoklund Olesen LiveIntervalUnion *LIUArray, 6091cbcaf9SJakob Stoklund Olesen const TargetRegisterInfo *TRI, 6191cbcaf9SJakob Stoklund Olesen const MachineFunction *MF) { 6291cbcaf9SJakob Stoklund Olesen // LIU's changed, invalidate cache. 6391cbcaf9SJakob Stoklund Olesen ++Tag; 6491cbcaf9SJakob Stoklund Olesen PhysReg = physReg; 6591cbcaf9SJakob Stoklund Olesen Blocks.resize(MF->getNumBlockIDs()); 6691cbcaf9SJakob Stoklund Olesen Aliases.clear(); 6791cbcaf9SJakob Stoklund Olesen for (const unsigned *AS = TRI->getOverlaps(PhysReg); *AS; ++AS) { 6891cbcaf9SJakob Stoklund Olesen LiveIntervalUnion *LIU = LIUArray + *AS; 6991cbcaf9SJakob Stoklund Olesen Aliases.push_back(std::make_pair(LIU, LIU->getTag())); 7091cbcaf9SJakob Stoklund Olesen } 7191cbcaf9SJakob Stoklund Olesen 7291cbcaf9SJakob Stoklund Olesen // Reset iterators. 7391cbcaf9SJakob Stoklund Olesen PrevPos = SlotIndex(); 7491cbcaf9SJakob Stoklund Olesen unsigned e = Aliases.size(); 7591cbcaf9SJakob Stoklund Olesen Iters.resize(e); 7691cbcaf9SJakob Stoklund Olesen for (unsigned i = 0; i != e; ++i) 7791cbcaf9SJakob Stoklund Olesen Iters[i].setMap(Aliases[i].first->getMap()); 7891cbcaf9SJakob Stoklund Olesen } 7991cbcaf9SJakob Stoklund Olesen 8091cbcaf9SJakob Stoklund Olesen bool InterferenceCache::Entry::valid(LiveIntervalUnion *LIUArray, 8191cbcaf9SJakob Stoklund Olesen const TargetRegisterInfo *TRI) { 8291cbcaf9SJakob Stoklund Olesen unsigned i = 0, e = Aliases.size(); 8391cbcaf9SJakob Stoklund Olesen for (const unsigned *AS = TRI->getOverlaps(PhysReg); *AS; ++AS, ++i) { 8491cbcaf9SJakob Stoklund Olesen LiveIntervalUnion *LIU = LIUArray + *AS; 8591cbcaf9SJakob Stoklund Olesen if (i == e || Aliases[i].first != LIU) 8691cbcaf9SJakob Stoklund Olesen return false; 8791cbcaf9SJakob Stoklund Olesen if (LIU->changedSince(Aliases[i].second)) 8891cbcaf9SJakob Stoklund Olesen return false; 8991cbcaf9SJakob Stoklund Olesen } 9091cbcaf9SJakob Stoklund Olesen return i == e; 9191cbcaf9SJakob Stoklund Olesen } 9291cbcaf9SJakob Stoklund Olesen 9391cbcaf9SJakob Stoklund Olesen void InterferenceCache::Entry::update(unsigned MBBNum) { 9491cbcaf9SJakob Stoklund Olesen SlotIndex Start, Stop; 9591cbcaf9SJakob Stoklund Olesen tie(Start, Stop) = Indexes->getMBBRange(MBBNum); 9691cbcaf9SJakob Stoklund Olesen 9791cbcaf9SJakob Stoklund Olesen // Use advanceTo only when possible. 98994c1683SJakob Stoklund Olesen if (PrevPos != Start) { 9991cbcaf9SJakob Stoklund Olesen if (!PrevPos.isValid() || Start < PrevPos) 10091cbcaf9SJakob Stoklund Olesen for (unsigned i = 0, e = Iters.size(); i != e; ++i) 10191cbcaf9SJakob Stoklund Olesen Iters[i].find(Start); 10291cbcaf9SJakob Stoklund Olesen else 10391cbcaf9SJakob Stoklund Olesen for (unsigned i = 0, e = Iters.size(); i != e; ++i) 10491cbcaf9SJakob Stoklund Olesen Iters[i].advanceTo(Start); 10591cbcaf9SJakob Stoklund Olesen PrevPos = Start; 106994c1683SJakob Stoklund Olesen } 10791cbcaf9SJakob Stoklund Olesen 108*4ad6c160SJakob Stoklund Olesen MachineFunction::const_iterator MFI = MF->getBlockNumbered(MBBNum); 109*4ad6c160SJakob Stoklund Olesen BlockInterference *BI = &Blocks[MBBNum]; 110*4ad6c160SJakob Stoklund Olesen for (;;) { 111*4ad6c160SJakob Stoklund Olesen BI->Tag = Tag; 112*4ad6c160SJakob Stoklund Olesen BI->First = BI->Last = SlotIndex(); 113*4ad6c160SJakob Stoklund Olesen 11491cbcaf9SJakob Stoklund Olesen // Check for first interference. 11591cbcaf9SJakob Stoklund Olesen for (unsigned i = 0, e = Iters.size(); i != e; ++i) { 11691cbcaf9SJakob Stoklund Olesen Iter &I = Iters[i]; 11791cbcaf9SJakob Stoklund Olesen if (!I.valid()) 11891cbcaf9SJakob Stoklund Olesen continue; 11991cbcaf9SJakob Stoklund Olesen SlotIndex StartI = I.start(); 12091cbcaf9SJakob Stoklund Olesen if (StartI >= Stop) 12191cbcaf9SJakob Stoklund Olesen continue; 12291cbcaf9SJakob Stoklund Olesen if (!BI->First.isValid() || StartI < BI->First) 12391cbcaf9SJakob Stoklund Olesen BI->First = StartI; 12491cbcaf9SJakob Stoklund Olesen } 12591cbcaf9SJakob Stoklund Olesen 126*4ad6c160SJakob Stoklund Olesen PrevPos = Stop; 127*4ad6c160SJakob Stoklund Olesen if (BI->First.isValid()) 128*4ad6c160SJakob Stoklund Olesen break; 12991cbcaf9SJakob Stoklund Olesen 130*4ad6c160SJakob Stoklund Olesen // No interference in this block? Go ahead and precompute the next block. 131*4ad6c160SJakob Stoklund Olesen if (++MFI == MF->end()) 132*4ad6c160SJakob Stoklund Olesen return; 133*4ad6c160SJakob Stoklund Olesen MBBNum = MFI->getNumber(); 134*4ad6c160SJakob Stoklund Olesen BI = &Blocks[MBBNum]; 135*4ad6c160SJakob Stoklund Olesen if (BI->Tag == Tag) 136*4ad6c160SJakob Stoklund Olesen return; 137*4ad6c160SJakob Stoklund Olesen tie(Start, Stop) = Indexes->getMBBRange(MBBNum); 138*4ad6c160SJakob Stoklund Olesen } 139*4ad6c160SJakob Stoklund Olesen 140*4ad6c160SJakob Stoklund Olesen // Check for last interference in block. 14191cbcaf9SJakob Stoklund Olesen for (unsigned i = 0, e = Iters.size(); i != e; ++i) { 14291cbcaf9SJakob Stoklund Olesen Iter &I = Iters[i]; 14391cbcaf9SJakob Stoklund Olesen if (!I.valid() || I.start() >= Stop) 14491cbcaf9SJakob Stoklund Olesen continue; 14591cbcaf9SJakob Stoklund Olesen I.advanceTo(Stop); 146994c1683SJakob Stoklund Olesen bool Backup = !I.valid() || I.start() >= Stop; 147994c1683SJakob Stoklund Olesen if (Backup) 14891cbcaf9SJakob Stoklund Olesen --I; 14991cbcaf9SJakob Stoklund Olesen SlotIndex StopI = I.stop(); 15091cbcaf9SJakob Stoklund Olesen if (!BI->Last.isValid() || StopI > BI->Last) 15191cbcaf9SJakob Stoklund Olesen BI->Last = StopI; 152994c1683SJakob Stoklund Olesen if (Backup) 153994c1683SJakob Stoklund Olesen ++I; 15491cbcaf9SJakob Stoklund Olesen } 15591cbcaf9SJakob Stoklund Olesen } 156