1f22ef01cSRoman Divacky //===-- ValueEnumerator.cpp - Number values and types for bitcode writer --===//
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 // This file implements the ValueEnumerator class.
11f22ef01cSRoman Divacky //
12f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
13f22ef01cSRoman Divacky 
14f22ef01cSRoman Divacky #include "ValueEnumerator.h"
15f22ef01cSRoman Divacky #include "llvm/Constants.h"
16f22ef01cSRoman Divacky #include "llvm/DerivedTypes.h"
17f22ef01cSRoman Divacky #include "llvm/Module.h"
18f22ef01cSRoman Divacky #include "llvm/TypeSymbolTable.h"
19f22ef01cSRoman Divacky #include "llvm/ValueSymbolTable.h"
20f22ef01cSRoman Divacky #include "llvm/Instructions.h"
21f22ef01cSRoman Divacky #include <algorithm>
22f22ef01cSRoman Divacky using namespace llvm;
23f22ef01cSRoman Divacky 
24f22ef01cSRoman Divacky static bool isSingleValueType(const std::pair<const llvm::Type*,
25f22ef01cSRoman Divacky                               unsigned int> &P) {
26f22ef01cSRoman Divacky   return P.first->isSingleValueType();
27f22ef01cSRoman Divacky }
28f22ef01cSRoman Divacky 
29f22ef01cSRoman Divacky static bool isIntegerValue(const std::pair<const Value*, unsigned> &V) {
30f22ef01cSRoman Divacky   return V.first->getType()->isIntegerTy();
31f22ef01cSRoman Divacky }
32f22ef01cSRoman Divacky 
33f22ef01cSRoman Divacky static bool CompareByFrequency(const std::pair<const llvm::Type*,
34f22ef01cSRoman Divacky                                unsigned int> &P1,
35f22ef01cSRoman Divacky                                const std::pair<const llvm::Type*,
36f22ef01cSRoman Divacky                                unsigned int> &P2) {
37f22ef01cSRoman Divacky   return P1.second > P2.second;
38f22ef01cSRoman Divacky }
39f22ef01cSRoman Divacky 
40f22ef01cSRoman Divacky /// ValueEnumerator - Enumerate module-level information.
41f22ef01cSRoman Divacky ValueEnumerator::ValueEnumerator(const Module *M) {
42f22ef01cSRoman Divacky   // Enumerate the global variables.
43f22ef01cSRoman Divacky   for (Module::const_global_iterator I = M->global_begin(),
44f22ef01cSRoman Divacky          E = M->global_end(); I != E; ++I)
45f22ef01cSRoman Divacky     EnumerateValue(I);
46f22ef01cSRoman Divacky 
47f22ef01cSRoman Divacky   // Enumerate the functions.
48f22ef01cSRoman Divacky   for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) {
49f22ef01cSRoman Divacky     EnumerateValue(I);
50f22ef01cSRoman Divacky     EnumerateAttributes(cast<Function>(I)->getAttributes());
51f22ef01cSRoman Divacky   }
52f22ef01cSRoman Divacky 
53f22ef01cSRoman Divacky   // Enumerate the aliases.
54f22ef01cSRoman Divacky   for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
55f22ef01cSRoman Divacky        I != E; ++I)
56f22ef01cSRoman Divacky     EnumerateValue(I);
57f22ef01cSRoman Divacky 
58f22ef01cSRoman Divacky   // Remember what is the cutoff between globalvalue's and other constants.
59f22ef01cSRoman Divacky   unsigned FirstConstant = Values.size();
60f22ef01cSRoman Divacky 
61f22ef01cSRoman Divacky   // Enumerate the global variable initializers.
62f22ef01cSRoman Divacky   for (Module::const_global_iterator I = M->global_begin(),
63f22ef01cSRoman Divacky          E = M->global_end(); I != E; ++I)
64f22ef01cSRoman Divacky     if (I->hasInitializer())
65f22ef01cSRoman Divacky       EnumerateValue(I->getInitializer());
66f22ef01cSRoman Divacky 
67f22ef01cSRoman Divacky   // Enumerate the aliasees.
68f22ef01cSRoman Divacky   for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end();
69f22ef01cSRoman Divacky        I != E; ++I)
70f22ef01cSRoman Divacky     EnumerateValue(I->getAliasee());
71f22ef01cSRoman Divacky 
72f22ef01cSRoman Divacky   // Enumerate types used by the type symbol table.
73f22ef01cSRoman Divacky   EnumerateTypeSymbolTable(M->getTypeSymbolTable());
74f22ef01cSRoman Divacky 
75f22ef01cSRoman Divacky   // Insert constants and metadata that are named at module level into the slot
76f22ef01cSRoman Divacky   // pool so that the module symbol table can refer to them...
77f22ef01cSRoman Divacky   EnumerateValueSymbolTable(M->getValueSymbolTable());
78f22ef01cSRoman Divacky   EnumerateMDSymbolTable(M->getMDSymbolTable());
79f22ef01cSRoman Divacky 
80f22ef01cSRoman Divacky   SmallVector<std::pair<unsigned, MDNode*>, 8> MDs;
81f22ef01cSRoman Divacky 
82f22ef01cSRoman Divacky   // Enumerate types used by function bodies and argument lists.
83f22ef01cSRoman Divacky   for (Module::const_iterator F = M->begin(), E = M->end(); F != E; ++F) {
84f22ef01cSRoman Divacky 
85f22ef01cSRoman Divacky     for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end();
86f22ef01cSRoman Divacky          I != E; ++I)
87f22ef01cSRoman Divacky       EnumerateType(I->getType());
88f22ef01cSRoman Divacky 
89f22ef01cSRoman Divacky     for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
90f22ef01cSRoman Divacky       for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E;++I){
91f22ef01cSRoman Divacky         for (User::const_op_iterator OI = I->op_begin(), E = I->op_end();
92f22ef01cSRoman Divacky              OI != E; ++OI) {
93f22ef01cSRoman Divacky           if (MDNode *MD = dyn_cast<MDNode>(*OI))
94f22ef01cSRoman Divacky             if (MD->isFunctionLocal() && MD->getFunction())
95f22ef01cSRoman Divacky               // These will get enumerated during function-incorporation.
96f22ef01cSRoman Divacky               continue;
97f22ef01cSRoman Divacky           EnumerateOperandType(*OI);
98f22ef01cSRoman Divacky         }
99f22ef01cSRoman Divacky         EnumerateType(I->getType());
100f22ef01cSRoman Divacky         if (const CallInst *CI = dyn_cast<CallInst>(I))
101f22ef01cSRoman Divacky           EnumerateAttributes(CI->getAttributes());
102f22ef01cSRoman Divacky         else if (const InvokeInst *II = dyn_cast<InvokeInst>(I))
103f22ef01cSRoman Divacky           EnumerateAttributes(II->getAttributes());
104f22ef01cSRoman Divacky 
105f22ef01cSRoman Divacky         // Enumerate metadata attached with this instruction.
106f22ef01cSRoman Divacky         MDs.clear();
107f22ef01cSRoman Divacky         I->getAllMetadataOtherThanDebugLoc(MDs);
108f22ef01cSRoman Divacky         for (unsigned i = 0, e = MDs.size(); i != e; ++i)
109f22ef01cSRoman Divacky           EnumerateMetadata(MDs[i].second);
110f22ef01cSRoman Divacky 
111f22ef01cSRoman Divacky         if (!I->getDebugLoc().isUnknown()) {
112f22ef01cSRoman Divacky           MDNode *Scope, *IA;
113f22ef01cSRoman Divacky           I->getDebugLoc().getScopeAndInlinedAt(Scope, IA, I->getContext());
114f22ef01cSRoman Divacky           if (Scope) EnumerateMetadata(Scope);
115f22ef01cSRoman Divacky           if (IA) EnumerateMetadata(IA);
116f22ef01cSRoman Divacky         }
117f22ef01cSRoman Divacky       }
118f22ef01cSRoman Divacky   }
119f22ef01cSRoman Divacky 
120f22ef01cSRoman Divacky   // Optimize constant ordering.
121f22ef01cSRoman Divacky   OptimizeConstants(FirstConstant, Values.size());
122f22ef01cSRoman Divacky 
123f22ef01cSRoman Divacky   // Sort the type table by frequency so that most commonly used types are early
124f22ef01cSRoman Divacky   // in the table (have low bit-width).
125f22ef01cSRoman Divacky   std::stable_sort(Types.begin(), Types.end(), CompareByFrequency);
126f22ef01cSRoman Divacky 
127f22ef01cSRoman Divacky   // Partition the Type ID's so that the single-value types occur before the
128f22ef01cSRoman Divacky   // aggregate types.  This allows the aggregate types to be dropped from the
129f22ef01cSRoman Divacky   // type table after parsing the global variable initializers.
130f22ef01cSRoman Divacky   std::partition(Types.begin(), Types.end(), isSingleValueType);
131f22ef01cSRoman Divacky 
132f22ef01cSRoman Divacky   // Now that we rearranged the type table, rebuild TypeMap.
133f22ef01cSRoman Divacky   for (unsigned i = 0, e = Types.size(); i != e; ++i)
134f22ef01cSRoman Divacky     TypeMap[Types[i].first] = i+1;
135f22ef01cSRoman Divacky }
136f22ef01cSRoman Divacky 
137f22ef01cSRoman Divacky unsigned ValueEnumerator::getInstructionID(const Instruction *Inst) const {
138f22ef01cSRoman Divacky   InstructionMapType::const_iterator I = InstructionMap.find(Inst);
139f22ef01cSRoman Divacky   assert (I != InstructionMap.end() && "Instruction is not mapped!");
140f22ef01cSRoman Divacky     return I->second;
141f22ef01cSRoman Divacky }
142f22ef01cSRoman Divacky 
143f22ef01cSRoman Divacky void ValueEnumerator::setInstructionID(const Instruction *I) {
144f22ef01cSRoman Divacky   InstructionMap[I] = InstructionCount++;
145f22ef01cSRoman Divacky }
146f22ef01cSRoman Divacky 
147f22ef01cSRoman Divacky unsigned ValueEnumerator::getValueID(const Value *V) const {
148f22ef01cSRoman Divacky   if (isa<MDNode>(V) || isa<MDString>(V)) {
149f22ef01cSRoman Divacky     ValueMapType::const_iterator I = MDValueMap.find(V);
150f22ef01cSRoman Divacky     assert(I != MDValueMap.end() && "Value not in slotcalculator!");
151f22ef01cSRoman Divacky     return I->second-1;
152f22ef01cSRoman Divacky   }
153f22ef01cSRoman Divacky 
154f22ef01cSRoman Divacky   ValueMapType::const_iterator I = ValueMap.find(V);
155f22ef01cSRoman Divacky   assert(I != ValueMap.end() && "Value not in slotcalculator!");
156f22ef01cSRoman Divacky   return I->second-1;
157f22ef01cSRoman Divacky }
158f22ef01cSRoman Divacky 
159f22ef01cSRoman Divacky // Optimize constant ordering.
160f22ef01cSRoman Divacky namespace {
161f22ef01cSRoman Divacky   struct CstSortPredicate {
162f22ef01cSRoman Divacky     ValueEnumerator &VE;
163f22ef01cSRoman Divacky     explicit CstSortPredicate(ValueEnumerator &ve) : VE(ve) {}
164f22ef01cSRoman Divacky     bool operator()(const std::pair<const Value*, unsigned> &LHS,
165f22ef01cSRoman Divacky                     const std::pair<const Value*, unsigned> &RHS) {
166f22ef01cSRoman Divacky       // Sort by plane.
167f22ef01cSRoman Divacky       if (LHS.first->getType() != RHS.first->getType())
168f22ef01cSRoman Divacky         return VE.getTypeID(LHS.first->getType()) <
169f22ef01cSRoman Divacky                VE.getTypeID(RHS.first->getType());
170f22ef01cSRoman Divacky       // Then by frequency.
171f22ef01cSRoman Divacky       return LHS.second > RHS.second;
172f22ef01cSRoman Divacky     }
173f22ef01cSRoman Divacky   };
174f22ef01cSRoman Divacky }
175f22ef01cSRoman Divacky 
176f22ef01cSRoman Divacky /// OptimizeConstants - Reorder constant pool for denser encoding.
177f22ef01cSRoman Divacky void ValueEnumerator::OptimizeConstants(unsigned CstStart, unsigned CstEnd) {
178f22ef01cSRoman Divacky   if (CstStart == CstEnd || CstStart+1 == CstEnd) return;
179f22ef01cSRoman Divacky 
180f22ef01cSRoman Divacky   CstSortPredicate P(*this);
181f22ef01cSRoman Divacky   std::stable_sort(Values.begin()+CstStart, Values.begin()+CstEnd, P);
182f22ef01cSRoman Divacky 
183f22ef01cSRoman Divacky   // Ensure that integer constants are at the start of the constant pool.  This
184f22ef01cSRoman Divacky   // is important so that GEP structure indices come before gep constant exprs.
185f22ef01cSRoman Divacky   std::partition(Values.begin()+CstStart, Values.begin()+CstEnd,
186f22ef01cSRoman Divacky                  isIntegerValue);
187f22ef01cSRoman Divacky 
188f22ef01cSRoman Divacky   // Rebuild the modified portion of ValueMap.
189f22ef01cSRoman Divacky   for (; CstStart != CstEnd; ++CstStart)
190f22ef01cSRoman Divacky     ValueMap[Values[CstStart].first] = CstStart+1;
191f22ef01cSRoman Divacky }
192f22ef01cSRoman Divacky 
193f22ef01cSRoman Divacky 
194f22ef01cSRoman Divacky /// EnumerateTypeSymbolTable - Insert all of the types in the specified symbol
195f22ef01cSRoman Divacky /// table.
196f22ef01cSRoman Divacky void ValueEnumerator::EnumerateTypeSymbolTable(const TypeSymbolTable &TST) {
197f22ef01cSRoman Divacky   for (TypeSymbolTable::const_iterator TI = TST.begin(), TE = TST.end();
198f22ef01cSRoman Divacky        TI != TE; ++TI)
199f22ef01cSRoman Divacky     EnumerateType(TI->second);
200f22ef01cSRoman Divacky }
201f22ef01cSRoman Divacky 
202f22ef01cSRoman Divacky /// EnumerateValueSymbolTable - Insert all of the values in the specified symbol
203f22ef01cSRoman Divacky /// table into the values table.
204f22ef01cSRoman Divacky void ValueEnumerator::EnumerateValueSymbolTable(const ValueSymbolTable &VST) {
205f22ef01cSRoman Divacky   for (ValueSymbolTable::const_iterator VI = VST.begin(), VE = VST.end();
206f22ef01cSRoman Divacky        VI != VE; ++VI)
207f22ef01cSRoman Divacky     EnumerateValue(VI->getValue());
208f22ef01cSRoman Divacky }
209f22ef01cSRoman Divacky 
210f22ef01cSRoman Divacky /// EnumerateMDSymbolTable - Insert all of the values in the specified metadata
211f22ef01cSRoman Divacky /// table.
212f22ef01cSRoman Divacky void ValueEnumerator::EnumerateMDSymbolTable(const MDSymbolTable &MST) {
213f22ef01cSRoman Divacky   for (MDSymbolTable::const_iterator MI = MST.begin(), ME = MST.end();
214f22ef01cSRoman Divacky        MI != ME; ++MI)
215f22ef01cSRoman Divacky     EnumerateValue(MI->getValue());
216f22ef01cSRoman Divacky }
217f22ef01cSRoman Divacky 
218f22ef01cSRoman Divacky void ValueEnumerator::EnumerateNamedMDNode(const NamedMDNode *MD) {
219f22ef01cSRoman Divacky   // Check to see if it's already in!
220f22ef01cSRoman Divacky   unsigned &MDValueID = MDValueMap[MD];
221f22ef01cSRoman Divacky   if (MDValueID) {
222f22ef01cSRoman Divacky     // Increment use count.
223f22ef01cSRoman Divacky     MDValues[MDValueID-1].second++;
224f22ef01cSRoman Divacky     return;
225f22ef01cSRoman Divacky   }
226f22ef01cSRoman Divacky 
227f22ef01cSRoman Divacky   // Enumerate the type of this value.
228f22ef01cSRoman Divacky   EnumerateType(MD->getType());
229f22ef01cSRoman Divacky 
230f22ef01cSRoman Divacky   for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i)
231f22ef01cSRoman Divacky     if (MDNode *E = MD->getOperand(i))
232f22ef01cSRoman Divacky       EnumerateValue(E);
233f22ef01cSRoman Divacky   MDValues.push_back(std::make_pair(MD, 1U));
234f22ef01cSRoman Divacky   MDValueMap[MD] = Values.size();
235f22ef01cSRoman Divacky }
236f22ef01cSRoman Divacky 
237f22ef01cSRoman Divacky void ValueEnumerator::EnumerateMetadata(const Value *MD) {
238f22ef01cSRoman Divacky   assert((isa<MDNode>(MD) || isa<MDString>(MD)) && "Invalid metadata kind");
239f22ef01cSRoman Divacky   // Check to see if it's already in!
240f22ef01cSRoman Divacky   unsigned &MDValueID = MDValueMap[MD];
241f22ef01cSRoman Divacky   if (MDValueID) {
242f22ef01cSRoman Divacky     // Increment use count.
243f22ef01cSRoman Divacky     MDValues[MDValueID-1].second++;
244f22ef01cSRoman Divacky     return;
245f22ef01cSRoman Divacky   }
246f22ef01cSRoman Divacky 
247f22ef01cSRoman Divacky   // Enumerate the type of this value.
248f22ef01cSRoman Divacky   EnumerateType(MD->getType());
249f22ef01cSRoman Divacky 
250f22ef01cSRoman Divacky   if (const MDNode *N = dyn_cast<MDNode>(MD)) {
251f22ef01cSRoman Divacky     MDValues.push_back(std::make_pair(MD, 1U));
252f22ef01cSRoman Divacky     MDValueMap[MD] = MDValues.size();
253f22ef01cSRoman Divacky     MDValueID = MDValues.size();
254f22ef01cSRoman Divacky     for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
255f22ef01cSRoman Divacky       if (Value *V = N->getOperand(i))
256f22ef01cSRoman Divacky         EnumerateValue(V);
257f22ef01cSRoman Divacky       else
258f22ef01cSRoman Divacky         EnumerateType(Type::getVoidTy(MD->getContext()));
259f22ef01cSRoman Divacky     }
260ffd1746dSEd Schouten     if (N->isFunctionLocal() && N->getFunction())
261ffd1746dSEd Schouten       FunctionLocalMDs.push_back(N);
262f22ef01cSRoman Divacky     return;
263f22ef01cSRoman Divacky   }
264f22ef01cSRoman Divacky 
265f22ef01cSRoman Divacky   // Add the value.
266f22ef01cSRoman Divacky   assert(isa<MDString>(MD) && "Unknown metadata kind");
267f22ef01cSRoman Divacky   MDValues.push_back(std::make_pair(MD, 1U));
268f22ef01cSRoman Divacky   MDValueID = MDValues.size();
269f22ef01cSRoman Divacky }
270f22ef01cSRoman Divacky 
271f22ef01cSRoman Divacky void ValueEnumerator::EnumerateValue(const Value *V) {
272f22ef01cSRoman Divacky   assert(!V->getType()->isVoidTy() && "Can't insert void values!");
273f22ef01cSRoman Divacky   if (isa<MDNode>(V) || isa<MDString>(V))
274f22ef01cSRoman Divacky     return EnumerateMetadata(V);
275f22ef01cSRoman Divacky   else if (const NamedMDNode *NMD = dyn_cast<NamedMDNode>(V))
276f22ef01cSRoman Divacky     return EnumerateNamedMDNode(NMD);
277f22ef01cSRoman Divacky 
278f22ef01cSRoman Divacky   // Check to see if it's already in!
279f22ef01cSRoman Divacky   unsigned &ValueID = ValueMap[V];
280f22ef01cSRoman Divacky   if (ValueID) {
281f22ef01cSRoman Divacky     // Increment use count.
282f22ef01cSRoman Divacky     Values[ValueID-1].second++;
283f22ef01cSRoman Divacky     return;
284f22ef01cSRoman Divacky   }
285f22ef01cSRoman Divacky 
286f22ef01cSRoman Divacky   // Enumerate the type of this value.
287f22ef01cSRoman Divacky   EnumerateType(V->getType());
288f22ef01cSRoman Divacky 
289f22ef01cSRoman Divacky   if (const Constant *C = dyn_cast<Constant>(V)) {
290f22ef01cSRoman Divacky     if (isa<GlobalValue>(C)) {
291f22ef01cSRoman Divacky       // Initializers for globals are handled explicitly elsewhere.
292f22ef01cSRoman Divacky     } else if (isa<ConstantArray>(C) && cast<ConstantArray>(C)->isString()) {
293f22ef01cSRoman Divacky       // Do not enumerate the initializers for an array of simple characters.
294f22ef01cSRoman Divacky       // The initializers just polute the value table, and we emit the strings
295f22ef01cSRoman Divacky       // specially.
296f22ef01cSRoman Divacky     } else if (C->getNumOperands()) {
297f22ef01cSRoman Divacky       // If a constant has operands, enumerate them.  This makes sure that if a
298f22ef01cSRoman Divacky       // constant has uses (for example an array of const ints), that they are
299f22ef01cSRoman Divacky       // inserted also.
300f22ef01cSRoman Divacky 
301f22ef01cSRoman Divacky       // We prefer to enumerate them with values before we enumerate the user
302f22ef01cSRoman Divacky       // itself.  This makes it more likely that we can avoid forward references
303f22ef01cSRoman Divacky       // in the reader.  We know that there can be no cycles in the constants
304f22ef01cSRoman Divacky       // graph that don't go through a global variable.
305f22ef01cSRoman Divacky       for (User::const_op_iterator I = C->op_begin(), E = C->op_end();
306f22ef01cSRoman Divacky            I != E; ++I)
307f22ef01cSRoman Divacky         if (!isa<BasicBlock>(*I)) // Don't enumerate BB operand to BlockAddress.
308f22ef01cSRoman Divacky           EnumerateValue(*I);
309f22ef01cSRoman Divacky 
310f22ef01cSRoman Divacky       // Finally, add the value.  Doing this could make the ValueID reference be
311f22ef01cSRoman Divacky       // dangling, don't reuse it.
312f22ef01cSRoman Divacky       Values.push_back(std::make_pair(V, 1U));
313f22ef01cSRoman Divacky       ValueMap[V] = Values.size();
314f22ef01cSRoman Divacky       return;
315f22ef01cSRoman Divacky     }
316f22ef01cSRoman Divacky   }
317f22ef01cSRoman Divacky 
318f22ef01cSRoman Divacky   // Add the value.
319f22ef01cSRoman Divacky   Values.push_back(std::make_pair(V, 1U));
320f22ef01cSRoman Divacky   ValueID = Values.size();
321f22ef01cSRoman Divacky }
322f22ef01cSRoman Divacky 
323f22ef01cSRoman Divacky 
324f22ef01cSRoman Divacky void ValueEnumerator::EnumerateType(const Type *Ty) {
325f22ef01cSRoman Divacky   unsigned &TypeID = TypeMap[Ty];
326f22ef01cSRoman Divacky 
327f22ef01cSRoman Divacky   if (TypeID) {
328f22ef01cSRoman Divacky     // If we've already seen this type, just increase its occurrence count.
329f22ef01cSRoman Divacky     Types[TypeID-1].second++;
330f22ef01cSRoman Divacky     return;
331f22ef01cSRoman Divacky   }
332f22ef01cSRoman Divacky 
333f22ef01cSRoman Divacky   // First time we saw this type, add it.
334f22ef01cSRoman Divacky   Types.push_back(std::make_pair(Ty, 1U));
335f22ef01cSRoman Divacky   TypeID = Types.size();
336f22ef01cSRoman Divacky 
337f22ef01cSRoman Divacky   // Enumerate subtypes.
338f22ef01cSRoman Divacky   for (Type::subtype_iterator I = Ty->subtype_begin(), E = Ty->subtype_end();
339f22ef01cSRoman Divacky        I != E; ++I)
340f22ef01cSRoman Divacky     EnumerateType(*I);
341f22ef01cSRoman Divacky }
342f22ef01cSRoman Divacky 
343f22ef01cSRoman Divacky // Enumerate the types for the specified value.  If the value is a constant,
344f22ef01cSRoman Divacky // walk through it, enumerating the types of the constant.
345f22ef01cSRoman Divacky void ValueEnumerator::EnumerateOperandType(const Value *V) {
346f22ef01cSRoman Divacky   EnumerateType(V->getType());
347f22ef01cSRoman Divacky 
348f22ef01cSRoman Divacky   if (const Constant *C = dyn_cast<Constant>(V)) {
349f22ef01cSRoman Divacky     // If this constant is already enumerated, ignore it, we know its type must
350f22ef01cSRoman Divacky     // be enumerated.
351f22ef01cSRoman Divacky     if (ValueMap.count(V)) return;
352f22ef01cSRoman Divacky 
353f22ef01cSRoman Divacky     // This constant may have operands, make sure to enumerate the types in
354f22ef01cSRoman Divacky     // them.
355f22ef01cSRoman Divacky     for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) {
356f22ef01cSRoman Divacky       const User *Op = C->getOperand(i);
357f22ef01cSRoman Divacky 
358f22ef01cSRoman Divacky       // Don't enumerate basic blocks here, this happens as operands to
359f22ef01cSRoman Divacky       // blockaddress.
360f22ef01cSRoman Divacky       if (isa<BasicBlock>(Op)) continue;
361f22ef01cSRoman Divacky 
362f22ef01cSRoman Divacky       EnumerateOperandType(cast<Constant>(Op));
363f22ef01cSRoman Divacky     }
364f22ef01cSRoman Divacky 
365f22ef01cSRoman Divacky     if (const MDNode *N = dyn_cast<MDNode>(V)) {
366f22ef01cSRoman Divacky       for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i)
367f22ef01cSRoman Divacky         if (Value *Elem = N->getOperand(i))
368f22ef01cSRoman Divacky           EnumerateOperandType(Elem);
369f22ef01cSRoman Divacky     }
370f22ef01cSRoman Divacky   } else if (isa<MDString>(V) || isa<MDNode>(V))
371f22ef01cSRoman Divacky     EnumerateValue(V);
372f22ef01cSRoman Divacky }
373f22ef01cSRoman Divacky 
374f22ef01cSRoman Divacky void ValueEnumerator::EnumerateAttributes(const AttrListPtr &PAL) {
375f22ef01cSRoman Divacky   if (PAL.isEmpty()) return;  // null is always 0.
376f22ef01cSRoman Divacky   // Do a lookup.
377f22ef01cSRoman Divacky   unsigned &Entry = AttributeMap[PAL.getRawPointer()];
378f22ef01cSRoman Divacky   if (Entry == 0) {
379f22ef01cSRoman Divacky     // Never saw this before, add it.
380f22ef01cSRoman Divacky     Attributes.push_back(PAL);
381f22ef01cSRoman Divacky     Entry = Attributes.size();
382f22ef01cSRoman Divacky   }
383f22ef01cSRoman Divacky }
384f22ef01cSRoman Divacky 
385f22ef01cSRoman Divacky 
386f22ef01cSRoman Divacky void ValueEnumerator::incorporateFunction(const Function &F) {
387f22ef01cSRoman Divacky   InstructionCount = 0;
388f22ef01cSRoman Divacky   NumModuleValues = Values.size();
389f22ef01cSRoman Divacky 
390f22ef01cSRoman Divacky   // Adding function arguments to the value table.
391f22ef01cSRoman Divacky   for(Function::const_arg_iterator I = F.arg_begin(), E = F.arg_end();
392f22ef01cSRoman Divacky       I != E; ++I)
393f22ef01cSRoman Divacky     EnumerateValue(I);
394f22ef01cSRoman Divacky 
395f22ef01cSRoman Divacky   FirstFuncConstantID = Values.size();
396f22ef01cSRoman Divacky 
397f22ef01cSRoman Divacky   // Add all function-level constants to the value table.
398f22ef01cSRoman Divacky   for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) {
399f22ef01cSRoman Divacky     for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I)
400f22ef01cSRoman Divacky       for (User::const_op_iterator OI = I->op_begin(), E = I->op_end();
401f22ef01cSRoman Divacky            OI != E; ++OI) {
402f22ef01cSRoman Divacky         if ((isa<Constant>(*OI) && !isa<GlobalValue>(*OI)) ||
403f22ef01cSRoman Divacky             isa<InlineAsm>(*OI))
404f22ef01cSRoman Divacky           EnumerateValue(*OI);
405f22ef01cSRoman Divacky       }
406f22ef01cSRoman Divacky     BasicBlocks.push_back(BB);
407f22ef01cSRoman Divacky     ValueMap[BB] = BasicBlocks.size();
408f22ef01cSRoman Divacky   }
409f22ef01cSRoman Divacky 
410f22ef01cSRoman Divacky   // Optimize the constant layout.
411f22ef01cSRoman Divacky   OptimizeConstants(FirstFuncConstantID, Values.size());
412f22ef01cSRoman Divacky 
413f22ef01cSRoman Divacky   // Add the function's parameter attributes so they are available for use in
414f22ef01cSRoman Divacky   // the function's instruction.
415f22ef01cSRoman Divacky   EnumerateAttributes(F.getAttributes());
416f22ef01cSRoman Divacky 
417f22ef01cSRoman Divacky   FirstInstID = Values.size();
418f22ef01cSRoman Divacky 
419ffd1746dSEd Schouten   FunctionLocalMDs.clear();
420ffd1746dSEd Schouten   SmallVector<MDNode *, 8> FnLocalMDVector;
421f22ef01cSRoman Divacky   // Add all of the instructions.
422f22ef01cSRoman Divacky   for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) {
423f22ef01cSRoman Divacky     for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) {
424f22ef01cSRoman Divacky       for (User::const_op_iterator OI = I->op_begin(), E = I->op_end();
425f22ef01cSRoman Divacky            OI != E; ++OI) {
426f22ef01cSRoman Divacky         if (MDNode *MD = dyn_cast<MDNode>(*OI))
427f22ef01cSRoman Divacky           if (MD->isFunctionLocal() && MD->getFunction())
428f22ef01cSRoman Divacky             // Enumerate metadata after the instructions they might refer to.
429ffd1746dSEd Schouten             FnLocalMDVector.push_back(MD);
430f22ef01cSRoman Divacky       }
431f22ef01cSRoman Divacky       if (!I->getType()->isVoidTy())
432f22ef01cSRoman Divacky         EnumerateValue(I);
433f22ef01cSRoman Divacky     }
434f22ef01cSRoman Divacky   }
435f22ef01cSRoman Divacky 
436f22ef01cSRoman Divacky   // Add all of the function-local metadata.
437ffd1746dSEd Schouten   for (unsigned i = 0, e = FnLocalMDVector.size(); i != e; ++i)
438ffd1746dSEd Schouten     EnumerateOperandType(FnLocalMDVector[i]);
439f22ef01cSRoman Divacky }
440f22ef01cSRoman Divacky 
441f22ef01cSRoman Divacky void ValueEnumerator::purgeFunction() {
442f22ef01cSRoman Divacky   /// Remove purged values from the ValueMap.
443f22ef01cSRoman Divacky   for (unsigned i = NumModuleValues, e = Values.size(); i != e; ++i)
444f22ef01cSRoman Divacky     ValueMap.erase(Values[i].first);
445f22ef01cSRoman Divacky   for (unsigned i = 0, e = BasicBlocks.size(); i != e; ++i)
446f22ef01cSRoman Divacky     ValueMap.erase(BasicBlocks[i]);
447f22ef01cSRoman Divacky 
448f22ef01cSRoman Divacky   Values.resize(NumModuleValues);
449f22ef01cSRoman Divacky   BasicBlocks.clear();
450f22ef01cSRoman Divacky }
451f22ef01cSRoman Divacky 
452f22ef01cSRoman Divacky static void IncorporateFunctionInfoGlobalBBIDs(const Function *F,
453f22ef01cSRoman Divacky                                  DenseMap<const BasicBlock*, unsigned> &IDMap) {
454f22ef01cSRoman Divacky   unsigned Counter = 0;
455f22ef01cSRoman Divacky   for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
456f22ef01cSRoman Divacky     IDMap[BB] = ++Counter;
457f22ef01cSRoman Divacky }
458f22ef01cSRoman Divacky 
459f22ef01cSRoman Divacky /// getGlobalBasicBlockID - This returns the function-specific ID for the
460f22ef01cSRoman Divacky /// specified basic block.  This is relatively expensive information, so it
461f22ef01cSRoman Divacky /// should only be used by rare constructs such as address-of-label.
462f22ef01cSRoman Divacky unsigned ValueEnumerator::getGlobalBasicBlockID(const BasicBlock *BB) const {
463f22ef01cSRoman Divacky   unsigned &Idx = GlobalBasicBlockIDs[BB];
464f22ef01cSRoman Divacky   if (Idx != 0)
465f22ef01cSRoman Divacky     return Idx-1;
466f22ef01cSRoman Divacky 
467f22ef01cSRoman Divacky   IncorporateFunctionInfoGlobalBBIDs(BB->getParent(), GlobalBasicBlockIDs);
468f22ef01cSRoman Divacky   return getGlobalBasicBlockID(BB);
469f22ef01cSRoman Divacky }
470f22ef01cSRoman Divacky 
471