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; 43e580952dSDimitry Andric INITIALIZE_PASS(SlotIndexes, "slotindexes", 442754fe60SDimitry Andric "Slot index numbering", false, false) 45f22ef01cSRoman Divacky 46f22ef01cSRoman Divacky IndexListEntry* IndexListEntry::getEmptyKeyEntry() { 47f22ef01cSRoman Divacky return &*IndexListEntryEmptyKey; 48f22ef01cSRoman Divacky } 49f22ef01cSRoman Divacky 50f22ef01cSRoman Divacky IndexListEntry* IndexListEntry::getTombstoneKeyEntry() { 51f22ef01cSRoman Divacky return &*IndexListEntryTombstoneKey; 52f22ef01cSRoman Divacky } 53f22ef01cSRoman Divacky 54f22ef01cSRoman Divacky 55f22ef01cSRoman Divacky void SlotIndexes::getAnalysisUsage(AnalysisUsage &au) const { 56f22ef01cSRoman Divacky au.setPreservesAll(); 57f22ef01cSRoman Divacky MachineFunctionPass::getAnalysisUsage(au); 58f22ef01cSRoman Divacky } 59f22ef01cSRoman Divacky 60f22ef01cSRoman Divacky void SlotIndexes::releaseMemory() { 61f22ef01cSRoman Divacky mi2iMap.clear(); 62f22ef01cSRoman Divacky mbb2IdxMap.clear(); 63f22ef01cSRoman Divacky idx2MBBMap.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 // Insert a store index for the instr. 115f22ef01cSRoman Divacky push_back(createEntry(mi, index)); 116f22ef01cSRoman Divacky 117f22ef01cSRoman Divacky // Save this base index in the maps. 118f22ef01cSRoman Divacky mi2iMap.insert( 119f22ef01cSRoman Divacky std::make_pair(mi, SlotIndex(back(), SlotIndex::LOAD))); 120f22ef01cSRoman Divacky 121f22ef01cSRoman Divacky ++functionSize; 122f22ef01cSRoman Divacky 123f22ef01cSRoman Divacky unsigned Slots = mi->getDesc().getNumDefs(); 124f22ef01cSRoman Divacky if (Slots == 0) 125f22ef01cSRoman Divacky Slots = 1; 126f22ef01cSRoman Divacky 127f22ef01cSRoman Divacky index += (Slots + 1) * SlotIndex::NUM; 128f22ef01cSRoman Divacky } 129f22ef01cSRoman Divacky 1302754fe60SDimitry Andric // We insert two blank instructions between basic blocks. 1312754fe60SDimitry Andric // One to represent live-out registers and one to represent live-ins. 132f22ef01cSRoman Divacky push_back(createEntry(0, index)); 133f22ef01cSRoman Divacky index += SlotIndex::NUM; 134f22ef01cSRoman Divacky 135f22ef01cSRoman Divacky push_back(createEntry(0, index)); 136f22ef01cSRoman Divacky 137f22ef01cSRoman Divacky SlotIndex blockEndIndex(back(), SlotIndex::LOAD); 138f22ef01cSRoman Divacky mbb2IdxMap.insert( 139f22ef01cSRoman Divacky std::make_pair(mbb, std::make_pair(blockStartIndex, blockEndIndex))); 140f22ef01cSRoman Divacky 141f22ef01cSRoman Divacky idx2MBBMap.push_back(IdxMBBPair(blockStartIndex, mbb)); 142f22ef01cSRoman Divacky } 143f22ef01cSRoman Divacky 144f22ef01cSRoman Divacky // Sort the Idx2MBBMap 145f22ef01cSRoman Divacky std::sort(idx2MBBMap.begin(), idx2MBBMap.end(), Idx2MBBCompare()); 146f22ef01cSRoman Divacky 147f22ef01cSRoman Divacky DEBUG(dump()); 148f22ef01cSRoman Divacky 149f22ef01cSRoman Divacky // And we're done! 150f22ef01cSRoman Divacky return false; 151f22ef01cSRoman Divacky } 152f22ef01cSRoman Divacky 153f22ef01cSRoman Divacky void SlotIndexes::renumberIndexes() { 154f22ef01cSRoman Divacky 155f22ef01cSRoman Divacky // Renumber updates the index of every element of the index list. 156f22ef01cSRoman Divacky // If all instrs in the function have been allocated an index (which has been 157f22ef01cSRoman Divacky // placed in the index list in the order of instruction iteration) then the 158f22ef01cSRoman Divacky // resulting numbering will match what would have been generated by the 159f22ef01cSRoman Divacky // pass during the initial numbering of the function if the new instructions 160f22ef01cSRoman Divacky // had been present. 1612754fe60SDimitry Andric DEBUG(dbgs() << "\n*** Renumbering SlotIndexes ***\n"); 162f22ef01cSRoman Divacky 163f22ef01cSRoman Divacky functionSize = 0; 164f22ef01cSRoman Divacky unsigned index = 0; 165f22ef01cSRoman Divacky 166f22ef01cSRoman Divacky for (IndexListEntry *curEntry = front(); curEntry != getTail(); 167f22ef01cSRoman Divacky curEntry = curEntry->getNext()) { 168f22ef01cSRoman Divacky 169f22ef01cSRoman Divacky curEntry->setIndex(index); 170f22ef01cSRoman Divacky 171f22ef01cSRoman Divacky if (curEntry->getInstr() == 0) { 1722754fe60SDimitry Andric // MBB start entry. Just step index by 1. 173f22ef01cSRoman Divacky index += SlotIndex::NUM; 174f22ef01cSRoman Divacky } 175f22ef01cSRoman Divacky else { 176f22ef01cSRoman Divacky ++functionSize; 177f22ef01cSRoman Divacky unsigned Slots = curEntry->getInstr()->getDesc().getNumDefs(); 178f22ef01cSRoman Divacky if (Slots == 0) 179f22ef01cSRoman Divacky Slots = 1; 180f22ef01cSRoman Divacky 181f22ef01cSRoman Divacky index += (Slots + 1) * SlotIndex::NUM; 182f22ef01cSRoman Divacky } 183f22ef01cSRoman Divacky } 184f22ef01cSRoman Divacky } 185f22ef01cSRoman Divacky 186f22ef01cSRoman Divacky void SlotIndexes::dump() const { 187f22ef01cSRoman Divacky for (const IndexListEntry *itr = front(); itr != getTail(); 188f22ef01cSRoman Divacky itr = itr->getNext()) { 189f22ef01cSRoman Divacky dbgs() << itr->getIndex() << " "; 190f22ef01cSRoman Divacky 191f22ef01cSRoman Divacky if (itr->getInstr() != 0) { 192f22ef01cSRoman Divacky dbgs() << *itr->getInstr(); 193f22ef01cSRoman Divacky } else { 194f22ef01cSRoman Divacky dbgs() << "\n"; 195f22ef01cSRoman Divacky } 196f22ef01cSRoman Divacky } 197f22ef01cSRoman Divacky 198f22ef01cSRoman Divacky for (MBB2IdxMap::const_iterator itr = mbb2IdxMap.begin(); 199f22ef01cSRoman Divacky itr != mbb2IdxMap.end(); ++itr) { 200f22ef01cSRoman Divacky dbgs() << "MBB " << itr->first->getNumber() << " (" << itr->first << ") - [" 201f22ef01cSRoman Divacky << itr->second.first << ", " << itr->second.second << "]\n"; 202f22ef01cSRoman Divacky } 203f22ef01cSRoman Divacky } 204f22ef01cSRoman Divacky 205f22ef01cSRoman Divacky // Print a SlotIndex to a raw_ostream. 206f22ef01cSRoman Divacky void SlotIndex::print(raw_ostream &os) const { 2072754fe60SDimitry Andric if (isValid()) 2082754fe60SDimitry Andric os << entry().getIndex() << "LudS"[getSlot()]; 209ffd1746dSEd Schouten else 2102754fe60SDimitry Andric os << "invalid"; 211f22ef01cSRoman Divacky } 212f22ef01cSRoman Divacky 213f22ef01cSRoman Divacky // Dump a SlotIndex to stderr. 214f22ef01cSRoman Divacky void SlotIndex::dump() const { 215f22ef01cSRoman Divacky print(dbgs()); 216f22ef01cSRoman Divacky dbgs() << "\n"; 217f22ef01cSRoman Divacky } 218f22ef01cSRoman Divacky 219