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