ValueEnumerator.cpp revision db37c900ebe6f0ae62a1f77327dd9e5a469ff11e
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/SmallPtrSet.h" 164cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/ADT/STLExtras.h" 174cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/Constants.h" 184cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/DerivedTypes.h" 194cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/Module.h" 204cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/ValueSymbolTable.h" 214cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "llvm/Instructions.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 294cc499d6e5ec602309501873449c938af61170b2Stephen Hinesstatic bool isIntegerValue(const std::pair<const Value*, unsigned> &V) { 304cc499d6e5ec602309501873449c938af61170b2Stephen Hines return V.first->getType()->isIntegerTy(); 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); 1004cc499d6e5ec602309501873449c938af61170b2Stephen 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 1974cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Ensure that integer constants are at the start of the constant pool. This 1984cc499d6e5ec602309501873449c938af61170b2Stephen Hines // is important so that GEP structure indices come before gep constant exprs. 1994cc499d6e5ec602309501873449c938af61170b2Stephen Hines std::partition(Values.begin()+CstStart, Values.begin()+CstEnd, 2004cc499d6e5ec602309501873449c938af61170b2Stephen Hines isIntegerValue); 2014cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2024cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Rebuild the modified portion of ValueMap. 2034cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (; CstStart != CstEnd; ++CstStart) 2044cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[Values[CstStart].first] = CstStart+1; 2054cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2064cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2074cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2084cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateValueSymbolTable - Insert all of the values in the specified symbol 2094cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// table into the values table. 2104cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateValueSymbolTable(const ValueSymbolTable &VST) { 2114cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (ValueSymbolTable::const_iterator VI = VST.begin(), VE = VST.end(); 2124cc499d6e5ec602309501873449c938af61170b2Stephen Hines VI != VE; ++VI) 2134cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(VI->getValue()); 2144cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2154cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2164cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateNamedMetadata - Insert all of the values referenced by 2174cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// named metadata in the specified module. 2184cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateNamedMetadata(const Module *M) { 2194cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Module::const_named_metadata_iterator I = M->named_metadata_begin(), 2204cc499d6e5ec602309501873449c938af61170b2Stephen Hines E = M->named_metadata_end(); I != E; ++I) 2214cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateNamedMDNode(I); 2224cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2234cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2244cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateNamedMDNode(const NamedMDNode *MD) { 2254cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i) 2264cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(MD->getOperand(i)); 2274cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2284cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2294cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateMDNodeOperands - Enumerate all non-function-local values 2304cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// and types referenced by the given MDNode. 2314cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateMDNodeOperands(const MDNode *N) { 2324cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) { 2334cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Value *V = N->getOperand(i)) { 2344cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<MDNode>(V) || isa<MDString>(V)) 2354cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(V); 2364cc499d6e5ec602309501873449c938af61170b2Stephen Hines else if (!isa<Instruction>(V) && !isa<Argument>(V)) 2374cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(V); 2384cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else 2394cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(Type::getVoidTy(N->getContext())); 2404cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2414cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2424cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2434cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateMetadata(const Value *MD) { 2444cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert((isa<MDNode>(MD) || isa<MDString>(MD)) && "Invalid metadata kind"); 2454cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2464cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 2474cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(MD->getType()); 2484cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2494cc499d6e5ec602309501873449c938af61170b2Stephen Hines const MDNode *N = dyn_cast<MDNode>(MD); 2504cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2514cc499d6e5ec602309501873449c938af61170b2Stephen Hines // In the module-level pass, skip function-local nodes themselves, but 2524cc499d6e5ec602309501873449c938af61170b2Stephen Hines // do walk their operands. 2534cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (N && N->isFunctionLocal() && N->getFunction()) { 2544cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMDNodeOperands(N); 2554cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2564cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2574cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2584cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 2594cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &MDValueID = MDValueMap[MD]; 2604cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDValueID) { 2614cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 2624cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues[MDValueID-1].second++; 2634cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2644cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2654cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues.push_back(std::make_pair(MD, 1U)); 2664cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValueID = MDValues.size(); 2674cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2684cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate all non-function-local operands. 2694cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (N) 2704cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMDNodeOperands(N); 2714cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2724cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2734cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateFunctionLocalMetadataa - Incorporate function-local metadata 2744cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// information reachable from the given MDNode. 2754cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateFunctionLocalMetadata(const MDNode *N) { 2764cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(N->isFunctionLocal() && N->getFunction() && 2774cc499d6e5ec602309501873449c938af61170b2Stephen Hines "EnumerateFunctionLocalMetadata called on non-function-local mdnode!"); 2784cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2794cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 2804cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(N->getType()); 2814cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2824cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 2834cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &MDValueID = MDValueMap[N]; 2844cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDValueID) { 2854cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 2864cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues[MDValueID-1].second++; 2874cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2884cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2894cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues.push_back(std::make_pair(N, 1U)); 2904cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValueID = MDValues.size(); 2914cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2924cc499d6e5ec602309501873449c938af61170b2Stephen Hines // To incoroporate function-local information visit all function-local 2934cc499d6e5ec602309501873449c938af61170b2Stephen Hines // MDNodes and all function-local values they reference. 2944cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 2954cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Value *V = N->getOperand(i)) { 2964cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDNode *O = dyn_cast<MDNode>(V)) { 2974cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (O->isFunctionLocal() && O->getFunction()) 2984cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateFunctionLocalMetadata(O); 2994cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (isa<Instruction>(V) || isa<Argument>(V)) 3004cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(V); 3014cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3024cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3034cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Also, collect all function-local MDNodes for easy access. 3044cc499d6e5ec602309501873449c938af61170b2Stephen Hines FunctionLocalMDs.push_back(N); 3054cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3064cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3074cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateValue(const Value *V) { 3084cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(!V->getType()->isVoidTy() && "Can't insert void values!"); 3094cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(!isa<MDNode>(V) && !isa<MDString>(V) && 3104cc499d6e5ec602309501873449c938af61170b2Stephen Hines "EnumerateValue doesn't handle Metadata!"); 3114cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3124cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 3134cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &ValueID = ValueMap[V]; 3144cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (ValueID) { 3154cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 3164cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values[ValueID-1].second++; 3174cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3184cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3194cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3204cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 3214cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(V->getType()); 3224cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3234cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const Constant *C = dyn_cast<Constant>(V)) { 3244cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<GlobalValue>(C)) { 3254cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Initializers for globals are handled explicitly elsewhere. 3264cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (C->getNumOperands()) { 3274cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If a constant has operands, enumerate them. This makes sure that if a 3284cc499d6e5ec602309501873449c938af61170b2Stephen Hines // constant has uses (for example an array of const ints), that they are 3294cc499d6e5ec602309501873449c938af61170b2Stephen Hines // inserted also. 3304cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3314cc499d6e5ec602309501873449c938af61170b2Stephen Hines // We prefer to enumerate them with values before we enumerate the user 3324cc499d6e5ec602309501873449c938af61170b2Stephen Hines // itself. This makes it more likely that we can avoid forward references 3334cc499d6e5ec602309501873449c938af61170b2Stephen Hines // in the reader. We know that there can be no cycles in the constants 3344cc499d6e5ec602309501873449c938af61170b2Stephen Hines // graph that don't go through a global variable. 3354cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator I = C->op_begin(), E = C->op_end(); 3364cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 3374cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!isa<BasicBlock>(*I)) // Don't enumerate BB operand to BlockAddress. 3384cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(*I); 3394cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3404cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Finally, add the value. Doing this could make the ValueID reference be 3414cc499d6e5ec602309501873449c938af61170b2Stephen Hines // dangling, don't reuse it. 3424cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.push_back(std::make_pair(V, 1U)); 3434cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[V] = Values.size(); 3444cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 345db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines } else if (const ConstantDataSequential *CDS = 346db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines dyn_cast<ConstantDataSequential>(C)) { 347db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // For our legacy handling of the new ConstantDataSequential type, we 348db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // need to enumerate the individual elements, as well as mark the 349db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // outer constant as used. 350db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines for (unsigned i = 0, e = CDS->getNumElements(); i != e; ++i) 351db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines EnumerateValue(CDS->getElementAsConstant(i)); 352db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines Values.push_back(std::make_pair(V, 1U)); 353db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines ValueMap[V] = Values.size(); 354db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines return; 3554cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3564cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3574cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3584cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add the value. 3594cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.push_back(std::make_pair(V, 1U)); 3604cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueID = Values.size(); 3614cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3624cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3634cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3644cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateType(Type *Ty) { 3654cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned *TypeID = &TypeMap[Ty]; 3664cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3674cc499d6e5ec602309501873449c938af61170b2Stephen Hines // We've already seen this type. 3684cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (*TypeID) 3694cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3704cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3714cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If it is a non-anonymous struct, mark the type as being visited so that we 3724cc499d6e5ec602309501873449c938af61170b2Stephen Hines // don't recursively visit it. This is safe because we allow forward 3734cc499d6e5ec602309501873449c938af61170b2Stephen Hines // references of these in the bitcode reader. 3744cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (StructType *STy = dyn_cast<StructType>(Ty)) 3759207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (!STy->isLiteral()) 3764cc499d6e5ec602309501873449c938af61170b2Stephen Hines *TypeID = ~0U; 3774cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3784cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate all of the subtypes before we enumerate this type. This ensures 3794cc499d6e5ec602309501873449c938af61170b2Stephen Hines // that the type will be enumerated in an order that can be directly built. 3804cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Type::subtype_iterator I = Ty->subtype_begin(), E = Ty->subtype_end(); 3814cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 3824cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(*I); 3834cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3844cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Refresh the TypeID pointer in case the table rehashed. 3854cc499d6e5ec602309501873449c938af61170b2Stephen Hines TypeID = &TypeMap[Ty]; 3864cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3874cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if we got the pointer another way. This can happen when 3884cc499d6e5ec602309501873449c938af61170b2Stephen Hines // enumerating recursive types that hit the base case deeper than they start. 3894cc499d6e5ec602309501873449c938af61170b2Stephen Hines // 3904cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If this is actually a struct that we are treating as forward ref'able, 3914cc499d6e5ec602309501873449c938af61170b2Stephen Hines // then emit the definition now that all of its contents are available. 3924cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (*TypeID && *TypeID != ~0U) 3934cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3944cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3954cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add this type now that its contents are all happily enumerated. 3964cc499d6e5ec602309501873449c938af61170b2Stephen Hines Types.push_back(Ty); 3974cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3984cc499d6e5ec602309501873449c938af61170b2Stephen Hines *TypeID = Types.size(); 3994cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4004cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4014cc499d6e5ec602309501873449c938af61170b2Stephen Hines// Enumerate the types for the specified value. If the value is a constant, 4024cc499d6e5ec602309501873449c938af61170b2Stephen Hines// walk through it, enumerating the types of the constant. 4034cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateOperandType(const Value *V) { 4044cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(V->getType()); 4054cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4064cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const Constant *C = dyn_cast<Constant>(V)) { 4074cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If this constant is already enumerated, ignore it, we know its type must 4084cc499d6e5ec602309501873449c938af61170b2Stephen Hines // be enumerated. 4094cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (ValueMap.count(V)) return; 4104cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4114cc499d6e5ec602309501873449c938af61170b2Stephen Hines // This constant may have operands, make sure to enumerate the types in 4124cc499d6e5ec602309501873449c938af61170b2Stephen Hines // them. 4134cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) { 4144cc499d6e5ec602309501873449c938af61170b2Stephen Hines const Value *Op = C->getOperand(i); 4154cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4164cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Don't enumerate basic blocks here, this happens as operands to 4174cc499d6e5ec602309501873449c938af61170b2Stephen Hines // blockaddress. 4184cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<BasicBlock>(Op)) continue; 4194cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4204cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateOperandType(Op); 4214cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4224cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4234cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const MDNode *N = dyn_cast<MDNode>(V)) { 4244cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) 4254cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Value *Elem = N->getOperand(i)) 4264cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateOperandType(Elem); 4274cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4284cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (isa<MDString>(V) || isa<MDNode>(V)) 4294cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(V); 4304cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4314cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4324cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateAttributes(const AttrListPtr &PAL) { 4334cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (PAL.isEmpty()) return; // null is always 0. 4344cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Do a lookup. 4354cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &Entry = AttributeMap[PAL.getRawPointer()]; 4364cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Entry == 0) { 4374cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Never saw this before, add it. 4384cc499d6e5ec602309501873449c938af61170b2Stephen Hines Attributes.push_back(PAL); 4394cc499d6e5ec602309501873449c938af61170b2Stephen Hines Entry = Attributes.size(); 4404cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4414cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4424cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4434cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::incorporateFunction(const Function &F) { 4444cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionCount = 0; 4454cc499d6e5ec602309501873449c938af61170b2Stephen Hines NumModuleValues = Values.size(); 4464cc499d6e5ec602309501873449c938af61170b2Stephen Hines NumModuleMDValues = MDValues.size(); 4474cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4484cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Adding function arguments to the value table. 4494cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_arg_iterator I = F.arg_begin(), E = F.arg_end(); 4504cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 4514cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 4524cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4534cc499d6e5ec602309501873449c938af61170b2Stephen Hines FirstFuncConstantID = Values.size(); 4544cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4554cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all function-level constants to the value table. 4564cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) { 4574cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) 4584cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 4594cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 4604cc499d6e5ec602309501873449c938af61170b2Stephen Hines if ((isa<Constant>(*OI) && !isa<GlobalValue>(*OI)) || 4614cc499d6e5ec602309501873449c938af61170b2Stephen Hines isa<InlineAsm>(*OI)) 4624cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(*OI); 4634cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4644cc499d6e5ec602309501873449c938af61170b2Stephen Hines BasicBlocks.push_back(BB); 4654cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[BB] = BasicBlocks.size(); 4664cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4674cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4684cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Optimize the constant layout. 4694cc499d6e5ec602309501873449c938af61170b2Stephen Hines OptimizeConstants(FirstFuncConstantID, Values.size()); 4704cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4714cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add the function's parameter attributes so they are available for use in 4724cc499d6e5ec602309501873449c938af61170b2Stephen Hines // the function's instruction. 4734cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(F.getAttributes()); 4744cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4754cc499d6e5ec602309501873449c938af61170b2Stephen Hines FirstInstID = Values.size(); 4764cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4774cc499d6e5ec602309501873449c938af61170b2Stephen Hines SmallVector<MDNode *, 8> FnLocalMDVector; 4784cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all of the instructions. 4794cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) { 4804cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) { 4814cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 4824cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 4834cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MDNode *MD = dyn_cast<MDNode>(*OI)) 4844cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (MD->isFunctionLocal() && MD->getFunction()) 4854cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate metadata after the instructions they might refer to. 4864cc499d6e5ec602309501873449c938af61170b2Stephen Hines FnLocalMDVector.push_back(MD); 4874cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4884cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4894cc499d6e5ec602309501873449c938af61170b2Stephen Hines SmallVector<std::pair<unsigned, MDNode*>, 8> MDs; 4904cc499d6e5ec602309501873449c938af61170b2Stephen Hines I->getAllMetadataOtherThanDebugLoc(MDs); 4914cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MDs.size(); i != e; ++i) { 4924cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDNode *N = MDs[i].second; 4934cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (N->isFunctionLocal() && N->getFunction()) 4944cc499d6e5ec602309501873449c938af61170b2Stephen Hines FnLocalMDVector.push_back(N); 4954cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4964cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4974cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!I->getType()->isVoidTy()) 4984cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I); 4994cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5004cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5014cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5024cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all of the function-local metadata. 5034cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = FnLocalMDVector.size(); i != e; ++i) 5044cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateFunctionLocalMetadata(FnLocalMDVector[i]); 5054cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5064cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5074cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::purgeFunction() { 5084cc499d6e5ec602309501873449c938af61170b2Stephen Hines /// Remove purged values from the ValueMap. 5094cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = NumModuleValues, e = Values.size(); i != e; ++i) 5104cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap.erase(Values[i].first); 5114cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = NumModuleMDValues, e = MDValues.size(); i != e; ++i) 5124cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValueMap.erase(MDValues[i].first); 5134cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = BasicBlocks.size(); i != e; ++i) 5144cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap.erase(BasicBlocks[i]); 5154cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5164cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.resize(NumModuleValues); 5174cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDValues.resize(NumModuleMDValues); 5184cc499d6e5ec602309501873449c938af61170b2Stephen Hines BasicBlocks.clear(); 5194cc499d6e5ec602309501873449c938af61170b2Stephen Hines FunctionLocalMDs.clear(); 5204cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5214cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5224cc499d6e5ec602309501873449c938af61170b2Stephen Hinesstatic void IncorporateFunctionInfoGlobalBBIDs(const Function *F, 5234cc499d6e5ec602309501873449c938af61170b2Stephen Hines DenseMap<const BasicBlock*, unsigned> &IDMap) { 5244cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned Counter = 0; 5254cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB) 5264cc499d6e5ec602309501873449c938af61170b2Stephen Hines IDMap[BB] = ++Counter; 5274cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5284cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5294cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// getGlobalBasicBlockID - This returns the function-specific ID for the 5304cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// specified basic block. This is relatively expensive information, so it 5314cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// should only be used by rare constructs such as address-of-label. 5324cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getGlobalBasicBlockID(const BasicBlock *BB) const { 5334cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &Idx = GlobalBasicBlockIDs[BB]; 5344cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Idx != 0) 5354cc499d6e5ec602309501873449c938af61170b2Stephen Hines return Idx-1; 5364cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5374cc499d6e5ec602309501873449c938af61170b2Stephen Hines IncorporateFunctionInfoGlobalBBIDs(BB->getParent(), GlobalBasicBlockIDs); 5384cc499d6e5ec602309501873449c938af61170b2Stephen Hines return getGlobalBasicBlockID(BB); 5394cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5404cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5419937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hines} // end llvm_2_9 namespace 542