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