1f22ef01cSRoman Divacky //===-- SlotIndexes.cpp - Slot Indexes Pass ------------------------------===// 2f22ef01cSRoman Divacky // 3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure 4f22ef01cSRoman Divacky // 5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source 6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details. 7f22ef01cSRoman Divacky // 8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 9f22ef01cSRoman Divacky 10f22ef01cSRoman Divacky #define DEBUG_TYPE "slotindexes" 11f22ef01cSRoman Divacky 12f22ef01cSRoman Divacky #include "llvm/CodeGen/SlotIndexes.h" 13f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineFunction.h" 14f22ef01cSRoman Divacky #include "llvm/Support/Debug.h" 15f22ef01cSRoman Divacky #include "llvm/Support/raw_ostream.h" 16f22ef01cSRoman Divacky #include "llvm/Support/ManagedStatic.h" 17f22ef01cSRoman Divacky #include "llvm/Target/TargetInstrInfo.h" 18f22ef01cSRoman Divacky 19f22ef01cSRoman Divacky using namespace llvm; 20f22ef01cSRoman Divacky 21f22ef01cSRoman Divacky 22f22ef01cSRoman Divacky // Yep - these are thread safe. See the header for details. 23f22ef01cSRoman Divacky namespace { 24f22ef01cSRoman Divacky 25f22ef01cSRoman Divacky 26f22ef01cSRoman Divacky class EmptyIndexListEntry : public IndexListEntry { 27f22ef01cSRoman Divacky public: 28f22ef01cSRoman Divacky EmptyIndexListEntry() : IndexListEntry(EMPTY_KEY) {} 29f22ef01cSRoman Divacky }; 30f22ef01cSRoman Divacky 31f22ef01cSRoman Divacky class TombstoneIndexListEntry : public IndexListEntry { 32f22ef01cSRoman Divacky public: 33f22ef01cSRoman Divacky TombstoneIndexListEntry() : IndexListEntry(TOMBSTONE_KEY) {} 34f22ef01cSRoman Divacky }; 35f22ef01cSRoman Divacky 36f22ef01cSRoman Divacky // The following statics are thread safe. They're read only, and you 37f22ef01cSRoman Divacky // can't step from them to any other list entries. 38f22ef01cSRoman Divacky ManagedStatic<EmptyIndexListEntry> IndexListEntryEmptyKey; 39f22ef01cSRoman Divacky ManagedStatic<TombstoneIndexListEntry> IndexListEntryTombstoneKey; 40f22ef01cSRoman Divacky } 41f22ef01cSRoman Divacky 42f22ef01cSRoman Divacky char SlotIndexes::ID = 0; 43f22ef01cSRoman Divacky static RegisterPass<SlotIndexes> X("slotindexes", "Slot index numbering"); 44f22ef01cSRoman Divacky 45f22ef01cSRoman Divacky IndexListEntry* IndexListEntry::getEmptyKeyEntry() { 46f22ef01cSRoman Divacky return &*IndexListEntryEmptyKey; 47f22ef01cSRoman Divacky } 48f22ef01cSRoman Divacky 49f22ef01cSRoman Divacky IndexListEntry* IndexListEntry::getTombstoneKeyEntry() { 50f22ef01cSRoman Divacky return &*IndexListEntryTombstoneKey; 51f22ef01cSRoman Divacky } 52f22ef01cSRoman Divacky 53f22ef01cSRoman Divacky 54f22ef01cSRoman Divacky void SlotIndexes::getAnalysisUsage(AnalysisUsage &au) const { 55f22ef01cSRoman Divacky au.setPreservesAll(); 56f22ef01cSRoman Divacky MachineFunctionPass::getAnalysisUsage(au); 57f22ef01cSRoman Divacky } 58f22ef01cSRoman Divacky 59f22ef01cSRoman Divacky void SlotIndexes::releaseMemory() { 60f22ef01cSRoman Divacky mi2iMap.clear(); 61f22ef01cSRoman Divacky mbb2IdxMap.clear(); 62f22ef01cSRoman Divacky idx2MBBMap.clear(); 63f22ef01cSRoman Divacky terminatorGaps.clear(); 64f22ef01cSRoman Divacky clearList(); 65f22ef01cSRoman Divacky } 66f22ef01cSRoman Divacky 67f22ef01cSRoman Divacky bool SlotIndexes::runOnMachineFunction(MachineFunction &fn) { 68f22ef01cSRoman Divacky 69f22ef01cSRoman Divacky // Compute numbering as follows: 70f22ef01cSRoman Divacky // Grab an iterator to the start of the index list. 71f22ef01cSRoman Divacky // Iterate over all MBBs, and within each MBB all MIs, keeping the MI 72f22ef01cSRoman Divacky // iterator in lock-step (though skipping it over indexes which have 73f22ef01cSRoman Divacky // null pointers in the instruction field). 74f22ef01cSRoman Divacky // At each iteration assert that the instruction pointed to in the index 75f22ef01cSRoman Divacky // is the same one pointed to by the MI iterator. This 76f22ef01cSRoman Divacky 77f22ef01cSRoman Divacky // FIXME: This can be simplified. The mi2iMap_, Idx2MBBMap, etc. should 78f22ef01cSRoman Divacky // only need to be set up once after the first numbering is computed. 79f22ef01cSRoman Divacky 80f22ef01cSRoman Divacky mf = &fn; 81f22ef01cSRoman Divacky initList(); 82f22ef01cSRoman Divacky 83f22ef01cSRoman Divacky // Check that the list contains only the sentinal. 84f22ef01cSRoman Divacky assert(indexListHead->getNext() == 0 && 85f22ef01cSRoman Divacky "Index list non-empty at initial numbering?"); 86f22ef01cSRoman Divacky assert(idx2MBBMap.empty() && 87f22ef01cSRoman Divacky "Index -> MBB mapping non-empty at initial numbering?"); 88f22ef01cSRoman Divacky assert(mbb2IdxMap.empty() && 89f22ef01cSRoman Divacky "MBB -> Index mapping non-empty at initial numbering?"); 90f22ef01cSRoman Divacky assert(mi2iMap.empty() && 91f22ef01cSRoman Divacky "MachineInstr -> Index mapping non-empty at initial numbering?"); 92f22ef01cSRoman Divacky 93f22ef01cSRoman Divacky functionSize = 0; 94f22ef01cSRoman Divacky unsigned index = 0; 95f22ef01cSRoman Divacky 96f22ef01cSRoman Divacky push_back(createEntry(0, index)); 97f22ef01cSRoman Divacky 98f22ef01cSRoman Divacky // Iterate over the function. 99f22ef01cSRoman Divacky for (MachineFunction::iterator mbbItr = mf->begin(), mbbEnd = mf->end(); 100f22ef01cSRoman Divacky mbbItr != mbbEnd; ++mbbItr) { 101f22ef01cSRoman Divacky MachineBasicBlock *mbb = &*mbbItr; 102f22ef01cSRoman Divacky 103f22ef01cSRoman Divacky // Insert an index for the MBB start. 104f22ef01cSRoman Divacky SlotIndex blockStartIndex(back(), SlotIndex::LOAD); 105f22ef01cSRoman Divacky 106f22ef01cSRoman Divacky index += SlotIndex::NUM; 107f22ef01cSRoman Divacky 108f22ef01cSRoman Divacky for (MachineBasicBlock::iterator miItr = mbb->begin(), miEnd = mbb->end(); 109f22ef01cSRoman Divacky miItr != miEnd; ++miItr) { 110f22ef01cSRoman Divacky MachineInstr *mi = miItr; 111f22ef01cSRoman Divacky if (mi->isDebugValue()) 112f22ef01cSRoman Divacky continue; 113f22ef01cSRoman Divacky 114f22ef01cSRoman Divacky if (miItr == mbb->getFirstTerminator()) { 115f22ef01cSRoman Divacky push_back(createEntry(0, index)); 116f22ef01cSRoman Divacky terminatorGaps.insert( 117f22ef01cSRoman Divacky std::make_pair(mbb, SlotIndex(back(), SlotIndex::PHI_BIT))); 118f22ef01cSRoman Divacky index += SlotIndex::NUM; 119f22ef01cSRoman Divacky } 120f22ef01cSRoman Divacky 121f22ef01cSRoman Divacky // Insert a store index for the instr. 122f22ef01cSRoman Divacky push_back(createEntry(mi, index)); 123f22ef01cSRoman Divacky 124f22ef01cSRoman Divacky // Save this base index in the maps. 125f22ef01cSRoman Divacky mi2iMap.insert( 126f22ef01cSRoman Divacky std::make_pair(mi, SlotIndex(back(), SlotIndex::LOAD))); 127f22ef01cSRoman Divacky 128f22ef01cSRoman Divacky ++functionSize; 129f22ef01cSRoman Divacky 130f22ef01cSRoman Divacky unsigned Slots = mi->getDesc().getNumDefs(); 131f22ef01cSRoman Divacky if (Slots == 0) 132f22ef01cSRoman Divacky Slots = 1; 133f22ef01cSRoman Divacky 134f22ef01cSRoman Divacky index += (Slots + 1) * SlotIndex::NUM; 135f22ef01cSRoman Divacky } 136f22ef01cSRoman Divacky 137f22ef01cSRoman Divacky if (mbb->getFirstTerminator() == mbb->end()) { 138f22ef01cSRoman Divacky push_back(createEntry(0, index)); 139f22ef01cSRoman Divacky terminatorGaps.insert( 140f22ef01cSRoman Divacky std::make_pair(mbb, SlotIndex(back(), SlotIndex::PHI_BIT))); 141f22ef01cSRoman Divacky index += SlotIndex::NUM; 142f22ef01cSRoman Divacky } 143f22ef01cSRoman Divacky 144f22ef01cSRoman Divacky // One blank instruction at the end. 145f22ef01cSRoman Divacky push_back(createEntry(0, index)); 146f22ef01cSRoman Divacky 147f22ef01cSRoman Divacky SlotIndex blockEndIndex(back(), SlotIndex::LOAD); 148f22ef01cSRoman Divacky mbb2IdxMap.insert( 149f22ef01cSRoman Divacky std::make_pair(mbb, std::make_pair(blockStartIndex, blockEndIndex))); 150f22ef01cSRoman Divacky 151f22ef01cSRoman Divacky idx2MBBMap.push_back(IdxMBBPair(blockStartIndex, mbb)); 152f22ef01cSRoman Divacky } 153f22ef01cSRoman Divacky 154f22ef01cSRoman Divacky // Sort the Idx2MBBMap 155f22ef01cSRoman Divacky std::sort(idx2MBBMap.begin(), idx2MBBMap.end(), Idx2MBBCompare()); 156f22ef01cSRoman Divacky 157f22ef01cSRoman Divacky DEBUG(dump()); 158f22ef01cSRoman Divacky 159f22ef01cSRoman Divacky // And we're done! 160f22ef01cSRoman Divacky return false; 161f22ef01cSRoman Divacky } 162f22ef01cSRoman Divacky 163f22ef01cSRoman Divacky void SlotIndexes::renumberIndexes() { 164f22ef01cSRoman Divacky 165f22ef01cSRoman Divacky // Renumber updates the index of every element of the index list. 166f22ef01cSRoman Divacky // If all instrs in the function have been allocated an index (which has been 167f22ef01cSRoman Divacky // placed in the index list in the order of instruction iteration) then the 168f22ef01cSRoman Divacky // resulting numbering will match what would have been generated by the 169f22ef01cSRoman Divacky // pass during the initial numbering of the function if the new instructions 170f22ef01cSRoman Divacky // had been present. 171f22ef01cSRoman Divacky 172f22ef01cSRoman Divacky functionSize = 0; 173f22ef01cSRoman Divacky unsigned index = 0; 174f22ef01cSRoman Divacky 175f22ef01cSRoman Divacky for (IndexListEntry *curEntry = front(); curEntry != getTail(); 176f22ef01cSRoman Divacky curEntry = curEntry->getNext()) { 177f22ef01cSRoman Divacky 178f22ef01cSRoman Divacky curEntry->setIndex(index); 179f22ef01cSRoman Divacky 180f22ef01cSRoman Divacky if (curEntry->getInstr() == 0) { 181f22ef01cSRoman Divacky // MBB start entry or terminator gap. Just step index by 1. 182f22ef01cSRoman Divacky index += SlotIndex::NUM; 183f22ef01cSRoman Divacky } 184f22ef01cSRoman Divacky else { 185f22ef01cSRoman Divacky ++functionSize; 186f22ef01cSRoman Divacky unsigned Slots = curEntry->getInstr()->getDesc().getNumDefs(); 187f22ef01cSRoman Divacky if (Slots == 0) 188f22ef01cSRoman Divacky Slots = 1; 189f22ef01cSRoman Divacky 190f22ef01cSRoman Divacky index += (Slots + 1) * SlotIndex::NUM; 191f22ef01cSRoman Divacky } 192f22ef01cSRoman Divacky } 193f22ef01cSRoman Divacky } 194f22ef01cSRoman Divacky 195f22ef01cSRoman Divacky void SlotIndexes::dump() const { 196f22ef01cSRoman Divacky for (const IndexListEntry *itr = front(); itr != getTail(); 197f22ef01cSRoman Divacky itr = itr->getNext()) { 198f22ef01cSRoman Divacky dbgs() << itr->getIndex() << " "; 199f22ef01cSRoman Divacky 200f22ef01cSRoman Divacky if (itr->getInstr() != 0) { 201f22ef01cSRoman Divacky dbgs() << *itr->getInstr(); 202f22ef01cSRoman Divacky } else { 203f22ef01cSRoman Divacky dbgs() << "\n"; 204f22ef01cSRoman Divacky } 205f22ef01cSRoman Divacky } 206f22ef01cSRoman Divacky 207f22ef01cSRoman Divacky for (MBB2IdxMap::const_iterator itr = mbb2IdxMap.begin(); 208f22ef01cSRoman Divacky itr != mbb2IdxMap.end(); ++itr) { 209f22ef01cSRoman Divacky dbgs() << "MBB " << itr->first->getNumber() << " (" << itr->first << ") - [" 210f22ef01cSRoman Divacky << itr->second.first << ", " << itr->second.second << "]\n"; 211f22ef01cSRoman Divacky } 212f22ef01cSRoman Divacky } 213f22ef01cSRoman Divacky 214f22ef01cSRoman Divacky // Print a SlotIndex to a raw_ostream. 215f22ef01cSRoman Divacky void SlotIndex::print(raw_ostream &os) const { 216ffd1746dSEd Schouten os << entry().getIndex(); 217f22ef01cSRoman Divacky if (isPHI()) 218f22ef01cSRoman Divacky os << "*"; 219ffd1746dSEd Schouten else 220ffd1746dSEd Schouten os << "LudS"[getSlot()]; 221f22ef01cSRoman Divacky } 222f22ef01cSRoman Divacky 223f22ef01cSRoman Divacky // Dump a SlotIndex to stderr. 224f22ef01cSRoman Divacky void SlotIndex::dump() const { 225f22ef01cSRoman Divacky print(dbgs()); 226f22ef01cSRoman Divacky dbgs() << "\n"; 227f22ef01cSRoman Divacky } 228f22ef01cSRoman Divacky 229