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"
31*5f7ddb14SDimitry 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 LastGlobalConstantID = 0;
540b57cec5SDimitry Andric   unsigned LastGlobalValueID = 0;
550b57cec5SDimitry Andric 
560b57cec5SDimitry Andric   OrderMap() = default;
570b57cec5SDimitry Andric 
isGlobalConstant__anona973abf80111::OrderMap580b57cec5SDimitry Andric   bool isGlobalConstant(unsigned ID) const {
590b57cec5SDimitry Andric     return ID <= LastGlobalConstantID;
600b57cec5SDimitry Andric   }
610b57cec5SDimitry Andric 
isGlobalValue__anona973abf80111::OrderMap620b57cec5SDimitry Andric   bool isGlobalValue(unsigned ID) const {
630b57cec5SDimitry Andric     return ID <= LastGlobalValueID && !isGlobalConstant(ID);
640b57cec5SDimitry Andric   }
650b57cec5SDimitry Andric 
size__anona973abf80111::OrderMap660b57cec5SDimitry Andric   unsigned size() const { return IDs.size(); }
operator []__anona973abf80111::OrderMap670b57cec5SDimitry Andric   std::pair<unsigned, bool> &operator[](const Value *V) { return IDs[V]; }
680b57cec5SDimitry Andric 
lookup__anona973abf80111::OrderMap690b57cec5SDimitry Andric   std::pair<unsigned, bool> lookup(const Value *V) const {
700b57cec5SDimitry Andric     return IDs.lookup(V);
710b57cec5SDimitry Andric   }
720b57cec5SDimitry Andric 
index__anona973abf80111::OrderMap730b57cec5SDimitry Andric   void index(const Value *V) {
740b57cec5SDimitry Andric     // Explicitly sequence get-size and insert-value operations to avoid UB.
750b57cec5SDimitry Andric     unsigned ID = IDs.size() + 1;
760b57cec5SDimitry Andric     IDs[V].first = ID;
770b57cec5SDimitry Andric   }
780b57cec5SDimitry Andric };
790b57cec5SDimitry Andric 
800b57cec5SDimitry Andric } // end anonymous namespace
810b57cec5SDimitry Andric 
orderValue(const Value * V,OrderMap & OM)820b57cec5SDimitry Andric static void orderValue(const Value *V, OrderMap &OM) {
830b57cec5SDimitry Andric   if (OM.lookup(V).first)
840b57cec5SDimitry Andric     return;
850b57cec5SDimitry Andric 
865ffd83dbSDimitry Andric   if (const Constant *C = dyn_cast<Constant>(V)) {
875ffd83dbSDimitry Andric     if (C->getNumOperands() && !isa<GlobalValue>(C)) {
880b57cec5SDimitry Andric       for (const Value *Op : C->operands())
890b57cec5SDimitry Andric         if (!isa<BasicBlock>(Op) && !isa<GlobalValue>(Op))
900b57cec5SDimitry Andric           orderValue(Op, OM);
915ffd83dbSDimitry Andric       if (auto *CE = dyn_cast<ConstantExpr>(C))
925ffd83dbSDimitry Andric         if (CE->getOpcode() == Instruction::ShuffleVector)
935ffd83dbSDimitry Andric           orderValue(CE->getShuffleMaskForBitcode(), OM);
945ffd83dbSDimitry Andric     }
955ffd83dbSDimitry Andric   }
960b57cec5SDimitry Andric 
970b57cec5SDimitry Andric   // Note: we cannot cache this lookup above, since inserting into the map
980b57cec5SDimitry Andric   // changes the map's size, and thus affects the other IDs.
990b57cec5SDimitry Andric   OM.index(V);
1000b57cec5SDimitry Andric }
1010b57cec5SDimitry Andric 
orderModule(const Module & M)1020b57cec5SDimitry Andric static OrderMap orderModule(const Module &M) {
1030b57cec5SDimitry Andric   // This needs to match the order used by ValueEnumerator::ValueEnumerator()
1040b57cec5SDimitry Andric   // and ValueEnumerator::incorporateFunction().
1050b57cec5SDimitry Andric   OrderMap OM;
1060b57cec5SDimitry Andric 
1070b57cec5SDimitry Andric   // In the reader, initializers of GlobalValues are set *after* all the
1080b57cec5SDimitry Andric   // globals have been read.  Rather than awkwardly modeling this behaviour
1090b57cec5SDimitry Andric   // directly in predictValueUseListOrderImpl(), just assign IDs to
1100b57cec5SDimitry Andric   // initializers of GlobalValues before GlobalValues themselves to model this
1110b57cec5SDimitry Andric   // implicitly.
1120b57cec5SDimitry Andric   for (const GlobalVariable &G : M.globals())
1130b57cec5SDimitry Andric     if (G.hasInitializer())
1140b57cec5SDimitry Andric       if (!isa<GlobalValue>(G.getInitializer()))
1150b57cec5SDimitry Andric         orderValue(G.getInitializer(), OM);
1160b57cec5SDimitry Andric   for (const GlobalAlias &A : M.aliases())
1170b57cec5SDimitry Andric     if (!isa<GlobalValue>(A.getAliasee()))
1180b57cec5SDimitry Andric       orderValue(A.getAliasee(), OM);
1190b57cec5SDimitry Andric   for (const GlobalIFunc &I : M.ifuncs())
1200b57cec5SDimitry Andric     if (!isa<GlobalValue>(I.getResolver()))
1210b57cec5SDimitry Andric       orderValue(I.getResolver(), OM);
1220b57cec5SDimitry Andric   for (const Function &F : M) {
1230b57cec5SDimitry Andric     for (const Use &U : F.operands())
1240b57cec5SDimitry Andric       if (!isa<GlobalValue>(U.get()))
1250b57cec5SDimitry Andric         orderValue(U.get(), OM);
1260b57cec5SDimitry Andric   }
127af732203SDimitry Andric 
128af732203SDimitry Andric   // As constants used in metadata operands are emitted as module-level
129af732203SDimitry Andric   // constants, we must order them before other operands. Also, we must order
130af732203SDimitry Andric   // these before global values, as these will be read before setting the
131af732203SDimitry Andric   // global values' initializers. The latter matters for constants which have
132af732203SDimitry Andric   // uses towards other constants that are used as initializers.
133*5f7ddb14SDimitry Andric   auto orderConstantValue = [&OM](const Value *V) {
134*5f7ddb14SDimitry Andric     if ((isa<Constant>(V) && !isa<GlobalValue>(V)) || isa<InlineAsm>(V))
135*5f7ddb14SDimitry Andric       orderValue(V, OM);
136*5f7ddb14SDimitry Andric   };
137af732203SDimitry Andric   for (const Function &F : M) {
138af732203SDimitry Andric     if (F.isDeclaration())
139af732203SDimitry Andric       continue;
140af732203SDimitry Andric     for (const BasicBlock &BB : F)
141af732203SDimitry Andric       for (const Instruction &I : BB)
142af732203SDimitry Andric         for (const Value *V : I.operands()) {
143*5f7ddb14SDimitry Andric           if (const auto *MAV = dyn_cast<MetadataAsValue>(V)) {
144*5f7ddb14SDimitry Andric             if (const auto *VAM =
145*5f7ddb14SDimitry Andric                     dyn_cast<ValueAsMetadata>(MAV->getMetadata())) {
146*5f7ddb14SDimitry Andric               orderConstantValue(VAM->getValue());
147*5f7ddb14SDimitry Andric             } else if (const auto *AL =
148*5f7ddb14SDimitry Andric                            dyn_cast<DIArgList>(MAV->getMetadata())) {
149*5f7ddb14SDimitry Andric               for (const auto *VAM : AL->getArgs())
150*5f7ddb14SDimitry Andric                 orderConstantValue(VAM->getValue());
151*5f7ddb14SDimitry Andric             }
152af732203SDimitry Andric           }
153af732203SDimitry Andric         }
154af732203SDimitry Andric   }
1550b57cec5SDimitry Andric   OM.LastGlobalConstantID = OM.size();
1560b57cec5SDimitry Andric 
1570b57cec5SDimitry Andric   // Initializers of GlobalValues are processed in
1580b57cec5SDimitry Andric   // BitcodeReader::ResolveGlobalAndAliasInits().  Match the order there rather
1590b57cec5SDimitry Andric   // than ValueEnumerator, and match the code in predictValueUseListOrderImpl()
1600b57cec5SDimitry Andric   // by giving IDs in reverse order.
1610b57cec5SDimitry Andric   //
1620b57cec5SDimitry Andric   // Since GlobalValues never reference each other directly (just through
1630b57cec5SDimitry Andric   // initializers), their relative IDs only matter for determining order of
1640b57cec5SDimitry Andric   // uses in their initializers.
1650b57cec5SDimitry Andric   for (const Function &F : M)
1660b57cec5SDimitry Andric     orderValue(&F, OM);
1670b57cec5SDimitry Andric   for (const GlobalAlias &A : M.aliases())
1680b57cec5SDimitry Andric     orderValue(&A, OM);
1690b57cec5SDimitry Andric   for (const GlobalIFunc &I : M.ifuncs())
1700b57cec5SDimitry Andric     orderValue(&I, OM);
1710b57cec5SDimitry Andric   for (const GlobalVariable &G : M.globals())
1720b57cec5SDimitry Andric     orderValue(&G, OM);
1730b57cec5SDimitry Andric   OM.LastGlobalValueID = OM.size();
1740b57cec5SDimitry Andric 
1750b57cec5SDimitry Andric   for (const Function &F : M) {
1760b57cec5SDimitry Andric     if (F.isDeclaration())
1770b57cec5SDimitry Andric       continue;
1780b57cec5SDimitry Andric     // Here we need to match the union of ValueEnumerator::incorporateFunction()
1790b57cec5SDimitry Andric     // and WriteFunction().  Basic blocks are implicitly declared before
1800b57cec5SDimitry Andric     // anything else (by declaring their size).
1810b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
1820b57cec5SDimitry Andric       orderValue(&BB, OM);
1830b57cec5SDimitry Andric     for (const Argument &A : F.args())
1840b57cec5SDimitry Andric       orderValue(&A, OM);
1850b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
1865ffd83dbSDimitry Andric       for (const Instruction &I : BB) {
1870b57cec5SDimitry Andric         for (const Value *Op : I.operands())
1880b57cec5SDimitry Andric           if ((isa<Constant>(*Op) && !isa<GlobalValue>(*Op)) ||
1890b57cec5SDimitry Andric               isa<InlineAsm>(*Op))
1900b57cec5SDimitry Andric             orderValue(Op, OM);
1915ffd83dbSDimitry Andric         if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
1925ffd83dbSDimitry Andric           orderValue(SVI->getShuffleMaskForBitcode(), OM);
1935ffd83dbSDimitry Andric       }
1940b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
1950b57cec5SDimitry Andric       for (const Instruction &I : BB)
1960b57cec5SDimitry Andric         orderValue(&I, OM);
1970b57cec5SDimitry Andric   }
1980b57cec5SDimitry Andric   return OM;
1990b57cec5SDimitry Andric }
2000b57cec5SDimitry Andric 
predictValueUseListOrderImpl(const Value * V,const Function * F,unsigned ID,const OrderMap & OM,UseListOrderStack & Stack)2010b57cec5SDimitry Andric static void predictValueUseListOrderImpl(const Value *V, const Function *F,
2020b57cec5SDimitry Andric                                          unsigned ID, const OrderMap &OM,
2030b57cec5SDimitry Andric                                          UseListOrderStack &Stack) {
2040b57cec5SDimitry Andric   // Predict use-list order for this one.
2050b57cec5SDimitry Andric   using Entry = std::pair<const Use *, unsigned>;
2060b57cec5SDimitry Andric   SmallVector<Entry, 64> List;
2070b57cec5SDimitry Andric   for (const Use &U : V->uses())
2080b57cec5SDimitry Andric     // Check if this user will be serialized.
2090b57cec5SDimitry Andric     if (OM.lookup(U.getUser()).first)
2100b57cec5SDimitry Andric       List.push_back(std::make_pair(&U, List.size()));
2110b57cec5SDimitry Andric 
2120b57cec5SDimitry Andric   if (List.size() < 2)
2130b57cec5SDimitry Andric     // We may have lost some users.
2140b57cec5SDimitry Andric     return;
2150b57cec5SDimitry Andric 
2160b57cec5SDimitry Andric   bool IsGlobalValue = OM.isGlobalValue(ID);
2170b57cec5SDimitry Andric   llvm::sort(List, [&](const Entry &L, const Entry &R) {
2180b57cec5SDimitry Andric     const Use *LU = L.first;
2190b57cec5SDimitry Andric     const Use *RU = R.first;
2200b57cec5SDimitry Andric     if (LU == RU)
2210b57cec5SDimitry Andric       return false;
2220b57cec5SDimitry Andric 
2230b57cec5SDimitry Andric     auto LID = OM.lookup(LU->getUser()).first;
2240b57cec5SDimitry Andric     auto RID = OM.lookup(RU->getUser()).first;
2250b57cec5SDimitry Andric 
2260b57cec5SDimitry Andric     // Global values are processed in reverse order.
2270b57cec5SDimitry Andric     //
2280b57cec5SDimitry Andric     // Moreover, initializers of GlobalValues are set *after* all the globals
2290b57cec5SDimitry Andric     // have been read (despite having earlier IDs).  Rather than awkwardly
2300b57cec5SDimitry Andric     // modeling this behaviour here, orderModule() has assigned IDs to
2310b57cec5SDimitry Andric     // initializers of GlobalValues before GlobalValues themselves.
2320b57cec5SDimitry Andric     if (OM.isGlobalValue(LID) && OM.isGlobalValue(RID))
2330b57cec5SDimitry Andric       return LID < RID;
2340b57cec5SDimitry Andric 
2350b57cec5SDimitry Andric     // If ID is 4, then expect: 7 6 5 1 2 3.
2360b57cec5SDimitry Andric     if (LID < RID) {
2370b57cec5SDimitry Andric       if (RID <= ID)
2380b57cec5SDimitry Andric         if (!IsGlobalValue) // GlobalValue uses don't get reversed.
2390b57cec5SDimitry Andric           return true;
2400b57cec5SDimitry Andric       return false;
2410b57cec5SDimitry Andric     }
2420b57cec5SDimitry Andric     if (RID < LID) {
2430b57cec5SDimitry Andric       if (LID <= ID)
2440b57cec5SDimitry Andric         if (!IsGlobalValue) // GlobalValue uses don't get reversed.
2450b57cec5SDimitry Andric           return false;
2460b57cec5SDimitry Andric       return true;
2470b57cec5SDimitry Andric     }
2480b57cec5SDimitry Andric 
2490b57cec5SDimitry Andric     // LID and RID are equal, so we have different operands of the same user.
2500b57cec5SDimitry Andric     // Assume operands are added in order for all instructions.
2510b57cec5SDimitry Andric     if (LID <= ID)
2520b57cec5SDimitry Andric       if (!IsGlobalValue) // GlobalValue uses don't get reversed.
2530b57cec5SDimitry Andric         return LU->getOperandNo() < RU->getOperandNo();
2540b57cec5SDimitry Andric     return LU->getOperandNo() > RU->getOperandNo();
2550b57cec5SDimitry Andric   });
2560b57cec5SDimitry Andric 
2575ffd83dbSDimitry Andric   if (llvm::is_sorted(List, [](const Entry &L, const Entry &R) {
2585ffd83dbSDimitry Andric         return L.second < R.second;
2595ffd83dbSDimitry Andric       }))
2600b57cec5SDimitry Andric     // Order is already correct.
2610b57cec5SDimitry Andric     return;
2620b57cec5SDimitry Andric 
2630b57cec5SDimitry Andric   // Store the shuffle.
2640b57cec5SDimitry Andric   Stack.emplace_back(V, F, List.size());
2650b57cec5SDimitry Andric   assert(List.size() == Stack.back().Shuffle.size() && "Wrong size");
2660b57cec5SDimitry Andric   for (size_t I = 0, E = List.size(); I != E; ++I)
2670b57cec5SDimitry Andric     Stack.back().Shuffle[I] = List[I].second;
2680b57cec5SDimitry Andric }
2690b57cec5SDimitry Andric 
predictValueUseListOrder(const Value * V,const Function * F,OrderMap & OM,UseListOrderStack & Stack)2700b57cec5SDimitry Andric static void predictValueUseListOrder(const Value *V, const Function *F,
2710b57cec5SDimitry Andric                                      OrderMap &OM, UseListOrderStack &Stack) {
2720b57cec5SDimitry Andric   auto &IDPair = OM[V];
2730b57cec5SDimitry Andric   assert(IDPair.first && "Unmapped value");
2740b57cec5SDimitry Andric   if (IDPair.second)
2750b57cec5SDimitry Andric     // Already predicted.
2760b57cec5SDimitry Andric     return;
2770b57cec5SDimitry Andric 
2780b57cec5SDimitry Andric   // Do the actual prediction.
2790b57cec5SDimitry Andric   IDPair.second = true;
2800b57cec5SDimitry Andric   if (!V->use_empty() && std::next(V->use_begin()) != V->use_end())
2810b57cec5SDimitry Andric     predictValueUseListOrderImpl(V, F, IDPair.first, OM, Stack);
2820b57cec5SDimitry Andric 
2830b57cec5SDimitry Andric   // Recursive descent into constants.
2845ffd83dbSDimitry Andric   if (const Constant *C = dyn_cast<Constant>(V)) {
2855ffd83dbSDimitry Andric     if (C->getNumOperands()) { // Visit GlobalValues.
2860b57cec5SDimitry Andric       for (const Value *Op : C->operands())
2870b57cec5SDimitry Andric         if (isa<Constant>(Op)) // Visit GlobalValues.
2880b57cec5SDimitry Andric           predictValueUseListOrder(Op, F, OM, Stack);
2895ffd83dbSDimitry Andric       if (auto *CE = dyn_cast<ConstantExpr>(C))
2905ffd83dbSDimitry Andric         if (CE->getOpcode() == Instruction::ShuffleVector)
2915ffd83dbSDimitry Andric           predictValueUseListOrder(CE->getShuffleMaskForBitcode(), F, OM,
2925ffd83dbSDimitry Andric                                    Stack);
2935ffd83dbSDimitry Andric     }
2945ffd83dbSDimitry Andric   }
2950b57cec5SDimitry Andric }
2960b57cec5SDimitry Andric 
predictUseListOrder(const Module & M)2970b57cec5SDimitry Andric static UseListOrderStack predictUseListOrder(const Module &M) {
2980b57cec5SDimitry Andric   OrderMap OM = orderModule(M);
2990b57cec5SDimitry Andric 
3000b57cec5SDimitry Andric   // Use-list orders need to be serialized after all the users have been added
3010b57cec5SDimitry Andric   // to a value, or else the shuffles will be incomplete.  Store them per
3020b57cec5SDimitry Andric   // function in a stack.
3030b57cec5SDimitry Andric   //
3040b57cec5SDimitry Andric   // Aside from function order, the order of values doesn't matter much here.
3050b57cec5SDimitry Andric   UseListOrderStack Stack;
3060b57cec5SDimitry Andric 
3070b57cec5SDimitry Andric   // We want to visit the functions backward now so we can list function-local
3080b57cec5SDimitry Andric   // constants in the last Function they're used in.  Module-level constants
3090b57cec5SDimitry Andric   // have already been visited above.
3100b57cec5SDimitry Andric   for (auto I = M.rbegin(), E = M.rend(); I != E; ++I) {
3110b57cec5SDimitry Andric     const Function &F = *I;
3120b57cec5SDimitry Andric     if (F.isDeclaration())
3130b57cec5SDimitry Andric       continue;
3140b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
3150b57cec5SDimitry Andric       predictValueUseListOrder(&BB, &F, OM, Stack);
3160b57cec5SDimitry Andric     for (const Argument &A : F.args())
3170b57cec5SDimitry Andric       predictValueUseListOrder(&A, &F, OM, Stack);
3180b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
3195ffd83dbSDimitry Andric       for (const Instruction &I : BB) {
3200b57cec5SDimitry Andric         for (const Value *Op : I.operands())
3210b57cec5SDimitry Andric           if (isa<Constant>(*Op) || isa<InlineAsm>(*Op)) // Visit GlobalValues.
3220b57cec5SDimitry Andric             predictValueUseListOrder(Op, &F, OM, Stack);
3235ffd83dbSDimitry Andric         if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
3245ffd83dbSDimitry Andric           predictValueUseListOrder(SVI->getShuffleMaskForBitcode(), &F, OM,
3255ffd83dbSDimitry Andric                                    Stack);
3265ffd83dbSDimitry Andric       }
3270b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
3280b57cec5SDimitry Andric       for (const Instruction &I : BB)
3290b57cec5SDimitry Andric         predictValueUseListOrder(&I, &F, OM, Stack);
3300b57cec5SDimitry Andric   }
3310b57cec5SDimitry Andric 
3320b57cec5SDimitry Andric   // Visit globals last, since the module-level use-list block will be seen
3330b57cec5SDimitry Andric   // before the function bodies are processed.
3340b57cec5SDimitry Andric   for (const GlobalVariable &G : M.globals())
3350b57cec5SDimitry Andric     predictValueUseListOrder(&G, nullptr, OM, Stack);
3360b57cec5SDimitry Andric   for (const Function &F : M)
3370b57cec5SDimitry Andric     predictValueUseListOrder(&F, nullptr, OM, Stack);
3380b57cec5SDimitry Andric   for (const GlobalAlias &A : M.aliases())
3390b57cec5SDimitry Andric     predictValueUseListOrder(&A, nullptr, OM, Stack);
3400b57cec5SDimitry Andric   for (const GlobalIFunc &I : M.ifuncs())
3410b57cec5SDimitry Andric     predictValueUseListOrder(&I, nullptr, OM, Stack);
3420b57cec5SDimitry Andric   for (const GlobalVariable &G : M.globals())
3430b57cec5SDimitry Andric     if (G.hasInitializer())
3440b57cec5SDimitry Andric       predictValueUseListOrder(G.getInitializer(), nullptr, OM, Stack);
3450b57cec5SDimitry Andric   for (const GlobalAlias &A : M.aliases())
3460b57cec5SDimitry Andric     predictValueUseListOrder(A.getAliasee(), nullptr, OM, Stack);
3470b57cec5SDimitry Andric   for (const GlobalIFunc &I : M.ifuncs())
3480b57cec5SDimitry Andric     predictValueUseListOrder(I.getResolver(), nullptr, OM, Stack);
3490b57cec5SDimitry Andric   for (const Function &F : M) {
3500b57cec5SDimitry Andric     for (const Use &U : F.operands())
3510b57cec5SDimitry Andric       predictValueUseListOrder(U.get(), nullptr, OM, Stack);
3520b57cec5SDimitry Andric   }
3530b57cec5SDimitry Andric 
3540b57cec5SDimitry Andric   return Stack;
3550b57cec5SDimitry Andric }
3560b57cec5SDimitry Andric 
isIntOrIntVectorValue(const std::pair<const Value *,unsigned> & V)3570b57cec5SDimitry Andric static bool isIntOrIntVectorValue(const std::pair<const Value*, unsigned> &V) {
3580b57cec5SDimitry Andric   return V.first->getType()->isIntOrIntVectorTy();
3590b57cec5SDimitry Andric }
3600b57cec5SDimitry Andric 
ValueEnumerator(const Module & M,bool ShouldPreserveUseListOrder)3610b57cec5SDimitry Andric ValueEnumerator::ValueEnumerator(const Module &M,
3620b57cec5SDimitry Andric                                  bool ShouldPreserveUseListOrder)
3630b57cec5SDimitry Andric     : ShouldPreserveUseListOrder(ShouldPreserveUseListOrder) {
3640b57cec5SDimitry Andric   if (ShouldPreserveUseListOrder)
3650b57cec5SDimitry Andric     UseListOrders = predictUseListOrder(M);
3660b57cec5SDimitry Andric 
3670b57cec5SDimitry Andric   // Enumerate the global variables.
368*5f7ddb14SDimitry Andric   for (const GlobalVariable &GV : M.globals()) {
3690b57cec5SDimitry Andric     EnumerateValue(&GV);
370*5f7ddb14SDimitry Andric     EnumerateType(GV.getValueType());
371*5f7ddb14SDimitry Andric   }
3720b57cec5SDimitry Andric 
3730b57cec5SDimitry Andric   // Enumerate the functions.
3740b57cec5SDimitry Andric   for (const Function & F : M) {
3750b57cec5SDimitry Andric     EnumerateValue(&F);
376*5f7ddb14SDimitry Andric     EnumerateType(F.getValueType());
3770b57cec5SDimitry Andric     EnumerateAttributes(F.getAttributes());
3780b57cec5SDimitry Andric   }
3790b57cec5SDimitry Andric 
3800b57cec5SDimitry Andric   // Enumerate the aliases.
381*5f7ddb14SDimitry Andric   for (const GlobalAlias &GA : M.aliases()) {
3820b57cec5SDimitry Andric     EnumerateValue(&GA);
383*5f7ddb14SDimitry Andric     EnumerateType(GA.getValueType());
384*5f7ddb14SDimitry Andric   }
3850b57cec5SDimitry Andric 
3860b57cec5SDimitry Andric   // Enumerate the ifuncs.
3870b57cec5SDimitry Andric   for (const GlobalIFunc &GIF : M.ifuncs())
3880b57cec5SDimitry Andric     EnumerateValue(&GIF);
3890b57cec5SDimitry Andric 
3900b57cec5SDimitry Andric   // Remember what is the cutoff between globalvalue's and other constants.
3910b57cec5SDimitry Andric   unsigned FirstConstant = Values.size();
3920b57cec5SDimitry Andric 
3930b57cec5SDimitry Andric   // Enumerate the global variable initializers and attributes.
3940b57cec5SDimitry Andric   for (const GlobalVariable &GV : M.globals()) {
3950b57cec5SDimitry Andric     if (GV.hasInitializer())
3960b57cec5SDimitry Andric       EnumerateValue(GV.getInitializer());
3970b57cec5SDimitry Andric     if (GV.hasAttributes())
3980b57cec5SDimitry Andric       EnumerateAttributes(GV.getAttributesAsList(AttributeList::FunctionIndex));
3990b57cec5SDimitry Andric   }
4000b57cec5SDimitry Andric 
4010b57cec5SDimitry Andric   // Enumerate the aliasees.
4020b57cec5SDimitry Andric   for (const GlobalAlias &GA : M.aliases())
4030b57cec5SDimitry Andric     EnumerateValue(GA.getAliasee());
4040b57cec5SDimitry Andric 
4050b57cec5SDimitry Andric   // Enumerate the ifunc resolvers.
4060b57cec5SDimitry Andric   for (const GlobalIFunc &GIF : M.ifuncs())
4070b57cec5SDimitry Andric     EnumerateValue(GIF.getResolver());
4080b57cec5SDimitry Andric 
4090b57cec5SDimitry Andric   // Enumerate any optional Function data.
4100b57cec5SDimitry Andric   for (const Function &F : M)
4110b57cec5SDimitry Andric     for (const Use &U : F.operands())
4120b57cec5SDimitry Andric       EnumerateValue(U.get());
4130b57cec5SDimitry Andric 
4140b57cec5SDimitry Andric   // Enumerate the metadata type.
4150b57cec5SDimitry Andric   //
4160b57cec5SDimitry Andric   // TODO: Move this to ValueEnumerator::EnumerateOperandType() once bitcode
4170b57cec5SDimitry Andric   // only encodes the metadata type when it's used as a value.
4180b57cec5SDimitry Andric   EnumerateType(Type::getMetadataTy(M.getContext()));
4190b57cec5SDimitry Andric 
4200b57cec5SDimitry Andric   // Insert constants and metadata that are named at module level into the slot
4210b57cec5SDimitry Andric   // pool so that the module symbol table can refer to them...
4220b57cec5SDimitry Andric   EnumerateValueSymbolTable(M.getValueSymbolTable());
4230b57cec5SDimitry Andric   EnumerateNamedMetadata(M);
4240b57cec5SDimitry Andric 
4250b57cec5SDimitry Andric   SmallVector<std::pair<unsigned, MDNode *>, 8> MDs;
4260b57cec5SDimitry Andric   for (const GlobalVariable &GV : M.globals()) {
4270b57cec5SDimitry Andric     MDs.clear();
4280b57cec5SDimitry Andric     GV.getAllMetadata(MDs);
4290b57cec5SDimitry Andric     for (const auto &I : MDs)
4300b57cec5SDimitry Andric       // FIXME: Pass GV to EnumerateMetadata and arrange for the bitcode writer
4310b57cec5SDimitry Andric       // to write metadata to the global variable's own metadata block
4320b57cec5SDimitry Andric       // (PR28134).
4330b57cec5SDimitry Andric       EnumerateMetadata(nullptr, I.second);
4340b57cec5SDimitry Andric   }
4350b57cec5SDimitry Andric 
4360b57cec5SDimitry Andric   // Enumerate types used by function bodies and argument lists.
4370b57cec5SDimitry Andric   for (const Function &F : M) {
4380b57cec5SDimitry Andric     for (const Argument &A : F.args())
4390b57cec5SDimitry Andric       EnumerateType(A.getType());
4400b57cec5SDimitry Andric 
4410b57cec5SDimitry Andric     // Enumerate metadata attached to this function.
4420b57cec5SDimitry Andric     MDs.clear();
4430b57cec5SDimitry Andric     F.getAllMetadata(MDs);
4440b57cec5SDimitry Andric     for (const auto &I : MDs)
4450b57cec5SDimitry Andric       EnumerateMetadata(F.isDeclaration() ? nullptr : &F, I.second);
4460b57cec5SDimitry Andric 
4470b57cec5SDimitry Andric     for (const BasicBlock &BB : F)
4480b57cec5SDimitry Andric       for (const Instruction &I : BB) {
4490b57cec5SDimitry Andric         for (const Use &Op : I.operands()) {
4500b57cec5SDimitry Andric           auto *MD = dyn_cast<MetadataAsValue>(&Op);
4510b57cec5SDimitry Andric           if (!MD) {
4520b57cec5SDimitry Andric             EnumerateOperandType(Op);
4530b57cec5SDimitry Andric             continue;
4540b57cec5SDimitry Andric           }
4550b57cec5SDimitry Andric 
456*5f7ddb14SDimitry Andric           // Local metadata is enumerated during function-incorporation, but
457*5f7ddb14SDimitry Andric           // any ConstantAsMetadata arguments in a DIArgList should be examined
458*5f7ddb14SDimitry Andric           // now.
4590b57cec5SDimitry Andric           if (isa<LocalAsMetadata>(MD->getMetadata()))
4600b57cec5SDimitry Andric             continue;
461*5f7ddb14SDimitry Andric           if (auto *AL = dyn_cast<DIArgList>(MD->getMetadata())) {
462*5f7ddb14SDimitry Andric             for (auto *VAM : AL->getArgs())
463*5f7ddb14SDimitry Andric               if (isa<ConstantAsMetadata>(VAM))
464*5f7ddb14SDimitry Andric                 EnumerateMetadata(&F, VAM);
465*5f7ddb14SDimitry Andric             continue;
466*5f7ddb14SDimitry Andric           }
4670b57cec5SDimitry Andric 
4680b57cec5SDimitry Andric           EnumerateMetadata(&F, MD->getMetadata());
4690b57cec5SDimitry Andric         }
4705ffd83dbSDimitry Andric         if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
4715ffd83dbSDimitry Andric           EnumerateType(SVI->getShuffleMaskForBitcode()->getType());
472*5f7ddb14SDimitry Andric         if (auto *GEP = dyn_cast<GetElementPtrInst>(&I))
473*5f7ddb14SDimitry Andric           EnumerateType(GEP->getSourceElementType());
474*5f7ddb14SDimitry Andric         if (auto *AI = dyn_cast<AllocaInst>(&I))
475*5f7ddb14SDimitry Andric           EnumerateType(AI->getAllocatedType());
4760b57cec5SDimitry Andric         EnumerateType(I.getType());
477*5f7ddb14SDimitry Andric         if (const auto *Call = dyn_cast<CallBase>(&I)) {
4780b57cec5SDimitry Andric           EnumerateAttributes(Call->getAttributes());
479*5f7ddb14SDimitry Andric           EnumerateType(Call->getFunctionType());
480*5f7ddb14SDimitry Andric         }
4810b57cec5SDimitry Andric 
4820b57cec5SDimitry Andric         // Enumerate metadata attached with this instruction.
4830b57cec5SDimitry Andric         MDs.clear();
4840b57cec5SDimitry Andric         I.getAllMetadataOtherThanDebugLoc(MDs);
4850b57cec5SDimitry Andric         for (unsigned i = 0, e = MDs.size(); i != e; ++i)
4860b57cec5SDimitry Andric           EnumerateMetadata(&F, MDs[i].second);
4870b57cec5SDimitry Andric 
4880b57cec5SDimitry Andric         // Don't enumerate the location directly -- it has a special record
4890b57cec5SDimitry Andric         // type -- but enumerate its operands.
4900b57cec5SDimitry Andric         if (DILocation *L = I.getDebugLoc())
4910b57cec5SDimitry Andric           for (const Metadata *Op : L->operands())
4920b57cec5SDimitry Andric             EnumerateMetadata(&F, Op);
4930b57cec5SDimitry Andric       }
4940b57cec5SDimitry Andric   }
4950b57cec5SDimitry Andric 
4960b57cec5SDimitry Andric   // Optimize constant ordering.
4970b57cec5SDimitry Andric   OptimizeConstants(FirstConstant, Values.size());
4980b57cec5SDimitry Andric 
4990b57cec5SDimitry Andric   // Organize metadata ordering.
5000b57cec5SDimitry Andric   organizeMetadata();
5010b57cec5SDimitry Andric }
5020b57cec5SDimitry Andric 
getInstructionID(const Instruction * Inst) const5030b57cec5SDimitry Andric unsigned ValueEnumerator::getInstructionID(const Instruction *Inst) const {
5040b57cec5SDimitry Andric   InstructionMapType::const_iterator I = InstructionMap.find(Inst);
5050b57cec5SDimitry Andric   assert(I != InstructionMap.end() && "Instruction is not mapped!");
5060b57cec5SDimitry Andric   return I->second;
5070b57cec5SDimitry Andric }
5080b57cec5SDimitry Andric 
getComdatID(const Comdat * C) const5090b57cec5SDimitry Andric unsigned ValueEnumerator::getComdatID(const Comdat *C) const {
5100b57cec5SDimitry Andric   unsigned ComdatID = Comdats.idFor(C);
5110b57cec5SDimitry Andric   assert(ComdatID && "Comdat not found!");
5120b57cec5SDimitry Andric   return ComdatID;
5130b57cec5SDimitry Andric }
5140b57cec5SDimitry Andric 
setInstructionID(const Instruction * I)5150b57cec5SDimitry Andric void ValueEnumerator::setInstructionID(const Instruction *I) {
5160b57cec5SDimitry Andric   InstructionMap[I] = InstructionCount++;
5170b57cec5SDimitry Andric }
5180b57cec5SDimitry Andric 
getValueID(const Value * V) const5190b57cec5SDimitry Andric unsigned ValueEnumerator::getValueID(const Value *V) const {
5200b57cec5SDimitry Andric   if (auto *MD = dyn_cast<MetadataAsValue>(V))
5210b57cec5SDimitry Andric     return getMetadataID(MD->getMetadata());
5220b57cec5SDimitry Andric 
5230b57cec5SDimitry Andric   ValueMapType::const_iterator I = ValueMap.find(V);
5240b57cec5SDimitry Andric   assert(I != ValueMap.end() && "Value not in slotcalculator!");
5250b57cec5SDimitry Andric   return I->second-1;
5260b57cec5SDimitry Andric }
5270b57cec5SDimitry Andric 
5280b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
dump() const5290b57cec5SDimitry Andric LLVM_DUMP_METHOD void ValueEnumerator::dump() const {
5300b57cec5SDimitry Andric   print(dbgs(), ValueMap, "Default");
5310b57cec5SDimitry Andric   dbgs() << '\n';
5320b57cec5SDimitry Andric   print(dbgs(), MetadataMap, "MetaData");
5330b57cec5SDimitry Andric   dbgs() << '\n';
5340b57cec5SDimitry Andric }
5350b57cec5SDimitry Andric #endif
5360b57cec5SDimitry Andric 
print(raw_ostream & OS,const ValueMapType & Map,const char * Name) const5370b57cec5SDimitry Andric void ValueEnumerator::print(raw_ostream &OS, const ValueMapType &Map,
5380b57cec5SDimitry Andric                             const char *Name) const {
5390b57cec5SDimitry Andric   OS << "Map Name: " << Name << "\n";
5400b57cec5SDimitry Andric   OS << "Size: " << Map.size() << "\n";
5410b57cec5SDimitry Andric   for (ValueMapType::const_iterator I = Map.begin(),
5420b57cec5SDimitry Andric          E = Map.end(); I != E; ++I) {
5430b57cec5SDimitry Andric     const Value *V = I->first;
5440b57cec5SDimitry Andric     if (V->hasName())
5450b57cec5SDimitry Andric       OS << "Value: " << V->getName();
5460b57cec5SDimitry Andric     else
5470b57cec5SDimitry Andric       OS << "Value: [null]\n";
5480b57cec5SDimitry Andric     V->print(errs());
5490b57cec5SDimitry Andric     errs() << '\n';
5500b57cec5SDimitry Andric 
5510b57cec5SDimitry Andric     OS << " Uses(" << V->getNumUses() << "):";
5520b57cec5SDimitry Andric     for (const Use &U : V->uses()) {
5530b57cec5SDimitry Andric       if (&U != &*V->use_begin())
5540b57cec5SDimitry Andric         OS << ",";
5550b57cec5SDimitry Andric       if(U->hasName())
5560b57cec5SDimitry Andric         OS << " " << U->getName();
5570b57cec5SDimitry Andric       else
5580b57cec5SDimitry Andric         OS << " [null]";
5590b57cec5SDimitry Andric 
5600b57cec5SDimitry Andric     }
5610b57cec5SDimitry Andric     OS <<  "\n\n";
5620b57cec5SDimitry Andric   }
5630b57cec5SDimitry Andric }
5640b57cec5SDimitry Andric 
print(raw_ostream & OS,const MetadataMapType & Map,const char * Name) const5650b57cec5SDimitry Andric void ValueEnumerator::print(raw_ostream &OS, const MetadataMapType &Map,
5660b57cec5SDimitry Andric                             const char *Name) const {
5670b57cec5SDimitry Andric   OS << "Map Name: " << Name << "\n";
5680b57cec5SDimitry Andric   OS << "Size: " << Map.size() << "\n";
5690b57cec5SDimitry Andric   for (auto I = Map.begin(), E = Map.end(); I != E; ++I) {
5700b57cec5SDimitry Andric     const Metadata *MD = I->first;
5710b57cec5SDimitry Andric     OS << "Metadata: slot = " << I->second.ID << "\n";
5720b57cec5SDimitry Andric     OS << "Metadata: function = " << I->second.F << "\n";
5730b57cec5SDimitry Andric     MD->print(OS);
5740b57cec5SDimitry Andric     OS << "\n";
5750b57cec5SDimitry Andric   }
5760b57cec5SDimitry Andric }
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric /// OptimizeConstants - Reorder constant pool for denser encoding.
OptimizeConstants(unsigned CstStart,unsigned CstEnd)5790b57cec5SDimitry Andric void ValueEnumerator::OptimizeConstants(unsigned CstStart, unsigned CstEnd) {
5800b57cec5SDimitry Andric   if (CstStart == CstEnd || CstStart+1 == CstEnd) return;
5810b57cec5SDimitry Andric 
5820b57cec5SDimitry Andric   if (ShouldPreserveUseListOrder)
5830b57cec5SDimitry Andric     // Optimizing constants makes the use-list order difficult to predict.
5840b57cec5SDimitry Andric     // Disable it for now when trying to preserve the order.
5850b57cec5SDimitry Andric     return;
5860b57cec5SDimitry Andric 
5870b57cec5SDimitry Andric   std::stable_sort(Values.begin() + CstStart, Values.begin() + CstEnd,
5880b57cec5SDimitry Andric                    [this](const std::pair<const Value *, unsigned> &LHS,
5890b57cec5SDimitry Andric                           const std::pair<const Value *, unsigned> &RHS) {
5900b57cec5SDimitry Andric     // Sort by plane.
5910b57cec5SDimitry Andric     if (LHS.first->getType() != RHS.first->getType())
5920b57cec5SDimitry Andric       return getTypeID(LHS.first->getType()) < getTypeID(RHS.first->getType());
5930b57cec5SDimitry Andric     // Then by frequency.
5940b57cec5SDimitry Andric     return LHS.second > RHS.second;
5950b57cec5SDimitry Andric   });
5960b57cec5SDimitry Andric 
5970b57cec5SDimitry Andric   // Ensure that integer and vector of integer constants are at the start of the
5980b57cec5SDimitry Andric   // constant pool.  This is important so that GEP structure indices come before
5990b57cec5SDimitry Andric   // gep constant exprs.
6000b57cec5SDimitry Andric   std::stable_partition(Values.begin() + CstStart, Values.begin() + CstEnd,
6010b57cec5SDimitry Andric                         isIntOrIntVectorValue);
6020b57cec5SDimitry Andric 
6030b57cec5SDimitry Andric   // Rebuild the modified portion of ValueMap.
6040b57cec5SDimitry Andric   for (; CstStart != CstEnd; ++CstStart)
6050b57cec5SDimitry Andric     ValueMap[Values[CstStart].first] = CstStart+1;
6060b57cec5SDimitry Andric }
6070b57cec5SDimitry Andric 
6080b57cec5SDimitry Andric /// EnumerateValueSymbolTable - Insert all of the values in the specified symbol
6090b57cec5SDimitry Andric /// table into the values table.
EnumerateValueSymbolTable(const ValueSymbolTable & VST)6100b57cec5SDimitry Andric void ValueEnumerator::EnumerateValueSymbolTable(const ValueSymbolTable &VST) {
6110b57cec5SDimitry Andric   for (ValueSymbolTable::const_iterator VI = VST.begin(), VE = VST.end();
6120b57cec5SDimitry Andric        VI != VE; ++VI)
6130b57cec5SDimitry Andric     EnumerateValue(VI->getValue());
6140b57cec5SDimitry Andric }
6150b57cec5SDimitry Andric 
6160b57cec5SDimitry Andric /// Insert all of the values referenced by named metadata in the specified
6170b57cec5SDimitry Andric /// module.
EnumerateNamedMetadata(const Module & M)6180b57cec5SDimitry Andric void ValueEnumerator::EnumerateNamedMetadata(const Module &M) {
6190b57cec5SDimitry Andric   for (const auto &I : M.named_metadata())
6200b57cec5SDimitry Andric     EnumerateNamedMDNode(&I);
6210b57cec5SDimitry Andric }
6220b57cec5SDimitry Andric 
EnumerateNamedMDNode(const NamedMDNode * MD)6230b57cec5SDimitry Andric void ValueEnumerator::EnumerateNamedMDNode(const NamedMDNode *MD) {
6240b57cec5SDimitry Andric   for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i)
6250b57cec5SDimitry Andric     EnumerateMetadata(nullptr, MD->getOperand(i));
6260b57cec5SDimitry Andric }
6270b57cec5SDimitry Andric 
getMetadataFunctionID(const Function * F) const6280b57cec5SDimitry Andric unsigned ValueEnumerator::getMetadataFunctionID(const Function *F) const {
6290b57cec5SDimitry Andric   return F ? getValueID(F) + 1 : 0;
6300b57cec5SDimitry Andric }
6310b57cec5SDimitry Andric 
EnumerateMetadata(const Function * F,const Metadata * MD)6320b57cec5SDimitry Andric void ValueEnumerator::EnumerateMetadata(const Function *F, const Metadata *MD) {
6330b57cec5SDimitry Andric   EnumerateMetadata(getMetadataFunctionID(F), MD);
6340b57cec5SDimitry Andric }
6350b57cec5SDimitry Andric 
EnumerateFunctionLocalMetadata(const Function & F,const LocalAsMetadata * Local)6360b57cec5SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalMetadata(
6370b57cec5SDimitry Andric     const Function &F, const LocalAsMetadata *Local) {
6380b57cec5SDimitry Andric   EnumerateFunctionLocalMetadata(getMetadataFunctionID(&F), Local);
6390b57cec5SDimitry Andric }
6400b57cec5SDimitry Andric 
EnumerateFunctionLocalListMetadata(const Function & F,const DIArgList * ArgList)641*5f7ddb14SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalListMetadata(
642*5f7ddb14SDimitry Andric     const Function &F, const DIArgList *ArgList) {
643*5f7ddb14SDimitry Andric   EnumerateFunctionLocalListMetadata(getMetadataFunctionID(&F), ArgList);
644*5f7ddb14SDimitry Andric }
645*5f7ddb14SDimitry Andric 
dropFunctionFromMetadata(MetadataMapType::value_type & FirstMD)6460b57cec5SDimitry Andric void ValueEnumerator::dropFunctionFromMetadata(
6470b57cec5SDimitry Andric     MetadataMapType::value_type &FirstMD) {
6480b57cec5SDimitry Andric   SmallVector<const MDNode *, 64> Worklist;
6490b57cec5SDimitry Andric   auto push = [&Worklist](MetadataMapType::value_type &MD) {
6500b57cec5SDimitry Andric     auto &Entry = MD.second;
6510b57cec5SDimitry Andric 
6520b57cec5SDimitry Andric     // Nothing to do if this metadata isn't tagged.
6530b57cec5SDimitry Andric     if (!Entry.F)
6540b57cec5SDimitry Andric       return;
6550b57cec5SDimitry Andric 
6560b57cec5SDimitry Andric     // Drop the function tag.
6570b57cec5SDimitry Andric     Entry.F = 0;
6580b57cec5SDimitry Andric 
6590b57cec5SDimitry Andric     // If this is has an ID and is an MDNode, then its operands have entries as
6600b57cec5SDimitry Andric     // well.  We need to drop the function from them too.
6610b57cec5SDimitry Andric     if (Entry.ID)
6620b57cec5SDimitry Andric       if (auto *N = dyn_cast<MDNode>(MD.first))
6630b57cec5SDimitry Andric         Worklist.push_back(N);
6640b57cec5SDimitry Andric   };
6650b57cec5SDimitry Andric   push(FirstMD);
6660b57cec5SDimitry Andric   while (!Worklist.empty())
6670b57cec5SDimitry Andric     for (const Metadata *Op : Worklist.pop_back_val()->operands()) {
6680b57cec5SDimitry Andric       if (!Op)
6690b57cec5SDimitry Andric         continue;
6700b57cec5SDimitry Andric       auto MD = MetadataMap.find(Op);
6710b57cec5SDimitry Andric       if (MD != MetadataMap.end())
6720b57cec5SDimitry Andric         push(*MD);
6730b57cec5SDimitry Andric     }
6740b57cec5SDimitry Andric }
6750b57cec5SDimitry Andric 
EnumerateMetadata(unsigned F,const Metadata * MD)6760b57cec5SDimitry Andric void ValueEnumerator::EnumerateMetadata(unsigned F, const Metadata *MD) {
6770b57cec5SDimitry Andric   // It's vital for reader efficiency that uniqued subgraphs are done in
6780b57cec5SDimitry Andric   // post-order; it's expensive when their operands have forward references.
6790b57cec5SDimitry Andric   // If a distinct node is referenced from a uniqued node, it'll be delayed
6800b57cec5SDimitry Andric   // until the uniqued subgraph has been completely traversed.
6810b57cec5SDimitry Andric   SmallVector<const MDNode *, 32> DelayedDistinctNodes;
6820b57cec5SDimitry Andric 
6830b57cec5SDimitry Andric   // Start by enumerating MD, and then work through its transitive operands in
6840b57cec5SDimitry Andric   // post-order.  This requires a depth-first search.
6850b57cec5SDimitry Andric   SmallVector<std::pair<const MDNode *, MDNode::op_iterator>, 32> Worklist;
6860b57cec5SDimitry Andric   if (const MDNode *N = enumerateMetadataImpl(F, MD))
6870b57cec5SDimitry Andric     Worklist.push_back(std::make_pair(N, N->op_begin()));
6880b57cec5SDimitry Andric 
6890b57cec5SDimitry Andric   while (!Worklist.empty()) {
6900b57cec5SDimitry Andric     const MDNode *N = Worklist.back().first;
6910b57cec5SDimitry Andric 
6920b57cec5SDimitry Andric     // Enumerate operands until we hit a new node.  We need to traverse these
6930b57cec5SDimitry Andric     // nodes' operands before visiting the rest of N's operands.
6940b57cec5SDimitry Andric     MDNode::op_iterator I = std::find_if(
6950b57cec5SDimitry Andric         Worklist.back().second, N->op_end(),
6960b57cec5SDimitry Andric         [&](const Metadata *MD) { return enumerateMetadataImpl(F, MD); });
6970b57cec5SDimitry Andric     if (I != N->op_end()) {
6980b57cec5SDimitry Andric       auto *Op = cast<MDNode>(*I);
6990b57cec5SDimitry Andric       Worklist.back().second = ++I;
7000b57cec5SDimitry Andric 
7010b57cec5SDimitry Andric       // Delay traversing Op if it's a distinct node and N is uniqued.
7020b57cec5SDimitry Andric       if (Op->isDistinct() && !N->isDistinct())
7030b57cec5SDimitry Andric         DelayedDistinctNodes.push_back(Op);
7040b57cec5SDimitry Andric       else
7050b57cec5SDimitry Andric         Worklist.push_back(std::make_pair(Op, Op->op_begin()));
7060b57cec5SDimitry Andric       continue;
7070b57cec5SDimitry Andric     }
7080b57cec5SDimitry Andric 
7090b57cec5SDimitry Andric     // All the operands have been visited.  Now assign an ID.
7100b57cec5SDimitry Andric     Worklist.pop_back();
7110b57cec5SDimitry Andric     MDs.push_back(N);
7120b57cec5SDimitry Andric     MetadataMap[N].ID = MDs.size();
7130b57cec5SDimitry Andric 
7140b57cec5SDimitry Andric     // Flush out any delayed distinct nodes; these are all the distinct nodes
7150b57cec5SDimitry Andric     // that are leaves in last uniqued subgraph.
7160b57cec5SDimitry Andric     if (Worklist.empty() || Worklist.back().first->isDistinct()) {
7170b57cec5SDimitry Andric       for (const MDNode *N : DelayedDistinctNodes)
7180b57cec5SDimitry Andric         Worklist.push_back(std::make_pair(N, N->op_begin()));
7190b57cec5SDimitry Andric       DelayedDistinctNodes.clear();
7200b57cec5SDimitry Andric     }
7210b57cec5SDimitry Andric   }
7220b57cec5SDimitry Andric }
7230b57cec5SDimitry Andric 
enumerateMetadataImpl(unsigned F,const Metadata * MD)7240b57cec5SDimitry Andric const MDNode *ValueEnumerator::enumerateMetadataImpl(unsigned F, const Metadata *MD) {
7250b57cec5SDimitry Andric   if (!MD)
7260b57cec5SDimitry Andric     return nullptr;
7270b57cec5SDimitry Andric 
7280b57cec5SDimitry Andric   assert(
7290b57cec5SDimitry Andric       (isa<MDNode>(MD) || isa<MDString>(MD) || isa<ConstantAsMetadata>(MD)) &&
7300b57cec5SDimitry Andric       "Invalid metadata kind");
7310b57cec5SDimitry Andric 
7320b57cec5SDimitry Andric   auto Insertion = MetadataMap.insert(std::make_pair(MD, MDIndex(F)));
7330b57cec5SDimitry Andric   MDIndex &Entry = Insertion.first->second;
7340b57cec5SDimitry Andric   if (!Insertion.second) {
7350b57cec5SDimitry Andric     // Already mapped.  If F doesn't match the function tag, drop it.
7360b57cec5SDimitry Andric     if (Entry.hasDifferentFunction(F))
7370b57cec5SDimitry Andric       dropFunctionFromMetadata(*Insertion.first);
7380b57cec5SDimitry Andric     return nullptr;
7390b57cec5SDimitry Andric   }
7400b57cec5SDimitry Andric 
7410b57cec5SDimitry Andric   // Don't assign IDs to metadata nodes.
7420b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(MD))
7430b57cec5SDimitry Andric     return N;
7440b57cec5SDimitry Andric 
7450b57cec5SDimitry Andric   // Save the metadata.
7460b57cec5SDimitry Andric   MDs.push_back(MD);
7470b57cec5SDimitry Andric   Entry.ID = MDs.size();
7480b57cec5SDimitry Andric 
7490b57cec5SDimitry Andric   // Enumerate the constant, if any.
7500b57cec5SDimitry Andric   if (auto *C = dyn_cast<ConstantAsMetadata>(MD))
7510b57cec5SDimitry Andric     EnumerateValue(C->getValue());
7520b57cec5SDimitry Andric 
7530b57cec5SDimitry Andric   return nullptr;
7540b57cec5SDimitry Andric }
7550b57cec5SDimitry Andric 
756*5f7ddb14SDimitry Andric /// EnumerateFunctionLocalMetadata - Incorporate function-local metadata
7570b57cec5SDimitry Andric /// information reachable from the metadata.
EnumerateFunctionLocalMetadata(unsigned F,const LocalAsMetadata * Local)7580b57cec5SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalMetadata(
7590b57cec5SDimitry Andric     unsigned F, const LocalAsMetadata *Local) {
7600b57cec5SDimitry Andric   assert(F && "Expected a function");
7610b57cec5SDimitry Andric 
7620b57cec5SDimitry Andric   // Check to see if it's already in!
7630b57cec5SDimitry Andric   MDIndex &Index = MetadataMap[Local];
7640b57cec5SDimitry Andric   if (Index.ID) {
7650b57cec5SDimitry Andric     assert(Index.F == F && "Expected the same function");
7660b57cec5SDimitry Andric     return;
7670b57cec5SDimitry Andric   }
7680b57cec5SDimitry Andric 
7690b57cec5SDimitry Andric   MDs.push_back(Local);
7700b57cec5SDimitry Andric   Index.F = F;
7710b57cec5SDimitry Andric   Index.ID = MDs.size();
7720b57cec5SDimitry Andric 
7730b57cec5SDimitry Andric   EnumerateValue(Local->getValue());
7740b57cec5SDimitry Andric }
7750b57cec5SDimitry Andric 
776*5f7ddb14SDimitry Andric /// EnumerateFunctionLocalListMetadata - Incorporate function-local metadata
777*5f7ddb14SDimitry Andric /// information reachable from the metadata.
EnumerateFunctionLocalListMetadata(unsigned F,const DIArgList * ArgList)778*5f7ddb14SDimitry Andric void ValueEnumerator::EnumerateFunctionLocalListMetadata(
779*5f7ddb14SDimitry Andric     unsigned F, const DIArgList *ArgList) {
780*5f7ddb14SDimitry Andric   assert(F && "Expected a function");
781*5f7ddb14SDimitry Andric 
782*5f7ddb14SDimitry Andric   // Check to see if it's already in!
783*5f7ddb14SDimitry Andric   MDIndex &Index = MetadataMap[ArgList];
784*5f7ddb14SDimitry Andric   if (Index.ID) {
785*5f7ddb14SDimitry Andric     assert(Index.F == F && "Expected the same function");
786*5f7ddb14SDimitry Andric     return;
787*5f7ddb14SDimitry Andric   }
788*5f7ddb14SDimitry Andric 
789*5f7ddb14SDimitry Andric   for (ValueAsMetadata *VAM : ArgList->getArgs()) {
790*5f7ddb14SDimitry Andric     if (isa<LocalAsMetadata>(VAM)) {
791*5f7ddb14SDimitry Andric       assert(MetadataMap.count(VAM) &&
792*5f7ddb14SDimitry Andric              "LocalAsMetadata should be enumerated before DIArgList");
793*5f7ddb14SDimitry Andric       assert(MetadataMap[VAM].F == F &&
794*5f7ddb14SDimitry Andric              "Expected LocalAsMetadata in the same function");
795*5f7ddb14SDimitry Andric     } else {
796*5f7ddb14SDimitry Andric       assert(isa<ConstantAsMetadata>(VAM) &&
797*5f7ddb14SDimitry Andric              "Expected LocalAsMetadata or ConstantAsMetadata");
798*5f7ddb14SDimitry Andric       assert(ValueMap.count(VAM->getValue()) &&
799*5f7ddb14SDimitry Andric              "Constant should be enumerated beforeDIArgList");
800*5f7ddb14SDimitry Andric       EnumerateMetadata(F, VAM);
801*5f7ddb14SDimitry Andric     }
802*5f7ddb14SDimitry Andric   }
803*5f7ddb14SDimitry Andric 
804*5f7ddb14SDimitry Andric   MDs.push_back(ArgList);
805*5f7ddb14SDimitry Andric   Index.F = F;
806*5f7ddb14SDimitry Andric   Index.ID = MDs.size();
807*5f7ddb14SDimitry Andric }
808*5f7ddb14SDimitry Andric 
getMetadataTypeOrder(const Metadata * MD)8090b57cec5SDimitry Andric static unsigned getMetadataTypeOrder(const Metadata *MD) {
8100b57cec5SDimitry Andric   // Strings are emitted in bulk and must come first.
8110b57cec5SDimitry Andric   if (isa<MDString>(MD))
8120b57cec5SDimitry Andric     return 0;
8130b57cec5SDimitry Andric 
8140b57cec5SDimitry Andric   // ConstantAsMetadata doesn't reference anything.  We may as well shuffle it
8150b57cec5SDimitry Andric   // to the front since we can detect it.
8160b57cec5SDimitry Andric   auto *N = dyn_cast<MDNode>(MD);
8170b57cec5SDimitry Andric   if (!N)
8180b57cec5SDimitry Andric     return 1;
8190b57cec5SDimitry Andric 
8200b57cec5SDimitry Andric   // The reader is fast forward references for distinct node operands, but slow
8210b57cec5SDimitry Andric   // when uniqued operands are unresolved.
8220b57cec5SDimitry Andric   return N->isDistinct() ? 2 : 3;
8230b57cec5SDimitry Andric }
8240b57cec5SDimitry Andric 
organizeMetadata()8250b57cec5SDimitry Andric void ValueEnumerator::organizeMetadata() {
8260b57cec5SDimitry Andric   assert(MetadataMap.size() == MDs.size() &&
8270b57cec5SDimitry Andric          "Metadata map and vector out of sync");
8280b57cec5SDimitry Andric 
8290b57cec5SDimitry Andric   if (MDs.empty())
8300b57cec5SDimitry Andric     return;
8310b57cec5SDimitry Andric 
8320b57cec5SDimitry Andric   // Copy out the index information from MetadataMap in order to choose a new
8330b57cec5SDimitry Andric   // order.
8340b57cec5SDimitry Andric   SmallVector<MDIndex, 64> Order;
8350b57cec5SDimitry Andric   Order.reserve(MetadataMap.size());
8360b57cec5SDimitry Andric   for (const Metadata *MD : MDs)
8370b57cec5SDimitry Andric     Order.push_back(MetadataMap.lookup(MD));
8380b57cec5SDimitry Andric 
8390b57cec5SDimitry Andric   // Partition:
8400b57cec5SDimitry Andric   //   - by function, then
8410b57cec5SDimitry Andric   //   - by isa<MDString>
8420b57cec5SDimitry Andric   // and then sort by the original/current ID.  Since the IDs are guaranteed to
8430b57cec5SDimitry Andric   // be unique, the result of std::sort will be deterministic.  There's no need
8440b57cec5SDimitry Andric   // for std::stable_sort.
8450b57cec5SDimitry Andric   llvm::sort(Order, [this](MDIndex LHS, MDIndex RHS) {
8460b57cec5SDimitry Andric     return std::make_tuple(LHS.F, getMetadataTypeOrder(LHS.get(MDs)), LHS.ID) <
8470b57cec5SDimitry Andric            std::make_tuple(RHS.F, getMetadataTypeOrder(RHS.get(MDs)), RHS.ID);
8480b57cec5SDimitry Andric   });
8490b57cec5SDimitry Andric 
8500b57cec5SDimitry Andric   // Rebuild MDs, index the metadata ranges for each function in FunctionMDs,
8510b57cec5SDimitry Andric   // and fix up MetadataMap.
8520b57cec5SDimitry Andric   std::vector<const Metadata *> OldMDs;
8530b57cec5SDimitry Andric   MDs.swap(OldMDs);
8540b57cec5SDimitry Andric   MDs.reserve(OldMDs.size());
8550b57cec5SDimitry Andric   for (unsigned I = 0, E = Order.size(); I != E && !Order[I].F; ++I) {
8560b57cec5SDimitry Andric     auto *MD = Order[I].get(OldMDs);
8570b57cec5SDimitry Andric     MDs.push_back(MD);
8580b57cec5SDimitry Andric     MetadataMap[MD].ID = I + 1;
8590b57cec5SDimitry Andric     if (isa<MDString>(MD))
8600b57cec5SDimitry Andric       ++NumMDStrings;
8610b57cec5SDimitry Andric   }
8620b57cec5SDimitry Andric 
8630b57cec5SDimitry Andric   // Return early if there's nothing for the functions.
8640b57cec5SDimitry Andric   if (MDs.size() == Order.size())
8650b57cec5SDimitry Andric     return;
8660b57cec5SDimitry Andric 
8670b57cec5SDimitry Andric   // Build the function metadata ranges.
8680b57cec5SDimitry Andric   MDRange R;
8690b57cec5SDimitry Andric   FunctionMDs.reserve(OldMDs.size());
8700b57cec5SDimitry Andric   unsigned PrevF = 0;
8710b57cec5SDimitry Andric   for (unsigned I = MDs.size(), E = Order.size(), ID = MDs.size(); I != E;
8720b57cec5SDimitry Andric        ++I) {
8730b57cec5SDimitry Andric     unsigned F = Order[I].F;
8740b57cec5SDimitry Andric     if (!PrevF) {
8750b57cec5SDimitry Andric       PrevF = F;
8760b57cec5SDimitry Andric     } else if (PrevF != F) {
8770b57cec5SDimitry Andric       R.Last = FunctionMDs.size();
8780b57cec5SDimitry Andric       std::swap(R, FunctionMDInfo[PrevF]);
8790b57cec5SDimitry Andric       R.First = FunctionMDs.size();
8800b57cec5SDimitry Andric 
8810b57cec5SDimitry Andric       ID = MDs.size();
8820b57cec5SDimitry Andric       PrevF = F;
8830b57cec5SDimitry Andric     }
8840b57cec5SDimitry Andric 
8850b57cec5SDimitry Andric     auto *MD = Order[I].get(OldMDs);
8860b57cec5SDimitry Andric     FunctionMDs.push_back(MD);
8870b57cec5SDimitry Andric     MetadataMap[MD].ID = ++ID;
8880b57cec5SDimitry Andric     if (isa<MDString>(MD))
8890b57cec5SDimitry Andric       ++R.NumStrings;
8900b57cec5SDimitry Andric   }
8910b57cec5SDimitry Andric   R.Last = FunctionMDs.size();
8920b57cec5SDimitry Andric   FunctionMDInfo[PrevF] = R;
8930b57cec5SDimitry Andric }
8940b57cec5SDimitry Andric 
incorporateFunctionMetadata(const Function & F)8950b57cec5SDimitry Andric void ValueEnumerator::incorporateFunctionMetadata(const Function &F) {
8960b57cec5SDimitry Andric   NumModuleMDs = MDs.size();
8970b57cec5SDimitry Andric 
8980b57cec5SDimitry Andric   auto R = FunctionMDInfo.lookup(getValueID(&F) + 1);
8990b57cec5SDimitry Andric   NumMDStrings = R.NumStrings;
9000b57cec5SDimitry Andric   MDs.insert(MDs.end(), FunctionMDs.begin() + R.First,
9010b57cec5SDimitry Andric              FunctionMDs.begin() + R.Last);
9020b57cec5SDimitry Andric }
9030b57cec5SDimitry Andric 
EnumerateValue(const Value * V)9040b57cec5SDimitry Andric void ValueEnumerator::EnumerateValue(const Value *V) {
9050b57cec5SDimitry Andric   assert(!V->getType()->isVoidTy() && "Can't insert void values!");
9060b57cec5SDimitry Andric   assert(!isa<MetadataAsValue>(V) && "EnumerateValue doesn't handle Metadata!");
9070b57cec5SDimitry Andric 
9080b57cec5SDimitry Andric   // Check to see if it's already in!
9090b57cec5SDimitry Andric   unsigned &ValueID = ValueMap[V];
9100b57cec5SDimitry Andric   if (ValueID) {
9110b57cec5SDimitry Andric     // Increment use count.
9120b57cec5SDimitry Andric     Values[ValueID-1].second++;
9130b57cec5SDimitry Andric     return;
9140b57cec5SDimitry Andric   }
9150b57cec5SDimitry Andric 
9160b57cec5SDimitry Andric   if (auto *GO = dyn_cast<GlobalObject>(V))
9170b57cec5SDimitry Andric     if (const Comdat *C = GO->getComdat())
9180b57cec5SDimitry Andric       Comdats.insert(C);
9190b57cec5SDimitry Andric 
9200b57cec5SDimitry Andric   // Enumerate the type of this value.
9210b57cec5SDimitry Andric   EnumerateType(V->getType());
9220b57cec5SDimitry Andric 
9230b57cec5SDimitry Andric   if (const Constant *C = dyn_cast<Constant>(V)) {
9240b57cec5SDimitry Andric     if (isa<GlobalValue>(C)) {
9250b57cec5SDimitry Andric       // Initializers for globals are handled explicitly elsewhere.
9260b57cec5SDimitry Andric     } else if (C->getNumOperands()) {
9270b57cec5SDimitry Andric       // If a constant has operands, enumerate them.  This makes sure that if a
9280b57cec5SDimitry Andric       // constant has uses (for example an array of const ints), that they are
9290b57cec5SDimitry Andric       // inserted also.
9300b57cec5SDimitry Andric 
9310b57cec5SDimitry Andric       // We prefer to enumerate them with values before we enumerate the user
9320b57cec5SDimitry Andric       // itself.  This makes it more likely that we can avoid forward references
9330b57cec5SDimitry Andric       // in the reader.  We know that there can be no cycles in the constants
9340b57cec5SDimitry Andric       // graph that don't go through a global variable.
9350b57cec5SDimitry Andric       for (User::const_op_iterator I = C->op_begin(), E = C->op_end();
9360b57cec5SDimitry Andric            I != E; ++I)
9370b57cec5SDimitry Andric         if (!isa<BasicBlock>(*I)) // Don't enumerate BB operand to BlockAddress.
9380b57cec5SDimitry Andric           EnumerateValue(*I);
9395ffd83dbSDimitry Andric       if (auto *CE = dyn_cast<ConstantExpr>(C))
9405ffd83dbSDimitry Andric         if (CE->getOpcode() == Instruction::ShuffleVector)
9415ffd83dbSDimitry Andric           EnumerateValue(CE->getShuffleMaskForBitcode());
9420b57cec5SDimitry Andric 
9430b57cec5SDimitry Andric       // Finally, add the value.  Doing this could make the ValueID reference be
9440b57cec5SDimitry Andric       // dangling, don't reuse it.
9450b57cec5SDimitry Andric       Values.push_back(std::make_pair(V, 1U));
9460b57cec5SDimitry Andric       ValueMap[V] = Values.size();
9470b57cec5SDimitry Andric       return;
9480b57cec5SDimitry Andric     }
9490b57cec5SDimitry Andric   }
9500b57cec5SDimitry Andric 
9510b57cec5SDimitry Andric   // Add the value.
9520b57cec5SDimitry Andric   Values.push_back(std::make_pair(V, 1U));
9530b57cec5SDimitry Andric   ValueID = Values.size();
9540b57cec5SDimitry Andric }
9550b57cec5SDimitry Andric 
9560b57cec5SDimitry Andric 
EnumerateType(Type * Ty)9570b57cec5SDimitry Andric void ValueEnumerator::EnumerateType(Type *Ty) {
9580b57cec5SDimitry Andric   unsigned *TypeID = &TypeMap[Ty];
9590b57cec5SDimitry Andric 
9600b57cec5SDimitry Andric   // We've already seen this type.
9610b57cec5SDimitry Andric   if (*TypeID)
9620b57cec5SDimitry Andric     return;
9630b57cec5SDimitry Andric 
9640b57cec5SDimitry Andric   // If it is a non-anonymous struct, mark the type as being visited so that we
9650b57cec5SDimitry Andric   // don't recursively visit it.  This is safe because we allow forward
9660b57cec5SDimitry Andric   // references of these in the bitcode reader.
9670b57cec5SDimitry Andric   if (StructType *STy = dyn_cast<StructType>(Ty))
9680b57cec5SDimitry Andric     if (!STy->isLiteral())
9690b57cec5SDimitry Andric       *TypeID = ~0U;
9700b57cec5SDimitry Andric 
9710b57cec5SDimitry Andric   // Enumerate all of the subtypes before we enumerate this type.  This ensures
9720b57cec5SDimitry Andric   // that the type will be enumerated in an order that can be directly built.
9730b57cec5SDimitry Andric   for (Type *SubTy : Ty->subtypes())
9740b57cec5SDimitry Andric     EnumerateType(SubTy);
9750b57cec5SDimitry Andric 
9760b57cec5SDimitry Andric   // Refresh the TypeID pointer in case the table rehashed.
9770b57cec5SDimitry Andric   TypeID = &TypeMap[Ty];
9780b57cec5SDimitry Andric 
9790b57cec5SDimitry Andric   // Check to see if we got the pointer another way.  This can happen when
9800b57cec5SDimitry Andric   // enumerating recursive types that hit the base case deeper than they start.
9810b57cec5SDimitry Andric   //
9820b57cec5SDimitry Andric   // If this is actually a struct that we are treating as forward ref'able,
9830b57cec5SDimitry Andric   // then emit the definition now that all of its contents are available.
9840b57cec5SDimitry Andric   if (*TypeID && *TypeID != ~0U)
9850b57cec5SDimitry Andric     return;
9860b57cec5SDimitry Andric 
9870b57cec5SDimitry Andric   // Add this type now that its contents are all happily enumerated.
9880b57cec5SDimitry Andric   Types.push_back(Ty);
9890b57cec5SDimitry Andric 
9900b57cec5SDimitry Andric   *TypeID = Types.size();
9910b57cec5SDimitry Andric }
9920b57cec5SDimitry Andric 
9930b57cec5SDimitry Andric // Enumerate the types for the specified value.  If the value is a constant,
9940b57cec5SDimitry Andric // walk through it, enumerating the types of the constant.
EnumerateOperandType(const Value * V)9950b57cec5SDimitry Andric void ValueEnumerator::EnumerateOperandType(const Value *V) {
9960b57cec5SDimitry Andric   EnumerateType(V->getType());
9970b57cec5SDimitry Andric 
9980b57cec5SDimitry Andric   assert(!isa<MetadataAsValue>(V) && "Unexpected metadata operand");
9990b57cec5SDimitry Andric 
10000b57cec5SDimitry Andric   const Constant *C = dyn_cast<Constant>(V);
10010b57cec5SDimitry Andric   if (!C)
10020b57cec5SDimitry Andric     return;
10030b57cec5SDimitry Andric 
10040b57cec5SDimitry Andric   // If this constant is already enumerated, ignore it, we know its type must
10050b57cec5SDimitry Andric   // be enumerated.
10060b57cec5SDimitry Andric   if (ValueMap.count(C))
10070b57cec5SDimitry Andric     return;
10080b57cec5SDimitry Andric 
10090b57cec5SDimitry Andric   // This constant may have operands, make sure to enumerate the types in
10100b57cec5SDimitry Andric   // them.
10110b57cec5SDimitry Andric   for (const Value *Op : C->operands()) {
10120b57cec5SDimitry Andric     // Don't enumerate basic blocks here, this happens as operands to
10130b57cec5SDimitry Andric     // blockaddress.
10140b57cec5SDimitry Andric     if (isa<BasicBlock>(Op))
10150b57cec5SDimitry Andric       continue;
10160b57cec5SDimitry Andric 
10170b57cec5SDimitry Andric     EnumerateOperandType(Op);
10180b57cec5SDimitry Andric   }
1019*5f7ddb14SDimitry Andric   if (auto *CE = dyn_cast<ConstantExpr>(C)) {
10205ffd83dbSDimitry Andric     if (CE->getOpcode() == Instruction::ShuffleVector)
10215ffd83dbSDimitry Andric       EnumerateOperandType(CE->getShuffleMaskForBitcode());
1022*5f7ddb14SDimitry Andric     if (CE->getOpcode() == Instruction::GetElementPtr)
1023*5f7ddb14SDimitry Andric       EnumerateType(cast<GEPOperator>(CE)->getSourceElementType());
1024*5f7ddb14SDimitry Andric   }
10250b57cec5SDimitry Andric }
10260b57cec5SDimitry Andric 
EnumerateAttributes(AttributeList PAL)10270b57cec5SDimitry Andric void ValueEnumerator::EnumerateAttributes(AttributeList PAL) {
10280b57cec5SDimitry Andric   if (PAL.isEmpty()) return;  // null is always 0.
10290b57cec5SDimitry Andric 
10300b57cec5SDimitry Andric   // Do a lookup.
10310b57cec5SDimitry Andric   unsigned &Entry = AttributeListMap[PAL];
10320b57cec5SDimitry Andric   if (Entry == 0) {
10330b57cec5SDimitry Andric     // Never saw this before, add it.
10340b57cec5SDimitry Andric     AttributeLists.push_back(PAL);
10350b57cec5SDimitry Andric     Entry = AttributeLists.size();
10360b57cec5SDimitry Andric   }
10370b57cec5SDimitry Andric 
10380b57cec5SDimitry Andric   // Do lookups for all attribute groups.
10390b57cec5SDimitry Andric   for (unsigned i = PAL.index_begin(), e = PAL.index_end(); i != e; ++i) {
10400b57cec5SDimitry Andric     AttributeSet AS = PAL.getAttributes(i);
10410b57cec5SDimitry Andric     if (!AS.hasAttributes())
10420b57cec5SDimitry Andric       continue;
10430b57cec5SDimitry Andric     IndexAndAttrSet Pair = {i, AS};
10440b57cec5SDimitry Andric     unsigned &Entry = AttributeGroupMap[Pair];
10450b57cec5SDimitry Andric     if (Entry == 0) {
10460b57cec5SDimitry Andric       AttributeGroups.push_back(Pair);
10470b57cec5SDimitry Andric       Entry = AttributeGroups.size();
1048*5f7ddb14SDimitry Andric 
1049*5f7ddb14SDimitry Andric       for (Attribute Attr : AS) {
1050*5f7ddb14SDimitry Andric         if (Attr.isTypeAttribute())
1051*5f7ddb14SDimitry Andric           EnumerateType(Attr.getValueAsType());
1052*5f7ddb14SDimitry Andric       }
10530b57cec5SDimitry Andric     }
10540b57cec5SDimitry Andric   }
10550b57cec5SDimitry Andric }
10560b57cec5SDimitry Andric 
incorporateFunction(const Function & F)10570b57cec5SDimitry Andric void ValueEnumerator::incorporateFunction(const Function &F) {
10580b57cec5SDimitry Andric   InstructionCount = 0;
10590b57cec5SDimitry Andric   NumModuleValues = Values.size();
10600b57cec5SDimitry Andric 
10610b57cec5SDimitry Andric   // Add global metadata to the function block.  This doesn't include
10620b57cec5SDimitry Andric   // LocalAsMetadata.
10630b57cec5SDimitry Andric   incorporateFunctionMetadata(F);
10640b57cec5SDimitry Andric 
10650b57cec5SDimitry Andric   // Adding function arguments to the value table.
10660b57cec5SDimitry Andric   for (const auto &I : F.args()) {
10670b57cec5SDimitry Andric     EnumerateValue(&I);
10680b57cec5SDimitry Andric     if (I.hasAttribute(Attribute::ByVal))
10690b57cec5SDimitry Andric       EnumerateType(I.getParamByValType());
1070af732203SDimitry Andric     else if (I.hasAttribute(Attribute::StructRet))
1071af732203SDimitry Andric       EnumerateType(I.getParamStructRetType());
1072*5f7ddb14SDimitry Andric     else if (I.hasAttribute(Attribute::ByRef))
1073*5f7ddb14SDimitry Andric       EnumerateType(I.getParamByRefType());
10740b57cec5SDimitry Andric   }
10750b57cec5SDimitry Andric   FirstFuncConstantID = Values.size();
10760b57cec5SDimitry Andric 
10770b57cec5SDimitry Andric   // Add all function-level constants to the value table.
10780b57cec5SDimitry Andric   for (const BasicBlock &BB : F) {
10795ffd83dbSDimitry Andric     for (const Instruction &I : BB) {
10800b57cec5SDimitry Andric       for (const Use &OI : I.operands()) {
10810b57cec5SDimitry Andric         if ((isa<Constant>(OI) && !isa<GlobalValue>(OI)) || isa<InlineAsm>(OI))
10820b57cec5SDimitry Andric           EnumerateValue(OI);
10830b57cec5SDimitry Andric       }
10845ffd83dbSDimitry Andric       if (auto *SVI = dyn_cast<ShuffleVectorInst>(&I))
10855ffd83dbSDimitry Andric         EnumerateValue(SVI->getShuffleMaskForBitcode());
10865ffd83dbSDimitry Andric     }
10870b57cec5SDimitry Andric     BasicBlocks.push_back(&BB);
10880b57cec5SDimitry Andric     ValueMap[&BB] = BasicBlocks.size();
10890b57cec5SDimitry Andric   }
10900b57cec5SDimitry Andric 
10910b57cec5SDimitry Andric   // Optimize the constant layout.
10920b57cec5SDimitry Andric   OptimizeConstants(FirstFuncConstantID, Values.size());
10930b57cec5SDimitry Andric 
10940b57cec5SDimitry Andric   // Add the function's parameter attributes so they are available for use in
10950b57cec5SDimitry Andric   // the function's instruction.
10960b57cec5SDimitry Andric   EnumerateAttributes(F.getAttributes());
10970b57cec5SDimitry Andric 
10980b57cec5SDimitry Andric   FirstInstID = Values.size();
10990b57cec5SDimitry Andric 
11000b57cec5SDimitry Andric   SmallVector<LocalAsMetadata *, 8> FnLocalMDVector;
1101*5f7ddb14SDimitry Andric   SmallVector<DIArgList *, 8> ArgListMDVector;
11020b57cec5SDimitry Andric   // Add all of the instructions.
11030b57cec5SDimitry Andric   for (const BasicBlock &BB : F) {
11040b57cec5SDimitry Andric     for (const Instruction &I : BB) {
11050b57cec5SDimitry Andric       for (const Use &OI : I.operands()) {
1106*5f7ddb14SDimitry Andric         if (auto *MD = dyn_cast<MetadataAsValue>(&OI)) {
1107*5f7ddb14SDimitry Andric           if (auto *Local = dyn_cast<LocalAsMetadata>(MD->getMetadata())) {
11080b57cec5SDimitry Andric             // Enumerate metadata after the instructions they might refer to.
11090b57cec5SDimitry Andric             FnLocalMDVector.push_back(Local);
1110*5f7ddb14SDimitry Andric           } else if (auto *ArgList = dyn_cast<DIArgList>(MD->getMetadata())) {
1111*5f7ddb14SDimitry Andric             ArgListMDVector.push_back(ArgList);
1112*5f7ddb14SDimitry Andric             for (ValueAsMetadata *VMD : ArgList->getArgs()) {
1113*5f7ddb14SDimitry Andric               if (auto *Local = dyn_cast<LocalAsMetadata>(VMD)) {
1114*5f7ddb14SDimitry Andric                 // Enumerate metadata after the instructions they might refer
1115*5f7ddb14SDimitry Andric                 // to.
1116*5f7ddb14SDimitry Andric                 FnLocalMDVector.push_back(Local);
1117*5f7ddb14SDimitry Andric               }
1118*5f7ddb14SDimitry Andric             }
1119*5f7ddb14SDimitry Andric           }
1120*5f7ddb14SDimitry Andric         }
11210b57cec5SDimitry Andric       }
11220b57cec5SDimitry Andric 
11230b57cec5SDimitry Andric       if (!I.getType()->isVoidTy())
11240b57cec5SDimitry Andric         EnumerateValue(&I);
11250b57cec5SDimitry Andric     }
11260b57cec5SDimitry Andric   }
11270b57cec5SDimitry Andric 
11280b57cec5SDimitry Andric   // Add all of the function-local metadata.
11290b57cec5SDimitry Andric   for (unsigned i = 0, e = FnLocalMDVector.size(); i != e; ++i) {
11300b57cec5SDimitry Andric     // At this point, every local values have been incorporated, we shouldn't
11310b57cec5SDimitry Andric     // have a metadata operand that references a value that hasn't been seen.
11320b57cec5SDimitry Andric     assert(ValueMap.count(FnLocalMDVector[i]->getValue()) &&
11330b57cec5SDimitry Andric            "Missing value for metadata operand");
11340b57cec5SDimitry Andric     EnumerateFunctionLocalMetadata(F, FnLocalMDVector[i]);
11350b57cec5SDimitry Andric   }
1136*5f7ddb14SDimitry Andric   // DIArgList entries must come after function-local metadata, as it is not
1137*5f7ddb14SDimitry Andric   // possible to forward-reference them.
1138*5f7ddb14SDimitry Andric   for (const DIArgList *ArgList : ArgListMDVector)
1139*5f7ddb14SDimitry Andric     EnumerateFunctionLocalListMetadata(F, ArgList);
11400b57cec5SDimitry Andric }
11410b57cec5SDimitry Andric 
purgeFunction()11420b57cec5SDimitry Andric void ValueEnumerator::purgeFunction() {
11430b57cec5SDimitry Andric   /// Remove purged values from the ValueMap.
11440b57cec5SDimitry Andric   for (unsigned i = NumModuleValues, e = Values.size(); i != e; ++i)
11450b57cec5SDimitry Andric     ValueMap.erase(Values[i].first);
11460b57cec5SDimitry Andric   for (unsigned i = NumModuleMDs, e = MDs.size(); i != e; ++i)
11470b57cec5SDimitry Andric     MetadataMap.erase(MDs[i]);
11480b57cec5SDimitry Andric   for (unsigned i = 0, e = BasicBlocks.size(); i != e; ++i)
11490b57cec5SDimitry Andric     ValueMap.erase(BasicBlocks[i]);
11500b57cec5SDimitry Andric 
11510b57cec5SDimitry Andric   Values.resize(NumModuleValues);
11520b57cec5SDimitry Andric   MDs.resize(NumModuleMDs);
11530b57cec5SDimitry Andric   BasicBlocks.clear();
11540b57cec5SDimitry Andric   NumMDStrings = 0;
11550b57cec5SDimitry Andric }
11560b57cec5SDimitry Andric 
IncorporateFunctionInfoGlobalBBIDs(const Function * F,DenseMap<const BasicBlock *,unsigned> & IDMap)11570b57cec5SDimitry Andric static void IncorporateFunctionInfoGlobalBBIDs(const Function *F,
11580b57cec5SDimitry Andric                                  DenseMap<const BasicBlock*, unsigned> &IDMap) {
11590b57cec5SDimitry Andric   unsigned Counter = 0;
11600b57cec5SDimitry Andric   for (const BasicBlock &BB : *F)
11610b57cec5SDimitry Andric     IDMap[&BB] = ++Counter;
11620b57cec5SDimitry Andric }
11630b57cec5SDimitry Andric 
11640b57cec5SDimitry Andric /// getGlobalBasicBlockID - This returns the function-specific ID for the
11650b57cec5SDimitry Andric /// specified basic block.  This is relatively expensive information, so it
11660b57cec5SDimitry Andric /// should only be used by rare constructs such as address-of-label.
getGlobalBasicBlockID(const BasicBlock * BB) const11670b57cec5SDimitry Andric unsigned ValueEnumerator::getGlobalBasicBlockID(const BasicBlock *BB) const {
11680b57cec5SDimitry Andric   unsigned &Idx = GlobalBasicBlockIDs[BB];
11690b57cec5SDimitry Andric   if (Idx != 0)
11700b57cec5SDimitry Andric     return Idx-1;
11710b57cec5SDimitry Andric 
11720b57cec5SDimitry Andric   IncorporateFunctionInfoGlobalBBIDs(BB->getParent(), GlobalBasicBlockIDs);
11730b57cec5SDimitry Andric   return getGlobalBasicBlockID(BB);
11740b57cec5SDimitry Andric }
11750b57cec5SDimitry Andric 
computeBitsRequiredForTypeIndicies() const11760b57cec5SDimitry Andric uint64_t ValueEnumerator::computeBitsRequiredForTypeIndicies() const {
11770b57cec5SDimitry Andric   return Log2_32_Ceil(getTypes().size() + 1);
11780b57cec5SDimitry Andric }
1179