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