14cc499d6e5ec602309501873449c938af61170b2Stephen Hines//===-- ValueEnumerator.cpp - Number values and types for bitcode writer --===// 24cc499d6e5ec602309501873449c938af61170b2Stephen Hines// 34cc499d6e5ec602309501873449c938af61170b2Stephen Hines// The LLVM Compiler Infrastructure 44cc499d6e5ec602309501873449c938af61170b2Stephen Hines// 54cc499d6e5ec602309501873449c938af61170b2Stephen Hines// This file is distributed under the University of Illinois Open Source 64cc499d6e5ec602309501873449c938af61170b2Stephen Hines// License. See LICENSE.TXT for details. 74cc499d6e5ec602309501873449c938af61170b2Stephen Hines// 84cc499d6e5ec602309501873449c938af61170b2Stephen Hines//===----------------------------------------------------------------------===// 94cc499d6e5ec602309501873449c938af61170b2Stephen Hines// 104cc499d6e5ec602309501873449c938af61170b2Stephen Hines// This file implements the ValueEnumerator class. 114cc499d6e5ec602309501873449c938af61170b2Stephen Hines// 124cc499d6e5ec602309501873449c938af61170b2Stephen Hines//===----------------------------------------------------------------------===// 134cc499d6e5ec602309501873449c938af61170b2Stephen Hines 144cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "ValueEnumerator.h" 154cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/ADT/STLExtras.h" 1623c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/ADT/SmallPtrSet.h" 1723c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Constants.h" 1823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/DerivedTypes.h" 1923c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Instructions.h" 2023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Module.h" 2123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/ValueSymbolTable.h" 22a44912f8876b6f830a4829286c27ef90c763469eStephen Hines#include "llvm/Support/Debug.h" 23a44912f8876b6f830a4829286c27ef90c763469eStephen Hines#include "llvm/Support/raw_ostream.h" 244cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include <algorithm> 254cc499d6e5ec602309501873449c938af61170b2Stephen Hinesusing namespace llvm; 264cc499d6e5ec602309501873449c938af61170b2Stephen Hines 279937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hinesnamespace llvm_2_9 { 289937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hines 290da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hinesstatic bool isIntOrIntVectorValue(const std::pair<const Value*, unsigned> &V) { 300da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines return V.first->getType()->isIntOrIntVectorTy(); 314cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 324cc499d6e5ec602309501873449c938af61170b2Stephen Hines 334cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// ValueEnumerator - Enumerate module-level information. 344cc499d6e5ec602309501873449c938af61170b2Stephen HinesValueEnumerator::ValueEnumerator(const Module *M) { 354cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the global variables. 364cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_global_iterator I = M->global_begin(), 374cc499d6e5ec602309501873449c938af61170b2Stephen Hines E = M->global_end(); I != E; ++I) 384cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 394cc499d6e5ec602309501873449c938af61170b2Stephen Hines 404cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the functions. 414cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I) { 424cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 434cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(cast<Function>(I)->getAttributes()); 444cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 454cc499d6e5ec602309501873449c938af61170b2Stephen Hines 464cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the aliases. 474cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 484cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 494cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 504cc499d6e5ec602309501873449c938af61170b2Stephen Hines 514cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Remember what is the cutoff between globalvalue's and other constants. 524cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned FirstConstant = Values.size(); 534cc499d6e5ec602309501873449c938af61170b2Stephen Hines 544cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the global variable initializers. 554cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_global_iterator I = M->global_begin(), 564cc499d6e5ec602309501873449c938af61170b2Stephen Hines E = M->global_end(); I != E; ++I) 574cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (I->hasInitializer()) 584cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I->getInitializer()); 594cc499d6e5ec602309501873449c938af61170b2Stephen Hines 604cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the aliasees. 614cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_alias_iterator I = M->alias_begin(), E = M->alias_end(); 624cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 634cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I->getAliasee()); 644cc499d6e5ec602309501873449c938af61170b2Stephen Hines 654cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Insert constants and metadata that are named at module level into the slot 664cc499d6e5ec602309501873449c938af61170b2Stephen Hines // pool so that the module symbol table can refer to them... 674cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValueSymbolTable(M->getValueSymbolTable()); 684cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateNamedMetadata(M); 694cc499d6e5ec602309501873449c938af61170b2Stephen Hines 704cc499d6e5ec602309501873449c938af61170b2Stephen Hines SmallVector<std::pair<unsigned, MDNode*>, 8> MDs; 714cc499d6e5ec602309501873449c938af61170b2Stephen Hines 724cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate types used by function bodies and argument lists. 734cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_iterator F = M->begin(), E = M->end(); F != E; ++F) { 744cc499d6e5ec602309501873449c938af61170b2Stephen Hines 754cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 764cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 774cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(I->getType()); 784cc499d6e5ec602309501873449c938af61170b2Stephen Hines 794cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB) 804cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E;++I){ 814cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 824cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 834cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDNode *MD = dyn_cast<MDNode>(*OI)) 844cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MD->isFunctionLocal() && MD->getFunction()) 854cc499d6e5ec602309501873449c938af61170b2Stephen Hines // These will get enumerated during function-incorporation. 864cc499d6e5ec602309501873449c938af61170b2Stephen Hines continue; 874cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateOperandType(*OI); 884cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 894cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(I->getType()); 904cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const CallInst *CI = dyn_cast<CallInst>(I)) 914cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(CI->getAttributes()); 924cc499d6e5ec602309501873449c938af61170b2Stephen Hines else if (const InvokeInst *II = dyn_cast<InvokeInst>(I)) 934cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(II->getAttributes()); 944cc499d6e5ec602309501873449c938af61170b2Stephen Hines 954cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate metadata attached with this instruction. 964cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDs.clear(); 974cc499d6e5ec602309501873449c938af61170b2Stephen Hines I->getAllMetadataOtherThanDebugLoc(MDs); 984cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MDs.size(); i != e; ++i) 994cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(MDs[i].second); 10023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 1014cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!I->getDebugLoc().isUnknown()) { 1024cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDNode *Scope, *IA; 1034cc499d6e5ec602309501873449c938af61170b2Stephen Hines I->getDebugLoc().getScopeAndInlinedAt(Scope, IA, I->getContext()); 1044cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Scope) EnumerateMetadata(Scope); 1054cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (IA) EnumerateMetadata(IA); 1064cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1074cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1084cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1094cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1104cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Optimize constant ordering. 1114cc499d6e5ec602309501873449c938af61170b2Stephen Hines OptimizeConstants(FirstConstant, Values.size()); 1124cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1134cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1144cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getInstructionID(const Instruction *Inst) const { 1154cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionMapType::const_iterator I = InstructionMap.find(Inst); 1164cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(I != InstructionMap.end() && "Instruction is not mapped!"); 1174cc499d6e5ec602309501873449c938af61170b2Stephen Hines return I->second; 1184cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1194cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1204cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::setInstructionID(const Instruction *I) { 1214cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionMap[I] = InstructionCount++; 1224cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1234cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1244cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getValueID(const Value *V) const { 1254cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<MDNode>(V) || isa<MDString>(V)) { 1264cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMapType::const_iterator I = MDValueMap.find(V); 1274cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(I != MDValueMap.end() && "Value not in slotcalculator!"); 1284cc499d6e5ec602309501873449c938af61170b2Stephen Hines return I->second-1; 1294cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1304cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1314cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMapType::const_iterator I = ValueMap.find(V); 1324cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(I != ValueMap.end() && "Value not in slotcalculator!"); 1334cc499d6e5ec602309501873449c938af61170b2Stephen Hines return I->second-1; 1344cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1354cc499d6e5ec602309501873449c938af61170b2Stephen Hines 136a44912f8876b6f830a4829286c27ef90c763469eStephen Hinesvoid ValueEnumerator::dump() const { 137a44912f8876b6f830a4829286c27ef90c763469eStephen Hines print(dbgs(), ValueMap, "Default"); 138a44912f8876b6f830a4829286c27ef90c763469eStephen Hines dbgs() << '\n'; 139a44912f8876b6f830a4829286c27ef90c763469eStephen Hines print(dbgs(), MDValueMap, "MetaData"); 140a44912f8876b6f830a4829286c27ef90c763469eStephen Hines dbgs() << '\n'; 141a44912f8876b6f830a4829286c27ef90c763469eStephen Hines} 142a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 143a44912f8876b6f830a4829286c27ef90c763469eStephen Hinesvoid ValueEnumerator::print(raw_ostream &OS, const ValueMapType &Map, 144a44912f8876b6f830a4829286c27ef90c763469eStephen Hines const char *Name) const { 145a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 146a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Map Name: " << Name << "\n"; 147a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Size: " << Map.size() << "\n"; 148a44912f8876b6f830a4829286c27ef90c763469eStephen Hines for (ValueMapType::const_iterator I = Map.begin(), 149a44912f8876b6f830a4829286c27ef90c763469eStephen Hines E = Map.end(); I != E; ++I) { 150a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 151a44912f8876b6f830a4829286c27ef90c763469eStephen Hines const Value *V = I->first; 152a44912f8876b6f830a4829286c27ef90c763469eStephen Hines if (V->hasName()) 153a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Value: " << V->getName(); 154a44912f8876b6f830a4829286c27ef90c763469eStephen Hines else 155a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Value: [null]\n"; 156a44912f8876b6f830a4829286c27ef90c763469eStephen Hines V->dump(); 157a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 158a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << " Uses(" << std::distance(V->use_begin(),V->use_end()) << "):"; 159a44912f8876b6f830a4829286c27ef90c763469eStephen Hines for (Value::const_use_iterator UI = V->use_begin(), UE = V->use_end(); 160a44912f8876b6f830a4829286c27ef90c763469eStephen Hines UI != UE; ++UI) { 161a44912f8876b6f830a4829286c27ef90c763469eStephen Hines if (UI != V->use_begin()) 162a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << ","; 163a44912f8876b6f830a4829286c27ef90c763469eStephen Hines if((*UI)->hasName()) 164a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << " " << (*UI)->getName(); 165a44912f8876b6f830a4829286c27ef90c763469eStephen Hines else 166a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << " [null]"; 167a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 168a44912f8876b6f830a4829286c27ef90c763469eStephen Hines } 169a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "\n\n"; 170a44912f8876b6f830a4829286c27ef90c763469eStephen Hines } 171a44912f8876b6f830a4829286c27ef90c763469eStephen Hines} 172a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 1734cc499d6e5ec602309501873449c938af61170b2Stephen Hines// Optimize constant ordering. 1744cc499d6e5ec602309501873449c938af61170b2Stephen Hinesnamespace { 1754cc499d6e5ec602309501873449c938af61170b2Stephen Hines struct CstSortPredicate { 1764cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueEnumerator &VE; 1774cc499d6e5ec602309501873449c938af61170b2Stephen Hines explicit CstSortPredicate(ValueEnumerator &ve) : VE(ve) {} 1784cc499d6e5ec602309501873449c938af61170b2Stephen Hines bool operator()(const std::pair<const Value*, unsigned> &LHS, 1794cc499d6e5ec602309501873449c938af61170b2Stephen Hines const std::pair<const Value*, unsigned> &RHS) { 1804cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Sort by plane. 1814cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (LHS.first->getType() != RHS.first->getType()) 1824cc499d6e5ec602309501873449c938af61170b2Stephen Hines return VE.getTypeID(LHS.first->getType()) < 1834cc499d6e5ec602309501873449c938af61170b2Stephen Hines VE.getTypeID(RHS.first->getType()); 1844cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Then by frequency. 1854cc499d6e5ec602309501873449c938af61170b2Stephen Hines return LHS.second > RHS.second; 1864cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1874cc499d6e5ec602309501873449c938af61170b2Stephen Hines }; 1884cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1894cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1904cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// OptimizeConstants - Reorder constant pool for denser encoding. 1914cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::OptimizeConstants(unsigned CstStart, unsigned CstEnd) { 1924cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (CstStart == CstEnd || CstStart+1 == CstEnd) return; 1934cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1944cc499d6e5ec602309501873449c938af61170b2Stephen Hines CstSortPredicate P(*this); 1954cc499d6e5ec602309501873449c938af61170b2Stephen Hines std::stable_sort(Values.begin()+CstStart, Values.begin()+CstEnd, P); 1964cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1970da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // Ensure that integer and vector of integer constants are at the start of the 1980da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // constant pool. This is important so that GEP structure indices come before 1990da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // gep constant exprs. 2004cc499d6e5ec602309501873449c938af61170b2Stephen Hines std::partition(Values.begin()+CstStart, Values.begin()+CstEnd, 2010da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines isIntOrIntVectorValue); 2024cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2034cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Rebuild the modified portion of ValueMap. 2044cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (; CstStart != CstEnd; ++CstStart) 2054cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[Values[CstStart].first] = CstStart+1; 2064cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2074cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2084cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2094cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateValueSymbolTable - Insert all of the values in the specified symbol 2104cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// table into the values table. 2114cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateValueSymbolTable(const ValueSymbolTable &VST) { 2124cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (ValueSymbolTable::const_iterator VI = VST.begin(), VE = VST.end(); 2134cc499d6e5ec602309501873449c938af61170b2Stephen Hines VI != VE; ++VI) 2144cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(VI->getValue()); 2154cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2164cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2174cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateNamedMetadata - Insert all of the values referenced by 2184cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// named metadata in the specified module. 2194cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateNamedMetadata(const Module *M) { 2204cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_named_metadata_iterator I = M->named_metadata_begin(), 2214cc499d6e5ec602309501873449c938af61170b2Stephen Hines E = M->named_metadata_end(); I != E; ++I) 2224cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateNamedMDNode(I); 2234cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2244cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2254cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateNamedMDNode(const NamedMDNode *MD) { 2264cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i) 2274cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(MD->getOperand(i)); 2284cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2294cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2304cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateMDNodeOperands - Enumerate all non-function-local values 2314cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// and types referenced by the given MDNode. 2324cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateMDNodeOperands(const MDNode *N) { 2334cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) { 2344cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Value *V = N->getOperand(i)) { 2354cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<MDNode>(V) || isa<MDString>(V)) 2364cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(V); 2374cc499d6e5ec602309501873449c938af61170b2Stephen Hines else if (!isa<Instruction>(V) && !isa<Argument>(V)) 2384cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(V); 2394cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else 2404cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(Type::getVoidTy(N->getContext())); 2414cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2424cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2434cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2444cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateMetadata(const Value *MD) { 2454cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert((isa<MDNode>(MD) || isa<MDString>(MD)) && "Invalid metadata kind"); 2464cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2474cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 2484cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(MD->getType()); 2494cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2504cc499d6e5ec602309501873449c938af61170b2Stephen Hines const MDNode *N = dyn_cast<MDNode>(MD); 2514cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2524cc499d6e5ec602309501873449c938af61170b2Stephen Hines // In the module-level pass, skip function-local nodes themselves, but 2534cc499d6e5ec602309501873449c938af61170b2Stephen Hines // do walk their operands. 2544cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (N && N->isFunctionLocal() && N->getFunction()) { 2554cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMDNodeOperands(N); 2564cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2574cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2584cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2594cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 2604cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &MDValueID = MDValueMap[MD]; 2614cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDValueID) { 2624cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 2634cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues[MDValueID-1].second++; 2644cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2654cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2664cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues.push_back(std::make_pair(MD, 1U)); 2674cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValueID = MDValues.size(); 2684cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2694cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate all non-function-local operands. 2704cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (N) 2714cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMDNodeOperands(N); 2724cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2734cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2744cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateFunctionLocalMetadataa - Incorporate function-local metadata 2754cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// information reachable from the given MDNode. 2764cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateFunctionLocalMetadata(const MDNode *N) { 2774cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(N->isFunctionLocal() && N->getFunction() && 2784cc499d6e5ec602309501873449c938af61170b2Stephen Hines "EnumerateFunctionLocalMetadata called on non-function-local mdnode!"); 2794cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2804cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 2814cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(N->getType()); 2824cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2834cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 2844cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &MDValueID = MDValueMap[N]; 2854cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDValueID) { 2864cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 2874cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues[MDValueID-1].second++; 2884cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2894cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2904cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues.push_back(std::make_pair(N, 1U)); 2914cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValueID = MDValues.size(); 2924cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2934cc499d6e5ec602309501873449c938af61170b2Stephen Hines // To incoroporate function-local information visit all function-local 2944cc499d6e5ec602309501873449c938af61170b2Stephen Hines // MDNodes and all function-local values they reference. 2954cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 2964cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Value *V = N->getOperand(i)) { 2974cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDNode *O = dyn_cast<MDNode>(V)) { 2984cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (O->isFunctionLocal() && O->getFunction()) 2994cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateFunctionLocalMetadata(O); 3004cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (isa<Instruction>(V) || isa<Argument>(V)) 3014cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(V); 3024cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3034cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3044cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Also, collect all function-local MDNodes for easy access. 3054cc499d6e5ec602309501873449c938af61170b2Stephen Hines FunctionLocalMDs.push_back(N); 3064cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3074cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3084cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateValue(const Value *V) { 3094cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(!V->getType()->isVoidTy() && "Can't insert void values!"); 3104cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(!isa<MDNode>(V) && !isa<MDString>(V) && 3114cc499d6e5ec602309501873449c938af61170b2Stephen Hines "EnumerateValue doesn't handle Metadata!"); 3124cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3134cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 3144cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &ValueID = ValueMap[V]; 3154cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (ValueID) { 3164cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 3174cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values[ValueID-1].second++; 3184cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3194cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3204cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3214cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 3224cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(V->getType()); 3234cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3244cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const Constant *C = dyn_cast<Constant>(V)) { 3254cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<GlobalValue>(C)) { 3264cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Initializers for globals are handled explicitly elsewhere. 3274cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (C->getNumOperands()) { 3284cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If a constant has operands, enumerate them. This makes sure that if a 3294cc499d6e5ec602309501873449c938af61170b2Stephen Hines // constant has uses (for example an array of const ints), that they are 3304cc499d6e5ec602309501873449c938af61170b2Stephen Hines // inserted also. 3314cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3324cc499d6e5ec602309501873449c938af61170b2Stephen Hines // We prefer to enumerate them with values before we enumerate the user 3334cc499d6e5ec602309501873449c938af61170b2Stephen Hines // itself. This makes it more likely that we can avoid forward references 3344cc499d6e5ec602309501873449c938af61170b2Stephen Hines // in the reader. We know that there can be no cycles in the constants 3354cc499d6e5ec602309501873449c938af61170b2Stephen Hines // graph that don't go through a global variable. 3364cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator I = C->op_begin(), E = C->op_end(); 3374cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 3384cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!isa<BasicBlock>(*I)) // Don't enumerate BB operand to BlockAddress. 3394cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(*I); 3404cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3414cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Finally, add the value. Doing this could make the ValueID reference be 3424cc499d6e5ec602309501873449c938af61170b2Stephen Hines // dangling, don't reuse it. 3434cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.push_back(std::make_pair(V, 1U)); 3444cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[V] = Values.size(); 3454cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 346db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines } else if (const ConstantDataSequential *CDS = 347db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines dyn_cast<ConstantDataSequential>(C)) { 348db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // For our legacy handling of the new ConstantDataSequential type, we 349db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // need to enumerate the individual elements, as well as mark the 350db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // outer constant as used. 351db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines for (unsigned i = 0, e = CDS->getNumElements(); i != e; ++i) 352db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines EnumerateValue(CDS->getElementAsConstant(i)); 353db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines Values.push_back(std::make_pair(V, 1U)); 354db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines ValueMap[V] = Values.size(); 355db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines return; 3564cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3574cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3584cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3594cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add the value. 3604cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.push_back(std::make_pair(V, 1U)); 3614cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueID = Values.size(); 3624cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3634cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3644cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3654cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateType(Type *Ty) { 3664cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned *TypeID = &TypeMap[Ty]; 3674cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3684cc499d6e5ec602309501873449c938af61170b2Stephen Hines // We've already seen this type. 3694cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (*TypeID) 3704cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3714cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3724cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If it is a non-anonymous struct, mark the type as being visited so that we 3734cc499d6e5ec602309501873449c938af61170b2Stephen Hines // don't recursively visit it. This is safe because we allow forward 3744cc499d6e5ec602309501873449c938af61170b2Stephen Hines // references of these in the bitcode reader. 3754cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (StructType *STy = dyn_cast<StructType>(Ty)) 3769207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (!STy->isLiteral()) 3774cc499d6e5ec602309501873449c938af61170b2Stephen Hines *TypeID = ~0U; 37823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3794cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate all of the subtypes before we enumerate this type. This ensures 3804cc499d6e5ec602309501873449c938af61170b2Stephen Hines // that the type will be enumerated in an order that can be directly built. 3814cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Type::subtype_iterator I = Ty->subtype_begin(), E = Ty->subtype_end(); 3824cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 3834cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(*I); 38423c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3854cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Refresh the TypeID pointer in case the table rehashed. 3864cc499d6e5ec602309501873449c938af61170b2Stephen Hines TypeID = &TypeMap[Ty]; 38723c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3884cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if we got the pointer another way. This can happen when 3894cc499d6e5ec602309501873449c938af61170b2Stephen Hines // enumerating recursive types that hit the base case deeper than they start. 3904cc499d6e5ec602309501873449c938af61170b2Stephen Hines // 3914cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If this is actually a struct that we are treating as forward ref'able, 3924cc499d6e5ec602309501873449c938af61170b2Stephen Hines // then emit the definition now that all of its contents are available. 3934cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (*TypeID && *TypeID != ~0U) 3944cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 39523c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3964cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add this type now that its contents are all happily enumerated. 3974cc499d6e5ec602309501873449c938af61170b2Stephen Hines Types.push_back(Ty); 39823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3994cc499d6e5ec602309501873449c938af61170b2Stephen Hines *TypeID = Types.size(); 4004cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4014cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4024cc499d6e5ec602309501873449c938af61170b2Stephen Hines// Enumerate the types for the specified value. If the value is a constant, 4034cc499d6e5ec602309501873449c938af61170b2Stephen Hines// walk through it, enumerating the types of the constant. 4044cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateOperandType(const Value *V) { 4054cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(V->getType()); 40623c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 4074cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const Constant *C = dyn_cast<Constant>(V)) { 4084cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If this constant is already enumerated, ignore it, we know its type must 4094cc499d6e5ec602309501873449c938af61170b2Stephen Hines // be enumerated. 4104cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (ValueMap.count(V)) return; 4114cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4124cc499d6e5ec602309501873449c938af61170b2Stephen Hines // This constant may have operands, make sure to enumerate the types in 4134cc499d6e5ec602309501873449c938af61170b2Stephen Hines // them. 4144cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) { 4154cc499d6e5ec602309501873449c938af61170b2Stephen Hines const Value *Op = C->getOperand(i); 41623c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 4174cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Don't enumerate basic blocks here, this happens as operands to 4184cc499d6e5ec602309501873449c938af61170b2Stephen Hines // blockaddress. 4194cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<BasicBlock>(Op)) continue; 42023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 4214cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateOperandType(Op); 4224cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4234cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4244cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const MDNode *N = dyn_cast<MDNode>(V)) { 4254cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 4264cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Value *Elem = N->getOperand(i)) 4274cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateOperandType(Elem); 4284cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4294cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (isa<MDString>(V) || isa<MDNode>(V)) 4304cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(V); 4314cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4324cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4330da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hinesvoid ValueEnumerator::EnumerateAttributes(AttributeSet PAL) { 4344cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (PAL.isEmpty()) return; // null is always 0. 4350da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines 4364cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Do a lookup. 4370da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines unsigned &Entry = AttributeMap[PAL]; 4384cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Entry == 0) { 4394cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Never saw this before, add it. 44023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines Attribute.push_back(PAL); 44123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines Entry = Attribute.size(); 4424cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4430da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines 4440da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // Do lookups for all attribute groups. 4450da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines for (unsigned i = 0, e = PAL.getNumSlots(); i != e; ++i) { 4460da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines AttributeSet AS = PAL.getSlotAttributes(i); 4470da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines unsigned &Entry = AttributeGroupMap[AS]; 4480da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines if (Entry == 0) { 4490da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines AttributeGroups.push_back(AS); 4500da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines Entry = AttributeGroups.size(); 4510da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines } 4520da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines } 4534cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4544cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4554cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::incorporateFunction(const Function &F) { 4564cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionCount = 0; 4574cc499d6e5ec602309501873449c938af61170b2Stephen Hines NumModuleValues = Values.size(); 4584cc499d6e5ec602309501873449c938af61170b2Stephen Hines NumModuleMDValues = MDValues.size(); 4594cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4604cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Adding function arguments to the value table. 4614cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_arg_iterator I = F.arg_begin(), E = F.arg_end(); 4624cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 4634cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 4644cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4654cc499d6e5ec602309501873449c938af61170b2Stephen Hines FirstFuncConstantID = Values.size(); 4664cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4674cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all function-level constants to the value table. 4684cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) { 4694cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) 4704cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 4714cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 4724cc499d6e5ec602309501873449c938af61170b2Stephen Hines if ((isa<Constant>(*OI) && !isa<GlobalValue>(*OI)) || 4734cc499d6e5ec602309501873449c938af61170b2Stephen Hines isa<InlineAsm>(*OI)) 4744cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(*OI); 4754cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4764cc499d6e5ec602309501873449c938af61170b2Stephen Hines BasicBlocks.push_back(BB); 4774cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[BB] = BasicBlocks.size(); 4784cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4794cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4804cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Optimize the constant layout. 4814cc499d6e5ec602309501873449c938af61170b2Stephen Hines OptimizeConstants(FirstFuncConstantID, Values.size()); 4824cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4834cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add the function's parameter attributes so they are available for use in 4844cc499d6e5ec602309501873449c938af61170b2Stephen Hines // the function's instruction. 4854cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(F.getAttributes()); 4864cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4874cc499d6e5ec602309501873449c938af61170b2Stephen Hines FirstInstID = Values.size(); 4884cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4894cc499d6e5ec602309501873449c938af61170b2Stephen Hines SmallVector<MDNode *, 8> FnLocalMDVector; 4904cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all of the instructions. 4914cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) { 4924cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) { 4934cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 4944cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 4954cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDNode *MD = dyn_cast<MDNode>(*OI)) 4964cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MD->isFunctionLocal() && MD->getFunction()) 4974cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate metadata after the instructions they might refer to. 4984cc499d6e5ec602309501873449c938af61170b2Stephen Hines FnLocalMDVector.push_back(MD); 4994cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5004cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5014cc499d6e5ec602309501873449c938af61170b2Stephen Hines SmallVector<std::pair<unsigned, MDNode*>, 8> MDs; 5024cc499d6e5ec602309501873449c938af61170b2Stephen Hines I->getAllMetadataOtherThanDebugLoc(MDs); 5034cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MDs.size(); i != e; ++i) { 5044cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDNode *N = MDs[i].second; 5054cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (N->isFunctionLocal() && N->getFunction()) 5064cc499d6e5ec602309501873449c938af61170b2Stephen Hines FnLocalMDVector.push_back(N); 5074cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 50823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 5094cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!I->getType()->isVoidTy()) 5104cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 5114cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5124cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5134cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5144cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all of the function-local metadata. 5154cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = FnLocalMDVector.size(); i != e; ++i) 5164cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateFunctionLocalMetadata(FnLocalMDVector[i]); 5174cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5184cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5194cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::purgeFunction() { 5204cc499d6e5ec602309501873449c938af61170b2Stephen Hines /// Remove purged values from the ValueMap. 5214cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = NumModuleValues, e = Values.size(); i != e; ++i) 5224cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap.erase(Values[i].first); 5234cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = NumModuleMDValues, e = MDValues.size(); i != e; ++i) 5244cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValueMap.erase(MDValues[i].first); 5254cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = BasicBlocks.size(); i != e; ++i) 5264cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap.erase(BasicBlocks[i]); 5274cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5284cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.resize(NumModuleValues); 5294cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues.resize(NumModuleMDValues); 5304cc499d6e5ec602309501873449c938af61170b2Stephen Hines BasicBlocks.clear(); 5314cc499d6e5ec602309501873449c938af61170b2Stephen Hines FunctionLocalMDs.clear(); 5324cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5334cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5344cc499d6e5ec602309501873449c938af61170b2Stephen Hinesstatic void IncorporateFunctionInfoGlobalBBIDs(const Function *F, 5354cc499d6e5ec602309501873449c938af61170b2Stephen Hines DenseMap<const BasicBlock*, unsigned> &IDMap) { 5364cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned Counter = 0; 5374cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB) 5384cc499d6e5ec602309501873449c938af61170b2Stephen Hines IDMap[BB] = ++Counter; 5394cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5404cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5414cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// getGlobalBasicBlockID - This returns the function-specific ID for the 5424cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// specified basic block. This is relatively expensive information, so it 5434cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// should only be used by rare constructs such as address-of-label. 5444cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getGlobalBasicBlockID(const BasicBlock *BB) const { 5454cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &Idx = GlobalBasicBlockIDs[BB]; 5464cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Idx != 0) 5474cc499d6e5ec602309501873449c938af61170b2Stephen Hines return Idx-1; 5484cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5494cc499d6e5ec602309501873449c938af61170b2Stephen Hines IncorporateFunctionInfoGlobalBBIDs(BB->getParent(), GlobalBasicBlockIDs); 5504cc499d6e5ec602309501873449c938af61170b2Stephen Hines return getGlobalBasicBlockID(BB); 5514cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5524cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5539937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hines} // end llvm_2_9 namespace 554