1ef27db87SMehdi Amini //===- MetadataLoader.cpp - Internal BitcodeReader implementation ---------===//
2ef27db87SMehdi Amini //
3ef27db87SMehdi Amini //                     The LLVM Compiler Infrastructure
4ef27db87SMehdi Amini //
5ef27db87SMehdi Amini // This file is distributed under the University of Illinois Open Source
6ef27db87SMehdi Amini // License. See LICENSE.TXT for details.
7ef27db87SMehdi Amini //
8ef27db87SMehdi Amini //===----------------------------------------------------------------------===//
9ef27db87SMehdi Amini 
10ef27db87SMehdi Amini #include "MetadataLoader.h"
11ef27db87SMehdi Amini #include "ValueList.h"
12ef27db87SMehdi Amini 
13ef27db87SMehdi Amini #include "llvm/ADT/APFloat.h"
14ef27db87SMehdi Amini #include "llvm/ADT/APInt.h"
15ef27db87SMehdi Amini #include "llvm/ADT/ArrayRef.h"
16ef27db87SMehdi Amini #include "llvm/ADT/DenseMap.h"
17ef27db87SMehdi Amini #include "llvm/ADT/None.h"
18ef27db87SMehdi Amini #include "llvm/ADT/STLExtras.h"
19ef27db87SMehdi Amini #include "llvm/ADT/SmallString.h"
20ef27db87SMehdi Amini #include "llvm/ADT/SmallVector.h"
21ef27db87SMehdi Amini #include "llvm/ADT/StringRef.h"
22ef27db87SMehdi Amini #include "llvm/ADT/Triple.h"
23ef27db87SMehdi Amini #include "llvm/ADT/Twine.h"
24ef27db87SMehdi Amini #include "llvm/Bitcode/BitcodeReader.h"
25ef27db87SMehdi Amini #include "llvm/Bitcode/BitstreamReader.h"
26ef27db87SMehdi Amini #include "llvm/Bitcode/LLVMBitCodes.h"
27ef27db87SMehdi Amini #include "llvm/IR/Argument.h"
28ef27db87SMehdi Amini #include "llvm/IR/Attributes.h"
29ef27db87SMehdi Amini #include "llvm/IR/AutoUpgrade.h"
30ef27db87SMehdi Amini #include "llvm/IR/BasicBlock.h"
31ef27db87SMehdi Amini #include "llvm/IR/CallSite.h"
32ef27db87SMehdi Amini #include "llvm/IR/CallingConv.h"
33ef27db87SMehdi Amini #include "llvm/IR/Comdat.h"
34ef27db87SMehdi Amini #include "llvm/IR/Constant.h"
35ef27db87SMehdi Amini #include "llvm/IR/Constants.h"
36ef27db87SMehdi Amini #include "llvm/IR/DebugInfo.h"
37ef27db87SMehdi Amini #include "llvm/IR/DebugInfoMetadata.h"
38ef27db87SMehdi Amini #include "llvm/IR/DebugLoc.h"
39ef27db87SMehdi Amini #include "llvm/IR/DerivedTypes.h"
40ef27db87SMehdi Amini #include "llvm/IR/DiagnosticInfo.h"
41ef27db87SMehdi Amini #include "llvm/IR/DiagnosticPrinter.h"
42ef27db87SMehdi Amini #include "llvm/IR/Function.h"
43ef27db87SMehdi Amini #include "llvm/IR/GVMaterializer.h"
44ef27db87SMehdi Amini #include "llvm/IR/GlobalAlias.h"
45ef27db87SMehdi Amini #include "llvm/IR/GlobalIFunc.h"
46ef27db87SMehdi Amini #include "llvm/IR/GlobalIndirectSymbol.h"
47ef27db87SMehdi Amini #include "llvm/IR/GlobalObject.h"
48ef27db87SMehdi Amini #include "llvm/IR/GlobalValue.h"
49ef27db87SMehdi Amini #include "llvm/IR/GlobalVariable.h"
50ef27db87SMehdi Amini #include "llvm/IR/InlineAsm.h"
51ef27db87SMehdi Amini #include "llvm/IR/InstrTypes.h"
52ef27db87SMehdi Amini #include "llvm/IR/Instruction.h"
53ef27db87SMehdi Amini #include "llvm/IR/Instructions.h"
54ef27db87SMehdi Amini #include "llvm/IR/Intrinsics.h"
55ef27db87SMehdi Amini #include "llvm/IR/LLVMContext.h"
56ef27db87SMehdi Amini #include "llvm/IR/Module.h"
57ef27db87SMehdi Amini #include "llvm/IR/ModuleSummaryIndex.h"
58ef27db87SMehdi Amini #include "llvm/IR/OperandTraits.h"
59ef27db87SMehdi Amini #include "llvm/IR/Operator.h"
60ef27db87SMehdi Amini #include "llvm/IR/TrackingMDRef.h"
61ef27db87SMehdi Amini #include "llvm/IR/Type.h"
62ef27db87SMehdi Amini #include "llvm/IR/ValueHandle.h"
63ef27db87SMehdi Amini #include "llvm/Support/AtomicOrdering.h"
64ef27db87SMehdi Amini #include "llvm/Support/Casting.h"
65ef27db87SMehdi Amini #include "llvm/Support/CommandLine.h"
66ef27db87SMehdi Amini #include "llvm/Support/Compiler.h"
67ef27db87SMehdi Amini #include "llvm/Support/Debug.h"
68ef27db87SMehdi Amini #include "llvm/Support/Error.h"
69ef27db87SMehdi Amini #include "llvm/Support/ErrorHandling.h"
70ef27db87SMehdi Amini #include "llvm/Support/ManagedStatic.h"
71ef27db87SMehdi Amini #include "llvm/Support/MemoryBuffer.h"
72ef27db87SMehdi Amini #include "llvm/Support/raw_ostream.h"
73ef27db87SMehdi Amini #include <algorithm>
74ef27db87SMehdi Amini #include <cassert>
75ef27db87SMehdi Amini #include <cstddef>
76ef27db87SMehdi Amini #include <cstdint>
77ef27db87SMehdi Amini #include <deque>
78ef27db87SMehdi Amini #include <limits>
79ef27db87SMehdi Amini #include <map>
80ef27db87SMehdi Amini #include <memory>
81ef27db87SMehdi Amini #include <string>
82ef27db87SMehdi Amini #include <system_error>
83ef27db87SMehdi Amini #include <tuple>
84ef27db87SMehdi Amini #include <utility>
85ef27db87SMehdi Amini #include <vector>
86ef27db87SMehdi Amini 
87ef27db87SMehdi Amini using namespace llvm;
88ef27db87SMehdi Amini 
89a61f5e37STeresa Johnson /// Flag whether we need to import full type definitions for ThinLTO.
90a61f5e37STeresa Johnson /// Currently needed for Darwin and LLDB.
91a61f5e37STeresa Johnson static cl::opt<bool> ImportFullTypeDefinitions(
92a61f5e37STeresa Johnson     "import-full-type-definitions", cl::init(false), cl::Hidden,
93a61f5e37STeresa Johnson     cl::desc("Import full type definitions for ThinLTO."));
94a61f5e37STeresa Johnson 
95ef27db87SMehdi Amini namespace {
96ef27db87SMehdi Amini 
97ef27db87SMehdi Amini static int64_t unrotateSign(uint64_t U) { return U & 1 ? ~(U >> 1) : U >> 1; }
98ef27db87SMehdi Amini 
99ef27db87SMehdi Amini class BitcodeReaderMetadataList {
100ef27db87SMehdi Amini   unsigned NumFwdRefs;
101ef27db87SMehdi Amini   bool AnyFwdRefs;
102ef27db87SMehdi Amini   unsigned MinFwdRef;
103ef27db87SMehdi Amini   unsigned MaxFwdRef;
104ef27db87SMehdi Amini 
105ef27db87SMehdi Amini   /// Array of metadata references.
106ef27db87SMehdi Amini   ///
107ef27db87SMehdi Amini   /// Don't use std::vector here.  Some versions of libc++ copy (instead of
108ef27db87SMehdi Amini   /// move) on resize, and TrackingMDRef is very expensive to copy.
109ef27db87SMehdi Amini   SmallVector<TrackingMDRef, 1> MetadataPtrs;
110ef27db87SMehdi Amini 
111ef27db87SMehdi Amini   /// Structures for resolving old type refs.
112ef27db87SMehdi Amini   struct {
113ef27db87SMehdi Amini     SmallDenseMap<MDString *, TempMDTuple, 1> Unknown;
114ef27db87SMehdi Amini     SmallDenseMap<MDString *, DICompositeType *, 1> Final;
115ef27db87SMehdi Amini     SmallDenseMap<MDString *, DICompositeType *, 1> FwdDecls;
116ef27db87SMehdi Amini     SmallVector<std::pair<TrackingMDRef, TempMDTuple>, 1> Arrays;
117ef27db87SMehdi Amini   } OldTypeRefs;
118ef27db87SMehdi Amini 
119ef27db87SMehdi Amini   LLVMContext &Context;
120ef27db87SMehdi Amini 
121ef27db87SMehdi Amini public:
122ef27db87SMehdi Amini   BitcodeReaderMetadataList(LLVMContext &C)
123ef27db87SMehdi Amini       : NumFwdRefs(0), AnyFwdRefs(false), Context(C) {}
124ef27db87SMehdi Amini 
125ef27db87SMehdi Amini   // vector compatibility methods
126ef27db87SMehdi Amini   unsigned size() const { return MetadataPtrs.size(); }
127ef27db87SMehdi Amini   void resize(unsigned N) { MetadataPtrs.resize(N); }
128ef27db87SMehdi Amini   void push_back(Metadata *MD) { MetadataPtrs.emplace_back(MD); }
129ef27db87SMehdi Amini   void clear() { MetadataPtrs.clear(); }
130ef27db87SMehdi Amini   Metadata *back() const { return MetadataPtrs.back(); }
131ef27db87SMehdi Amini   void pop_back() { MetadataPtrs.pop_back(); }
132ef27db87SMehdi Amini   bool empty() const { return MetadataPtrs.empty(); }
133ef27db87SMehdi Amini 
134ef27db87SMehdi Amini   Metadata *operator[](unsigned i) const {
135ef27db87SMehdi Amini     assert(i < MetadataPtrs.size());
136ef27db87SMehdi Amini     return MetadataPtrs[i];
137ef27db87SMehdi Amini   }
138ef27db87SMehdi Amini 
139ef27db87SMehdi Amini   Metadata *lookup(unsigned I) const {
140ef27db87SMehdi Amini     if (I < MetadataPtrs.size())
141ef27db87SMehdi Amini       return MetadataPtrs[I];
142ef27db87SMehdi Amini     return nullptr;
143ef27db87SMehdi Amini   }
144ef27db87SMehdi Amini 
145ef27db87SMehdi Amini   void shrinkTo(unsigned N) {
146ef27db87SMehdi Amini     assert(N <= size() && "Invalid shrinkTo request!");
147ef27db87SMehdi Amini     assert(!AnyFwdRefs && "Unexpected forward refs");
148ef27db87SMehdi Amini     MetadataPtrs.resize(N);
149ef27db87SMehdi Amini   }
150ef27db87SMehdi Amini 
151ef27db87SMehdi Amini   /// Return the given metadata, creating a replaceable forward reference if
152ef27db87SMehdi Amini   /// necessary.
153ef27db87SMehdi Amini   Metadata *getMetadataFwdRef(unsigned Idx);
154ef27db87SMehdi Amini 
155ef27db87SMehdi Amini   /// Return the the given metadata only if it is fully resolved.
156ef27db87SMehdi Amini   ///
157ef27db87SMehdi Amini   /// Gives the same result as \a lookup(), unless \a MDNode::isResolved()
158ef27db87SMehdi Amini   /// would give \c false.
159ef27db87SMehdi Amini   Metadata *getMetadataIfResolved(unsigned Idx);
160ef27db87SMehdi Amini 
161ef27db87SMehdi Amini   MDNode *getMDNodeFwdRefOrNull(unsigned Idx);
162ef27db87SMehdi Amini   void assignValue(Metadata *MD, unsigned Idx);
163ef27db87SMehdi Amini   void tryToResolveCycles();
164ef27db87SMehdi Amini   bool hasFwdRefs() const { return AnyFwdRefs; }
165ef27db87SMehdi Amini 
166ef27db87SMehdi Amini   /// Upgrade a type that had an MDString reference.
167ef27db87SMehdi Amini   void addTypeRef(MDString &UUID, DICompositeType &CT);
168ef27db87SMehdi Amini 
169ef27db87SMehdi Amini   /// Upgrade a type that had an MDString reference.
170ef27db87SMehdi Amini   Metadata *upgradeTypeRef(Metadata *MaybeUUID);
171ef27db87SMehdi Amini 
172ef27db87SMehdi Amini   /// Upgrade a type ref array that may have MDString references.
173ef27db87SMehdi Amini   Metadata *upgradeTypeRefArray(Metadata *MaybeTuple);
174ef27db87SMehdi Amini 
175ef27db87SMehdi Amini private:
176ef27db87SMehdi Amini   Metadata *resolveTypeRefArray(Metadata *MaybeTuple);
177ef27db87SMehdi Amini };
178ef27db87SMehdi Amini 
179ef27db87SMehdi Amini void BitcodeReaderMetadataList::assignValue(Metadata *MD, unsigned Idx) {
180ef27db87SMehdi Amini   if (Idx == size()) {
181ef27db87SMehdi Amini     push_back(MD);
182ef27db87SMehdi Amini     return;
183ef27db87SMehdi Amini   }
184ef27db87SMehdi Amini 
185ef27db87SMehdi Amini   if (Idx >= size())
186ef27db87SMehdi Amini     resize(Idx + 1);
187ef27db87SMehdi Amini 
188ef27db87SMehdi Amini   TrackingMDRef &OldMD = MetadataPtrs[Idx];
189ef27db87SMehdi Amini   if (!OldMD) {
190ef27db87SMehdi Amini     OldMD.reset(MD);
191ef27db87SMehdi Amini     return;
192ef27db87SMehdi Amini   }
193ef27db87SMehdi Amini 
194ef27db87SMehdi Amini   // If there was a forward reference to this value, replace it.
195ef27db87SMehdi Amini   TempMDTuple PrevMD(cast<MDTuple>(OldMD.get()));
196ef27db87SMehdi Amini   PrevMD->replaceAllUsesWith(MD);
197ef27db87SMehdi Amini   --NumFwdRefs;
198ef27db87SMehdi Amini }
199ef27db87SMehdi Amini 
200ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::getMetadataFwdRef(unsigned Idx) {
201ef27db87SMehdi Amini   if (Idx >= size())
202ef27db87SMehdi Amini     resize(Idx + 1);
203ef27db87SMehdi Amini 
204ef27db87SMehdi Amini   if (Metadata *MD = MetadataPtrs[Idx])
205ef27db87SMehdi Amini     return MD;
206ef27db87SMehdi Amini 
207ef27db87SMehdi Amini   // Track forward refs to be resolved later.
208ef27db87SMehdi Amini   if (AnyFwdRefs) {
209ef27db87SMehdi Amini     MinFwdRef = std::min(MinFwdRef, Idx);
210ef27db87SMehdi Amini     MaxFwdRef = std::max(MaxFwdRef, Idx);
211ef27db87SMehdi Amini   } else {
212ef27db87SMehdi Amini     AnyFwdRefs = true;
213ef27db87SMehdi Amini     MinFwdRef = MaxFwdRef = Idx;
214ef27db87SMehdi Amini   }
215ef27db87SMehdi Amini   ++NumFwdRefs;
216ef27db87SMehdi Amini 
217ef27db87SMehdi Amini   // Create and return a placeholder, which will later be RAUW'd.
218ef27db87SMehdi Amini   Metadata *MD = MDNode::getTemporary(Context, None).release();
219ef27db87SMehdi Amini   MetadataPtrs[Idx].reset(MD);
220ef27db87SMehdi Amini   return MD;
221ef27db87SMehdi Amini }
222ef27db87SMehdi Amini 
223ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::getMetadataIfResolved(unsigned Idx) {
224ef27db87SMehdi Amini   Metadata *MD = lookup(Idx);
225ef27db87SMehdi Amini   if (auto *N = dyn_cast_or_null<MDNode>(MD))
226ef27db87SMehdi Amini     if (!N->isResolved())
227ef27db87SMehdi Amini       return nullptr;
228ef27db87SMehdi Amini   return MD;
229ef27db87SMehdi Amini }
230ef27db87SMehdi Amini 
231ef27db87SMehdi Amini MDNode *BitcodeReaderMetadataList::getMDNodeFwdRefOrNull(unsigned Idx) {
232ef27db87SMehdi Amini   return dyn_cast_or_null<MDNode>(getMetadataFwdRef(Idx));
233ef27db87SMehdi Amini }
234ef27db87SMehdi Amini 
235ef27db87SMehdi Amini void BitcodeReaderMetadataList::tryToResolveCycles() {
236ef27db87SMehdi Amini   if (NumFwdRefs)
237ef27db87SMehdi Amini     // Still forward references... can't resolve cycles.
238ef27db87SMehdi Amini     return;
239ef27db87SMehdi Amini 
240ef27db87SMehdi Amini   bool DidReplaceTypeRefs = false;
241ef27db87SMehdi Amini 
242ef27db87SMehdi Amini   // Give up on finding a full definition for any forward decls that remain.
243ef27db87SMehdi Amini   for (const auto &Ref : OldTypeRefs.FwdDecls)
244ef27db87SMehdi Amini     OldTypeRefs.Final.insert(Ref);
245ef27db87SMehdi Amini   OldTypeRefs.FwdDecls.clear();
246ef27db87SMehdi Amini 
247ef27db87SMehdi Amini   // Upgrade from old type ref arrays.  In strange cases, this could add to
248ef27db87SMehdi Amini   // OldTypeRefs.Unknown.
249ef27db87SMehdi Amini   for (const auto &Array : OldTypeRefs.Arrays) {
250ef27db87SMehdi Amini     DidReplaceTypeRefs = true;
251ef27db87SMehdi Amini     Array.second->replaceAllUsesWith(resolveTypeRefArray(Array.first.get()));
252ef27db87SMehdi Amini   }
253ef27db87SMehdi Amini   OldTypeRefs.Arrays.clear();
254ef27db87SMehdi Amini 
255ef27db87SMehdi Amini   // Replace old string-based type refs with the resolved node, if possible.
256ef27db87SMehdi Amini   // If we haven't seen the node, leave it to the verifier to complain about
257ef27db87SMehdi Amini   // the invalid string reference.
258ef27db87SMehdi Amini   for (const auto &Ref : OldTypeRefs.Unknown) {
259ef27db87SMehdi Amini     DidReplaceTypeRefs = true;
260ef27db87SMehdi Amini     if (DICompositeType *CT = OldTypeRefs.Final.lookup(Ref.first))
261ef27db87SMehdi Amini       Ref.second->replaceAllUsesWith(CT);
262ef27db87SMehdi Amini     else
263ef27db87SMehdi Amini       Ref.second->replaceAllUsesWith(Ref.first);
264ef27db87SMehdi Amini   }
265ef27db87SMehdi Amini   OldTypeRefs.Unknown.clear();
266ef27db87SMehdi Amini 
267ef27db87SMehdi Amini   // Make sure all the upgraded types are resolved.
268ef27db87SMehdi Amini   if (DidReplaceTypeRefs) {
269ef27db87SMehdi Amini     AnyFwdRefs = true;
270ef27db87SMehdi Amini     MinFwdRef = 0;
271ef27db87SMehdi Amini     MaxFwdRef = MetadataPtrs.size() - 1;
272ef27db87SMehdi Amini   }
273ef27db87SMehdi Amini 
274ef27db87SMehdi Amini   if (!AnyFwdRefs)
275ef27db87SMehdi Amini     // Nothing to do.
276ef27db87SMehdi Amini     return;
277ef27db87SMehdi Amini 
278ef27db87SMehdi Amini   // Resolve any cycles.
279ef27db87SMehdi Amini   for (unsigned I = MinFwdRef, E = MaxFwdRef + 1; I != E; ++I) {
280ef27db87SMehdi Amini     auto &MD = MetadataPtrs[I];
281ef27db87SMehdi Amini     auto *N = dyn_cast_or_null<MDNode>(MD);
282ef27db87SMehdi Amini     if (!N)
283ef27db87SMehdi Amini       continue;
284ef27db87SMehdi Amini 
285ef27db87SMehdi Amini     assert(!N->isTemporary() && "Unexpected forward reference");
286ef27db87SMehdi Amini     N->resolveCycles();
287ef27db87SMehdi Amini   }
288ef27db87SMehdi Amini 
289ef27db87SMehdi Amini   // Make sure we return early again until there's another forward ref.
290ef27db87SMehdi Amini   AnyFwdRefs = false;
291ef27db87SMehdi Amini }
292ef27db87SMehdi Amini 
293ef27db87SMehdi Amini void BitcodeReaderMetadataList::addTypeRef(MDString &UUID,
294ef27db87SMehdi Amini                                            DICompositeType &CT) {
295ef27db87SMehdi Amini   assert(CT.getRawIdentifier() == &UUID && "Mismatched UUID");
296ef27db87SMehdi Amini   if (CT.isForwardDecl())
297ef27db87SMehdi Amini     OldTypeRefs.FwdDecls.insert(std::make_pair(&UUID, &CT));
298ef27db87SMehdi Amini   else
299ef27db87SMehdi Amini     OldTypeRefs.Final.insert(std::make_pair(&UUID, &CT));
300ef27db87SMehdi Amini }
301ef27db87SMehdi Amini 
302ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::upgradeTypeRef(Metadata *MaybeUUID) {
303ef27db87SMehdi Amini   auto *UUID = dyn_cast_or_null<MDString>(MaybeUUID);
304ef27db87SMehdi Amini   if (LLVM_LIKELY(!UUID))
305ef27db87SMehdi Amini     return MaybeUUID;
306ef27db87SMehdi Amini 
307ef27db87SMehdi Amini   if (auto *CT = OldTypeRefs.Final.lookup(UUID))
308ef27db87SMehdi Amini     return CT;
309ef27db87SMehdi Amini 
310ef27db87SMehdi Amini   auto &Ref = OldTypeRefs.Unknown[UUID];
311ef27db87SMehdi Amini   if (!Ref)
312ef27db87SMehdi Amini     Ref = MDNode::getTemporary(Context, None);
313ef27db87SMehdi Amini   return Ref.get();
314ef27db87SMehdi Amini }
315ef27db87SMehdi Amini 
316ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::upgradeTypeRefArray(Metadata *MaybeTuple) {
317ef27db87SMehdi Amini   auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple);
318ef27db87SMehdi Amini   if (!Tuple || Tuple->isDistinct())
319ef27db87SMehdi Amini     return MaybeTuple;
320ef27db87SMehdi Amini 
321ef27db87SMehdi Amini   // Look through the array immediately if possible.
322ef27db87SMehdi Amini   if (!Tuple->isTemporary())
323ef27db87SMehdi Amini     return resolveTypeRefArray(Tuple);
324ef27db87SMehdi Amini 
325ef27db87SMehdi Amini   // Create and return a placeholder to use for now.  Eventually
326ef27db87SMehdi Amini   // resolveTypeRefArrays() will be resolve this forward reference.
327ef27db87SMehdi Amini   OldTypeRefs.Arrays.emplace_back(
328ef27db87SMehdi Amini       std::piecewise_construct, std::forward_as_tuple(Tuple),
329ef27db87SMehdi Amini       std::forward_as_tuple(MDTuple::getTemporary(Context, None)));
330ef27db87SMehdi Amini   return OldTypeRefs.Arrays.back().second.get();
331ef27db87SMehdi Amini }
332ef27db87SMehdi Amini 
333ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::resolveTypeRefArray(Metadata *MaybeTuple) {
334ef27db87SMehdi Amini   auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple);
335ef27db87SMehdi Amini   if (!Tuple || Tuple->isDistinct())
336ef27db87SMehdi Amini     return MaybeTuple;
337ef27db87SMehdi Amini 
338ef27db87SMehdi Amini   // Look through the DITypeRefArray, upgrading each DITypeRef.
339ef27db87SMehdi Amini   SmallVector<Metadata *, 32> Ops;
340ef27db87SMehdi Amini   Ops.reserve(Tuple->getNumOperands());
341ef27db87SMehdi Amini   for (Metadata *MD : Tuple->operands())
342ef27db87SMehdi Amini     Ops.push_back(upgradeTypeRef(MD));
343ef27db87SMehdi Amini 
344ef27db87SMehdi Amini   return MDTuple::get(Context, Ops);
345ef27db87SMehdi Amini }
346ef27db87SMehdi Amini 
347ef27db87SMehdi Amini namespace {
348ef27db87SMehdi Amini 
349ef27db87SMehdi Amini class PlaceholderQueue {
350ef27db87SMehdi Amini   // Placeholders would thrash around when moved, so store in a std::deque
351ef27db87SMehdi Amini   // instead of some sort of vector.
352ef27db87SMehdi Amini   std::deque<DistinctMDOperandPlaceholder> PHs;
353ef27db87SMehdi Amini 
354ef27db87SMehdi Amini public:
355ef27db87SMehdi Amini   DistinctMDOperandPlaceholder &getPlaceholderOp(unsigned ID);
356ef27db87SMehdi Amini   void flush(BitcodeReaderMetadataList &MetadataList);
357ef27db87SMehdi Amini };
358ef27db87SMehdi Amini 
359ef27db87SMehdi Amini } // end anonymous namespace
360ef27db87SMehdi Amini 
361ef27db87SMehdi Amini DistinctMDOperandPlaceholder &PlaceholderQueue::getPlaceholderOp(unsigned ID) {
362ef27db87SMehdi Amini   PHs.emplace_back(ID);
363ef27db87SMehdi Amini   return PHs.back();
364ef27db87SMehdi Amini }
365ef27db87SMehdi Amini 
366ef27db87SMehdi Amini void PlaceholderQueue::flush(BitcodeReaderMetadataList &MetadataList) {
367ef27db87SMehdi Amini   while (!PHs.empty()) {
368ef27db87SMehdi Amini     PHs.front().replaceUseWith(
369ef27db87SMehdi Amini         MetadataList.getMetadataFwdRef(PHs.front().getID()));
370ef27db87SMehdi Amini     PHs.pop_front();
371ef27db87SMehdi Amini   }
372ef27db87SMehdi Amini }
373ef27db87SMehdi Amini 
374ef27db87SMehdi Amini } // anonynous namespace
375ef27db87SMehdi Amini 
376ef27db87SMehdi Amini class MetadataLoader::MetadataLoaderImpl {
377ef27db87SMehdi Amini   BitcodeReaderMetadataList MetadataList;
378ef27db87SMehdi Amini   BitcodeReaderValueList &ValueList;
379ef27db87SMehdi Amini   BitstreamCursor &Stream;
380ef27db87SMehdi Amini   LLVMContext &Context;
381ef27db87SMehdi Amini   Module &TheModule;
382ef27db87SMehdi Amini   std::function<Type *(unsigned)> getTypeByID;
383ef27db87SMehdi Amini 
384ef27db87SMehdi Amini   /// Functions that need to be matched with subprograms when upgrading old
385ef27db87SMehdi Amini   /// metadata.
386ef27db87SMehdi Amini   SmallDenseMap<Function *, DISubprogram *, 16> FunctionsWithSPs;
387ef27db87SMehdi Amini 
388ef27db87SMehdi Amini   // Map the bitcode's custom MDKind ID to the Module's MDKind ID.
389ef27db87SMehdi Amini   DenseMap<unsigned, unsigned> MDKindMap;
390ef27db87SMehdi Amini 
3918662305bSMehdi Amini   bool StripTBAA = false;
392ef27db87SMehdi Amini   bool HasSeenOldLoopTags = false;
393ef27db87SMehdi Amini 
394ef27db87SMehdi Amini   Error parseMetadataStrings(ArrayRef<uint64_t> Record, StringRef Blob,
395ef27db87SMehdi Amini                              unsigned &NextMetadataNo);
396ef27db87SMehdi Amini   Error parseGlobalObjectAttachment(GlobalObject &GO,
397ef27db87SMehdi Amini                                     ArrayRef<uint64_t> Record);
398ef27db87SMehdi Amini   Error parseMetadataKindRecord(SmallVectorImpl<uint64_t> &Record);
399ef27db87SMehdi Amini 
400ef27db87SMehdi Amini public:
401ef27db87SMehdi Amini   MetadataLoaderImpl(BitstreamCursor &Stream, Module &TheModule,
402ef27db87SMehdi Amini                      BitcodeReaderValueList &ValueList,
403ef27db87SMehdi Amini                      std::function<Type *(unsigned)> getTypeByID)
404ef27db87SMehdi Amini       : MetadataList(TheModule.getContext()), ValueList(ValueList),
405ef27db87SMehdi Amini         Stream(Stream), Context(TheModule.getContext()), TheModule(TheModule),
406ef27db87SMehdi Amini         getTypeByID(getTypeByID) {}
407ef27db87SMehdi Amini 
408a61f5e37STeresa Johnson   Error parseMetadata(bool ModuleLevel, bool IsImporting);
409ef27db87SMehdi Amini 
410ef27db87SMehdi Amini   bool hasFwdRefs() const { return MetadataList.hasFwdRefs(); }
411ef27db87SMehdi Amini   Metadata *getMetadataFwdRef(unsigned Idx) {
412ef27db87SMehdi Amini     return MetadataList.getMetadataFwdRef(Idx);
413ef27db87SMehdi Amini   }
414ef27db87SMehdi Amini 
415ef27db87SMehdi Amini   MDNode *getMDNodeFwdRefOrNull(unsigned Idx) {
416ef27db87SMehdi Amini     return MetadataList.getMDNodeFwdRefOrNull(Idx);
417ef27db87SMehdi Amini   }
418ef27db87SMehdi Amini 
419ef27db87SMehdi Amini   DISubprogram *lookupSubprogramForFunction(Function *F) {
420ef27db87SMehdi Amini     return FunctionsWithSPs.lookup(F);
421ef27db87SMehdi Amini   }
422ef27db87SMehdi Amini 
423ef27db87SMehdi Amini   bool hasSeenOldLoopTags() { return HasSeenOldLoopTags; }
424ef27db87SMehdi Amini 
425ef27db87SMehdi Amini   Error parseMetadataAttachment(
426ef27db87SMehdi Amini       Function &F, const SmallVectorImpl<Instruction *> &InstructionList);
427ef27db87SMehdi Amini 
428ef27db87SMehdi Amini   Error parseMetadataKinds();
429ef27db87SMehdi Amini 
4308662305bSMehdi Amini   void setStripTBAA(bool Value) { StripTBAA = Value; }
4318662305bSMehdi Amini   bool isStrippingTBAA() { return StripTBAA; }
4328662305bSMehdi Amini 
433ef27db87SMehdi Amini   unsigned size() const { return MetadataList.size(); }
434ef27db87SMehdi Amini   void shrinkTo(unsigned N) { MetadataList.shrinkTo(N); }
435ef27db87SMehdi Amini };
436ef27db87SMehdi Amini 
437ef27db87SMehdi Amini Error error(const Twine &Message) {
438ef27db87SMehdi Amini   return make_error<StringError>(
439ef27db87SMehdi Amini       Message, make_error_code(BitcodeError::CorruptedBitcode));
440ef27db87SMehdi Amini }
441ef27db87SMehdi Amini 
442ef27db87SMehdi Amini /// Parse a METADATA_BLOCK. If ModuleLevel is true then we are parsing
443ef27db87SMehdi Amini /// module level metadata.
444a61f5e37STeresa Johnson Error MetadataLoader::MetadataLoaderImpl::parseMetadata(bool ModuleLevel,
445a61f5e37STeresa Johnson                                                         bool IsImporting) {
446ef27db87SMehdi Amini   if (!ModuleLevel && MetadataList.hasFwdRefs())
447ef27db87SMehdi Amini     return error("Invalid metadata: fwd refs into function blocks");
448ef27db87SMehdi Amini 
449ef27db87SMehdi Amini   if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
450ef27db87SMehdi Amini     return error("Invalid record");
451ef27db87SMehdi Amini 
452ef27db87SMehdi Amini   unsigned NextMetadataNo = MetadataList.size();
453ef27db87SMehdi Amini   std::vector<std::pair<DICompileUnit *, Metadata *>> CUSubprograms;
454ef27db87SMehdi Amini   SmallVector<uint64_t, 64> Record;
455ef27db87SMehdi Amini 
456ef27db87SMehdi Amini   PlaceholderQueue Placeholders;
457ef27db87SMehdi Amini   bool IsDistinct;
458ef27db87SMehdi Amini   auto getMD = [&](unsigned ID) -> Metadata * {
459ef27db87SMehdi Amini     if (!IsDistinct)
460ef27db87SMehdi Amini       return MetadataList.getMetadataFwdRef(ID);
461ef27db87SMehdi Amini     if (auto *MD = MetadataList.getMetadataIfResolved(ID))
462ef27db87SMehdi Amini       return MD;
463ef27db87SMehdi Amini     return &Placeholders.getPlaceholderOp(ID);
464ef27db87SMehdi Amini   };
465ef27db87SMehdi Amini   auto getMDOrNull = [&](unsigned ID) -> Metadata * {
466ef27db87SMehdi Amini     if (ID)
467ef27db87SMehdi Amini       return getMD(ID - 1);
468ef27db87SMehdi Amini     return nullptr;
469ef27db87SMehdi Amini   };
470ef27db87SMehdi Amini   auto getMDOrNullWithoutPlaceholders = [&](unsigned ID) -> Metadata * {
471ef27db87SMehdi Amini     if (ID)
472ef27db87SMehdi Amini       return MetadataList.getMetadataFwdRef(ID - 1);
473ef27db87SMehdi Amini     return nullptr;
474ef27db87SMehdi Amini   };
475ef27db87SMehdi Amini   auto getMDString = [&](unsigned ID) -> MDString * {
476ef27db87SMehdi Amini     // This requires that the ID is not really a forward reference.  In
477ef27db87SMehdi Amini     // particular, the MDString must already have been resolved.
478ef27db87SMehdi Amini     return cast_or_null<MDString>(getMDOrNull(ID));
479ef27db87SMehdi Amini   };
480ef27db87SMehdi Amini 
481ef27db87SMehdi Amini   // Support for old type refs.
482ef27db87SMehdi Amini   auto getDITypeRefOrNull = [&](unsigned ID) {
483ef27db87SMehdi Amini     return MetadataList.upgradeTypeRef(getMDOrNull(ID));
484ef27db87SMehdi Amini   };
485ef27db87SMehdi Amini 
486ef27db87SMehdi Amini #define GET_OR_DISTINCT(CLASS, ARGS)                                           \
487ef27db87SMehdi Amini   (IsDistinct ? CLASS::getDistinct ARGS : CLASS::get ARGS)
488ef27db87SMehdi Amini 
489ef27db87SMehdi Amini   // Read all the records.
490ef27db87SMehdi Amini   while (true) {
491ef27db87SMehdi Amini     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
492ef27db87SMehdi Amini 
493ef27db87SMehdi Amini     switch (Entry.Kind) {
494ef27db87SMehdi Amini     case BitstreamEntry::SubBlock: // Handled for us already.
495ef27db87SMehdi Amini     case BitstreamEntry::Error:
496ef27db87SMehdi Amini       return error("Malformed block");
497ef27db87SMehdi Amini     case BitstreamEntry::EndBlock:
498ef27db87SMehdi Amini       // Upgrade old-style CU <-> SP pointers to point from SP to CU.
499ef27db87SMehdi Amini       for (auto CU_SP : CUSubprograms)
500ef27db87SMehdi Amini         if (auto *SPs = dyn_cast_or_null<MDTuple>(CU_SP.second))
501ef27db87SMehdi Amini           for (auto &Op : SPs->operands())
502ef27db87SMehdi Amini             if (auto *SP = dyn_cast_or_null<MDNode>(Op))
503ef27db87SMehdi Amini               SP->replaceOperandWith(7, CU_SP.first);
504ef27db87SMehdi Amini 
505ef27db87SMehdi Amini       MetadataList.tryToResolveCycles();
506ef27db87SMehdi Amini       Placeholders.flush(MetadataList);
507ef27db87SMehdi Amini       return Error::success();
508ef27db87SMehdi Amini     case BitstreamEntry::Record:
509ef27db87SMehdi Amini       // The interesting case.
510ef27db87SMehdi Amini       break;
511ef27db87SMehdi Amini     }
512ef27db87SMehdi Amini 
513ef27db87SMehdi Amini     // Read a record.
514ef27db87SMehdi Amini     Record.clear();
515ef27db87SMehdi Amini     StringRef Blob;
516ef27db87SMehdi Amini     unsigned Code = Stream.readRecord(Entry.ID, Record, &Blob);
517ef27db87SMehdi Amini     IsDistinct = false;
518ef27db87SMehdi Amini     switch (Code) {
519ef27db87SMehdi Amini     default: // Default behavior: ignore.
520ef27db87SMehdi Amini       break;
521ef27db87SMehdi Amini     case bitc::METADATA_NAME: {
522ef27db87SMehdi Amini       // Read name of the named metadata.
523ef27db87SMehdi Amini       SmallString<8> Name(Record.begin(), Record.end());
524ef27db87SMehdi Amini       Record.clear();
525ef27db87SMehdi Amini       Code = Stream.ReadCode();
526ef27db87SMehdi Amini 
527ef27db87SMehdi Amini       unsigned NextBitCode = Stream.readRecord(Code, Record);
528ef27db87SMehdi Amini       if (NextBitCode != bitc::METADATA_NAMED_NODE)
529ef27db87SMehdi Amini         return error("METADATA_NAME not followed by METADATA_NAMED_NODE");
530ef27db87SMehdi Amini 
531ef27db87SMehdi Amini       // Read named metadata elements.
532ef27db87SMehdi Amini       unsigned Size = Record.size();
533ef27db87SMehdi Amini       NamedMDNode *NMD = TheModule.getOrInsertNamedMetadata(Name);
534ef27db87SMehdi Amini       for (unsigned i = 0; i != Size; ++i) {
535ef27db87SMehdi Amini         MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[i]);
536ef27db87SMehdi Amini         if (!MD)
537ef27db87SMehdi Amini           return error("Invalid record");
538ef27db87SMehdi Amini         NMD->addOperand(MD);
539ef27db87SMehdi Amini       }
540ef27db87SMehdi Amini       break;
541ef27db87SMehdi Amini     }
542ef27db87SMehdi Amini     case bitc::METADATA_OLD_FN_NODE: {
543ef27db87SMehdi Amini       // FIXME: Remove in 4.0.
544ef27db87SMehdi Amini       // This is a LocalAsMetadata record, the only type of function-local
545ef27db87SMehdi Amini       // metadata.
546ef27db87SMehdi Amini       if (Record.size() % 2 == 1)
547ef27db87SMehdi Amini         return error("Invalid record");
548ef27db87SMehdi Amini 
549ef27db87SMehdi Amini       // If this isn't a LocalAsMetadata record, we're dropping it.  This used
550ef27db87SMehdi Amini       // to be legal, but there's no upgrade path.
551ef27db87SMehdi Amini       auto dropRecord = [&] {
552ef27db87SMehdi Amini         MetadataList.assignValue(MDNode::get(Context, None), NextMetadataNo++);
553ef27db87SMehdi Amini       };
554ef27db87SMehdi Amini       if (Record.size() != 2) {
555ef27db87SMehdi Amini         dropRecord();
556ef27db87SMehdi Amini         break;
557ef27db87SMehdi Amini       }
558ef27db87SMehdi Amini 
559ef27db87SMehdi Amini       Type *Ty = getTypeByID(Record[0]);
560ef27db87SMehdi Amini       if (Ty->isMetadataTy() || Ty->isVoidTy()) {
561ef27db87SMehdi Amini         dropRecord();
562ef27db87SMehdi Amini         break;
563ef27db87SMehdi Amini       }
564ef27db87SMehdi Amini 
565ef27db87SMehdi Amini       MetadataList.assignValue(
566ef27db87SMehdi Amini           LocalAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)),
567ef27db87SMehdi Amini           NextMetadataNo++);
568ef27db87SMehdi Amini       break;
569ef27db87SMehdi Amini     }
570ef27db87SMehdi Amini     case bitc::METADATA_OLD_NODE: {
571ef27db87SMehdi Amini       // FIXME: Remove in 4.0.
572ef27db87SMehdi Amini       if (Record.size() % 2 == 1)
573ef27db87SMehdi Amini         return error("Invalid record");
574ef27db87SMehdi Amini 
575ef27db87SMehdi Amini       unsigned Size = Record.size();
576ef27db87SMehdi Amini       SmallVector<Metadata *, 8> Elts;
577ef27db87SMehdi Amini       for (unsigned i = 0; i != Size; i += 2) {
578ef27db87SMehdi Amini         Type *Ty = getTypeByID(Record[i]);
579ef27db87SMehdi Amini         if (!Ty)
580ef27db87SMehdi Amini           return error("Invalid record");
581ef27db87SMehdi Amini         if (Ty->isMetadataTy())
582ef27db87SMehdi Amini           Elts.push_back(getMD(Record[i + 1]));
583ef27db87SMehdi Amini         else if (!Ty->isVoidTy()) {
584ef27db87SMehdi Amini           auto *MD =
585ef27db87SMehdi Amini               ValueAsMetadata::get(ValueList.getValueFwdRef(Record[i + 1], Ty));
586ef27db87SMehdi Amini           assert(isa<ConstantAsMetadata>(MD) &&
587ef27db87SMehdi Amini                  "Expected non-function-local metadata");
588ef27db87SMehdi Amini           Elts.push_back(MD);
589ef27db87SMehdi Amini         } else
590ef27db87SMehdi Amini           Elts.push_back(nullptr);
591ef27db87SMehdi Amini       }
592ef27db87SMehdi Amini       MetadataList.assignValue(MDNode::get(Context, Elts), NextMetadataNo++);
593ef27db87SMehdi Amini       break;
594ef27db87SMehdi Amini     }
595ef27db87SMehdi Amini     case bitc::METADATA_VALUE: {
596ef27db87SMehdi Amini       if (Record.size() != 2)
597ef27db87SMehdi Amini         return error("Invalid record");
598ef27db87SMehdi Amini 
599ef27db87SMehdi Amini       Type *Ty = getTypeByID(Record[0]);
600ef27db87SMehdi Amini       if (Ty->isMetadataTy() || Ty->isVoidTy())
601ef27db87SMehdi Amini         return error("Invalid record");
602ef27db87SMehdi Amini 
603ef27db87SMehdi Amini       MetadataList.assignValue(
604ef27db87SMehdi Amini           ValueAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)),
605ef27db87SMehdi Amini           NextMetadataNo++);
606ef27db87SMehdi Amini       break;
607ef27db87SMehdi Amini     }
608ef27db87SMehdi Amini     case bitc::METADATA_DISTINCT_NODE:
609ef27db87SMehdi Amini       IsDistinct = true;
610ef27db87SMehdi Amini       LLVM_FALLTHROUGH;
611ef27db87SMehdi Amini     case bitc::METADATA_NODE: {
612ef27db87SMehdi Amini       SmallVector<Metadata *, 8> Elts;
613ef27db87SMehdi Amini       Elts.reserve(Record.size());
614ef27db87SMehdi Amini       for (unsigned ID : Record)
615ef27db87SMehdi Amini         Elts.push_back(getMDOrNull(ID));
616ef27db87SMehdi Amini       MetadataList.assignValue(IsDistinct ? MDNode::getDistinct(Context, Elts)
617ef27db87SMehdi Amini                                           : MDNode::get(Context, Elts),
618ef27db87SMehdi Amini                                NextMetadataNo++);
619ef27db87SMehdi Amini       break;
620ef27db87SMehdi Amini     }
621ef27db87SMehdi Amini     case bitc::METADATA_LOCATION: {
622ef27db87SMehdi Amini       if (Record.size() != 5)
623ef27db87SMehdi Amini         return error("Invalid record");
624ef27db87SMehdi Amini 
625ef27db87SMehdi Amini       IsDistinct = Record[0];
626ef27db87SMehdi Amini       unsigned Line = Record[1];
627ef27db87SMehdi Amini       unsigned Column = Record[2];
628ef27db87SMehdi Amini       Metadata *Scope = getMD(Record[3]);
629ef27db87SMehdi Amini       Metadata *InlinedAt = getMDOrNull(Record[4]);
630ef27db87SMehdi Amini       MetadataList.assignValue(
631ef27db87SMehdi Amini           GET_OR_DISTINCT(DILocation,
632ef27db87SMehdi Amini                           (Context, Line, Column, Scope, InlinedAt)),
633ef27db87SMehdi Amini           NextMetadataNo++);
634ef27db87SMehdi Amini       break;
635ef27db87SMehdi Amini     }
636ef27db87SMehdi Amini     case bitc::METADATA_GENERIC_DEBUG: {
637ef27db87SMehdi Amini       if (Record.size() < 4)
638ef27db87SMehdi Amini         return error("Invalid record");
639ef27db87SMehdi Amini 
640ef27db87SMehdi Amini       IsDistinct = Record[0];
641ef27db87SMehdi Amini       unsigned Tag = Record[1];
642ef27db87SMehdi Amini       unsigned Version = Record[2];
643ef27db87SMehdi Amini 
644ef27db87SMehdi Amini       if (Tag >= 1u << 16 || Version != 0)
645ef27db87SMehdi Amini         return error("Invalid record");
646ef27db87SMehdi Amini 
647ef27db87SMehdi Amini       auto *Header = getMDString(Record[3]);
648ef27db87SMehdi Amini       SmallVector<Metadata *, 8> DwarfOps;
649ef27db87SMehdi Amini       for (unsigned I = 4, E = Record.size(); I != E; ++I)
650ef27db87SMehdi Amini         DwarfOps.push_back(getMDOrNull(Record[I]));
651ef27db87SMehdi Amini       MetadataList.assignValue(
652ef27db87SMehdi Amini           GET_OR_DISTINCT(GenericDINode, (Context, Tag, Header, DwarfOps)),
653ef27db87SMehdi Amini           NextMetadataNo++);
654ef27db87SMehdi Amini       break;
655ef27db87SMehdi Amini     }
656ef27db87SMehdi Amini     case bitc::METADATA_SUBRANGE: {
657ef27db87SMehdi Amini       if (Record.size() != 3)
658ef27db87SMehdi Amini         return error("Invalid record");
659ef27db87SMehdi Amini 
660ef27db87SMehdi Amini       IsDistinct = Record[0];
661ef27db87SMehdi Amini       MetadataList.assignValue(
662ef27db87SMehdi Amini           GET_OR_DISTINCT(DISubrange,
663ef27db87SMehdi Amini                           (Context, Record[1], unrotateSign(Record[2]))),
664ef27db87SMehdi Amini           NextMetadataNo++);
665ef27db87SMehdi Amini       break;
666ef27db87SMehdi Amini     }
667ef27db87SMehdi Amini     case bitc::METADATA_ENUMERATOR: {
668ef27db87SMehdi Amini       if (Record.size() != 3)
669ef27db87SMehdi Amini         return error("Invalid record");
670ef27db87SMehdi Amini 
671ef27db87SMehdi Amini       IsDistinct = Record[0];
672ef27db87SMehdi Amini       MetadataList.assignValue(
673ef27db87SMehdi Amini           GET_OR_DISTINCT(DIEnumerator, (Context, unrotateSign(Record[1]),
674ef27db87SMehdi Amini                                          getMDString(Record[2]))),
675ef27db87SMehdi Amini           NextMetadataNo++);
676ef27db87SMehdi Amini       break;
677ef27db87SMehdi Amini     }
678ef27db87SMehdi Amini     case bitc::METADATA_BASIC_TYPE: {
679ef27db87SMehdi Amini       if (Record.size() != 6)
680ef27db87SMehdi Amini         return error("Invalid record");
681ef27db87SMehdi Amini 
682ef27db87SMehdi Amini       IsDistinct = Record[0];
683ef27db87SMehdi Amini       MetadataList.assignValue(
684ef27db87SMehdi Amini           GET_OR_DISTINCT(DIBasicType,
685ef27db87SMehdi Amini                           (Context, Record[1], getMDString(Record[2]),
686ef27db87SMehdi Amini                            Record[3], Record[4], Record[5])),
687ef27db87SMehdi Amini           NextMetadataNo++);
688ef27db87SMehdi Amini       break;
689ef27db87SMehdi Amini     }
690ef27db87SMehdi Amini     case bitc::METADATA_DERIVED_TYPE: {
691ef27db87SMehdi Amini       if (Record.size() != 12)
692ef27db87SMehdi Amini         return error("Invalid record");
693ef27db87SMehdi Amini 
694ef27db87SMehdi Amini       IsDistinct = Record[0];
695ef27db87SMehdi Amini       DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]);
696ef27db87SMehdi Amini       MetadataList.assignValue(
697ef27db87SMehdi Amini           GET_OR_DISTINCT(DIDerivedType,
698ef27db87SMehdi Amini                           (Context, Record[1], getMDString(Record[2]),
699ef27db87SMehdi Amini                            getMDOrNull(Record[3]), Record[4],
700ef27db87SMehdi Amini                            getDITypeRefOrNull(Record[5]),
701ef27db87SMehdi Amini                            getDITypeRefOrNull(Record[6]), Record[7], Record[8],
702ef27db87SMehdi Amini                            Record[9], Flags, getDITypeRefOrNull(Record[11]))),
703ef27db87SMehdi Amini           NextMetadataNo++);
704ef27db87SMehdi Amini       break;
705ef27db87SMehdi Amini     }
706ef27db87SMehdi Amini     case bitc::METADATA_COMPOSITE_TYPE: {
707ef27db87SMehdi Amini       if (Record.size() != 16)
708ef27db87SMehdi Amini         return error("Invalid record");
709ef27db87SMehdi Amini 
710ef27db87SMehdi Amini       // If we have a UUID and this is not a forward declaration, lookup the
711ef27db87SMehdi Amini       // mapping.
712ef27db87SMehdi Amini       IsDistinct = Record[0] & 0x1;
713ef27db87SMehdi Amini       bool IsNotUsedInTypeRef = Record[0] >= 2;
714ef27db87SMehdi Amini       unsigned Tag = Record[1];
715ef27db87SMehdi Amini       MDString *Name = getMDString(Record[2]);
716ef27db87SMehdi Amini       Metadata *File = getMDOrNull(Record[3]);
717ef27db87SMehdi Amini       unsigned Line = Record[4];
718ef27db87SMehdi Amini       Metadata *Scope = getDITypeRefOrNull(Record[5]);
719a61f5e37STeresa Johnson       Metadata *BaseType = nullptr;
720ef27db87SMehdi Amini       uint64_t SizeInBits = Record[7];
721ef27db87SMehdi Amini       if (Record[8] > (uint64_t)std::numeric_limits<uint32_t>::max())
722ef27db87SMehdi Amini         return error("Alignment value is too large");
723ef27db87SMehdi Amini       uint32_t AlignInBits = Record[8];
724a61f5e37STeresa Johnson       uint64_t OffsetInBits = 0;
725ef27db87SMehdi Amini       DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]);
726a61f5e37STeresa Johnson       Metadata *Elements = nullptr;
727ef27db87SMehdi Amini       unsigned RuntimeLang = Record[12];
728a61f5e37STeresa Johnson       Metadata *VTableHolder = nullptr;
729a61f5e37STeresa Johnson       Metadata *TemplateParams = nullptr;
730ef27db87SMehdi Amini       auto *Identifier = getMDString(Record[15]);
731a61f5e37STeresa Johnson       // If this module is being parsed so that it can be ThinLTO imported
732a61f5e37STeresa Johnson       // into another module, composite types only need to be imported
733a61f5e37STeresa Johnson       // as type declarations (unless full type definitions requested).
734a61f5e37STeresa Johnson       // Create type declarations up front to save memory. Also, buildODRType
735a61f5e37STeresa Johnson       // handles the case where this is type ODRed with a definition needed
736a61f5e37STeresa Johnson       // by the importing module, in which case the existing definition is
737a61f5e37STeresa Johnson       // used.
738a61f5e37STeresa Johnson       if (IsImporting && !ImportFullTypeDefinitions &&
739a61f5e37STeresa Johnson           (Tag == dwarf::DW_TAG_enumeration_type ||
740a61f5e37STeresa Johnson            Tag == dwarf::DW_TAG_class_type ||
741a61f5e37STeresa Johnson            Tag == dwarf::DW_TAG_structure_type ||
742a61f5e37STeresa Johnson            Tag == dwarf::DW_TAG_union_type)) {
743a61f5e37STeresa Johnson         Flags = Flags | DINode::FlagFwdDecl;
744a61f5e37STeresa Johnson       } else {
745a61f5e37STeresa Johnson         BaseType = getDITypeRefOrNull(Record[6]);
746a61f5e37STeresa Johnson         OffsetInBits = Record[9];
747a61f5e37STeresa Johnson         Elements = getMDOrNull(Record[11]);
748a61f5e37STeresa Johnson         VTableHolder = getDITypeRefOrNull(Record[13]);
749a61f5e37STeresa Johnson         TemplateParams = getMDOrNull(Record[14]);
750a61f5e37STeresa Johnson       }
751ef27db87SMehdi Amini       DICompositeType *CT = nullptr;
752ef27db87SMehdi Amini       if (Identifier)
753ef27db87SMehdi Amini         CT = DICompositeType::buildODRType(
754ef27db87SMehdi Amini             Context, *Identifier, Tag, Name, File, Line, Scope, BaseType,
755ef27db87SMehdi Amini             SizeInBits, AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang,
756ef27db87SMehdi Amini             VTableHolder, TemplateParams);
757ef27db87SMehdi Amini 
758ef27db87SMehdi Amini       // Create a node if we didn't get a lazy ODR type.
759ef27db87SMehdi Amini       if (!CT)
760ef27db87SMehdi Amini         CT = GET_OR_DISTINCT(DICompositeType,
761ef27db87SMehdi Amini                              (Context, Tag, Name, File, Line, Scope, BaseType,
762ef27db87SMehdi Amini                               SizeInBits, AlignInBits, OffsetInBits, Flags,
763ef27db87SMehdi Amini                               Elements, RuntimeLang, VTableHolder,
764ef27db87SMehdi Amini                               TemplateParams, Identifier));
765ef27db87SMehdi Amini       if (!IsNotUsedInTypeRef && Identifier)
766ef27db87SMehdi Amini         MetadataList.addTypeRef(*Identifier, *cast<DICompositeType>(CT));
767ef27db87SMehdi Amini 
768ef27db87SMehdi Amini       MetadataList.assignValue(CT, NextMetadataNo++);
769ef27db87SMehdi Amini       break;
770ef27db87SMehdi Amini     }
771ef27db87SMehdi Amini     case bitc::METADATA_SUBROUTINE_TYPE: {
772ef27db87SMehdi Amini       if (Record.size() < 3 || Record.size() > 4)
773ef27db87SMehdi Amini         return error("Invalid record");
774ef27db87SMehdi Amini       bool IsOldTypeRefArray = Record[0] < 2;
775ef27db87SMehdi Amini       unsigned CC = (Record.size() > 3) ? Record[3] : 0;
776ef27db87SMehdi Amini 
777ef27db87SMehdi Amini       IsDistinct = Record[0] & 0x1;
778ef27db87SMehdi Amini       DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[1]);
779ef27db87SMehdi Amini       Metadata *Types = getMDOrNull(Record[2]);
780ef27db87SMehdi Amini       if (LLVM_UNLIKELY(IsOldTypeRefArray))
781ef27db87SMehdi Amini         Types = MetadataList.upgradeTypeRefArray(Types);
782ef27db87SMehdi Amini 
783ef27db87SMehdi Amini       MetadataList.assignValue(
784ef27db87SMehdi Amini           GET_OR_DISTINCT(DISubroutineType, (Context, Flags, CC, Types)),
785ef27db87SMehdi Amini           NextMetadataNo++);
786ef27db87SMehdi Amini       break;
787ef27db87SMehdi Amini     }
788ef27db87SMehdi Amini 
789ef27db87SMehdi Amini     case bitc::METADATA_MODULE: {
790ef27db87SMehdi Amini       if (Record.size() != 6)
791ef27db87SMehdi Amini         return error("Invalid record");
792ef27db87SMehdi Amini 
793ef27db87SMehdi Amini       IsDistinct = Record[0];
794ef27db87SMehdi Amini       MetadataList.assignValue(
795ef27db87SMehdi Amini           GET_OR_DISTINCT(DIModule,
796ef27db87SMehdi Amini                           (Context, getMDOrNull(Record[1]),
797ef27db87SMehdi Amini                            getMDString(Record[2]), getMDString(Record[3]),
798ef27db87SMehdi Amini                            getMDString(Record[4]), getMDString(Record[5]))),
799ef27db87SMehdi Amini           NextMetadataNo++);
800ef27db87SMehdi Amini       break;
801ef27db87SMehdi Amini     }
802ef27db87SMehdi Amini 
803ef27db87SMehdi Amini     case bitc::METADATA_FILE: {
804ef27db87SMehdi Amini       if (Record.size() != 3)
805ef27db87SMehdi Amini         return error("Invalid record");
806ef27db87SMehdi Amini 
807ef27db87SMehdi Amini       IsDistinct = Record[0];
808ef27db87SMehdi Amini       MetadataList.assignValue(
809ef27db87SMehdi Amini           GET_OR_DISTINCT(DIFile, (Context, getMDString(Record[1]),
810ef27db87SMehdi Amini                                    getMDString(Record[2]))),
811ef27db87SMehdi Amini           NextMetadataNo++);
812ef27db87SMehdi Amini       break;
813ef27db87SMehdi Amini     }
814ef27db87SMehdi Amini     case bitc::METADATA_COMPILE_UNIT: {
815ef27db87SMehdi Amini       if (Record.size() < 14 || Record.size() > 17)
816ef27db87SMehdi Amini         return error("Invalid record");
817ef27db87SMehdi Amini 
818ef27db87SMehdi Amini       // Ignore Record[0], which indicates whether this compile unit is
819ef27db87SMehdi Amini       // distinct.  It's always distinct.
820ef27db87SMehdi Amini       IsDistinct = true;
821ef27db87SMehdi Amini       auto *CU = DICompileUnit::getDistinct(
822ef27db87SMehdi Amini           Context, Record[1], getMDOrNull(Record[2]), getMDString(Record[3]),
823ef27db87SMehdi Amini           Record[4], getMDString(Record[5]), Record[6], getMDString(Record[7]),
824ef27db87SMehdi Amini           Record[8], getMDOrNull(Record[9]), getMDOrNull(Record[10]),
825ef27db87SMehdi Amini           getMDOrNull(Record[12]), getMDOrNull(Record[13]),
826ef27db87SMehdi Amini           Record.size() <= 15 ? nullptr : getMDOrNull(Record[15]),
827ef27db87SMehdi Amini           Record.size() <= 14 ? 0 : Record[14],
828ef27db87SMehdi Amini           Record.size() <= 16 ? true : Record[16]);
829ef27db87SMehdi Amini 
830ef27db87SMehdi Amini       MetadataList.assignValue(CU, NextMetadataNo++);
831ef27db87SMehdi Amini 
832ef27db87SMehdi Amini       // Move the Upgrade the list of subprograms.
833ef27db87SMehdi Amini       if (Metadata *SPs = getMDOrNullWithoutPlaceholders(Record[11]))
834ef27db87SMehdi Amini         CUSubprograms.push_back({CU, SPs});
835ef27db87SMehdi Amini       break;
836ef27db87SMehdi Amini     }
837ef27db87SMehdi Amini     case bitc::METADATA_SUBPROGRAM: {
838ef27db87SMehdi Amini       if (Record.size() < 18 || Record.size() > 20)
839ef27db87SMehdi Amini         return error("Invalid record");
840ef27db87SMehdi Amini 
841ef27db87SMehdi Amini       IsDistinct =
842ef27db87SMehdi Amini           (Record[0] & 1) || Record[8]; // All definitions should be distinct.
843ef27db87SMehdi Amini       // Version 1 has a Function as Record[15].
844ef27db87SMehdi Amini       // Version 2 has removed Record[15].
845ef27db87SMehdi Amini       // Version 3 has the Unit as Record[15].
846ef27db87SMehdi Amini       // Version 4 added thisAdjustment.
847ef27db87SMehdi Amini       bool HasUnit = Record[0] >= 2;
848ef27db87SMehdi Amini       if (HasUnit && Record.size() < 19)
849ef27db87SMehdi Amini         return error("Invalid record");
850ef27db87SMehdi Amini       Metadata *CUorFn = getMDOrNull(Record[15]);
851ef27db87SMehdi Amini       unsigned Offset = Record.size() >= 19 ? 1 : 0;
852ef27db87SMehdi Amini       bool HasFn = Offset && !HasUnit;
853ef27db87SMehdi Amini       bool HasThisAdj = Record.size() >= 20;
854ef27db87SMehdi Amini       DISubprogram *SP = GET_OR_DISTINCT(
855ef27db87SMehdi Amini           DISubprogram, (Context,
856ef27db87SMehdi Amini                          getDITypeRefOrNull(Record[1]),  // scope
857ef27db87SMehdi Amini                          getMDString(Record[2]),         // name
858ef27db87SMehdi Amini                          getMDString(Record[3]),         // linkageName
859ef27db87SMehdi Amini                          getMDOrNull(Record[4]),         // file
860ef27db87SMehdi Amini                          Record[5],                      // line
861ef27db87SMehdi Amini                          getMDOrNull(Record[6]),         // type
862ef27db87SMehdi Amini                          Record[7],                      // isLocal
863ef27db87SMehdi Amini                          Record[8],                      // isDefinition
864ef27db87SMehdi Amini                          Record[9],                      // scopeLine
865ef27db87SMehdi Amini                          getDITypeRefOrNull(Record[10]), // containingType
866ef27db87SMehdi Amini                          Record[11],                     // virtuality
867ef27db87SMehdi Amini                          Record[12],                     // virtualIndex
868ef27db87SMehdi Amini                          HasThisAdj ? Record[19] : 0,    // thisAdjustment
869ef27db87SMehdi Amini                          static_cast<DINode::DIFlags>(Record[13] // flags
870ef27db87SMehdi Amini                                                       ),
871ef27db87SMehdi Amini                          Record[14],                       // isOptimized
872ef27db87SMehdi Amini                          HasUnit ? CUorFn : nullptr,       // unit
873ef27db87SMehdi Amini                          getMDOrNull(Record[15 + Offset]), // templateParams
874ef27db87SMehdi Amini                          getMDOrNull(Record[16 + Offset]), // declaration
875ef27db87SMehdi Amini                          getMDOrNull(Record[17 + Offset])  // variables
876ef27db87SMehdi Amini                          ));
877ef27db87SMehdi Amini       MetadataList.assignValue(SP, NextMetadataNo++);
878ef27db87SMehdi Amini 
879ef27db87SMehdi Amini       // Upgrade sp->function mapping to function->sp mapping.
880ef27db87SMehdi Amini       if (HasFn) {
881ef27db87SMehdi Amini         if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(CUorFn))
882ef27db87SMehdi Amini           if (auto *F = dyn_cast<Function>(CMD->getValue())) {
883ef27db87SMehdi Amini             if (F->isMaterializable())
884ef27db87SMehdi Amini               // Defer until materialized; unmaterialized functions may not have
885ef27db87SMehdi Amini               // metadata.
886ef27db87SMehdi Amini               FunctionsWithSPs[F] = SP;
887ef27db87SMehdi Amini             else if (!F->empty())
888ef27db87SMehdi Amini               F->setSubprogram(SP);
889ef27db87SMehdi Amini           }
890ef27db87SMehdi Amini       }
891ef27db87SMehdi Amini       break;
892ef27db87SMehdi Amini     }
893ef27db87SMehdi Amini     case bitc::METADATA_LEXICAL_BLOCK: {
894ef27db87SMehdi Amini       if (Record.size() != 5)
895ef27db87SMehdi Amini         return error("Invalid record");
896ef27db87SMehdi Amini 
897ef27db87SMehdi Amini       IsDistinct = Record[0];
898ef27db87SMehdi Amini       MetadataList.assignValue(
899ef27db87SMehdi Amini           GET_OR_DISTINCT(DILexicalBlock,
900ef27db87SMehdi Amini                           (Context, getMDOrNull(Record[1]),
901ef27db87SMehdi Amini                            getMDOrNull(Record[2]), Record[3], Record[4])),
902ef27db87SMehdi Amini           NextMetadataNo++);
903ef27db87SMehdi Amini       break;
904ef27db87SMehdi Amini     }
905ef27db87SMehdi Amini     case bitc::METADATA_LEXICAL_BLOCK_FILE: {
906ef27db87SMehdi Amini       if (Record.size() != 4)
907ef27db87SMehdi Amini         return error("Invalid record");
908ef27db87SMehdi Amini 
909ef27db87SMehdi Amini       IsDistinct = Record[0];
910ef27db87SMehdi Amini       MetadataList.assignValue(
911ef27db87SMehdi Amini           GET_OR_DISTINCT(DILexicalBlockFile,
912ef27db87SMehdi Amini                           (Context, getMDOrNull(Record[1]),
913ef27db87SMehdi Amini                            getMDOrNull(Record[2]), Record[3])),
914ef27db87SMehdi Amini           NextMetadataNo++);
915ef27db87SMehdi Amini       break;
916ef27db87SMehdi Amini     }
917ef27db87SMehdi Amini     case bitc::METADATA_NAMESPACE: {
918ef27db87SMehdi Amini       if (Record.size() != 5)
919ef27db87SMehdi Amini         return error("Invalid record");
920ef27db87SMehdi Amini 
921ef27db87SMehdi Amini       IsDistinct = Record[0] & 1;
922ef27db87SMehdi Amini       bool ExportSymbols = Record[0] & 2;
923ef27db87SMehdi Amini       MetadataList.assignValue(
924ef27db87SMehdi Amini           GET_OR_DISTINCT(DINamespace,
925ef27db87SMehdi Amini                           (Context, getMDOrNull(Record[1]),
926ef27db87SMehdi Amini                            getMDOrNull(Record[2]), getMDString(Record[3]),
927ef27db87SMehdi Amini                            Record[4], ExportSymbols)),
928ef27db87SMehdi Amini           NextMetadataNo++);
929ef27db87SMehdi Amini       break;
930ef27db87SMehdi Amini     }
931ef27db87SMehdi Amini     case bitc::METADATA_MACRO: {
932ef27db87SMehdi Amini       if (Record.size() != 5)
933ef27db87SMehdi Amini         return error("Invalid record");
934ef27db87SMehdi Amini 
935ef27db87SMehdi Amini       IsDistinct = Record[0];
936ef27db87SMehdi Amini       MetadataList.assignValue(
937ef27db87SMehdi Amini           GET_OR_DISTINCT(DIMacro,
938ef27db87SMehdi Amini                           (Context, Record[1], Record[2],
939ef27db87SMehdi Amini                            getMDString(Record[3]), getMDString(Record[4]))),
940ef27db87SMehdi Amini           NextMetadataNo++);
941ef27db87SMehdi Amini       break;
942ef27db87SMehdi Amini     }
943ef27db87SMehdi Amini     case bitc::METADATA_MACRO_FILE: {
944ef27db87SMehdi Amini       if (Record.size() != 5)
945ef27db87SMehdi Amini         return error("Invalid record");
946ef27db87SMehdi Amini 
947ef27db87SMehdi Amini       IsDistinct = Record[0];
948ef27db87SMehdi Amini       MetadataList.assignValue(
949ef27db87SMehdi Amini           GET_OR_DISTINCT(DIMacroFile,
950ef27db87SMehdi Amini                           (Context, Record[1], Record[2],
951ef27db87SMehdi Amini                            getMDOrNull(Record[3]), getMDOrNull(Record[4]))),
952ef27db87SMehdi Amini           NextMetadataNo++);
953ef27db87SMehdi Amini       break;
954ef27db87SMehdi Amini     }
955ef27db87SMehdi Amini     case bitc::METADATA_TEMPLATE_TYPE: {
956ef27db87SMehdi Amini       if (Record.size() != 3)
957ef27db87SMehdi Amini         return error("Invalid record");
958ef27db87SMehdi Amini 
959ef27db87SMehdi Amini       IsDistinct = Record[0];
960ef27db87SMehdi Amini       MetadataList.assignValue(GET_OR_DISTINCT(DITemplateTypeParameter,
961ef27db87SMehdi Amini                                                (Context, getMDString(Record[1]),
962ef27db87SMehdi Amini                                                 getDITypeRefOrNull(Record[2]))),
963ef27db87SMehdi Amini                                NextMetadataNo++);
964ef27db87SMehdi Amini       break;
965ef27db87SMehdi Amini     }
966ef27db87SMehdi Amini     case bitc::METADATA_TEMPLATE_VALUE: {
967ef27db87SMehdi Amini       if (Record.size() != 5)
968ef27db87SMehdi Amini         return error("Invalid record");
969ef27db87SMehdi Amini 
970ef27db87SMehdi Amini       IsDistinct = Record[0];
971ef27db87SMehdi Amini       MetadataList.assignValue(
972ef27db87SMehdi Amini           GET_OR_DISTINCT(DITemplateValueParameter,
973ef27db87SMehdi Amini                           (Context, Record[1], getMDString(Record[2]),
974ef27db87SMehdi Amini                            getDITypeRefOrNull(Record[3]),
975ef27db87SMehdi Amini                            getMDOrNull(Record[4]))),
976ef27db87SMehdi Amini           NextMetadataNo++);
977ef27db87SMehdi Amini       break;
978ef27db87SMehdi Amini     }
979ef27db87SMehdi Amini     case bitc::METADATA_GLOBAL_VAR: {
980ef27db87SMehdi Amini       if (Record.size() < 11 || Record.size() > 12)
981ef27db87SMehdi Amini         return error("Invalid record");
982ef27db87SMehdi Amini 
983*bceaaa96SAdrian Prantl       IsDistinct = Record[0] & 1;
984*bceaaa96SAdrian Prantl       unsigned Version = Record[0] >> 1;
985ef27db87SMehdi Amini 
986*bceaaa96SAdrian Prantl       if (Version == 1) {
987*bceaaa96SAdrian Prantl         MetadataList.assignValue(
988*bceaaa96SAdrian Prantl             GET_OR_DISTINCT(DIGlobalVariable,
989*bceaaa96SAdrian Prantl                             (Context, getMDOrNull(Record[1]),
990*bceaaa96SAdrian Prantl                              getMDString(Record[2]), getMDString(Record[3]),
991*bceaaa96SAdrian Prantl                              getMDOrNull(Record[4]), Record[5],
992*bceaaa96SAdrian Prantl                              getDITypeRefOrNull(Record[6]), Record[7],
993*bceaaa96SAdrian Prantl                              Record[8], getMDOrNull(Record[10]), Record[11])),
994*bceaaa96SAdrian Prantl             NextMetadataNo++);
995*bceaaa96SAdrian Prantl       } else if (Version == 0) {
996ef27db87SMehdi Amini         // Upgrade old metadata, which stored a global variable reference or a
997ef27db87SMehdi Amini         // ConstantInt here.
998ef27db87SMehdi Amini         Metadata *Expr = getMDOrNull(Record[9]);
999ef27db87SMehdi Amini         uint32_t AlignInBits = 0;
1000ef27db87SMehdi Amini         if (Record.size() > 11) {
1001ef27db87SMehdi Amini           if (Record[11] > (uint64_t)std::numeric_limits<uint32_t>::max())
1002ef27db87SMehdi Amini             return error("Alignment value is too large");
1003ef27db87SMehdi Amini           AlignInBits = Record[11];
1004ef27db87SMehdi Amini         }
1005ef27db87SMehdi Amini         GlobalVariable *Attach = nullptr;
1006ef27db87SMehdi Amini         if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(Expr)) {
1007ef27db87SMehdi Amini           if (auto *GV = dyn_cast<GlobalVariable>(CMD->getValue())) {
1008ef27db87SMehdi Amini             Attach = GV;
1009ef27db87SMehdi Amini             Expr = nullptr;
1010ef27db87SMehdi Amini           } else if (auto *CI = dyn_cast<ConstantInt>(CMD->getValue())) {
1011ef27db87SMehdi Amini             Expr = DIExpression::get(Context,
1012ef27db87SMehdi Amini                                      {dwarf::DW_OP_constu, CI->getZExtValue(),
1013ef27db87SMehdi Amini                                       dwarf::DW_OP_stack_value});
1014ef27db87SMehdi Amini           } else {
1015ef27db87SMehdi Amini             Expr = nullptr;
1016ef27db87SMehdi Amini           }
1017ef27db87SMehdi Amini         }
1018ef27db87SMehdi Amini         DIGlobalVariable *DGV = GET_OR_DISTINCT(
1019ef27db87SMehdi Amini             DIGlobalVariable,
1020ef27db87SMehdi Amini             (Context, getMDOrNull(Record[1]), getMDString(Record[2]),
1021ef27db87SMehdi Amini              getMDString(Record[3]), getMDOrNull(Record[4]), Record[5],
1022*bceaaa96SAdrian Prantl              getDITypeRefOrNull(Record[6]), Record[7], Record[8],
1023ef27db87SMehdi Amini              getMDOrNull(Record[10]), AlignInBits));
102403c6d31aSAdrian Prantl 
1025*bceaaa96SAdrian Prantl         auto *DGVE =
1026*bceaaa96SAdrian Prantl             DIGlobalVariableExpression::getDistinct(Context, DGV, Expr);
1027*bceaaa96SAdrian Prantl         MetadataList.assignValue(DGVE, NextMetadataNo++);
102873ec0656SAdrian Prantl         if (Attach)
1029*bceaaa96SAdrian Prantl           Attach->addDebugInfo(DGVE);
1030*bceaaa96SAdrian Prantl       } else
1031*bceaaa96SAdrian Prantl         return error("Invalid record");
103273ec0656SAdrian Prantl 
1033ef27db87SMehdi Amini       break;
1034ef27db87SMehdi Amini     }
1035ef27db87SMehdi Amini     case bitc::METADATA_LOCAL_VAR: {
1036ef27db87SMehdi Amini       // 10th field is for the obseleted 'inlinedAt:' field.
1037ef27db87SMehdi Amini       if (Record.size() < 8 || Record.size() > 10)
1038ef27db87SMehdi Amini         return error("Invalid record");
1039ef27db87SMehdi Amini 
1040ef27db87SMehdi Amini       IsDistinct = Record[0] & 1;
1041ef27db87SMehdi Amini       bool HasAlignment = Record[0] & 2;
1042ef27db87SMehdi Amini       // 2nd field used to be an artificial tag, either DW_TAG_auto_variable or
1043ef27db87SMehdi Amini       // DW_TAG_arg_variable, if we have alignment flag encoded it means, that
1044ef27db87SMehdi Amini       // this is newer version of record which doesn't have artifical tag.
1045ef27db87SMehdi Amini       bool HasTag = !HasAlignment && Record.size() > 8;
1046ef27db87SMehdi Amini       DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[7 + HasTag]);
1047ef27db87SMehdi Amini       uint32_t AlignInBits = 0;
1048ef27db87SMehdi Amini       if (HasAlignment) {
1049ef27db87SMehdi Amini         if (Record[8 + HasTag] > (uint64_t)std::numeric_limits<uint32_t>::max())
1050ef27db87SMehdi Amini           return error("Alignment value is too large");
1051ef27db87SMehdi Amini         AlignInBits = Record[8 + HasTag];
1052ef27db87SMehdi Amini       }
1053ef27db87SMehdi Amini       MetadataList.assignValue(
1054ef27db87SMehdi Amini           GET_OR_DISTINCT(DILocalVariable,
1055ef27db87SMehdi Amini                           (Context, getMDOrNull(Record[1 + HasTag]),
1056ef27db87SMehdi Amini                            getMDString(Record[2 + HasTag]),
1057ef27db87SMehdi Amini                            getMDOrNull(Record[3 + HasTag]), Record[4 + HasTag],
1058ef27db87SMehdi Amini                            getDITypeRefOrNull(Record[5 + HasTag]),
1059ef27db87SMehdi Amini                            Record[6 + HasTag], Flags, AlignInBits)),
1060ef27db87SMehdi Amini           NextMetadataNo++);
1061ef27db87SMehdi Amini       break;
1062ef27db87SMehdi Amini     }
1063ef27db87SMehdi Amini     case bitc::METADATA_EXPRESSION: {
1064ef27db87SMehdi Amini       if (Record.size() < 1)
1065ef27db87SMehdi Amini         return error("Invalid record");
1066ef27db87SMehdi Amini 
1067ef27db87SMehdi Amini       IsDistinct = Record[0] & 1;
1068ef27db87SMehdi Amini       bool HasOpFragment = Record[0] & 2;
1069ef27db87SMehdi Amini       auto Elts = MutableArrayRef<uint64_t>(Record).slice(1);
1070ef27db87SMehdi Amini       if (!HasOpFragment)
1071ef27db87SMehdi Amini         if (unsigned N = Elts.size())
1072ef27db87SMehdi Amini           if (N >= 3 && Elts[N - 3] == dwarf::DW_OP_bit_piece)
1073ef27db87SMehdi Amini             Elts[N - 3] = dwarf::DW_OP_LLVM_fragment;
1074ef27db87SMehdi Amini 
1075ef27db87SMehdi Amini       MetadataList.assignValue(
1076ef27db87SMehdi Amini           GET_OR_DISTINCT(DIExpression,
1077ef27db87SMehdi Amini                           (Context, makeArrayRef(Record).slice(1))),
1078ef27db87SMehdi Amini           NextMetadataNo++);
1079ef27db87SMehdi Amini       break;
1080ef27db87SMehdi Amini     }
1081*bceaaa96SAdrian Prantl     case bitc::METADATA_GLOBAL_VAR_EXPR: {
1082*bceaaa96SAdrian Prantl       if (Record.size() != 3)
1083*bceaaa96SAdrian Prantl         return error("Invalid record");
1084*bceaaa96SAdrian Prantl 
1085*bceaaa96SAdrian Prantl       IsDistinct = Record[0];
1086*bceaaa96SAdrian Prantl       MetadataList.assignValue(GET_OR_DISTINCT(DIGlobalVariableExpression,
1087*bceaaa96SAdrian Prantl                                                (Context, getMDOrNull(Record[1]),
1088*bceaaa96SAdrian Prantl                                                 getMDOrNull(Record[2]))),
1089*bceaaa96SAdrian Prantl                                NextMetadataNo++);
1090*bceaaa96SAdrian Prantl       break;
1091*bceaaa96SAdrian Prantl     }
1092ef27db87SMehdi Amini     case bitc::METADATA_OBJC_PROPERTY: {
1093ef27db87SMehdi Amini       if (Record.size() != 8)
1094ef27db87SMehdi Amini         return error("Invalid record");
1095ef27db87SMehdi Amini 
1096ef27db87SMehdi Amini       IsDistinct = Record[0];
1097ef27db87SMehdi Amini       MetadataList.assignValue(
1098ef27db87SMehdi Amini           GET_OR_DISTINCT(DIObjCProperty,
1099ef27db87SMehdi Amini                           (Context, getMDString(Record[1]),
1100ef27db87SMehdi Amini                            getMDOrNull(Record[2]), Record[3],
1101ef27db87SMehdi Amini                            getMDString(Record[4]), getMDString(Record[5]),
1102ef27db87SMehdi Amini                            Record[6], getDITypeRefOrNull(Record[7]))),
1103ef27db87SMehdi Amini           NextMetadataNo++);
1104ef27db87SMehdi Amini       break;
1105ef27db87SMehdi Amini     }
1106ef27db87SMehdi Amini     case bitc::METADATA_IMPORTED_ENTITY: {
1107ef27db87SMehdi Amini       if (Record.size() != 6)
1108ef27db87SMehdi Amini         return error("Invalid record");
1109ef27db87SMehdi Amini 
1110ef27db87SMehdi Amini       IsDistinct = Record[0];
1111ef27db87SMehdi Amini       MetadataList.assignValue(
1112ef27db87SMehdi Amini           GET_OR_DISTINCT(DIImportedEntity,
1113ef27db87SMehdi Amini                           (Context, Record[1], getMDOrNull(Record[2]),
1114ef27db87SMehdi Amini                            getDITypeRefOrNull(Record[3]), Record[4],
1115ef27db87SMehdi Amini                            getMDString(Record[5]))),
1116ef27db87SMehdi Amini           NextMetadataNo++);
1117ef27db87SMehdi Amini       break;
1118ef27db87SMehdi Amini     }
1119ef27db87SMehdi Amini     case bitc::METADATA_STRING_OLD: {
1120ef27db87SMehdi Amini       std::string String(Record.begin(), Record.end());
1121ef27db87SMehdi Amini 
1122ef27db87SMehdi Amini       // Test for upgrading !llvm.loop.
1123ef27db87SMehdi Amini       HasSeenOldLoopTags |= mayBeOldLoopAttachmentTag(String);
1124ef27db87SMehdi Amini 
1125ef27db87SMehdi Amini       Metadata *MD = MDString::get(Context, String);
1126ef27db87SMehdi Amini       MetadataList.assignValue(MD, NextMetadataNo++);
1127ef27db87SMehdi Amini       break;
1128ef27db87SMehdi Amini     }
1129ef27db87SMehdi Amini     case bitc::METADATA_STRINGS:
1130ef27db87SMehdi Amini       if (Error Err = parseMetadataStrings(Record, Blob, NextMetadataNo))
1131ef27db87SMehdi Amini         return Err;
1132ef27db87SMehdi Amini       break;
1133ef27db87SMehdi Amini     case bitc::METADATA_GLOBAL_DECL_ATTACHMENT: {
1134ef27db87SMehdi Amini       if (Record.size() % 2 == 0)
1135ef27db87SMehdi Amini         return error("Invalid record");
1136ef27db87SMehdi Amini       unsigned ValueID = Record[0];
1137ef27db87SMehdi Amini       if (ValueID >= ValueList.size())
1138ef27db87SMehdi Amini         return error("Invalid record");
1139ef27db87SMehdi Amini       if (auto *GO = dyn_cast<GlobalObject>(ValueList[ValueID]))
1140ef27db87SMehdi Amini         if (Error Err = parseGlobalObjectAttachment(
1141ef27db87SMehdi Amini                 *GO, ArrayRef<uint64_t>(Record).slice(1)))
1142ef27db87SMehdi Amini           return Err;
1143ef27db87SMehdi Amini       break;
1144ef27db87SMehdi Amini     }
1145ef27db87SMehdi Amini     case bitc::METADATA_KIND: {
1146ef27db87SMehdi Amini       // Support older bitcode files that had METADATA_KIND records in a
1147ef27db87SMehdi Amini       // block with METADATA_BLOCK_ID.
1148ef27db87SMehdi Amini       if (Error Err = parseMetadataKindRecord(Record))
1149ef27db87SMehdi Amini         return Err;
1150ef27db87SMehdi Amini       break;
1151ef27db87SMehdi Amini     }
1152ef27db87SMehdi Amini     }
1153ef27db87SMehdi Amini   }
1154ef27db87SMehdi Amini #undef GET_OR_DISTINCT
1155ef27db87SMehdi Amini }
1156ef27db87SMehdi Amini 
1157ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataStrings(
1158ef27db87SMehdi Amini     ArrayRef<uint64_t> Record, StringRef Blob, unsigned &NextMetadataNo) {
1159ef27db87SMehdi Amini   // All the MDStrings in the block are emitted together in a single
1160ef27db87SMehdi Amini   // record.  The strings are concatenated and stored in a blob along with
1161ef27db87SMehdi Amini   // their sizes.
1162ef27db87SMehdi Amini   if (Record.size() != 2)
1163ef27db87SMehdi Amini     return error("Invalid record: metadata strings layout");
1164ef27db87SMehdi Amini 
1165ef27db87SMehdi Amini   unsigned NumStrings = Record[0];
1166ef27db87SMehdi Amini   unsigned StringsOffset = Record[1];
1167ef27db87SMehdi Amini   if (!NumStrings)
1168ef27db87SMehdi Amini     return error("Invalid record: metadata strings with no strings");
1169ef27db87SMehdi Amini   if (StringsOffset > Blob.size())
1170ef27db87SMehdi Amini     return error("Invalid record: metadata strings corrupt offset");
1171ef27db87SMehdi Amini 
1172ef27db87SMehdi Amini   StringRef Lengths = Blob.slice(0, StringsOffset);
1173ef27db87SMehdi Amini   SimpleBitstreamCursor R(Lengths);
1174ef27db87SMehdi Amini 
1175ef27db87SMehdi Amini   StringRef Strings = Blob.drop_front(StringsOffset);
1176ef27db87SMehdi Amini   do {
1177ef27db87SMehdi Amini     if (R.AtEndOfStream())
1178ef27db87SMehdi Amini       return error("Invalid record: metadata strings bad length");
1179ef27db87SMehdi Amini 
1180ef27db87SMehdi Amini     unsigned Size = R.ReadVBR(6);
1181ef27db87SMehdi Amini     if (Strings.size() < Size)
1182ef27db87SMehdi Amini       return error("Invalid record: metadata strings truncated chars");
1183ef27db87SMehdi Amini 
1184ef27db87SMehdi Amini     MetadataList.assignValue(MDString::get(Context, Strings.slice(0, Size)),
1185ef27db87SMehdi Amini                              NextMetadataNo++);
1186ef27db87SMehdi Amini     Strings = Strings.drop_front(Size);
1187ef27db87SMehdi Amini   } while (--NumStrings);
1188ef27db87SMehdi Amini 
1189ef27db87SMehdi Amini   return Error::success();
1190ef27db87SMehdi Amini }
1191ef27db87SMehdi Amini 
1192ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseGlobalObjectAttachment(
1193ef27db87SMehdi Amini     GlobalObject &GO, ArrayRef<uint64_t> Record) {
1194ef27db87SMehdi Amini   assert(Record.size() % 2 == 0);
1195ef27db87SMehdi Amini   for (unsigned I = 0, E = Record.size(); I != E; I += 2) {
1196ef27db87SMehdi Amini     auto K = MDKindMap.find(Record[I]);
1197ef27db87SMehdi Amini     if (K == MDKindMap.end())
1198ef27db87SMehdi Amini       return error("Invalid ID");
1199ef27db87SMehdi Amini     MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[I + 1]);
1200ef27db87SMehdi Amini     if (!MD)
1201ef27db87SMehdi Amini       return error("Invalid metadata attachment");
1202ef27db87SMehdi Amini     GO.addMetadata(K->second, *MD);
1203ef27db87SMehdi Amini   }
1204ef27db87SMehdi Amini   return Error::success();
1205ef27db87SMehdi Amini }
1206ef27db87SMehdi Amini 
1207ef27db87SMehdi Amini /// Parse metadata attachments.
1208ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataAttachment(
1209ef27db87SMehdi Amini     Function &F, const SmallVectorImpl<Instruction *> &InstructionList) {
1210ef27db87SMehdi Amini   if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID))
1211ef27db87SMehdi Amini     return error("Invalid record");
1212ef27db87SMehdi Amini 
1213ef27db87SMehdi Amini   SmallVector<uint64_t, 64> Record;
1214ef27db87SMehdi Amini 
1215ef27db87SMehdi Amini   while (true) {
1216ef27db87SMehdi Amini     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
1217ef27db87SMehdi Amini 
1218ef27db87SMehdi Amini     switch (Entry.Kind) {
1219ef27db87SMehdi Amini     case BitstreamEntry::SubBlock: // Handled for us already.
1220ef27db87SMehdi Amini     case BitstreamEntry::Error:
1221ef27db87SMehdi Amini       return error("Malformed block");
1222ef27db87SMehdi Amini     case BitstreamEntry::EndBlock:
1223ef27db87SMehdi Amini       return Error::success();
1224ef27db87SMehdi Amini     case BitstreamEntry::Record:
1225ef27db87SMehdi Amini       // The interesting case.
1226ef27db87SMehdi Amini       break;
1227ef27db87SMehdi Amini     }
1228ef27db87SMehdi Amini 
1229ef27db87SMehdi Amini     // Read a metadata attachment record.
1230ef27db87SMehdi Amini     Record.clear();
1231ef27db87SMehdi Amini     switch (Stream.readRecord(Entry.ID, Record)) {
1232ef27db87SMehdi Amini     default: // Default behavior: ignore.
1233ef27db87SMehdi Amini       break;
1234ef27db87SMehdi Amini     case bitc::METADATA_ATTACHMENT: {
1235ef27db87SMehdi Amini       unsigned RecordLength = Record.size();
1236ef27db87SMehdi Amini       if (Record.empty())
1237ef27db87SMehdi Amini         return error("Invalid record");
1238ef27db87SMehdi Amini       if (RecordLength % 2 == 0) {
1239ef27db87SMehdi Amini         // A function attachment.
1240ef27db87SMehdi Amini         if (Error Err = parseGlobalObjectAttachment(F, Record))
1241ef27db87SMehdi Amini           return Err;
1242ef27db87SMehdi Amini         continue;
1243ef27db87SMehdi Amini       }
1244ef27db87SMehdi Amini 
1245ef27db87SMehdi Amini       // An instruction attachment.
1246ef27db87SMehdi Amini       Instruction *Inst = InstructionList[Record[0]];
1247ef27db87SMehdi Amini       for (unsigned i = 1; i != RecordLength; i = i + 2) {
1248ef27db87SMehdi Amini         unsigned Kind = Record[i];
1249ef27db87SMehdi Amini         DenseMap<unsigned, unsigned>::iterator I = MDKindMap.find(Kind);
1250ef27db87SMehdi Amini         if (I == MDKindMap.end())
1251ef27db87SMehdi Amini           return error("Invalid ID");
12528662305bSMehdi Amini         if (I->second == LLVMContext::MD_tbaa && StripTBAA)
12538662305bSMehdi Amini           continue;
12548662305bSMehdi Amini 
1255ef27db87SMehdi Amini         Metadata *Node = MetadataList.getMetadataFwdRef(Record[i + 1]);
1256ef27db87SMehdi Amini         if (isa<LocalAsMetadata>(Node))
1257ef27db87SMehdi Amini           // Drop the attachment.  This used to be legal, but there's no
1258ef27db87SMehdi Amini           // upgrade path.
1259ef27db87SMehdi Amini           break;
1260ef27db87SMehdi Amini         MDNode *MD = dyn_cast_or_null<MDNode>(Node);
1261ef27db87SMehdi Amini         if (!MD)
1262ef27db87SMehdi Amini           return error("Invalid metadata attachment");
1263ef27db87SMehdi Amini 
1264ef27db87SMehdi Amini         if (HasSeenOldLoopTags && I->second == LLVMContext::MD_loop)
1265ef27db87SMehdi Amini           MD = upgradeInstructionLoopAttachment(*MD);
1266ef27db87SMehdi Amini 
1267ef27db87SMehdi Amini         if (I->second == LLVMContext::MD_tbaa) {
1268ef27db87SMehdi Amini           assert(!MD->isTemporary() && "should load MDs before attachments");
1269ef27db87SMehdi Amini           MD = UpgradeTBAANode(*MD);
1270ef27db87SMehdi Amini         }
1271ef27db87SMehdi Amini         Inst->setMetadata(I->second, MD);
1272ef27db87SMehdi Amini       }
1273ef27db87SMehdi Amini       break;
1274ef27db87SMehdi Amini     }
1275ef27db87SMehdi Amini     }
1276ef27db87SMehdi Amini   }
1277ef27db87SMehdi Amini }
1278ef27db87SMehdi Amini 
1279ef27db87SMehdi Amini /// Parse a single METADATA_KIND record, inserting result in MDKindMap.
1280ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataKindRecord(
1281ef27db87SMehdi Amini     SmallVectorImpl<uint64_t> &Record) {
1282ef27db87SMehdi Amini   if (Record.size() < 2)
1283ef27db87SMehdi Amini     return error("Invalid record");
1284ef27db87SMehdi Amini 
1285ef27db87SMehdi Amini   unsigned Kind = Record[0];
1286ef27db87SMehdi Amini   SmallString<8> Name(Record.begin() + 1, Record.end());
1287ef27db87SMehdi Amini 
1288ef27db87SMehdi Amini   unsigned NewKind = TheModule.getMDKindID(Name.str());
1289ef27db87SMehdi Amini   if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second)
1290ef27db87SMehdi Amini     return error("Conflicting METADATA_KIND records");
1291ef27db87SMehdi Amini   return Error::success();
1292ef27db87SMehdi Amini }
1293ef27db87SMehdi Amini 
1294ef27db87SMehdi Amini /// Parse the metadata kinds out of the METADATA_KIND_BLOCK.
1295ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataKinds() {
1296ef27db87SMehdi Amini   if (Stream.EnterSubBlock(bitc::METADATA_KIND_BLOCK_ID))
1297ef27db87SMehdi Amini     return error("Invalid record");
1298ef27db87SMehdi Amini 
1299ef27db87SMehdi Amini   SmallVector<uint64_t, 64> Record;
1300ef27db87SMehdi Amini 
1301ef27db87SMehdi Amini   // Read all the records.
1302ef27db87SMehdi Amini   while (true) {
1303ef27db87SMehdi Amini     BitstreamEntry Entry = Stream.advanceSkippingSubblocks();
1304ef27db87SMehdi Amini 
1305ef27db87SMehdi Amini     switch (Entry.Kind) {
1306ef27db87SMehdi Amini     case BitstreamEntry::SubBlock: // Handled for us already.
1307ef27db87SMehdi Amini     case BitstreamEntry::Error:
1308ef27db87SMehdi Amini       return error("Malformed block");
1309ef27db87SMehdi Amini     case BitstreamEntry::EndBlock:
1310ef27db87SMehdi Amini       return Error::success();
1311ef27db87SMehdi Amini     case BitstreamEntry::Record:
1312ef27db87SMehdi Amini       // The interesting case.
1313ef27db87SMehdi Amini       break;
1314ef27db87SMehdi Amini     }
1315ef27db87SMehdi Amini 
1316ef27db87SMehdi Amini     // Read a record.
1317ef27db87SMehdi Amini     Record.clear();
1318ef27db87SMehdi Amini     unsigned Code = Stream.readRecord(Entry.ID, Record);
1319ef27db87SMehdi Amini     switch (Code) {
1320ef27db87SMehdi Amini     default: // Default behavior: ignore.
1321ef27db87SMehdi Amini       break;
1322ef27db87SMehdi Amini     case bitc::METADATA_KIND: {
1323ef27db87SMehdi Amini       if (Error Err = parseMetadataKindRecord(Record))
1324ef27db87SMehdi Amini         return Err;
1325ef27db87SMehdi Amini       break;
1326ef27db87SMehdi Amini     }
1327ef27db87SMehdi Amini     }
1328ef27db87SMehdi Amini   }
1329ef27db87SMehdi Amini }
1330ef27db87SMehdi Amini 
1331ef27db87SMehdi Amini MetadataLoader &MetadataLoader::operator=(MetadataLoader &&RHS) {
1332ef27db87SMehdi Amini   Pimpl = std::move(RHS.Pimpl);
1333ef27db87SMehdi Amini   return *this;
1334ef27db87SMehdi Amini }
1335ef27db87SMehdi Amini MetadataLoader::MetadataLoader(MetadataLoader &&RHS)
1336a61f5e37STeresa Johnson     : Pimpl(std::move(RHS.Pimpl)), IsImporting(RHS.IsImporting) {}
1337ef27db87SMehdi Amini 
1338ef27db87SMehdi Amini MetadataLoader::~MetadataLoader() = default;
1339ef27db87SMehdi Amini MetadataLoader::MetadataLoader(BitstreamCursor &Stream, Module &TheModule,
1340ef27db87SMehdi Amini                                BitcodeReaderValueList &ValueList,
1341a61f5e37STeresa Johnson                                bool IsImporting,
1342ef27db87SMehdi Amini                                std::function<Type *(unsigned)> getTypeByID)
1343b3901bddSNico Weber     : Pimpl(llvm::make_unique<MetadataLoaderImpl>(Stream, TheModule, ValueList,
1344a61f5e37STeresa Johnson                                                   getTypeByID)),
1345a61f5e37STeresa Johnson       IsImporting(IsImporting) {}
1346ef27db87SMehdi Amini 
1347ef27db87SMehdi Amini Error MetadataLoader::parseMetadata(bool ModuleLevel) {
1348a61f5e37STeresa Johnson   return Pimpl->parseMetadata(ModuleLevel, IsImporting);
1349ef27db87SMehdi Amini }
1350ef27db87SMehdi Amini 
1351ef27db87SMehdi Amini bool MetadataLoader::hasFwdRefs() const { return Pimpl->hasFwdRefs(); }
1352ef27db87SMehdi Amini 
1353ef27db87SMehdi Amini /// Return the given metadata, creating a replaceable forward reference if
1354ef27db87SMehdi Amini /// necessary.
1355ef27db87SMehdi Amini Metadata *MetadataLoader::getMetadataFwdRef(unsigned Idx) {
1356ef27db87SMehdi Amini   return Pimpl->getMetadataFwdRef(Idx);
1357ef27db87SMehdi Amini }
1358ef27db87SMehdi Amini 
1359ef27db87SMehdi Amini MDNode *MetadataLoader::getMDNodeFwdRefOrNull(unsigned Idx) {
1360ef27db87SMehdi Amini   return Pimpl->getMDNodeFwdRefOrNull(Idx);
1361ef27db87SMehdi Amini }
1362ef27db87SMehdi Amini 
1363ef27db87SMehdi Amini DISubprogram *MetadataLoader::lookupSubprogramForFunction(Function *F) {
1364ef27db87SMehdi Amini   return Pimpl->lookupSubprogramForFunction(F);
1365ef27db87SMehdi Amini }
1366ef27db87SMehdi Amini 
1367ef27db87SMehdi Amini Error MetadataLoader::parseMetadataAttachment(
1368ef27db87SMehdi Amini     Function &F, const SmallVectorImpl<Instruction *> &InstructionList) {
1369ef27db87SMehdi Amini   return Pimpl->parseMetadataAttachment(F, InstructionList);
1370ef27db87SMehdi Amini }
1371ef27db87SMehdi Amini 
1372ef27db87SMehdi Amini Error MetadataLoader::parseMetadataKinds() {
1373ef27db87SMehdi Amini   return Pimpl->parseMetadataKinds();
1374ef27db87SMehdi Amini }
1375ef27db87SMehdi Amini 
13768662305bSMehdi Amini void MetadataLoader::setStripTBAA(bool StripTBAA) {
13778662305bSMehdi Amini   return Pimpl->setStripTBAA(StripTBAA);
13788662305bSMehdi Amini }
13798662305bSMehdi Amini 
13808662305bSMehdi Amini bool MetadataLoader::isStrippingTBAA() { return Pimpl->isStrippingTBAA(); }
13818662305bSMehdi Amini 
1382ef27db87SMehdi Amini unsigned MetadataLoader::size() const { return Pimpl->size(); }
1383ef27db87SMehdi Amini void MetadataLoader::shrinkTo(unsigned N) { return Pimpl->shrinkTo(N); }
1384