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