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" 18c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines#include "llvm/IR/DebugInfoMetadata.h" 1923c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/DerivedTypes.h" 2023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Instructions.h" 2123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Module.h" 2223c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/ValueSymbolTable.h" 23a44912f8876b6f830a4829286c27ef90c763469eStephen Hines#include "llvm/Support/Debug.h" 24a44912f8876b6f830a4829286c27ef90c763469eStephen Hines#include "llvm/Support/raw_ostream.h" 254cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include <algorithm> 264cc499d6e5ec602309501873449c938af61170b2Stephen Hinesusing namespace llvm; 274cc499d6e5ec602309501873449c938af61170b2Stephen Hines 289937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hinesnamespace llvm_2_9 { 299937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hines 300da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hinesstatic bool isIntOrIntVectorValue(const std::pair<const Value*, unsigned> &V) { 310da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines return V.first->getType()->isIntOrIntVectorTy(); 324cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 334cc499d6e5ec602309501873449c938af61170b2Stephen Hines 344cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// ValueEnumerator - Enumerate module-level information. 35c706907a8041faaa882f9bd87f1d1c1669023a62Stephen HinesValueEnumerator::ValueEnumerator(const llvm::Module &M) 361906a00dce8e32fe3bb8a957e333ebbbee0888e3Pirama Arumuga Nainar : HasMDString(false), HasDILocation(false) { 374cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the global variables. 38c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (llvm::Module::const_global_iterator I = M.global_begin(), E = M.global_end(); 39c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines I != E; ++I) 408f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar EnumerateValue(&*I); 414cc499d6e5ec602309501873449c938af61170b2Stephen Hines 424cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the functions. 43c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (llvm::Module::const_iterator I = M.begin(), E = M.end(); I != E; ++I) { 448f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar EnumerateValue(&*I); 454cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(cast<Function>(I)->getAttributes()); 464cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 474cc499d6e5ec602309501873449c938af61170b2Stephen Hines 484cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the aliases. 49c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (llvm::Module::const_alias_iterator I = M.alias_begin(), E = M.alias_end(); 504cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 518f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar EnumerateValue(&*I); 524cc499d6e5ec602309501873449c938af61170b2Stephen Hines 534cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Remember what is the cutoff between globalvalue's and other constants. 544cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned FirstConstant = Values.size(); 554cc499d6e5ec602309501873449c938af61170b2Stephen Hines 564cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the global variable initializers. 57c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (llvm::Module::const_global_iterator I = M.global_begin(), E = M.global_end(); 58c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines I != E; ++I) 594cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (I->hasInitializer()) 604cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I->getInitializer()); 614cc499d6e5ec602309501873449c938af61170b2Stephen Hines 624cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the aliasees. 63c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (llvm::Module::const_alias_iterator I = M.alias_begin(), E = M.alias_end(); 644cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 654cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(I->getAliasee()); 664cc499d6e5ec602309501873449c938af61170b2Stephen Hines 67c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Enumerate the metadata type. 68c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // 69c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // TODO: Move this to ValueEnumerator::EnumerateOperandType() once bitcode 70c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // only encodes the metadata type when it's used as a value. 71c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateType(Type::getMetadataTy(M.getContext())); 72c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 73c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Insert constants and metadata that are named at module level into the slot 744cc499d6e5ec602309501873449c938af61170b2Stephen Hines // pool so that the module symbol table can refer to them... 75c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateValueSymbolTable(M.getValueSymbolTable()); 764cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateNamedMetadata(M); 774cc499d6e5ec602309501873449c938af61170b2Stephen Hines 78c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines SmallVector<std::pair<unsigned, MDNode *>, 8> MDs; 794cc499d6e5ec602309501873449c938af61170b2Stephen Hines 804cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate types used by function bodies and argument lists. 81c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (const Function &F : M) { 82c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (const Argument &A : F.args()) 83c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateType(A.getType()); 84c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 85c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (const BasicBlock &BB : F) 86c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (const Instruction &I : BB) { 87c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (const Use &Op : I.operands()) { 88c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines auto *MD = dyn_cast<MetadataAsValue>(&Op); 89c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (!MD) { 90c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateOperandType(Op); 91c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines continue; 92c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines } 93c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 94c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Local metadata is enumerated during function-incorporation. 95c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (isa<LocalAsMetadata>(MD->getMetadata())) 96c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines continue; 97c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 98c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateMetadata(MD->getMetadata()); 994cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 100c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateType(I.getType()); 101c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (const CallInst *CI = dyn_cast<CallInst>(&I)) 1024cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(CI->getAttributes()); 103c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) 1044cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(II->getAttributes()); 1054cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1064cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate metadata attached with this instruction. 1074cc499d6e5ec602309501873449c938af61170b2Stephen Hines MDs.clear(); 108c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines I.getAllMetadataOtherThanDebugLoc(MDs); 1094cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MDs.size(); i != e; ++i) 1104cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(MDs[i].second); 11123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 11221cc01860b95cad7ae60c686e511e8f4ae034e39Pirama Arumuga Nainar // Don't enumerate the location directly -- it has a special record 11321cc01860b95cad7ae60c686e511e8f4ae034e39Pirama Arumuga Nainar // type -- but enumerate its operands. 1141906a00dce8e32fe3bb8a957e333ebbbee0888e3Pirama Arumuga Nainar if (DILocation *L = I.getDebugLoc()) 11521cc01860b95cad7ae60c686e511e8f4ae034e39Pirama Arumuga Nainar EnumerateMDNodeOperands(L); 1164cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1174cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 1184cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1194cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Optimize constant ordering. 1204cc499d6e5ec602309501873449c938af61170b2Stephen Hines OptimizeConstants(FirstConstant, Values.size()); 1214cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1224cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1234cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getInstructionID(const Instruction *Inst) const { 1244cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionMapType::const_iterator I = InstructionMap.find(Inst); 1254cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(I != InstructionMap.end() && "Instruction is not mapped!"); 1264cc499d6e5ec602309501873449c938af61170b2Stephen Hines return I->second; 1274cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1284cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1294cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::setInstructionID(const Instruction *I) { 1304cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionMap[I] = InstructionCount++; 1314cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1324cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1334cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getValueID(const Value *V) const { 134c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (auto *MD = dyn_cast<MetadataAsValue>(V)) 135c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines return getMetadataID(MD->getMetadata()); 1364cc499d6e5ec602309501873449c938af61170b2Stephen Hines 1374cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMapType::const_iterator I = ValueMap.find(V); 1384cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(I != ValueMap.end() && "Value not in slotcalculator!"); 1394cc499d6e5ec602309501873449c938af61170b2Stephen Hines return I->second-1; 1404cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 1414cc499d6e5ec602309501873449c938af61170b2Stephen Hines 142a44912f8876b6f830a4829286c27ef90c763469eStephen Hinesvoid ValueEnumerator::dump() const { 143a44912f8876b6f830a4829286c27ef90c763469eStephen Hines print(dbgs(), ValueMap, "Default"); 144a44912f8876b6f830a4829286c27ef90c763469eStephen Hines dbgs() << '\n'; 145a44912f8876b6f830a4829286c27ef90c763469eStephen Hines print(dbgs(), MDValueMap, "MetaData"); 146a44912f8876b6f830a4829286c27ef90c763469eStephen Hines dbgs() << '\n'; 147a44912f8876b6f830a4829286c27ef90c763469eStephen Hines} 148a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 149a44912f8876b6f830a4829286c27ef90c763469eStephen Hinesvoid ValueEnumerator::print(raw_ostream &OS, const ValueMapType &Map, 150a44912f8876b6f830a4829286c27ef90c763469eStephen Hines const char *Name) const { 151a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 152a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Map Name: " << Name << "\n"; 153a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Size: " << Map.size() << "\n"; 154a44912f8876b6f830a4829286c27ef90c763469eStephen Hines for (ValueMapType::const_iterator I = Map.begin(), 155a44912f8876b6f830a4829286c27ef90c763469eStephen Hines E = Map.end(); I != E; ++I) { 156a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 157a44912f8876b6f830a4829286c27ef90c763469eStephen Hines const Value *V = I->first; 158a44912f8876b6f830a4829286c27ef90c763469eStephen Hines if (V->hasName()) 159a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Value: " << V->getName(); 160a44912f8876b6f830a4829286c27ef90c763469eStephen Hines else 161a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "Value: [null]\n"; 162a44912f8876b6f830a4829286c27ef90c763469eStephen Hines V->dump(); 163a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 164a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << " Uses(" << std::distance(V->use_begin(),V->use_end()) << "):"; 165c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (const Use &U : V->uses()) { 166c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (&U != &*V->use_begin()) 167a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << ","; 168c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if(U->hasName()) 169c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines OS << " " << U->getName(); 170a44912f8876b6f830a4829286c27ef90c763469eStephen Hines else 171a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << " [null]"; 172a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 173a44912f8876b6f830a4829286c27ef90c763469eStephen Hines } 174a44912f8876b6f830a4829286c27ef90c763469eStephen Hines OS << "\n\n"; 175a44912f8876b6f830a4829286c27ef90c763469eStephen Hines } 176a44912f8876b6f830a4829286c27ef90c763469eStephen Hines} 177a44912f8876b6f830a4829286c27ef90c763469eStephen Hines 178c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hinesvoid ValueEnumerator::print(llvm::raw_ostream &OS, const MetadataMapType &Map, 179c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines const char *Name) const { 180c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 181c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines OS << "Map Name: " << Name << "\n"; 182c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines OS << "Size: " << Map.size() << "\n"; 183c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (auto I = Map.begin(), E = Map.end(); I != E; ++I) { 184c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines const llvm::Metadata *MD = I->first; 185c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines OS << "Metadata: slot = " << I->second << "\n"; 186c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MD->print(OS); 187c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines } 188c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines} 189c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 190c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 1914cc499d6e5ec602309501873449c938af61170b2Stephen Hines// Optimize constant ordering. 1924cc499d6e5ec602309501873449c938af61170b2Stephen Hinesnamespace { 1934cc499d6e5ec602309501873449c938af61170b2Stephen Hines struct CstSortPredicate { 1944cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueEnumerator &VE; 1954cc499d6e5ec602309501873449c938af61170b2Stephen Hines explicit CstSortPredicate(ValueEnumerator &ve) : VE(ve) {} 1964cc499d6e5ec602309501873449c938af61170b2Stephen Hines bool operator()(const std::pair<const Value*, unsigned> &LHS, 1974cc499d6e5ec602309501873449c938af61170b2Stephen Hines const std::pair<const Value*, unsigned> &RHS) { 1984cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Sort by plane. 1994cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (LHS.first->getType() != RHS.first->getType()) 2004cc499d6e5ec602309501873449c938af61170b2Stephen Hines return VE.getTypeID(LHS.first->getType()) < 2014cc499d6e5ec602309501873449c938af61170b2Stephen Hines VE.getTypeID(RHS.first->getType()); 2024cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Then by frequency. 2034cc499d6e5ec602309501873449c938af61170b2Stephen Hines return LHS.second > RHS.second; 2044cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2054cc499d6e5ec602309501873449c938af61170b2Stephen Hines }; 2064cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2074cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2084cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// OptimizeConstants - Reorder constant pool for denser encoding. 2094cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::OptimizeConstants(unsigned CstStart, unsigned CstEnd) { 2104cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (CstStart == CstEnd || CstStart+1 == CstEnd) return; 2114cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2124cc499d6e5ec602309501873449c938af61170b2Stephen Hines CstSortPredicate P(*this); 2134cc499d6e5ec602309501873449c938af61170b2Stephen Hines std::stable_sort(Values.begin()+CstStart, Values.begin()+CstEnd, P); 2144cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2150da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // Ensure that integer and vector of integer constants are at the start of the 2160da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // constant pool. This is important so that GEP structure indices come before 2170da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // gep constant exprs. 2184cc499d6e5ec602309501873449c938af61170b2Stephen Hines std::partition(Values.begin()+CstStart, Values.begin()+CstEnd, 2190da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines isIntOrIntVectorValue); 2204cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2214cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Rebuild the modified portion of ValueMap. 2224cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (; CstStart != CstEnd; ++CstStart) 2234cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[Values[CstStart].first] = CstStart+1; 2244cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2254cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2264cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2274cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateValueSymbolTable - Insert all of the values in the specified symbol 2284cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// table into the values table. 2294cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateValueSymbolTable(const ValueSymbolTable &VST) { 2304cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (ValueSymbolTable::const_iterator VI = VST.begin(), VE = VST.end(); 2314cc499d6e5ec602309501873449c938af61170b2Stephen Hines VI != VE; ++VI) 2324cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(VI->getValue()); 2334cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2344cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2354cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateNamedMetadata - Insert all of the values referenced by 2364cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// named metadata in the specified module. 237c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hinesvoid ValueEnumerator::EnumerateNamedMetadata(const llvm::Module &M) { 238c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (llvm::Module::const_named_metadata_iterator I = M.named_metadata_begin(), 239c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines E = M.named_metadata_end(); 240c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines I != E; ++I) 2418f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar EnumerateNamedMDNode(&*I); 2424cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2434cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2444cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateNamedMDNode(const NamedMDNode *MD) { 2454cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i) 2464cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMetadata(MD->getOperand(i)); 2474cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2484cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2494cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateMDNodeOperands - Enumerate all non-function-local values 2504cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// and types referenced by the given MDNode. 2514cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateMDNodeOperands(const MDNode *N) { 2524cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) { 253c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines Metadata *MD = N->getOperand(i); 254c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (!MD) 255c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines continue; 256c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines assert(!isa<LocalAsMetadata>(MD) && "MDNodes cannot be function-local"); 257c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateMetadata(MD); 2584cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 2594cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2604cc499d6e5ec602309501873449c938af61170b2Stephen Hines 261c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hinesvoid ValueEnumerator::EnumerateMetadata(const llvm::Metadata *MD) { 262c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines assert( 263c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines (isa<MDNode>(MD) || isa<MDString>(MD) || isa<ConstantAsMetadata>(MD)) && 264c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines "Invalid metadata kind"); 2654cc499d6e5ec602309501873449c938af61170b2Stephen Hines 266c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Insert a dummy ID to block the co-recursive call to 267c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // EnumerateMDNodeOperands() from re-visiting MD in a cyclic graph. 268c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // 269c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Return early if there's already an ID. 270c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (!MDValueMap.insert(std::make_pair(MD, 0)).second) 271c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines return; 2724cc499d6e5ec602309501873449c938af61170b2Stephen Hines 273c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Visit operands first to minimize RAUW. 274c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (auto *N = dyn_cast<MDNode>(MD)) 2754cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateMDNodeOperands(N); 276c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines else if (auto *C = dyn_cast<ConstantAsMetadata>(MD)) 277c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateValue(C->getValue()); 2784cc499d6e5ec602309501873449c938af61170b2Stephen Hines 279c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines HasMDString |= isa<MDString>(MD); 2801906a00dce8e32fe3bb8a957e333ebbbee0888e3Pirama Arumuga Nainar HasDILocation |= isa<DILocation>(MD); 2814cc499d6e5ec602309501873449c938af61170b2Stephen Hines 282c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Replace the dummy ID inserted above with the correct one. MDValueMap may 283c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // have changed by inserting operands, so we need a fresh lookup here. 284c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MDs.push_back(MD); 285c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MDValueMap[MD] = MDs.size(); 2864cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 2874cc499d6e5ec602309501873449c938af61170b2Stephen Hines 2884cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// EnumerateFunctionLocalMetadataa - Incorporate function-local metadata 289c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines/// information reachable from the metadata. 290c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hinesvoid ValueEnumerator::EnumerateFunctionLocalMetadata( 291c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines const llvm::LocalAsMetadata *Local) { 2924cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 293c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines unsigned &MDValueID = MDValueMap[Local]; 294c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (MDValueID) 2954cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 2964cc499d6e5ec602309501873449c938af61170b2Stephen Hines 297c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MDs.push_back(Local); 298c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MDValueID = MDs.size(); 299c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 300c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateValue(Local->getValue()); 301c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 302c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Also, collect all function-local metadata for easy access. 303c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines FunctionLocalMDs.push_back(Local); 3044cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3054cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3064cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateValue(const Value *V) { 3074cc499d6e5ec602309501873449c938af61170b2Stephen Hines assert(!V->getType()->isVoidTy() && "Can't insert void values!"); 308c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines assert(!isa<MetadataAsValue>(V) && "EnumerateValue doesn't handle Metadata!"); 3094cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3104cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if it's already in! 3114cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &ValueID = ValueMap[V]; 3124cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (ValueID) { 3134cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Increment use count. 3144cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values[ValueID-1].second++; 3154cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3164cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3174cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3184cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate the type of this value. 3194cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(V->getType()); 3204cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3214cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (const Constant *C = dyn_cast<Constant>(V)) { 3224cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (isa<GlobalValue>(C)) { 3234cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Initializers for globals are handled explicitly elsewhere. 3244cc499d6e5ec602309501873449c938af61170b2Stephen Hines } else if (C->getNumOperands()) { 3254cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If a constant has operands, enumerate them. This makes sure that if a 3264cc499d6e5ec602309501873449c938af61170b2Stephen Hines // constant has uses (for example an array of const ints), that they are 3274cc499d6e5ec602309501873449c938af61170b2Stephen Hines // inserted also. 3284cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3294cc499d6e5ec602309501873449c938af61170b2Stephen Hines // We prefer to enumerate them with values before we enumerate the user 3304cc499d6e5ec602309501873449c938af61170b2Stephen Hines // itself. This makes it more likely that we can avoid forward references 3314cc499d6e5ec602309501873449c938af61170b2Stephen Hines // in the reader. We know that there can be no cycles in the constants 3324cc499d6e5ec602309501873449c938af61170b2Stephen Hines // graph that don't go through a global variable. 3334cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator I = C->op_begin(), E = C->op_end(); 3344cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 3354cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!isa<BasicBlock>(*I)) // Don't enumerate BB operand to BlockAddress. 3364cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(*I); 3374cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3384cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Finally, add the value. Doing this could make the ValueID reference be 3394cc499d6e5ec602309501873449c938af61170b2Stephen Hines // dangling, don't reuse it. 3404cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.push_back(std::make_pair(V, 1U)); 3414cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap[V] = Values.size(); 3424cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 343db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines } else if (const ConstantDataSequential *CDS = 344db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines dyn_cast<ConstantDataSequential>(C)) { 345db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // For our legacy handling of the new ConstantDataSequential type, we 346db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // need to enumerate the individual elements, as well as mark the 347db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines // outer constant as used. 348db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines for (unsigned i = 0, e = CDS->getNumElements(); i != e; ++i) 349db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines EnumerateValue(CDS->getElementAsConstant(i)); 350db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines Values.push_back(std::make_pair(V, 1U)); 351db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines ValueMap[V] = Values.size(); 352db37c900ebe6f0ae62a1f77327dd9e5a469ff11eStephen Hines return; 3534cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3544cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3554cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3564cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add the value. 3574cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.push_back(std::make_pair(V, 1U)); 3584cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueID = Values.size(); 3594cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3604cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3614cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3624cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateType(Type *Ty) { 3634cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned *TypeID = &TypeMap[Ty]; 3644cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3654cc499d6e5ec602309501873449c938af61170b2Stephen Hines // We've already seen this type. 3664cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (*TypeID) 3674cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 3684cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3694cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If it is a non-anonymous struct, mark the type as being visited so that we 3704cc499d6e5ec602309501873449c938af61170b2Stephen Hines // don't recursively visit it. This is safe because we allow forward 3714cc499d6e5ec602309501873449c938af61170b2Stephen Hines // references of these in the bitcode reader. 3724cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (StructType *STy = dyn_cast<StructType>(Ty)) 3739207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (!STy->isLiteral()) 3744cc499d6e5ec602309501873449c938af61170b2Stephen Hines *TypeID = ~0U; 37523c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3764cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate all of the subtypes before we enumerate this type. This ensures 3774cc499d6e5ec602309501873449c938af61170b2Stephen Hines // that the type will be enumerated in an order that can be directly built. 378c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (Type *SubTy : Ty->subtypes()) 379c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateType(SubTy); 38023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3814cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Refresh the TypeID pointer in case the table rehashed. 3824cc499d6e5ec602309501873449c938af61170b2Stephen Hines TypeID = &TypeMap[Ty]; 38323c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3844cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Check to see if we got the pointer another way. This can happen when 3854cc499d6e5ec602309501873449c938af61170b2Stephen Hines // enumerating recursive types that hit the base case deeper than they start. 3864cc499d6e5ec602309501873449c938af61170b2Stephen Hines // 3874cc499d6e5ec602309501873449c938af61170b2Stephen Hines // If this is actually a struct that we are treating as forward ref'able, 3884cc499d6e5ec602309501873449c938af61170b2Stephen Hines // then emit the definition now that all of its contents are available. 3894cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (*TypeID && *TypeID != ~0U) 3904cc499d6e5ec602309501873449c938af61170b2Stephen Hines return; 39123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3924cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add this type now that its contents are all happily enumerated. 3934cc499d6e5ec602309501873449c938af61170b2Stephen Hines Types.push_back(Ty); 39423c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 3954cc499d6e5ec602309501873449c938af61170b2Stephen Hines *TypeID = Types.size(); 3964cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 3974cc499d6e5ec602309501873449c938af61170b2Stephen Hines 3984cc499d6e5ec602309501873449c938af61170b2Stephen Hines// Enumerate the types for the specified value. If the value is a constant, 3994cc499d6e5ec602309501873449c938af61170b2Stephen Hines// walk through it, enumerating the types of the constant. 4004cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::EnumerateOperandType(const Value *V) { 4014cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateType(V->getType()); 40223c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 403c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (auto *MD = dyn_cast<MetadataAsValue>(V)) { 404c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines assert(!isa<LocalAsMetadata>(MD->getMetadata()) && 405c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines "Function-local metadata should be left for later"); 4064cc499d6e5ec602309501873449c938af61170b2Stephen Hines 407c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateMetadata(MD->getMetadata()); 408c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines return; 409c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines } 41023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 411c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines const Constant *C = dyn_cast<Constant>(V); 412c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (!C) 413c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines return; 41423c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 415c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // If this constant is already enumerated, ignore it, we know its type must 416c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // be enumerated. 417c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (ValueMap.count(C)) 418c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines return; 4194cc499d6e5ec602309501873449c938af61170b2Stephen Hines 420c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // This constant may have operands, make sure to enumerate the types in 421c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // them. 422c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) { 423c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines const Value *Op = C->getOperand(i); 424c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 425c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // Don't enumerate basic blocks here, this happens as operands to 426c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines // blockaddress. 427c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (isa<BasicBlock>(Op)) 428c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines continue; 429c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines 430c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines EnumerateOperandType(Op); 431c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines } 4324cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4334cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4340da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hinesvoid ValueEnumerator::EnumerateAttributes(AttributeSet PAL) { 4354cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (PAL.isEmpty()) return; // null is always 0. 4360da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines 4374cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Do a lookup. 4380da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines unsigned &Entry = AttributeMap[PAL]; 4394cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Entry == 0) { 4404cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Never saw this before, add it. 44123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines Attribute.push_back(PAL); 44223c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines Entry = Attribute.size(); 4434cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4440da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines 4450da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines // Do lookups for all attribute groups. 4460da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines for (unsigned i = 0, e = PAL.getNumSlots(); i != e; ++i) { 4470da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines AttributeSet AS = PAL.getSlotAttributes(i); 4480da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines unsigned &Entry = AttributeGroupMap[AS]; 4490da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines if (Entry == 0) { 4500da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines AttributeGroups.push_back(AS); 4510da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines Entry = AttributeGroups.size(); 4520da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines } 4530da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines } 4544cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 4554cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4564cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::incorporateFunction(const Function &F) { 4574cc499d6e5ec602309501873449c938af61170b2Stephen Hines InstructionCount = 0; 4584cc499d6e5ec602309501873449c938af61170b2Stephen Hines NumModuleValues = Values.size(); 459c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines NumModuleMDs = MDs.size(); 4604cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4614cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Adding function arguments to the value table. 4624cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_arg_iterator I = F.arg_begin(), E = F.arg_end(); 4634cc499d6e5ec602309501873449c938af61170b2Stephen Hines I != E; ++I) 4648f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar EnumerateValue(&*I); 4654cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4664cc499d6e5ec602309501873449c938af61170b2Stephen Hines FirstFuncConstantID = Values.size(); 4674cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4684cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all function-level constants to the value table. 4694cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) { 4704cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) 4714cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 4724cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 4734cc499d6e5ec602309501873449c938af61170b2Stephen Hines if ((isa<Constant>(*OI) && !isa<GlobalValue>(*OI)) || 4744cc499d6e5ec602309501873449c938af61170b2Stephen Hines isa<InlineAsm>(*OI)) 4754cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateValue(*OI); 4764cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4778f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar BasicBlocks.push_back(&*BB); 4788f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar ValueMap[&*BB] = BasicBlocks.size(); 4794cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 4804cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4814cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Optimize the constant layout. 4824cc499d6e5ec602309501873449c938af61170b2Stephen Hines OptimizeConstants(FirstFuncConstantID, Values.size()); 4834cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4844cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add the function's parameter attributes so they are available for use in 4854cc499d6e5ec602309501873449c938af61170b2Stephen Hines // the function's instruction. 4864cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateAttributes(F.getAttributes()); 4874cc499d6e5ec602309501873449c938af61170b2Stephen Hines 4884cc499d6e5ec602309501873449c938af61170b2Stephen Hines FirstInstID = Values.size(); 4894cc499d6e5ec602309501873449c938af61170b2Stephen Hines 490c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines SmallVector<llvm::LocalAsMetadata *, 8> FnLocalMDVector; 4914cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all of the instructions. 4924cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) { 4934cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); I!=E; ++I) { 4944cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (User::const_op_iterator OI = I->op_begin(), E = I->op_end(); 4954cc499d6e5ec602309501873449c938af61170b2Stephen Hines OI != E; ++OI) { 496c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (auto *MD = dyn_cast<llvm::MetadataAsValue>(&*OI)) 497c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines if (auto *Local = dyn_cast<LocalAsMetadata>(MD->getMetadata())) 4984cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Enumerate metadata after the instructions they might refer to. 499c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines FnLocalMDVector.push_back(Local); 5004cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 50123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines 5024cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (!I->getType()->isVoidTy()) 5038f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar EnumerateValue(&*I); 5044cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5054cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 5064cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5074cc499d6e5ec602309501873449c938af61170b2Stephen Hines // Add all of the function-local metadata. 5084cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = FnLocalMDVector.size(); i != e; ++i) 5094cc499d6e5ec602309501873449c938af61170b2Stephen Hines EnumerateFunctionLocalMetadata(FnLocalMDVector[i]); 5104cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5114cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5124cc499d6e5ec602309501873449c938af61170b2Stephen Hinesvoid ValueEnumerator::purgeFunction() { 5134cc499d6e5ec602309501873449c938af61170b2Stephen Hines /// Remove purged values from the ValueMap. 5144cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = NumModuleValues, e = Values.size(); i != e; ++i) 5154cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap.erase(Values[i].first); 516c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines for (unsigned i = NumModuleMDs, e = MDs.size(); i != e; ++i) 517c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MDValueMap.erase(MDs[i]); 5184cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (unsigned i = 0, e = BasicBlocks.size(); i != e; ++i) 5194cc499d6e5ec602309501873449c938af61170b2Stephen Hines ValueMap.erase(BasicBlocks[i]); 5204cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5214cc499d6e5ec602309501873449c938af61170b2Stephen Hines Values.resize(NumModuleValues); 522c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines MDs.resize(NumModuleMDs); 5234cc499d6e5ec602309501873449c938af61170b2Stephen Hines BasicBlocks.clear(); 5244cc499d6e5ec602309501873449c938af61170b2Stephen Hines FunctionLocalMDs.clear(); 5254cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5264cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5274cc499d6e5ec602309501873449c938af61170b2Stephen Hinesstatic void IncorporateFunctionInfoGlobalBBIDs(const Function *F, 5284cc499d6e5ec602309501873449c938af61170b2Stephen Hines DenseMap<const BasicBlock*, unsigned> &IDMap) { 5294cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned Counter = 0; 5304cc499d6e5ec602309501873449c938af61170b2Stephen Hines for (Function::const_iterator BB = F->begin(), E = F->end(); BB != E; ++BB) 5318f093e05e28046b6fc74175b66a06152f72e0c66Pirama Arumuga Nainar IDMap[&*BB] = ++Counter; 5324cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5334cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5344cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// getGlobalBasicBlockID - This returns the function-specific ID for the 5354cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// specified basic block. This is relatively expensive information, so it 5364cc499d6e5ec602309501873449c938af61170b2Stephen Hines/// should only be used by rare constructs such as address-of-label. 5374cc499d6e5ec602309501873449c938af61170b2Stephen Hinesunsigned ValueEnumerator::getGlobalBasicBlockID(const BasicBlock *BB) const { 5384cc499d6e5ec602309501873449c938af61170b2Stephen Hines unsigned &Idx = GlobalBasicBlockIDs[BB]; 5394cc499d6e5ec602309501873449c938af61170b2Stephen Hines if (Idx != 0) 5404cc499d6e5ec602309501873449c938af61170b2Stephen Hines return Idx-1; 5414cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5424cc499d6e5ec602309501873449c938af61170b2Stephen Hines IncorporateFunctionInfoGlobalBBIDs(BB->getParent(), GlobalBasicBlockIDs); 5434cc499d6e5ec602309501873449c938af61170b2Stephen Hines return getGlobalBasicBlockID(BB); 5444cc499d6e5ec602309501873449c938af61170b2Stephen Hines} 5454cc499d6e5ec602309501873449c938af61170b2Stephen Hines 5469937d116e09feb32d46a4c76eca1be6afcd3bed5Stephen Hines} // end llvm_2_9 namespace 547