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", 44e580952dSDimitry 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 terminatorGaps.clear(); 65f22ef01cSRoman Divacky clearList(); 66f22ef01cSRoman Divacky } 67f22ef01cSRoman Divacky 68f22ef01cSRoman Divacky bool SlotIndexes::runOnMachineFunction(MachineFunction &fn) { 69f22ef01cSRoman Divacky 70f22ef01cSRoman Divacky // Compute numbering as follows: 71f22ef01cSRoman Divacky // Grab an iterator to the start of the index list. 72f22ef01cSRoman Divacky // Iterate over all MBBs, and within each MBB all MIs, keeping the MI 73f22ef01cSRoman Divacky // iterator in lock-step (though skipping it over indexes which have 74f22ef01cSRoman Divacky // null pointers in the instruction field). 75f22ef01cSRoman Divacky // At each iteration assert that the instruction pointed to in the index 76f22ef01cSRoman Divacky // is the same one pointed to by the MI iterator. This 77f22ef01cSRoman Divacky 78f22ef01cSRoman Divacky // FIXME: This can be simplified. The mi2iMap_, Idx2MBBMap, etc. should 79f22ef01cSRoman Divacky // only need to be set up once after the first numbering is computed. 80f22ef01cSRoman Divacky 81f22ef01cSRoman Divacky mf = &fn; 82f22ef01cSRoman Divacky initList(); 83f22ef01cSRoman Divacky 84f22ef01cSRoman Divacky // Check that the list contains only the sentinal. 85f22ef01cSRoman Divacky assert(indexListHead->getNext() == 0 && 86f22ef01cSRoman Divacky "Index list non-empty at initial numbering?"); 87f22ef01cSRoman Divacky assert(idx2MBBMap.empty() && 88f22ef01cSRoman Divacky "Index -> MBB mapping non-empty at initial numbering?"); 89f22ef01cSRoman Divacky assert(mbb2IdxMap.empty() && 90f22ef01cSRoman Divacky "MBB -> Index mapping non-empty at initial numbering?"); 91f22ef01cSRoman Divacky assert(mi2iMap.empty() && 92f22ef01cSRoman Divacky "MachineInstr -> Index mapping non-empty at initial numbering?"); 93f22ef01cSRoman Divacky 94f22ef01cSRoman Divacky functionSize = 0; 95f22ef01cSRoman Divacky unsigned index = 0; 96f22ef01cSRoman Divacky 97f22ef01cSRoman Divacky push_back(createEntry(0, index)); 98f22ef01cSRoman Divacky 99f22ef01cSRoman Divacky // Iterate over the function. 100f22ef01cSRoman Divacky for (MachineFunction::iterator mbbItr = mf->begin(), mbbEnd = mf->end(); 101f22ef01cSRoman Divacky mbbItr != mbbEnd; ++mbbItr) { 102f22ef01cSRoman Divacky MachineBasicBlock *mbb = &*mbbItr; 103f22ef01cSRoman Divacky 104f22ef01cSRoman Divacky // Insert an index for the MBB start. 105f22ef01cSRoman Divacky SlotIndex blockStartIndex(back(), SlotIndex::LOAD); 106f22ef01cSRoman Divacky 107f22ef01cSRoman Divacky index += SlotIndex::NUM; 108f22ef01cSRoman Divacky 109f22ef01cSRoman Divacky for (MachineBasicBlock::iterator miItr = mbb->begin(), miEnd = mbb->end(); 110f22ef01cSRoman Divacky miItr != miEnd; ++miItr) { 111f22ef01cSRoman Divacky MachineInstr *mi = miItr; 112f22ef01cSRoman Divacky if (mi->isDebugValue()) 113f22ef01cSRoman Divacky continue; 114f22ef01cSRoman Divacky 115f22ef01cSRoman Divacky if (miItr == mbb->getFirstTerminator()) { 116f22ef01cSRoman Divacky push_back(createEntry(0, index)); 117f22ef01cSRoman Divacky terminatorGaps.insert( 118f22ef01cSRoman Divacky std::make_pair(mbb, SlotIndex(back(), SlotIndex::PHI_BIT))); 119f22ef01cSRoman Divacky index += SlotIndex::NUM; 120f22ef01cSRoman Divacky } 121f22ef01cSRoman Divacky 122f22ef01cSRoman Divacky // Insert a store index for the instr. 123f22ef01cSRoman Divacky push_back(createEntry(mi, index)); 124f22ef01cSRoman Divacky 125f22ef01cSRoman Divacky // Save this base index in the maps. 126f22ef01cSRoman Divacky mi2iMap.insert( 127f22ef01cSRoman Divacky std::make_pair(mi, SlotIndex(back(), SlotIndex::LOAD))); 128f22ef01cSRoman Divacky 129f22ef01cSRoman Divacky ++functionSize; 130f22ef01cSRoman Divacky 131f22ef01cSRoman Divacky unsigned Slots = mi->getDesc().getNumDefs(); 132f22ef01cSRoman Divacky if (Slots == 0) 133f22ef01cSRoman Divacky Slots = 1; 134f22ef01cSRoman Divacky 135f22ef01cSRoman Divacky index += (Slots + 1) * SlotIndex::NUM; 136f22ef01cSRoman Divacky } 137f22ef01cSRoman Divacky 138f22ef01cSRoman Divacky if (mbb->getFirstTerminator() == mbb->end()) { 139f22ef01cSRoman Divacky push_back(createEntry(0, index)); 140f22ef01cSRoman Divacky terminatorGaps.insert( 141f22ef01cSRoman Divacky std::make_pair(mbb, SlotIndex(back(), SlotIndex::PHI_BIT))); 142f22ef01cSRoman Divacky index += SlotIndex::NUM; 143f22ef01cSRoman Divacky } 144f22ef01cSRoman Divacky 145f22ef01cSRoman Divacky // One blank instruction at the end. 146f22ef01cSRoman Divacky push_back(createEntry(0, index)); 147f22ef01cSRoman Divacky 148f22ef01cSRoman Divacky SlotIndex blockEndIndex(back(), SlotIndex::LOAD); 149f22ef01cSRoman Divacky mbb2IdxMap.insert( 150f22ef01cSRoman Divacky std::make_pair(mbb, std::make_pair(blockStartIndex, blockEndIndex))); 151f22ef01cSRoman Divacky 152f22ef01cSRoman Divacky idx2MBBMap.push_back(IdxMBBPair(blockStartIndex, mbb)); 153f22ef01cSRoman Divacky } 154f22ef01cSRoman Divacky 155f22ef01cSRoman Divacky // Sort the Idx2MBBMap 156f22ef01cSRoman Divacky std::sort(idx2MBBMap.begin(), idx2MBBMap.end(), Idx2MBBCompare()); 157f22ef01cSRoman Divacky 158f22ef01cSRoman Divacky DEBUG(dump()); 159f22ef01cSRoman Divacky 160f22ef01cSRoman Divacky // And we're done! 161f22ef01cSRoman Divacky return false; 162f22ef01cSRoman Divacky } 163f22ef01cSRoman Divacky 164f22ef01cSRoman Divacky void SlotIndexes::renumberIndexes() { 165f22ef01cSRoman Divacky 166f22ef01cSRoman Divacky // Renumber updates the index of every element of the index list. 167f22ef01cSRoman Divacky // If all instrs in the function have been allocated an index (which has been 168f22ef01cSRoman Divacky // placed in the index list in the order of instruction iteration) then the 169f22ef01cSRoman Divacky // resulting numbering will match what would have been generated by the 170f22ef01cSRoman Divacky // pass during the initial numbering of the function if the new instructions 171f22ef01cSRoman Divacky // had been present. 172f22ef01cSRoman Divacky 173f22ef01cSRoman Divacky functionSize = 0; 174f22ef01cSRoman Divacky unsigned index = 0; 175f22ef01cSRoman Divacky 176f22ef01cSRoman Divacky for (IndexListEntry *curEntry = front(); curEntry != getTail(); 177f22ef01cSRoman Divacky curEntry = curEntry->getNext()) { 178f22ef01cSRoman Divacky 179f22ef01cSRoman Divacky curEntry->setIndex(index); 180f22ef01cSRoman Divacky 181f22ef01cSRoman Divacky if (curEntry->getInstr() == 0) { 182f22ef01cSRoman Divacky // MBB start entry or terminator gap. Just step index by 1. 183f22ef01cSRoman Divacky index += SlotIndex::NUM; 184f22ef01cSRoman Divacky } 185f22ef01cSRoman Divacky else { 186f22ef01cSRoman Divacky ++functionSize; 187f22ef01cSRoman Divacky unsigned Slots = curEntry->getInstr()->getDesc().getNumDefs(); 188f22ef01cSRoman Divacky if (Slots == 0) 189f22ef01cSRoman Divacky Slots = 1; 190f22ef01cSRoman Divacky 191f22ef01cSRoman Divacky index += (Slots + 1) * SlotIndex::NUM; 192f22ef01cSRoman Divacky } 193f22ef01cSRoman Divacky } 194f22ef01cSRoman Divacky } 195f22ef01cSRoman Divacky 196f22ef01cSRoman Divacky void SlotIndexes::dump() const { 197f22ef01cSRoman Divacky for (const IndexListEntry *itr = front(); itr != getTail(); 198f22ef01cSRoman Divacky itr = itr->getNext()) { 199f22ef01cSRoman Divacky dbgs() << itr->getIndex() << " "; 200f22ef01cSRoman Divacky 201f22ef01cSRoman Divacky if (itr->getInstr() != 0) { 202f22ef01cSRoman Divacky dbgs() << *itr->getInstr(); 203f22ef01cSRoman Divacky } else { 204f22ef01cSRoman Divacky dbgs() << "\n"; 205f22ef01cSRoman Divacky } 206f22ef01cSRoman Divacky } 207f22ef01cSRoman Divacky 208f22ef01cSRoman Divacky for (MBB2IdxMap::const_iterator itr = mbb2IdxMap.begin(); 209f22ef01cSRoman Divacky itr != mbb2IdxMap.end(); ++itr) { 210f22ef01cSRoman Divacky dbgs() << "MBB " << itr->first->getNumber() << " (" << itr->first << ") - [" 211f22ef01cSRoman Divacky << itr->second.first << ", " << itr->second.second << "]\n"; 212f22ef01cSRoman Divacky } 213f22ef01cSRoman Divacky } 214f22ef01cSRoman Divacky 215f22ef01cSRoman Divacky // Print a SlotIndex to a raw_ostream. 216f22ef01cSRoman Divacky void SlotIndex::print(raw_ostream &os) const { 217ffd1746dSEd Schouten os << entry().getIndex(); 218f22ef01cSRoman Divacky if (isPHI()) 219f22ef01cSRoman Divacky os << "*"; 220ffd1746dSEd Schouten else 221ffd1746dSEd Schouten os << "LudS"[getSlot()]; 222f22ef01cSRoman Divacky } 223f22ef01cSRoman Divacky 224f22ef01cSRoman Divacky // Dump a SlotIndex to stderr. 225f22ef01cSRoman Divacky void SlotIndex::dump() const { 226f22ef01cSRoman Divacky print(dbgs()); 227f22ef01cSRoman Divacky dbgs() << "\n"; 228f22ef01cSRoman Divacky } 229f22ef01cSRoman Divacky 230