10b57cec5SDimitry Andric //===- ValueEnumerator.cpp - Number values and types for bitcode writer ---===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the ValueEnumerator class.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "ValueEnumerator.h"
140b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
150b57cec5SDimitry Andric #include "llvm/Config/llvm-config.h"
160b57cec5SDimitry Andric #include "llvm/IR/Argument.h"
170b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h"
180b57cec5SDimitry Andric #include "llvm/IR/Constant.h"
190b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
200b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h"
210b57cec5SDimitry Andric #include "llvm/IR/Function.h"
220b57cec5SDimitry Andric #include "llvm/IR/GlobalAlias.h"
230b57cec5SDimitry Andric #include "llvm/IR/GlobalIFunc.h"
240b57cec5SDimitry Andric #include "llvm/IR/GlobalObject.h"
250b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h"
260b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
270b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
280b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
290b57cec5SDimitry Andric #include "llvm/IR/Metadata.h"
300b57cec5SDimitry Andric #include "llvm/IR/Module.h"
31fe6060f1SDimitry Andric #include "llvm/IR/Operator.h"
320b57cec5SDimitry Andric #include "llvm/IR/Type.h"
330b57cec5SDimitry Andric #include "llvm/IR/Use.h"
340b57cec5SDimitry Andric #include "llvm/IR/User.h"
350b57cec5SDimitry Andric #include "llvm/IR/Value.h"
360b57cec5SDimitry Andric #include "llvm/IR/ValueSymbolTable.h"
370b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
380b57cec5SDimitry Andric #include "llvm/Support/Compiler.h"
390b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
400b57cec5SDimitry Andric #include "llvm/Support/MathExtras.h"
410b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
420b57cec5SDimitry Andric #include <algorithm>
430b57cec5SDimitry Andric #include <cstddef>
440b57cec5SDimitry Andric #include <iterator>
450b57cec5SDimitry Andric #include <tuple>
460b57cec5SDimitry Andric 
470b57cec5SDimitry Andric using namespace llvm;
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric namespace {
500b57cec5SDimitry Andric 
510b57cec5SDimitry Andric struct OrderMap {
520b57cec5SDimitry Andric   DenseMap<const Value *, std::pair<unsigned, bool>> IDs;
530b57cec5SDimitry Andric   unsigned LastGlobalValueID = 0;
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric   OrderMap() = default;
560b57cec5SDimitry Andric 
isGlobalValue__anon8897487a0111::OrderMap570b57cec5SDimitry Andric   bool isGlobalValue(unsigned ID) const {
5881ad6265SDimitry Andric     return ID <= LastGlobalValueID;
590b57cec5SDimitry Andric   }
600b57cec5SDimitry Andric 
size__anon8897487a0111::OrderMap610b57cec5SDimitry Andric   unsigned size() const { return IDs.size(); }
operator []__anon8897487a0111::OrderMap620b57cec5SDimitry Andric   std::pair<unsigned, bool> &operator[](const Value *V) { return IDs[V]; }
630b57cec5SDimitry Andric 
lookup__anon8897487a0111::OrderMap640b57cec5SDimitry Andric   std::pair<unsigned, bool> lookup(const Value *V) const {
650b57cec5SDimitry Andric     return IDs.lookup(V);
660b57cec5SDimitry Andric   }
670b57cec5SDimitry Andric 
index__anon8897487a0111::OrderMap680b57cec5SDimitry Andric   void index(const Value *V) {
690b57cec5SDimitry Andric     // Explicitly sequence get-size and insert-value operations to avoid UB.
700b57cec5SDimitry Andric     unsigned ID = IDs.size() + 1;
710b57cec5SDimitry Andric     IDs[V].first = ID;
720b57cec5SDimitry Andric   }
730b57cec5SDimitry Andric };
740b57cec5SDimitry Andric 
750b57cec5SDimitry Andric } // end anonymous namespace
760b57cec5SDimitry Andric 
orderValue(const Value * V,OrderMap & OM)770b57cec5SDimitry Andric static void orderValue(const Value *V, OrderMap &OM) {
780b57cec5SDimitry Andric   if (OM.lookup(V).first)
790b57cec5SDimitry Andric     return;
800b57cec5SDimitry Andric 
815ffd83dbSDimitry Andric   if (const Constant *C = dyn_cast<Constant>(V)) {
8281ad6265SDimitry Andric     if (C->getNumOperands()) {
830b57cec5SDimitry Andric       for (const Value *Op : C->operands())
840b57cec5SDimitry Andric         if (!isa<BasicBlock>(Op) && !isa<GlobalValue>(Op))
850b57cec5SDimitry Andric           orderValue(Op, OM);
865ffd83dbSDimitry Andric       if (auto *CE = dyn_cast<ConstantExpr>(C))
875ffd83dbSDimitry Andric         if (CE->getOpcode() == Instruction::ShuffleVector)
885ffd83dbSDimitry Andric           orderValue(CE->getShuffleMaskForBitcode(), OM);
895ffd83dbSDimitry Andric     }
905ffd83dbSDimitry Andric   }
910b57cec5SDimitry Andric 
920b57cec5SDimitry Andric   // Note: we cannot cache this lookup above, since inserting into the map
930b57cec5SDimitry Andric   // changes the map's size, and thus affects the other IDs.
940b57cec5SDimitry Andric   OM.index(V);
950b57cec5SDimitry Andric }
960b57cec5SDimitry Andric 
orderModule(const Module & M)970b57cec5SDimitry Andric static OrderMap orderModule(const Module &M) {
980b57cec5SDimitry Andric   // This needs to match the order used by ValueEnumerator::ValueEnumerator()
990b57cec5SDimitry Andric   // and ValueEnumerator::incorporateFunction().
1000b57cec5SDimitry Andric   OrderMap OM;
1010b57cec5SDimitry Andric 
10281ad6265SDimitry Andric   // Initializers of GlobalValues are processed in
10381ad6265SDimitry Andric   // BitcodeReader::ResolveGlobalAndAliasInits().  Match the order there rather
10481ad6265SDimitry Andric   // than ValueEnumerator, and match the code in predictValueUseListOrderImpl()
10581ad6265SDimitry Andric   // by giving IDs in reverse order.
10681ad6265SDimitry Andric   //
10781ad6265SDimitry Andric   // Since GlobalValues never reference each other directly (just through
10881ad6265SDimitry Andric   // initializers), their relative IDs only matter for determining order of
10981ad6265SDimitry Andric   // uses in their initializers.
11081ad6265SDimitry Andric   for (const GlobalVariable &G : reverse(M.globals()))
11181ad6265SDimitry Andric     orderValue(&G, OM);
11281ad6265SDimitry Andric   for (const GlobalAlias &A : reverse(M.aliases()))
11381ad6265SDimitry Andric     orderValue(&A, OM);
11481ad6265SDimitry Andric   for (const GlobalIFunc &I : reverse(M.ifuncs()))
11581ad6265SDimitry Andric     orderValue(&I, OM);
11681ad6265SDimitry Andric   for (const Function &F : reverse(M))
11781ad6265SDimitry Andric     orderValue(&F, OM);
11881ad6265SDimitry Andric   OM.LastGlobalValueID = OM.size();
119e8d8bef9SDimitry Andric 
120fe6060f1SDimitry Andric   auto orderConstantValue = [&OM](const Value *V) {
12181ad6265SDimitry Andric     if (isa<Constant>(V) || isa<InlineAsm>(V))
122fe6060f1SDimitry Andric       orderValue(V, OM);
123fe6060f1SDimitry Andric   };
12481ad6265SDimitry Andric 
125e8d8bef9SDimitry Andric   for (const Function &F : M) {
126e8d8bef9SDimitry Andric     if (F.isDeclaration())
127e8d8bef9SDimitry Andric       continue;
12881ad6265SDimitry Andric     // Here we need to match the union of ValueEnumerator::incorporateFunction()
12981ad6265SDimitry Andric     // and WriteFunction().  Basic blocks are implicitly declared before
13081ad6265SDimitry Andric     // anything else (by declaring their size).
13181ad6265SDimitry Andric     for (const BasicBlock &BB : F)
13281ad6265SDimitry Andric       orderValue(&BB, OM);
13381ad6265SDimitry Andric 
13481ad6265SDimitry Andric     // Metadata used by instructions is decoded before the actual instructions,
13581ad6265SDimitry Andric     // so visit any constants used by it beforehand.
136e8d8bef9SDimitry Andric     for (const BasicBlock &BB : F)
137e8d8bef9SDimitry Andric       for (const Instruction &I : BB)
138e8d8bef9SDimitry Andric         for (const Value *V : I.operands()) {
139fe6060f1SDimitry Andric           if (const auto *MAV = dyn_cast<MetadataAsValue>(V)) {
140fe6060f1SDimitry Andric             if (const auto *VAM =
141fe6060f1SDimitry Andric                     dyn_cast<ValueAsMetadata>(MAV->getMetadata())) {
142fe6060f1SDimitry Andric               orderConstantValue(VAM->getValue());
143fe6060f1SDimitry Andric             } else if (const auto *AL =
144fe6060f1SDimitry Andric                            dyn_cast<DIArgList>(MAV->getMetadata())) {
145fe6060f1SDimitry Andric               for (const auto *VAM : AL->getArgs())
146fe6060f1SDimitry Andric                 orderConstantValue(VAM->getValue());
147fe6060f1SDimitry Andric             }
148e8d8bef9SDimitry Andric           }
149e8d8bef9SDimitry Andric         }
1500b57cec5SDimitry Andric 
1510b57cec5SDimitry Andric     for (const Argument &A : F.args())
1520b57cec5SDimitry Andric       orderValue(&A, OM);
1530b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
1545ffd83dbSDimitry Andric       for (const Instruction &I : BB) {
1550b57cec5SDimitry Andric         for (const Value *Op : I.operands())
15681ad6265SDimitry Andric           orderConstantValue(Op);
1575ffd83dbSDimitry Andric         if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
1585ffd83dbSDimitry Andric           orderValue(SVI->getShuffleMaskForBitcode(), OM);
1590b57cec5SDimitry Andric         orderValue(&I, OM);
1600b57cec5SDimitry Andric       }
16181ad6265SDimitry Andric   }
1620b57cec5SDimitry Andric   return OM;
1630b57cec5SDimitry Andric }
1640b57cec5SDimitry Andric 
predictValueUseListOrderImpl(const Value * V,const Function * F,unsigned ID,const OrderMap & OM,UseListOrderStack & Stack)1650b57cec5SDimitry Andric static void predictValueUseListOrderImpl(const Value *V, const Function *F,
1660b57cec5SDimitry Andric                                          unsigned ID, const OrderMap &OM,
1670b57cec5SDimitry Andric                                          UseListOrderStack &Stack) {
1680b57cec5SDimitry Andric   // Predict use-list order for this one.
1690b57cec5SDimitry Andric   using Entry = std::pair<const Use *, unsigned>;
1700b57cec5SDimitry Andric   SmallVector<Entry, 64> List;
1710b57cec5SDimitry Andric   for (const Use &U : V->uses())
1720b57cec5SDimitry Andric     // Check if this user will be serialized.
1730b57cec5SDimitry Andric     if (OM.lookup(U.getUser()).first)
1740b57cec5SDimitry Andric       List.push_back(std::make_pair(&U, List.size()));
1750b57cec5SDimitry Andric 
1760b57cec5SDimitry Andric   if (List.size() < 2)
1770b57cec5SDimitry Andric     // We may have lost some users.
1780b57cec5SDimitry Andric     return;
1790b57cec5SDimitry Andric 
1800b57cec5SDimitry Andric   bool IsGlobalValue = OM.isGlobalValue(ID);
1810b57cec5SDimitry Andric   llvm::sort(List, [&](const Entry &L, const Entry &R) {
1820b57cec5SDimitry Andric     const Use *LU = L.first;
1830b57cec5SDimitry Andric     const Use *RU = R.first;
1840b57cec5SDimitry Andric     if (LU == RU)
1850b57cec5SDimitry Andric       return false;
1860b57cec5SDimitry Andric 
1870b57cec5SDimitry Andric     auto LID = OM.lookup(LU->getUser()).first;
1880b57cec5SDimitry Andric     auto RID = OM.lookup(RU->getUser()).first;
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric     // If ID is 4, then expect: 7 6 5 1 2 3.
1910b57cec5SDimitry Andric     if (LID < RID) {
1920b57cec5SDimitry Andric       if (RID <= ID)
1930b57cec5SDimitry Andric         if (!IsGlobalValue) // GlobalValue uses don't get reversed.
1940b57cec5SDimitry Andric           return true;
1950b57cec5SDimitry Andric       return false;
1960b57cec5SDimitry Andric     }
1970b57cec5SDimitry Andric     if (RID < LID) {
1980b57cec5SDimitry Andric       if (LID <= ID)
1990b57cec5SDimitry Andric         if (!IsGlobalValue) // GlobalValue uses don't get reversed.
2000b57cec5SDimitry Andric           return false;
2010b57cec5SDimitry Andric       return true;
2020b57cec5SDimitry Andric     }
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric     // LID and RID are equal, so we have different operands of the same user.
2050b57cec5SDimitry Andric     // Assume operands are added in order for all instructions.
2060b57cec5SDimitry Andric     if (LID <= ID)
2070b57cec5SDimitry Andric       if (!IsGlobalValue) // GlobalValue uses don't get reversed.
2080b57cec5SDimitry Andric         return LU->getOperandNo() < RU->getOperandNo();
2090b57cec5SDimitry Andric     return LU->getOperandNo() > RU->getOperandNo();
2100b57cec5SDimitry Andric   });
2110b57cec5SDimitry Andric 
21281ad6265SDimitry Andric   if (llvm::is_sorted(List, llvm::less_second()))
2130b57cec5SDimitry Andric     // Order is already correct.
2140b57cec5SDimitry Andric     return;
2150b57cec5SDimitry Andric 
2160b57cec5SDimitry Andric   // Store the shuffle.
2170b57cec5SDimitry Andric   Stack.emplace_back(V, F, List.size());
2180b57cec5SDimitry Andric   assert(List.size() == Stack.back().Shuffle.size() && "Wrong size");
2190b57cec5SDimitry Andric   for (size_t I = 0, E = List.size(); I != E; ++I)
2200b57cec5SDimitry Andric     Stack.back().Shuffle[I] = List[I].second;
2210b57cec5SDimitry Andric }
2220b57cec5SDimitry Andric 
predictValueUseListOrder(const Value * V,const Function * F,OrderMap & OM,UseListOrderStack & Stack)2230b57cec5SDimitry Andric static void predictValueUseListOrder(const Value *V, const Function *F,
2240b57cec5SDimitry Andric                                      OrderMap &OM, UseListOrderStack &Stack) {
2250b57cec5SDimitry Andric   auto &IDPair = OM[V];
2260b57cec5SDimitry Andric   assert(IDPair.first && "Unmapped value");
2270b57cec5SDimitry Andric   if (IDPair.second)
2280b57cec5SDimitry Andric     // Already predicted.
2290b57cec5SDimitry Andric     return;
2300b57cec5SDimitry Andric 
2310b57cec5SDimitry Andric   // Do the actual prediction.
2320b57cec5SDimitry Andric   IDPair.second = true;
2330b57cec5SDimitry Andric   if (!V->use_empty() && std::next(V->use_begin()) != V->use_end())
2340b57cec5SDimitry Andric     predictValueUseListOrderImpl(V, F, IDPair.first, OM, Stack);
2350b57cec5SDimitry Andric 
2360b57cec5SDimitry Andric   // Recursive descent into constants.
2375ffd83dbSDimitry Andric   if (const Constant *C = dyn_cast<Constant>(V)) {
2385ffd83dbSDimitry Andric     if (C->getNumOperands()) { // Visit GlobalValues.
2390b57cec5SDimitry Andric       for (const Value *Op : C->operands())
2400b57cec5SDimitry Andric         if (isa<Constant>(Op)) // Visit GlobalValues.
2410b57cec5SDimitry Andric           predictValueUseListOrder(Op, F, OM, Stack);
2425ffd83dbSDimitry Andric       if (auto *CE = dyn_cast<ConstantExpr>(C))
2435ffd83dbSDimitry Andric         if (CE->getOpcode() == Instruction::ShuffleVector)
2445ffd83dbSDimitry Andric           predictValueUseListOrder(CE->getShuffleMaskForBitcode(), F, OM,
2455ffd83dbSDimitry Andric                                    Stack);
2465ffd83dbSDimitry Andric     }
2475ffd83dbSDimitry Andric   }
2480b57cec5SDimitry Andric }
2490b57cec5SDimitry Andric 
predictUseListOrder(const Module & M)2500b57cec5SDimitry Andric static UseListOrderStack predictUseListOrder(const Module &M) {
2510b57cec5SDimitry Andric   OrderMap OM = orderModule(M);
2520b57cec5SDimitry Andric 
2530b57cec5SDimitry Andric   // Use-list orders need to be serialized after all the users have been added
2540b57cec5SDimitry Andric   // to a value, or else the shuffles will be incomplete.  Store them per
2550b57cec5SDimitry Andric   // function in a stack.
2560b57cec5SDimitry Andric   //
2570b57cec5SDimitry Andric   // Aside from function order, the order of values doesn't matter much here.
2580b57cec5SDimitry Andric   UseListOrderStack Stack;
2590b57cec5SDimitry Andric 
2600b57cec5SDimitry Andric   // We want to visit the functions backward now so we can list function-local
2610b57cec5SDimitry Andric   // constants in the last Function they're used in.  Module-level constants
2620b57cec5SDimitry Andric   // have already been visited above.
2630eae32dcSDimitry Andric   for (const Function &F : llvm::reverse(M)) {
2640b57cec5SDimitry Andric     if (F.isDeclaration())
2650b57cec5SDimitry Andric       continue;
2660b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
2670b57cec5SDimitry Andric       predictValueUseListOrder(&BB, &F, OM, Stack);
2680b57cec5SDimitry Andric     for (const Argument &A : F.args())
2690b57cec5SDimitry Andric       predictValueUseListOrder(&A, &F, OM, Stack);
2700b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
2715ffd83dbSDimitry Andric       for (const Instruction &I : BB) {
27281ad6265SDimitry Andric         for (const Value *Op : I.operands()) {
2730b57cec5SDimitry Andric           if (isa<Constant>(*Op) || isa<InlineAsm>(*Op)) // Visit GlobalValues.
2740b57cec5SDimitry Andric             predictValueUseListOrder(Op, &F, OM, Stack);
27581ad6265SDimitry Andric           if (const auto *MAV = dyn_cast<MetadataAsValue>(Op)) {
27681ad6265SDimitry Andric             if (const auto *VAM =
27781ad6265SDimitry Andric                     dyn_cast<ValueAsMetadata>(MAV->getMetadata())) {
27881ad6265SDimitry Andric               predictValueUseListOrder(VAM->getValue(), &F, OM, Stack);
27981ad6265SDimitry Andric             } else if (const auto *AL =
28081ad6265SDimitry Andric                            dyn_cast<DIArgList>(MAV->getMetadata())) {
28181ad6265SDimitry Andric               for (const auto *VAM : AL->getArgs())
28281ad6265SDimitry Andric                 predictValueUseListOrder(VAM->getValue(), &F, OM, Stack);
28381ad6265SDimitry Andric             }
28481ad6265SDimitry Andric           }
28581ad6265SDimitry Andric         }
2865ffd83dbSDimitry Andric         if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
2875ffd83dbSDimitry Andric           predictValueUseListOrder(SVI->getShuffleMaskForBitcode(), &F, OM,
2885ffd83dbSDimitry Andric                                    Stack);
2890b57cec5SDimitry Andric         predictValueUseListOrder(&I, &F, OM, Stack);
2900b57cec5SDimitry Andric       }
29181ad6265SDimitry Andric   }
2920b57cec5SDimitry Andric 
2930b57cec5SDimitry Andric   // Visit globals last, since the module-level use-list block will be seen
2940b57cec5SDimitry Andric   // before the function bodies are processed.
2950b57cec5SDimitry Andric   for (const GlobalVariable &G : M.globals())
2960b57cec5SDimitry Andric     predictValueUseListOrder(&G, nullptr, OM, Stack);
2970b57cec5SDimitry Andric   for (const Function &F : M)
2980b57cec5SDimitry Andric     predictValueUseListOrder(&F, nullptr, OM, Stack);
2990b57cec5SDimitry Andric   for (const GlobalAlias &A : M.aliases())
3000b57cec5SDimitry Andric     predictValueUseListOrder(&A, nullptr, OM, Stack);
3010b57cec5SDimitry Andric   for (const GlobalIFunc &I : M.ifuncs())
3020b57cec5SDimitry Andric     predictValueUseListOrder(&I, nullptr, OM, Stack);
3030b57cec5SDimitry Andric   for (const GlobalVariable &G : M.globals())
3040b57cec5SDimitry Andric     if (G.hasInitializer())
3050b57cec5SDimitry Andric       predictValueUseListOrder(G.getInitializer(), nullptr, OM, Stack);
3060b57cec5SDimitry Andric   for (const GlobalAlias &A : M.aliases())
3070b57cec5SDimitry Andric     predictValueUseListOrder(A.getAliasee(), nullptr, OM, Stack);
3080b57cec5SDimitry Andric   for (const GlobalIFunc &I : M.ifuncs())
3090b57cec5SDimitry Andric     predictValueUseListOrder(I.getResolver(), nullptr, OM, Stack);
3100b57cec5SDimitry Andric   for (const Function &F : M) {
3110b57cec5SDimitry Andric     for (const Use &U : F.operands())
3120b57cec5SDimitry Andric       predictValueUseListOrder(U.get(), nullptr, OM, Stack);
3130b57cec5SDimitry Andric   }
3140b57cec5SDimitry Andric 
3150b57cec5SDimitry Andric   return Stack;
3160b57cec5SDimitry Andric }
3170b57cec5SDimitry Andric 
isIntOrIntVectorValue(const std::pair<const Value *,unsigned> & V)3180b57cec5SDimitry Andric static bool isIntOrIntVectorValue(const std::pair<const Value*, unsigned> &V) {
3190b57cec5SDimitry Andric   return V.first->getType()->isIntOrIntVectorTy();
3200b57cec5SDimitry Andric }
3210b57cec5SDimitry Andric 
ValueEnumerator(const Module & M,bool ShouldPreserveUseListOrder)3220b57cec5SDimitry Andric ValueEnumerator::ValueEnumerator(const Module &M,
3230b57cec5SDimitry Andric                                  bool ShouldPreserveUseListOrder)
3240b57cec5SDimitry Andric     : ShouldPreserveUseListOrder(ShouldPreserveUseListOrder) {
3250b57cec5SDimitry Andric   if (ShouldPreserveUseListOrder)
3260b57cec5SDimitry Andric     UseListOrders = predictUseListOrder(M);
3270b57cec5SDimitry Andric 
3280b57cec5SDimitry Andric   // Enumerate the global variables.
329fe6060f1SDimitry Andric   for (const GlobalVariable &GV : M.globals()) {
3300b57cec5SDimitry Andric     EnumerateValue(&GV);
331fe6060f1SDimitry Andric     EnumerateType(GV.getValueType());
332fe6060f1SDimitry Andric   }
3330b57cec5SDimitry Andric 
3340b57cec5SDimitry Andric   // Enumerate the functions.
3350b57cec5SDimitry Andric   for (const Function & F : M) {
3360b57cec5SDimitry Andric     EnumerateValue(&F);
337fe6060f1SDimitry Andric     EnumerateType(F.getValueType());
3380b57cec5SDimitry Andric     EnumerateAttributes(F.getAttributes());
3390b57cec5SDimitry Andric   }
3400b57cec5SDimitry Andric 
3410b57cec5SDimitry Andric   // Enumerate the aliases.
342fe6060f1SDimitry Andric   for (const GlobalAlias &GA : M.aliases()) {
3430b57cec5SDimitry Andric     EnumerateValue(&GA);
344fe6060f1SDimitry Andric     EnumerateType(GA.getValueType());
345fe6060f1SDimitry Andric   }
3460b57cec5SDimitry Andric 
3470b57cec5SDimitry Andric   // Enumerate the ifuncs.
34804eeddc0SDimitry Andric   for (const GlobalIFunc &GIF : M.ifuncs()) {
3490b57cec5SDimitry Andric     EnumerateValue(&GIF);
35004eeddc0SDimitry Andric     EnumerateType(GIF.getValueType());
35104eeddc0SDimitry Andric   }
3520b57cec5SDimitry Andric 
3530b57cec5SDimitry Andric   // Remember what is the cutoff between globalvalue's and other constants.
3540b57cec5SDimitry Andric   unsigned FirstConstant = Values.size();
3550b57cec5SDimitry Andric 
3560b57cec5SDimitry Andric   // Enumerate the global variable initializers and attributes.
3570b57cec5SDimitry Andric   for (const GlobalVariable &GV : M.globals()) {
3580b57cec5SDimitry Andric     if (GV.hasInitializer())
3590b57cec5SDimitry Andric       EnumerateValue(GV.getInitializer());
3600b57cec5SDimitry Andric     if (GV.hasAttributes())
3610b57cec5SDimitry Andric       EnumerateAttributes(GV.getAttributesAsList(AttributeList::FunctionIndex));
3620b57cec5SDimitry Andric   }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric   // Enumerate the aliasees.
3650b57cec5SDimitry Andric   for (const GlobalAlias &GA : M.aliases())
3660b57cec5SDimitry Andric     EnumerateValue(GA.getAliasee());
3670b57cec5SDimitry Andric 
3680b57cec5SDimitry Andric   // Enumerate the ifunc resolvers.
3690b57cec5SDimitry Andric   for (const GlobalIFunc &GIF : M.ifuncs())
3700b57cec5SDimitry Andric     EnumerateValue(GIF.getResolver());
3710b57cec5SDimitry Andric 
3720b57cec5SDimitry Andric   // Enumerate any optional Function data.
3730b57cec5SDimitry Andric   for (const Function &F : M)
3740b57cec5SDimitry Andric     for (const Use &U : F.operands())
3750b57cec5SDimitry Andric       EnumerateValue(U.get());
3760b57cec5SDimitry Andric 
3770b57cec5SDimitry Andric   // Enumerate the metadata type.
3780b57cec5SDimitry Andric   //
3790b57cec5SDimitry Andric   // TODO: Move this to ValueEnumerator::EnumerateOperandType() once bitcode
3800b57cec5SDimitry Andric   // only encodes the metadata type when it's used as a value.
3810b57cec5SDimitry Andric   EnumerateType(Type::getMetadataTy(M.getContext()));
3820b57cec5SDimitry Andric 
3830b57cec5SDimitry Andric   // Insert constants and metadata that are named at module level into the slot
3840b57cec5SDimitry Andric   // pool so that the module symbol table can refer to them...
3850b57cec5SDimitry Andric   EnumerateValueSymbolTable(M.getValueSymbolTable());
3860b57cec5SDimitry Andric   EnumerateNamedMetadata(M);
3870b57cec5SDimitry Andric 
3880b57cec5SDimitry Andric   SmallVector<std::pair<unsigned, MDNode *>, 8> MDs;
3890b57cec5SDimitry Andric   for (const GlobalVariable &GV : M.globals()) {
3900b57cec5SDimitry Andric     MDs.clear();
3910b57cec5SDimitry Andric     GV.getAllMetadata(MDs);
3920b57cec5SDimitry Andric     for (const auto &I : MDs)
3930b57cec5SDimitry Andric       // FIXME: Pass GV to EnumerateMetadata and arrange for the bitcode writer
3940b57cec5SDimitry Andric       // to write metadata to the global variable's own metadata block
3950b57cec5SDimitry Andric       // (PR28134).
3960b57cec5SDimitry Andric       EnumerateMetadata(nullptr, I.second);
3970b57cec5SDimitry Andric   }
3980b57cec5SDimitry Andric 
3990b57cec5SDimitry Andric   // Enumerate types used by function bodies and argument lists.
4000b57cec5SDimitry Andric   for (const Function &F : M) {
4010b57cec5SDimitry Andric     for (const Argument &A : F.args())
4020b57cec5SDimitry Andric       EnumerateType(A.getType());
4030b57cec5SDimitry Andric 
4040b57cec5SDimitry Andric     // Enumerate metadata attached to this function.
4050b57cec5SDimitry Andric     MDs.clear();
4060b57cec5SDimitry Andric     F.getAllMetadata(MDs);
4070b57cec5SDimitry Andric     for (const auto &I : MDs)
4080b57cec5SDimitry Andric       EnumerateMetadata(F.isDeclaration() ? nullptr : &F, I.second);
4090b57cec5SDimitry Andric 
4100b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
4110b57cec5SDimitry Andric       for (const Instruction &I : BB) {
4120b57cec5SDimitry Andric         for (const Use &Op : I.operands()) {
4130b57cec5SDimitry Andric           auto *MD = dyn_cast<MetadataAsValue>(&Op);
4140b57cec5SDimitry Andric           if (!MD) {
4150b57cec5SDimitry Andric             EnumerateOperandType(Op);
4160b57cec5SDimitry Andric             continue;
4170b57cec5SDimitry Andric           }
4180b57cec5SDimitry Andric 
419fe6060f1SDimitry Andric           // Local metadata is enumerated during function-incorporation, but
420fe6060f1SDimitry Andric           // any ConstantAsMetadata arguments in a DIArgList should be examined
421fe6060f1SDimitry Andric           // now.
4220b57cec5SDimitry Andric           if (isa<LocalAsMetadata>(MD->getMetadata()))
4230b57cec5SDimitry Andric             continue;
424fe6060f1SDimitry Andric           if (auto *AL = dyn_cast<DIArgList>(MD->getMetadata())) {
425fe6060f1SDimitry Andric             for (auto *VAM : AL->getArgs())
426fe6060f1SDimitry Andric               if (isa<ConstantAsMetadata>(VAM))
427fe6060f1SDimitry Andric                 EnumerateMetadata(&F, VAM);
428fe6060f1SDimitry Andric             continue;
429fe6060f1SDimitry Andric           }
4300b57cec5SDimitry Andric 
4310b57cec5SDimitry Andric           EnumerateMetadata(&F, MD->getMetadata());
4320b57cec5SDimitry Andric         }
4335ffd83dbSDimitry Andric         if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
4345ffd83dbSDimitry Andric           EnumerateType(SVI->getShuffleMaskForBitcode()->getType());
435fe6060f1SDimitry Andric         if (auto *GEP = dyn_cast<GetElementPtrInst>(&I))
436fe6060f1SDimitry Andric           EnumerateType(GEP->getSourceElementType());
437fe6060f1SDimitry Andric         if (auto *AI = dyn_cast<AllocaInst>(&I))
438fe6060f1SDimitry Andric           EnumerateType(AI->getAllocatedType());
4390b57cec5SDimitry Andric         EnumerateType(I.getType());
440fe6060f1SDimitry Andric         if (const auto *Call = dyn_cast<CallBase>(&I)) {
4410b57cec5SDimitry Andric           EnumerateAttributes(Call->getAttributes());
442fe6060f1SDimitry Andric           EnumerateType(Call->getFunctionType());
443fe6060f1SDimitry Andric         }
4440b57cec5SDimitry Andric 
4450b57cec5SDimitry Andric         // Enumerate metadata attached with this instruction.
4460b57cec5SDimitry Andric         MDs.clear();
4470b57cec5SDimitry Andric         I.getAllMetadataOtherThanDebugLoc(MDs);
4480b57cec5SDimitry Andric         for (unsigned i = 0, e = MDs.size(); i != e; ++i)
4490b57cec5SDimitry Andric           EnumerateMetadata(&F, MDs[i].second);
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric         // Don't enumerate the location directly -- it has a special record
4520b57cec5SDimitry Andric         // type -- but enumerate its operands.
4530b57cec5SDimitry Andric         if (DILocation *L = I.getDebugLoc())
4540b57cec5SDimitry Andric           for (const Metadata *Op : L->operands())
4550b57cec5SDimitry Andric             EnumerateMetadata(&F, Op);
4560b57cec5SDimitry Andric       }
4570b57cec5SDimitry Andric   }
4580b57cec5SDimitry Andric 
4590b57cec5SDimitry Andric   // Optimize constant ordering.
4600b57cec5SDimitry Andric   OptimizeConstants(FirstConstant, Values.size());
4610b57cec5SDimitry Andric 
4620b57cec5SDimitry Andric   // Organize metadata ordering.
4630b57cec5SDimitry Andric   organizeMetadata();
4640b57cec5SDimitry Andric }
4650b57cec5SDimitry Andric 
getInstructionID(const Instruction * Inst) const4660b57cec5SDimitry Andric unsigned ValueEnumerator::getInstructionID(const Instruction *Inst) const {
4670b57cec5SDimitry Andric   InstructionMapType::const_iterator I = InstructionMap.find(Inst);
4680b57cec5SDimitry Andric   assert(I != InstructionMap.end() && "Instruction is not mapped!");
4690b57cec5SDimitry Andric   return I->second;
4700b57cec5SDimitry Andric }
4710b57cec5SDimitry Andric 
getComdatID(const Comdat * C) const4720b57cec5SDimitry Andric unsigned ValueEnumerator::getComdatID(const Comdat *C) const {
4730b57cec5SDimitry Andric   unsigned ComdatID = Comdats.idFor(C);
4740b57cec5SDimitry Andric   assert(ComdatID && "Comdat not found!");
4750b57cec5SDimitry Andric   return ComdatID;
4760b57cec5SDimitry Andric }
4770b57cec5SDimitry Andric 
setInstructionID(const Instruction * I)4780b57cec5SDimitry Andric void ValueEnumerator::setInstructionID(const Instruction *I) {
4790b57cec5SDimitry Andric   InstructionMap[I] = InstructionCount++;
4800b57cec5SDimitry Andric }
4810b57cec5SDimitry Andric 
getValueID(const Value * V) const4820b57cec5SDimitry Andric unsigned ValueEnumerator::getValueID(const Value *V) const {
4830b57cec5SDimitry Andric   if (auto *MD = dyn_cast<MetadataAsValue>(V))
4840b57cec5SDimitry Andric     return getMetadataID(MD->getMetadata());
4850b57cec5SDimitry Andric 
4860b57cec5SDimitry Andric   ValueMapType::const_iterator I = ValueMap.find(V);
4870b57cec5SDimitry Andric   assert(I != ValueMap.end() && "Value not in slotcalculator!");
4880b57cec5SDimitry Andric   return I->second-1;
4890b57cec5SDimitry Andric }
4900b57cec5SDimitry Andric 
4910b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
dump() const4920b57cec5SDimitry Andric LLVM_DUMP_METHOD void ValueEnumerator::dump() const {
4930b57cec5SDimitry Andric   print(dbgs(), ValueMap, "Default");
4940b57cec5SDimitry Andric   dbgs() << '\n';
4950b57cec5SDimitry Andric   print(dbgs(), MetadataMap, "MetaData");
4960b57cec5SDimitry Andric   dbgs() << '\n';
4970b57cec5SDimitry Andric }
4980b57cec5SDimitry Andric #endif
4990b57cec5SDimitry Andric 
print(raw_ostream & OS,const ValueMapType & Map,const char * Name) const5000b57cec5SDimitry Andric void ValueEnumerator::print(raw_ostream &OS, const ValueMapType &Map,
5010b57cec5SDimitry Andric                             const char *Name) const {
5020b57cec5SDimitry Andric   OS << "Map Name: " << Name << "\n";
5030b57cec5SDimitry Andric   OS << "Size: " << Map.size() << "\n";
5040eae32dcSDimitry Andric   for (const auto &I : Map) {
5050eae32dcSDimitry Andric     const Value *V = I.first;
5060b57cec5SDimitry Andric     if (V->hasName())
5070b57cec5SDimitry Andric       OS << "Value: " << V->getName();
5080b57cec5SDimitry Andric     else
5090b57cec5SDimitry Andric       OS << "Value: [null]\n";
5100b57cec5SDimitry Andric     V->print(errs());
5110b57cec5SDimitry Andric     errs() << '\n';
5120b57cec5SDimitry Andric 
5130b57cec5SDimitry Andric     OS << " Uses(" << V->getNumUses() << "):";
5140b57cec5SDimitry Andric     for (const Use &U : V->uses()) {
5150b57cec5SDimitry Andric       if (&U != &*V->use_begin())
5160b57cec5SDimitry Andric         OS << ",";
5170b57cec5SDimitry Andric       if(U->hasName())
5180b57cec5SDimitry Andric         OS << " " << U->getName();
5190b57cec5SDimitry Andric       else
5200b57cec5SDimitry Andric         OS << " [null]";
5210b57cec5SDimitry Andric 
5220b57cec5SDimitry Andric     }
5230b57cec5SDimitry Andric     OS <<  "\n\n";
5240b57cec5SDimitry Andric   }
5250b57cec5SDimitry Andric }
5260b57cec5SDimitry Andric 
print(raw_ostream & OS,const MetadataMapType & Map,const char * Name) const5270b57cec5SDimitry Andric void ValueEnumerator::print(raw_ostream &OS, const MetadataMapType &Map,
5280b57cec5SDimitry Andric                             const char *Name) const {
5290b57cec5SDimitry Andric   OS << "Map Name: " << Name << "\n";
5300b57cec5SDimitry Andric   OS << "Size: " << Map.size() << "\n";
5310eae32dcSDimitry Andric   for (const auto &I : Map) {
5320eae32dcSDimitry Andric     const Metadata *MD = I.first;
5330eae32dcSDimitry Andric     OS << "Metadata: slot = " << I.second.ID << "\n";
5340eae32dcSDimitry Andric     OS << "Metadata: function = " << I.second.F << "\n";
5350b57cec5SDimitry Andric     MD->print(OS);
5360b57cec5SDimitry Andric     OS << "\n";
5370b57cec5SDimitry Andric   }
5380b57cec5SDimitry Andric }
5390b57cec5SDimitry Andric 
5400b57cec5SDimitry Andric /// OptimizeConstants - Reorder constant pool for denser encoding.
OptimizeConstants(unsigned CstStart,unsigned CstEnd)5410b57cec5SDimitry Andric void ValueEnumerator::OptimizeConstants(unsigned CstStart, unsigned CstEnd) {
5420b57cec5SDimitry Andric   if (CstStart == CstEnd || CstStart+1 == CstEnd) return;
5430b57cec5SDimitry Andric 
5440b57cec5SDimitry Andric   if (ShouldPreserveUseListOrder)
5450b57cec5SDimitry Andric     // Optimizing constants makes the use-list order difficult to predict.
5460b57cec5SDimitry Andric     // Disable it for now when trying to preserve the order.
5470b57cec5SDimitry Andric     return;
5480b57cec5SDimitry Andric 
5490b57cec5SDimitry Andric   std::stable_sort(Values.begin() + CstStart, Values.begin() + CstEnd,
5500b57cec5SDimitry Andric                    [this](const std::pair<const Value *, unsigned> &LHS,
5510b57cec5SDimitry Andric                           const std::pair<const Value *, unsigned> &RHS) {
5520b57cec5SDimitry Andric     // Sort by plane.
5530b57cec5SDimitry Andric     if (LHS.first->getType() != RHS.first->getType())
5540b57cec5SDimitry Andric       return getTypeID(LHS.first->getType()) < getTypeID(RHS.first->getType());
5550b57cec5SDimitry Andric     // Then by frequency.
5560b57cec5SDimitry Andric     return LHS.second > RHS.second;
5570b57cec5SDimitry Andric   });
5580b57cec5SDimitry Andric 
5590b57cec5SDimitry Andric   // Ensure that integer and vector of integer constants are at the start of the
5600b57cec5SDimitry Andric   // constant pool.  This is important so that GEP structure indices come before
5610b57cec5SDimitry Andric   // gep constant exprs.
5620b57cec5SDimitry Andric   std::stable_partition(Values.begin() + CstStart, Values.begin() + CstEnd,
5630b57cec5SDimitry Andric                         isIntOrIntVectorValue);
5640b57cec5SDimitry Andric 
5650b57cec5SDimitry Andric   // Rebuild the modified portion of ValueMap.
5660b57cec5SDimitry Andric   for (; CstStart != CstEnd; ++CstStart)
5670b57cec5SDimitry Andric     ValueMap[Values[CstStart].first] = CstStart+1;
5680b57cec5SDimitry Andric }
5690b57cec5SDimitry Andric 
5700b57cec5SDimitry Andric /// EnumerateValueSymbolTable - Insert all of the values in the specified symbol
5710b57cec5SDimitry Andric /// table into the values table.
EnumerateValueSymbolTable(const ValueSymbolTable & VST)5720b57cec5SDimitry Andric void ValueEnumerator::EnumerateValueSymbolTable(const ValueSymbolTable &VST) {
5730b57cec5SDimitry Andric   for (ValueSymbolTable::const_iterator VI = VST.begin(), VE = VST.end();
5740b57cec5SDimitry Andric        VI != VE; ++VI)
5750b57cec5SDimitry Andric     EnumerateValue(VI->getValue());
5760b57cec5SDimitry Andric }
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric /// Insert all of the values referenced by named metadata in the specified
5790b57cec5SDimitry Andric /// module.
EnumerateNamedMetadata(const Module & M)5800b57cec5SDimitry Andric void ValueEnumerator::EnumerateNamedMetadata(const Module &M) {
5810b57cec5SDimitry Andric   for (const auto &I : M.named_metadata())
5820b57cec5SDimitry Andric     EnumerateNamedMDNode(&I);
5830b57cec5SDimitry Andric }
5840b57cec5SDimitry Andric 
EnumerateNamedMDNode(const NamedMDNode * MD)5850b57cec5SDimitry Andric void ValueEnumerator::EnumerateNamedMDNode(const NamedMDNode *MD) {
5860b57cec5SDimitry Andric   for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i)
5870b57cec5SDimitry Andric     EnumerateMetadata(nullptr, MD->getOperand(i));
5880b57cec5SDimitry Andric }
5890b57cec5SDimitry Andric 
getMetadataFunctionID(const Function * F) const5900b57cec5SDimitry Andric unsigned ValueEnumerator::getMetadataFunctionID(const Function *F) const {
5910b57cec5SDimitry Andric   return F ? getValueID(F) + 1 : 0;
5920b57cec5SDimitry Andric }
5930b57cec5SDimitry Andric 
EnumerateMetadata(const Function * F,const Metadata * MD)5940b57cec5SDimitry Andric void ValueEnumerator::EnumerateMetadata(const Function *F, const Metadata *MD) {
5950b57cec5SDimitry Andric   EnumerateMetadata(getMetadataFunctionID(F), MD);
5960b57cec5SDimitry Andric }
5970b57cec5SDimitry Andric 
EnumerateFunctionLocalMetadata(const Function & F,const LocalAsMetadata * Local)5980b57cec5SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalMetadata(
5990b57cec5SDimitry Andric     const Function &F, const LocalAsMetadata *Local) {
6000b57cec5SDimitry Andric   EnumerateFunctionLocalMetadata(getMetadataFunctionID(&F), Local);
6010b57cec5SDimitry Andric }
6020b57cec5SDimitry Andric 
EnumerateFunctionLocalListMetadata(const Function & F,const DIArgList * ArgList)603fe6060f1SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalListMetadata(
604fe6060f1SDimitry Andric     const Function &F, const DIArgList *ArgList) {
605fe6060f1SDimitry Andric   EnumerateFunctionLocalListMetadata(getMetadataFunctionID(&F), ArgList);
606fe6060f1SDimitry Andric }
607fe6060f1SDimitry Andric 
dropFunctionFromMetadata(MetadataMapType::value_type & FirstMD)6080b57cec5SDimitry Andric void ValueEnumerator::dropFunctionFromMetadata(
6090b57cec5SDimitry Andric     MetadataMapType::value_type &FirstMD) {
6100b57cec5SDimitry Andric   SmallVector<const MDNode *, 64> Worklist;
6110b57cec5SDimitry Andric   auto push = [&Worklist](MetadataMapType::value_type &MD) {
6120b57cec5SDimitry Andric     auto &Entry = MD.second;
6130b57cec5SDimitry Andric 
6140b57cec5SDimitry Andric     // Nothing to do if this metadata isn't tagged.
6150b57cec5SDimitry Andric     if (!Entry.F)
6160b57cec5SDimitry Andric       return;
6170b57cec5SDimitry Andric 
6180b57cec5SDimitry Andric     // Drop the function tag.
6190b57cec5SDimitry Andric     Entry.F = 0;
6200b57cec5SDimitry Andric 
6210b57cec5SDimitry Andric     // If this is has an ID and is an MDNode, then its operands have entries as
6220b57cec5SDimitry Andric     // well.  We need to drop the function from them too.
6230b57cec5SDimitry Andric     if (Entry.ID)
6240b57cec5SDimitry Andric       if (auto *N = dyn_cast<MDNode>(MD.first))
6250b57cec5SDimitry Andric         Worklist.push_back(N);
6260b57cec5SDimitry Andric   };
6270b57cec5SDimitry Andric   push(FirstMD);
6280b57cec5SDimitry Andric   while (!Worklist.empty())
6290b57cec5SDimitry Andric     for (const Metadata *Op : Worklist.pop_back_val()->operands()) {
6300b57cec5SDimitry Andric       if (!Op)
6310b57cec5SDimitry Andric         continue;
6320b57cec5SDimitry Andric       auto MD = MetadataMap.find(Op);
6330b57cec5SDimitry Andric       if (MD != MetadataMap.end())
6340b57cec5SDimitry Andric         push(*MD);
6350b57cec5SDimitry Andric     }
6360b57cec5SDimitry Andric }
6370b57cec5SDimitry Andric 
EnumerateMetadata(unsigned F,const Metadata * MD)6380b57cec5SDimitry Andric void ValueEnumerator::EnumerateMetadata(unsigned F, const Metadata *MD) {
6390b57cec5SDimitry Andric   // It's vital for reader efficiency that uniqued subgraphs are done in
6400b57cec5SDimitry Andric   // post-order; it's expensive when their operands have forward references.
6410b57cec5SDimitry Andric   // If a distinct node is referenced from a uniqued node, it'll be delayed
6420b57cec5SDimitry Andric   // until the uniqued subgraph has been completely traversed.
6430b57cec5SDimitry Andric   SmallVector<const MDNode *, 32> DelayedDistinctNodes;
6440b57cec5SDimitry Andric 
6450b57cec5SDimitry Andric   // Start by enumerating MD, and then work through its transitive operands in
6460b57cec5SDimitry Andric   // post-order.  This requires a depth-first search.
6470b57cec5SDimitry Andric   SmallVector<std::pair<const MDNode *, MDNode::op_iterator>, 32> Worklist;
6480b57cec5SDimitry Andric   if (const MDNode *N = enumerateMetadataImpl(F, MD))
6490b57cec5SDimitry Andric     Worklist.push_back(std::make_pair(N, N->op_begin()));
6500b57cec5SDimitry Andric 
6510b57cec5SDimitry Andric   while (!Worklist.empty()) {
6520b57cec5SDimitry Andric     const MDNode *N = Worklist.back().first;
6530b57cec5SDimitry Andric 
6540b57cec5SDimitry Andric     // Enumerate operands until we hit a new node.  We need to traverse these
6550b57cec5SDimitry Andric     // nodes' operands before visiting the rest of N's operands.
6560b57cec5SDimitry Andric     MDNode::op_iterator I = std::find_if(
6570b57cec5SDimitry Andric         Worklist.back().second, N->op_end(),
6580b57cec5SDimitry Andric         [&](const Metadata *MD) { return enumerateMetadataImpl(F, MD); });
6590b57cec5SDimitry Andric     if (I != N->op_end()) {
6600b57cec5SDimitry Andric       auto *Op = cast<MDNode>(*I);
6610b57cec5SDimitry Andric       Worklist.back().second = ++I;
6620b57cec5SDimitry Andric 
6630b57cec5SDimitry Andric       // Delay traversing Op if it's a distinct node and N is uniqued.
6640b57cec5SDimitry Andric       if (Op->isDistinct() && !N->isDistinct())
6650b57cec5SDimitry Andric         DelayedDistinctNodes.push_back(Op);
6660b57cec5SDimitry Andric       else
6670b57cec5SDimitry Andric         Worklist.push_back(std::make_pair(Op, Op->op_begin()));
6680b57cec5SDimitry Andric       continue;
6690b57cec5SDimitry Andric     }
6700b57cec5SDimitry Andric 
6710b57cec5SDimitry Andric     // All the operands have been visited.  Now assign an ID.
6720b57cec5SDimitry Andric     Worklist.pop_back();
6730b57cec5SDimitry Andric     MDs.push_back(N);
6740b57cec5SDimitry Andric     MetadataMap[N].ID = MDs.size();
6750b57cec5SDimitry Andric 
6760b57cec5SDimitry Andric     // Flush out any delayed distinct nodes; these are all the distinct nodes
6770b57cec5SDimitry Andric     // that are leaves in last uniqued subgraph.
6780b57cec5SDimitry Andric     if (Worklist.empty() || Worklist.back().first->isDistinct()) {
6790b57cec5SDimitry Andric       for (const MDNode *N : DelayedDistinctNodes)
6800b57cec5SDimitry Andric         Worklist.push_back(std::make_pair(N, N->op_begin()));
6810b57cec5SDimitry Andric       DelayedDistinctNodes.clear();
6820b57cec5SDimitry Andric     }
6830b57cec5SDimitry Andric   }
6840b57cec5SDimitry Andric }
6850b57cec5SDimitry Andric 
enumerateMetadataImpl(unsigned F,const Metadata * MD)6860b57cec5SDimitry Andric const MDNode *ValueEnumerator::enumerateMetadataImpl(unsigned F, const Metadata *MD) {
6870b57cec5SDimitry Andric   if (!MD)
6880b57cec5SDimitry Andric     return nullptr;
6890b57cec5SDimitry Andric 
6900b57cec5SDimitry Andric   assert(
6910b57cec5SDimitry Andric       (isa<MDNode>(MD) || isa<MDString>(MD) || isa<ConstantAsMetadata>(MD)) &&
6920b57cec5SDimitry Andric       "Invalid metadata kind");
6930b57cec5SDimitry Andric 
6940b57cec5SDimitry Andric   auto Insertion = MetadataMap.insert(std::make_pair(MD, MDIndex(F)));
6950b57cec5SDimitry Andric   MDIndex &Entry = Insertion.first->second;
6960b57cec5SDimitry Andric   if (!Insertion.second) {
6970b57cec5SDimitry Andric     // Already mapped.  If F doesn't match the function tag, drop it.
6980b57cec5SDimitry Andric     if (Entry.hasDifferentFunction(F))
6990b57cec5SDimitry Andric       dropFunctionFromMetadata(*Insertion.first);
7000b57cec5SDimitry Andric     return nullptr;
7010b57cec5SDimitry Andric   }
7020b57cec5SDimitry Andric 
7030b57cec5SDimitry Andric   // Don't assign IDs to metadata nodes.
7040b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(MD))
7050b57cec5SDimitry Andric     return N;
7060b57cec5SDimitry Andric 
7070b57cec5SDimitry Andric   // Save the metadata.
7080b57cec5SDimitry Andric   MDs.push_back(MD);
7090b57cec5SDimitry Andric   Entry.ID = MDs.size();
7100b57cec5SDimitry Andric 
7110b57cec5SDimitry Andric   // Enumerate the constant, if any.
7120b57cec5SDimitry Andric   if (auto *C = dyn_cast<ConstantAsMetadata>(MD))
7130b57cec5SDimitry Andric     EnumerateValue(C->getValue());
7140b57cec5SDimitry Andric 
7150b57cec5SDimitry Andric   return nullptr;
7160b57cec5SDimitry Andric }
7170b57cec5SDimitry Andric 
718fe6060f1SDimitry Andric /// EnumerateFunctionLocalMetadata - Incorporate function-local metadata
7190b57cec5SDimitry Andric /// information reachable from the metadata.
EnumerateFunctionLocalMetadata(unsigned F,const LocalAsMetadata * Local)7200b57cec5SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalMetadata(
7210b57cec5SDimitry Andric     unsigned F, const LocalAsMetadata *Local) {
7220b57cec5SDimitry Andric   assert(F && "Expected a function");
7230b57cec5SDimitry Andric 
7240b57cec5SDimitry Andric   // Check to see if it's already in!
7250b57cec5SDimitry Andric   MDIndex &Index = MetadataMap[Local];
7260b57cec5SDimitry Andric   if (Index.ID) {
7270b57cec5SDimitry Andric     assert(Index.F == F && "Expected the same function");
7280b57cec5SDimitry Andric     return;
7290b57cec5SDimitry Andric   }
7300b57cec5SDimitry Andric 
7310b57cec5SDimitry Andric   MDs.push_back(Local);
7320b57cec5SDimitry Andric   Index.F = F;
7330b57cec5SDimitry Andric   Index.ID = MDs.size();
7340b57cec5SDimitry Andric 
7350b57cec5SDimitry Andric   EnumerateValue(Local->getValue());
7360b57cec5SDimitry Andric }
7370b57cec5SDimitry Andric 
738fe6060f1SDimitry Andric /// EnumerateFunctionLocalListMetadata - Incorporate function-local metadata
739fe6060f1SDimitry Andric /// information reachable from the metadata.
EnumerateFunctionLocalListMetadata(unsigned F,const DIArgList * ArgList)740fe6060f1SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalListMetadata(
741fe6060f1SDimitry Andric     unsigned F, const DIArgList *ArgList) {
742fe6060f1SDimitry Andric   assert(F && "Expected a function");
743fe6060f1SDimitry Andric 
744fe6060f1SDimitry Andric   // Check to see if it's already in!
745fe6060f1SDimitry Andric   MDIndex &Index = MetadataMap[ArgList];
746fe6060f1SDimitry Andric   if (Index.ID) {
747fe6060f1SDimitry Andric     assert(Index.F == F && "Expected the same function");
748fe6060f1SDimitry Andric     return;
749fe6060f1SDimitry Andric   }
750fe6060f1SDimitry Andric 
751fe6060f1SDimitry Andric   for (ValueAsMetadata *VAM : ArgList->getArgs()) {
752fe6060f1SDimitry Andric     if (isa<LocalAsMetadata>(VAM)) {
753fe6060f1SDimitry Andric       assert(MetadataMap.count(VAM) &&
754fe6060f1SDimitry Andric              "LocalAsMetadata should be enumerated before DIArgList");
755fe6060f1SDimitry Andric       assert(MetadataMap[VAM].F == F &&
756fe6060f1SDimitry Andric              "Expected LocalAsMetadata in the same function");
757fe6060f1SDimitry Andric     } else {
758fe6060f1SDimitry Andric       assert(isa<ConstantAsMetadata>(VAM) &&
759fe6060f1SDimitry Andric              "Expected LocalAsMetadata or ConstantAsMetadata");
760fe6060f1SDimitry Andric       assert(ValueMap.count(VAM->getValue()) &&
761fe6060f1SDimitry Andric              "Constant should be enumerated beforeDIArgList");
762fe6060f1SDimitry Andric       EnumerateMetadata(F, VAM);
763fe6060f1SDimitry Andric     }
764fe6060f1SDimitry Andric   }
765fe6060f1SDimitry Andric 
766fe6060f1SDimitry Andric   MDs.push_back(ArgList);
767fe6060f1SDimitry Andric   Index.F = F;
768fe6060f1SDimitry Andric   Index.ID = MDs.size();
769fe6060f1SDimitry Andric }
770fe6060f1SDimitry Andric 
getMetadataTypeOrder(const Metadata * MD)7710b57cec5SDimitry Andric static unsigned getMetadataTypeOrder(const Metadata *MD) {
7720b57cec5SDimitry Andric   // Strings are emitted in bulk and must come first.
7730b57cec5SDimitry Andric   if (isa<MDString>(MD))
7740b57cec5SDimitry Andric     return 0;
7750b57cec5SDimitry Andric 
7760b57cec5SDimitry Andric   // ConstantAsMetadata doesn't reference anything.  We may as well shuffle it
7770b57cec5SDimitry Andric   // to the front since we can detect it.
7780b57cec5SDimitry Andric   auto *N = dyn_cast<MDNode>(MD);
7790b57cec5SDimitry Andric   if (!N)
7800b57cec5SDimitry Andric     return 1;
7810b57cec5SDimitry Andric 
7820b57cec5SDimitry Andric   // The reader is fast forward references for distinct node operands, but slow
7830b57cec5SDimitry Andric   // when uniqued operands are unresolved.
7840b57cec5SDimitry Andric   return N->isDistinct() ? 2 : 3;
7850b57cec5SDimitry Andric }
7860b57cec5SDimitry Andric 
organizeMetadata()7870b57cec5SDimitry Andric void ValueEnumerator::organizeMetadata() {
7880b57cec5SDimitry Andric   assert(MetadataMap.size() == MDs.size() &&
7890b57cec5SDimitry Andric          "Metadata map and vector out of sync");
7900b57cec5SDimitry Andric 
7910b57cec5SDimitry Andric   if (MDs.empty())
7920b57cec5SDimitry Andric     return;
7930b57cec5SDimitry Andric 
7940b57cec5SDimitry Andric   // Copy out the index information from MetadataMap in order to choose a new
7950b57cec5SDimitry Andric   // order.
7960b57cec5SDimitry Andric   SmallVector<MDIndex, 64> Order;
7970b57cec5SDimitry Andric   Order.reserve(MetadataMap.size());
7980b57cec5SDimitry Andric   for (const Metadata *MD : MDs)
7990b57cec5SDimitry Andric     Order.push_back(MetadataMap.lookup(MD));
8000b57cec5SDimitry Andric 
8010b57cec5SDimitry Andric   // Partition:
8020b57cec5SDimitry Andric   //   - by function, then
8030b57cec5SDimitry Andric   //   - by isa<MDString>
8040b57cec5SDimitry Andric   // and then sort by the original/current ID.  Since the IDs are guaranteed to
805fcaf7f86SDimitry Andric   // be unique, the result of llvm::sort will be deterministic.  There's no need
8060b57cec5SDimitry Andric   // for std::stable_sort.
8070b57cec5SDimitry Andric   llvm::sort(Order, [this](MDIndex LHS, MDIndex RHS) {
8080b57cec5SDimitry Andric     return std::make_tuple(LHS.F, getMetadataTypeOrder(LHS.get(MDs)), LHS.ID) <
8090b57cec5SDimitry Andric            std::make_tuple(RHS.F, getMetadataTypeOrder(RHS.get(MDs)), RHS.ID);
8100b57cec5SDimitry Andric   });
8110b57cec5SDimitry Andric 
8120b57cec5SDimitry Andric   // Rebuild MDs, index the metadata ranges for each function in FunctionMDs,
8130b57cec5SDimitry Andric   // and fix up MetadataMap.
8140b57cec5SDimitry Andric   std::vector<const Metadata *> OldMDs;
8150b57cec5SDimitry Andric   MDs.swap(OldMDs);
8160b57cec5SDimitry Andric   MDs.reserve(OldMDs.size());
8170b57cec5SDimitry Andric   for (unsigned I = 0, E = Order.size(); I != E && !Order[I].F; ++I) {
8180b57cec5SDimitry Andric     auto *MD = Order[I].get(OldMDs);
8190b57cec5SDimitry Andric     MDs.push_back(MD);
8200b57cec5SDimitry Andric     MetadataMap[MD].ID = I + 1;
8210b57cec5SDimitry Andric     if (isa<MDString>(MD))
8220b57cec5SDimitry Andric       ++NumMDStrings;
8230b57cec5SDimitry Andric   }
8240b57cec5SDimitry Andric 
8250b57cec5SDimitry Andric   // Return early if there's nothing for the functions.
8260b57cec5SDimitry Andric   if (MDs.size() == Order.size())
8270b57cec5SDimitry Andric     return;
8280b57cec5SDimitry Andric 
8290b57cec5SDimitry Andric   // Build the function metadata ranges.
8300b57cec5SDimitry Andric   MDRange R;
8310b57cec5SDimitry Andric   FunctionMDs.reserve(OldMDs.size());
8320b57cec5SDimitry Andric   unsigned PrevF = 0;
8330b57cec5SDimitry Andric   for (unsigned I = MDs.size(), E = Order.size(), ID = MDs.size(); I != E;
8340b57cec5SDimitry Andric        ++I) {
8350b57cec5SDimitry Andric     unsigned F = Order[I].F;
8360b57cec5SDimitry Andric     if (!PrevF) {
8370b57cec5SDimitry Andric       PrevF = F;
8380b57cec5SDimitry Andric     } else if (PrevF != F) {
8390b57cec5SDimitry Andric       R.Last = FunctionMDs.size();
8400b57cec5SDimitry Andric       std::swap(R, FunctionMDInfo[PrevF]);
8410b57cec5SDimitry Andric       R.First = FunctionMDs.size();
8420b57cec5SDimitry Andric 
8430b57cec5SDimitry Andric       ID = MDs.size();
8440b57cec5SDimitry Andric       PrevF = F;
8450b57cec5SDimitry Andric     }
8460b57cec5SDimitry Andric 
8470b57cec5SDimitry Andric     auto *MD = Order[I].get(OldMDs);
8480b57cec5SDimitry Andric     FunctionMDs.push_back(MD);
8490b57cec5SDimitry Andric     MetadataMap[MD].ID = ++ID;
8500b57cec5SDimitry Andric     if (isa<MDString>(MD))
8510b57cec5SDimitry Andric       ++R.NumStrings;
8520b57cec5SDimitry Andric   }
8530b57cec5SDimitry Andric   R.Last = FunctionMDs.size();
8540b57cec5SDimitry Andric   FunctionMDInfo[PrevF] = R;
8550b57cec5SDimitry Andric }
8560b57cec5SDimitry Andric 
incorporateFunctionMetadata(const Function & F)8570b57cec5SDimitry Andric void ValueEnumerator::incorporateFunctionMetadata(const Function &F) {
8580b57cec5SDimitry Andric   NumModuleMDs = MDs.size();
8590b57cec5SDimitry Andric 
8600b57cec5SDimitry Andric   auto R = FunctionMDInfo.lookup(getValueID(&F) + 1);
8610b57cec5SDimitry Andric   NumMDStrings = R.NumStrings;
8620b57cec5SDimitry Andric   MDs.insert(MDs.end(), FunctionMDs.begin() + R.First,
8630b57cec5SDimitry Andric              FunctionMDs.begin() + R.Last);
8640b57cec5SDimitry Andric }
8650b57cec5SDimitry Andric 
EnumerateValue(const Value * V)8660b57cec5SDimitry Andric void ValueEnumerator::EnumerateValue(const Value *V) {
8670b57cec5SDimitry Andric   assert(!V->getType()->isVoidTy() && "Can't insert void values!");
8680b57cec5SDimitry Andric   assert(!isa<MetadataAsValue>(V) && "EnumerateValue doesn't handle Metadata!");
8690b57cec5SDimitry Andric 
8700b57cec5SDimitry Andric   // Check to see if it's already in!
8710b57cec5SDimitry Andric   unsigned &ValueID = ValueMap[V];
8720b57cec5SDimitry Andric   if (ValueID) {
8730b57cec5SDimitry Andric     // Increment use count.
8740b57cec5SDimitry Andric     Values[ValueID-1].second++;
8750b57cec5SDimitry Andric     return;
8760b57cec5SDimitry Andric   }
8770b57cec5SDimitry Andric 
8780b57cec5SDimitry Andric   if (auto *GO = dyn_cast<GlobalObject>(V))
8790b57cec5SDimitry Andric     if (const Comdat *C = GO->getComdat())
8800b57cec5SDimitry Andric       Comdats.insert(C);
8810b57cec5SDimitry Andric 
8820b57cec5SDimitry Andric   // Enumerate the type of this value.
8830b57cec5SDimitry Andric   EnumerateType(V->getType());
8840b57cec5SDimitry Andric 
8850b57cec5SDimitry Andric   if (const Constant *C = dyn_cast<Constant>(V)) {
8860b57cec5SDimitry Andric     if (isa<GlobalValue>(C)) {
8870b57cec5SDimitry Andric       // Initializers for globals are handled explicitly elsewhere.
8880b57cec5SDimitry Andric     } else if (C->getNumOperands()) {
8890b57cec5SDimitry Andric       // If a constant has operands, enumerate them.  This makes sure that if a
8900b57cec5SDimitry Andric       // constant has uses (for example an array of const ints), that they are
8910b57cec5SDimitry Andric       // inserted also.
8920b57cec5SDimitry Andric 
8930b57cec5SDimitry Andric       // We prefer to enumerate them with values before we enumerate the user
8940b57cec5SDimitry Andric       // itself.  This makes it more likely that we can avoid forward references
8950b57cec5SDimitry Andric       // in the reader.  We know that there can be no cycles in the constants
8960b57cec5SDimitry Andric       // graph that don't go through a global variable.
8970b57cec5SDimitry Andric       for (User::const_op_iterator I = C->op_begin(), E = C->op_end();
8980b57cec5SDimitry Andric            I != E; ++I)
8990b57cec5SDimitry Andric         if (!isa<BasicBlock>(*I)) // Don't enumerate BB operand to BlockAddress.
9000b57cec5SDimitry Andric           EnumerateValue(*I);
90181ad6265SDimitry Andric       if (auto *CE = dyn_cast<ConstantExpr>(C)) {
9025ffd83dbSDimitry Andric         if (CE->getOpcode() == Instruction::ShuffleVector)
9035ffd83dbSDimitry Andric           EnumerateValue(CE->getShuffleMaskForBitcode());
90481ad6265SDimitry Andric         if (auto *GEP = dyn_cast<GEPOperator>(CE))
90581ad6265SDimitry Andric           EnumerateType(GEP->getSourceElementType());
90681ad6265SDimitry Andric       }
9070b57cec5SDimitry Andric 
9080b57cec5SDimitry Andric       // Finally, add the value.  Doing this could make the ValueID reference be
9090b57cec5SDimitry Andric       // dangling, don't reuse it.
9100b57cec5SDimitry Andric       Values.push_back(std::make_pair(V, 1U));
9110b57cec5SDimitry Andric       ValueMap[V] = Values.size();
9120b57cec5SDimitry Andric       return;
9130b57cec5SDimitry Andric     }
9140b57cec5SDimitry Andric   }
9150b57cec5SDimitry Andric 
9160b57cec5SDimitry Andric   // Add the value.
9170b57cec5SDimitry Andric   Values.push_back(std::make_pair(V, 1U));
9180b57cec5SDimitry Andric   ValueID = Values.size();
9190b57cec5SDimitry Andric }
9200b57cec5SDimitry Andric 
9210b57cec5SDimitry Andric 
EnumerateType(Type * Ty)9220b57cec5SDimitry Andric void ValueEnumerator::EnumerateType(Type *Ty) {
9230b57cec5SDimitry Andric   unsigned *TypeID = &TypeMap[Ty];
9240b57cec5SDimitry Andric 
9250b57cec5SDimitry Andric   // We've already seen this type.
9260b57cec5SDimitry Andric   if (*TypeID)
9270b57cec5SDimitry Andric     return;
9280b57cec5SDimitry Andric 
9290b57cec5SDimitry Andric   // If it is a non-anonymous struct, mark the type as being visited so that we
9300b57cec5SDimitry Andric   // don't recursively visit it.  This is safe because we allow forward
9310b57cec5SDimitry Andric   // references of these in the bitcode reader.
9320b57cec5SDimitry Andric   if (StructType *STy = dyn_cast<StructType>(Ty))
9330b57cec5SDimitry Andric     if (!STy->isLiteral())
9340b57cec5SDimitry Andric       *TypeID = ~0U;
9350b57cec5SDimitry Andric 
9360b57cec5SDimitry Andric   // Enumerate all of the subtypes before we enumerate this type.  This ensures
9370b57cec5SDimitry Andric   // that the type will be enumerated in an order that can be directly built.
9380b57cec5SDimitry Andric   for (Type *SubTy : Ty->subtypes())
9390b57cec5SDimitry Andric     EnumerateType(SubTy);
9400b57cec5SDimitry Andric 
9410b57cec5SDimitry Andric   // Refresh the TypeID pointer in case the table rehashed.
9420b57cec5SDimitry Andric   TypeID = &TypeMap[Ty];
9430b57cec5SDimitry Andric 
9440b57cec5SDimitry Andric   // Check to see if we got the pointer another way.  This can happen when
9450b57cec5SDimitry Andric   // enumerating recursive types that hit the base case deeper than they start.
9460b57cec5SDimitry Andric   //
9470b57cec5SDimitry Andric   // If this is actually a struct that we are treating as forward ref'able,
9480b57cec5SDimitry Andric   // then emit the definition now that all of its contents are available.
9490b57cec5SDimitry Andric   if (*TypeID && *TypeID != ~0U)
9500b57cec5SDimitry Andric     return;
9510b57cec5SDimitry Andric 
9520b57cec5SDimitry Andric   // Add this type now that its contents are all happily enumerated.
9530b57cec5SDimitry Andric   Types.push_back(Ty);
9540b57cec5SDimitry Andric 
9550b57cec5SDimitry Andric   *TypeID = Types.size();
9560b57cec5SDimitry Andric }
9570b57cec5SDimitry Andric 
9580b57cec5SDimitry Andric // Enumerate the types for the specified value.  If the value is a constant,
9590b57cec5SDimitry Andric // walk through it, enumerating the types of the constant.
EnumerateOperandType(const Value * V)9600b57cec5SDimitry Andric void ValueEnumerator::EnumerateOperandType(const Value *V) {
9610b57cec5SDimitry Andric   EnumerateType(V->getType());
9620b57cec5SDimitry Andric 
9630b57cec5SDimitry Andric   assert(!isa<MetadataAsValue>(V) && "Unexpected metadata operand");
9640b57cec5SDimitry Andric 
9650b57cec5SDimitry Andric   const Constant *C = dyn_cast<Constant>(V);
9660b57cec5SDimitry Andric   if (!C)
9670b57cec5SDimitry Andric     return;
9680b57cec5SDimitry Andric 
9690b57cec5SDimitry Andric   // If this constant is already enumerated, ignore it, we know its type must
9700b57cec5SDimitry Andric   // be enumerated.
9710b57cec5SDimitry Andric   if (ValueMap.count(C))
9720b57cec5SDimitry Andric     return;
9730b57cec5SDimitry Andric 
9740b57cec5SDimitry Andric   // This constant may have operands, make sure to enumerate the types in
9750b57cec5SDimitry Andric   // them.
9760b57cec5SDimitry Andric   for (const Value *Op : C->operands()) {
9770b57cec5SDimitry Andric     // Don't enumerate basic blocks here, this happens as operands to
9780b57cec5SDimitry Andric     // blockaddress.
9790b57cec5SDimitry Andric     if (isa<BasicBlock>(Op))
9800b57cec5SDimitry Andric       continue;
9810b57cec5SDimitry Andric 
9820b57cec5SDimitry Andric     EnumerateOperandType(Op);
9830b57cec5SDimitry Andric   }
984fe6060f1SDimitry Andric   if (auto *CE = dyn_cast<ConstantExpr>(C)) {
9855ffd83dbSDimitry Andric     if (CE->getOpcode() == Instruction::ShuffleVector)
9865ffd83dbSDimitry Andric       EnumerateOperandType(CE->getShuffleMaskForBitcode());
987fe6060f1SDimitry Andric     if (CE->getOpcode() == Instruction::GetElementPtr)
988fe6060f1SDimitry Andric       EnumerateType(cast<GEPOperator>(CE)->getSourceElementType());
989fe6060f1SDimitry Andric   }
9900b57cec5SDimitry Andric }
9910b57cec5SDimitry Andric 
EnumerateAttributes(AttributeList PAL)9920b57cec5SDimitry Andric void ValueEnumerator::EnumerateAttributes(AttributeList PAL) {
9930b57cec5SDimitry Andric   if (PAL.isEmpty()) return;  // null is always 0.
9940b57cec5SDimitry Andric 
9950b57cec5SDimitry Andric   // Do a lookup.
9960b57cec5SDimitry Andric   unsigned &Entry = AttributeListMap[PAL];
9970b57cec5SDimitry Andric   if (Entry == 0) {
9980b57cec5SDimitry Andric     // Never saw this before, add it.
9990b57cec5SDimitry Andric     AttributeLists.push_back(PAL);
10000b57cec5SDimitry Andric     Entry = AttributeLists.size();
10010b57cec5SDimitry Andric   }
10020b57cec5SDimitry Andric 
10030b57cec5SDimitry Andric   // Do lookups for all attribute groups.
1004349cc55cSDimitry Andric   for (unsigned i : PAL.indexes()) {
10050b57cec5SDimitry Andric     AttributeSet AS = PAL.getAttributes(i);
10060b57cec5SDimitry Andric     if (!AS.hasAttributes())
10070b57cec5SDimitry Andric       continue;
10080b57cec5SDimitry Andric     IndexAndAttrSet Pair = {i, AS};
10090b57cec5SDimitry Andric     unsigned &Entry = AttributeGroupMap[Pair];
10100b57cec5SDimitry Andric     if (Entry == 0) {
10110b57cec5SDimitry Andric       AttributeGroups.push_back(Pair);
10120b57cec5SDimitry Andric       Entry = AttributeGroups.size();
1013fe6060f1SDimitry Andric 
1014fe6060f1SDimitry Andric       for (Attribute Attr : AS) {
1015fe6060f1SDimitry Andric         if (Attr.isTypeAttribute())
1016fe6060f1SDimitry Andric           EnumerateType(Attr.getValueAsType());
1017fe6060f1SDimitry Andric       }
10180b57cec5SDimitry Andric     }
10190b57cec5SDimitry Andric   }
10200b57cec5SDimitry Andric }
10210b57cec5SDimitry Andric 
incorporateFunction(const Function & F)10220b57cec5SDimitry Andric void ValueEnumerator::incorporateFunction(const Function &F) {
10230b57cec5SDimitry Andric   InstructionCount = 0;
10240b57cec5SDimitry Andric   NumModuleValues = Values.size();
10250b57cec5SDimitry Andric 
10260b57cec5SDimitry Andric   // Add global metadata to the function block.  This doesn't include
10270b57cec5SDimitry Andric   // LocalAsMetadata.
10280b57cec5SDimitry Andric   incorporateFunctionMetadata(F);
10290b57cec5SDimitry Andric 
10300b57cec5SDimitry Andric   // Adding function arguments to the value table.
10310b57cec5SDimitry Andric   for (const auto &I : F.args()) {
10320b57cec5SDimitry Andric     EnumerateValue(&I);
10330b57cec5SDimitry Andric     if (I.hasAttribute(Attribute::ByVal))
10340b57cec5SDimitry Andric       EnumerateType(I.getParamByValType());
1035e8d8bef9SDimitry Andric     else if (I.hasAttribute(Attribute::StructRet))
1036e8d8bef9SDimitry Andric       EnumerateType(I.getParamStructRetType());
1037fe6060f1SDimitry Andric     else if (I.hasAttribute(Attribute::ByRef))
1038fe6060f1SDimitry Andric       EnumerateType(I.getParamByRefType());
10390b57cec5SDimitry Andric   }
10400b57cec5SDimitry Andric   FirstFuncConstantID = Values.size();
10410b57cec5SDimitry Andric 
10420b57cec5SDimitry Andric   // Add all function-level constants to the value table.
10430b57cec5SDimitry Andric   for (const BasicBlock &BB : F) {
10445ffd83dbSDimitry Andric     for (const Instruction &I : BB) {
10450b57cec5SDimitry Andric       for (const Use &OI : I.operands()) {
10460b57cec5SDimitry Andric         if ((isa<Constant>(OI) && !isa<GlobalValue>(OI)) || isa<InlineAsm>(OI))
10470b57cec5SDimitry Andric           EnumerateValue(OI);
10480b57cec5SDimitry Andric       }
10495ffd83dbSDimitry Andric       if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
10505ffd83dbSDimitry Andric         EnumerateValue(SVI->getShuffleMaskForBitcode());
10515ffd83dbSDimitry Andric     }
10520b57cec5SDimitry Andric     BasicBlocks.push_back(&BB);
10530b57cec5SDimitry Andric     ValueMap[&BB] = BasicBlocks.size();
10540b57cec5SDimitry Andric   }
10550b57cec5SDimitry Andric 
10560b57cec5SDimitry Andric   // Optimize the constant layout.
10570b57cec5SDimitry Andric   OptimizeConstants(FirstFuncConstantID, Values.size());
10580b57cec5SDimitry Andric 
10590b57cec5SDimitry Andric   // Add the function's parameter attributes so they are available for use in
10600b57cec5SDimitry Andric   // the function's instruction.
10610b57cec5SDimitry Andric   EnumerateAttributes(F.getAttributes());
10620b57cec5SDimitry Andric 
10630b57cec5SDimitry Andric   FirstInstID = Values.size();
10640b57cec5SDimitry Andric 
10650b57cec5SDimitry Andric   SmallVector<LocalAsMetadata *, 8> FnLocalMDVector;
1066fe6060f1SDimitry Andric   SmallVector<DIArgList *, 8> ArgListMDVector;
10670b57cec5SDimitry Andric   // Add all of the instructions.
10680b57cec5SDimitry Andric   for (const BasicBlock &BB : F) {
10690b57cec5SDimitry Andric     for (const Instruction &I : BB) {
10700b57cec5SDimitry Andric       for (const Use &OI : I.operands()) {
1071fe6060f1SDimitry Andric         if (auto *MD = dyn_cast<MetadataAsValue>(&OI)) {
1072fe6060f1SDimitry Andric           if (auto *Local = dyn_cast<LocalAsMetadata>(MD->getMetadata())) {
10730b57cec5SDimitry Andric             // Enumerate metadata after the instructions they might refer to.
10740b57cec5SDimitry Andric             FnLocalMDVector.push_back(Local);
1075fe6060f1SDimitry Andric           } else if (auto *ArgList = dyn_cast<DIArgList>(MD->getMetadata())) {
1076fe6060f1SDimitry Andric             ArgListMDVector.push_back(ArgList);
1077fe6060f1SDimitry Andric             for (ValueAsMetadata *VMD : ArgList->getArgs()) {
1078fe6060f1SDimitry Andric               if (auto *Local = dyn_cast<LocalAsMetadata>(VMD)) {
1079fe6060f1SDimitry Andric                 // Enumerate metadata after the instructions they might refer
1080fe6060f1SDimitry Andric                 // to.
1081fe6060f1SDimitry Andric                 FnLocalMDVector.push_back(Local);
1082fe6060f1SDimitry Andric               }
1083fe6060f1SDimitry Andric             }
1084fe6060f1SDimitry Andric           }
1085fe6060f1SDimitry Andric         }
10860b57cec5SDimitry Andric       }
10870b57cec5SDimitry Andric 
10880b57cec5SDimitry Andric       if (!I.getType()->isVoidTy())
10890b57cec5SDimitry Andric         EnumerateValue(&I);
10900b57cec5SDimitry Andric     }
10910b57cec5SDimitry Andric   }
10920b57cec5SDimitry Andric 
10930b57cec5SDimitry Andric   // Add all of the function-local metadata.
10940b57cec5SDimitry Andric   for (unsigned i = 0, e = FnLocalMDVector.size(); i != e; ++i) {
10950b57cec5SDimitry Andric     // At this point, every local values have been incorporated, we shouldn't
10960b57cec5SDimitry Andric     // have a metadata operand that references a value that hasn't been seen.
10970b57cec5SDimitry Andric     assert(ValueMap.count(FnLocalMDVector[i]->getValue()) &&
10980b57cec5SDimitry Andric            "Missing value for metadata operand");
10990b57cec5SDimitry Andric     EnumerateFunctionLocalMetadata(F, FnLocalMDVector[i]);
11000b57cec5SDimitry Andric   }
1101fe6060f1SDimitry Andric   // DIArgList entries must come after function-local metadata, as it is not
1102fe6060f1SDimitry Andric   // possible to forward-reference them.
1103fe6060f1SDimitry Andric   for (const DIArgList *ArgList : ArgListMDVector)
1104fe6060f1SDimitry Andric     EnumerateFunctionLocalListMetadata(F, ArgList);
11050b57cec5SDimitry Andric }
11060b57cec5SDimitry Andric 
purgeFunction()11070b57cec5SDimitry Andric void ValueEnumerator::purgeFunction() {
11080b57cec5SDimitry Andric   /// Remove purged values from the ValueMap.
11090b57cec5SDimitry Andric   for (unsigned i = NumModuleValues, e = Values.size(); i != e; ++i)
11100b57cec5SDimitry Andric     ValueMap.erase(Values[i].first);
1111*a58f00eaSDimitry Andric   for (const Metadata *MD : llvm::drop_begin(MDs, NumModuleMDs))
1112*a58f00eaSDimitry Andric     MetadataMap.erase(MD);
11134824e7fdSDimitry Andric   for (const BasicBlock *BB : BasicBlocks)
11144824e7fdSDimitry Andric     ValueMap.erase(BB);
11150b57cec5SDimitry Andric 
11160b57cec5SDimitry Andric   Values.resize(NumModuleValues);
11170b57cec5SDimitry Andric   MDs.resize(NumModuleMDs);
11180b57cec5SDimitry Andric   BasicBlocks.clear();
11190b57cec5SDimitry Andric   NumMDStrings = 0;
11200b57cec5SDimitry Andric }
11210b57cec5SDimitry Andric 
IncorporateFunctionInfoGlobalBBIDs(const Function * F,DenseMap<const BasicBlock *,unsigned> & IDMap)11220b57cec5SDimitry Andric static void IncorporateFunctionInfoGlobalBBIDs(const Function *F,
11230b57cec5SDimitry Andric                                  DenseMap<const BasicBlock*, unsigned> &IDMap) {
11240b57cec5SDimitry Andric   unsigned Counter = 0;
11250b57cec5SDimitry Andric   for (const BasicBlock &BB : *F)
11260b57cec5SDimitry Andric     IDMap[&BB] = ++Counter;
11270b57cec5SDimitry Andric }
11280b57cec5SDimitry Andric 
11290b57cec5SDimitry Andric /// getGlobalBasicBlockID - This returns the function-specific ID for the
11300b57cec5SDimitry Andric /// specified basic block.  This is relatively expensive information, so it
11310b57cec5SDimitry Andric /// should only be used by rare constructs such as address-of-label.
getGlobalBasicBlockID(const BasicBlock * BB) const11320b57cec5SDimitry Andric unsigned ValueEnumerator::getGlobalBasicBlockID(const BasicBlock *BB) const {
11330b57cec5SDimitry Andric   unsigned &Idx = GlobalBasicBlockIDs[BB];
11340b57cec5SDimitry Andric   if (Idx != 0)
11350b57cec5SDimitry Andric     return Idx-1;
11360b57cec5SDimitry Andric 
11370b57cec5SDimitry Andric   IncorporateFunctionInfoGlobalBBIDs(BB->getParent(), GlobalBasicBlockIDs);
11380b57cec5SDimitry Andric   return getGlobalBasicBlockID(BB);
11390b57cec5SDimitry Andric }
11400b57cec5SDimitry Andric 
computeBitsRequiredForTypeIndicies() const11410b57cec5SDimitry Andric uint64_t ValueEnumerator::computeBitsRequiredForTypeIndicies() const {
11420b57cec5SDimitry Andric   return Log2_32_Ceil(getTypes().size() + 1);
11430b57cec5SDimitry Andric }
1144