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