1d88c1a5aSDimitry Andric //===- MetadataLoader.cpp - Internal BitcodeReader implementation ---------===// 2d88c1a5aSDimitry Andric // 3d88c1a5aSDimitry Andric // The LLVM Compiler Infrastructure 4d88c1a5aSDimitry Andric // 5d88c1a5aSDimitry Andric // This file is distributed under the University of Illinois Open Source 6d88c1a5aSDimitry Andric // License. See LICENSE.TXT for details. 7d88c1a5aSDimitry Andric // 8d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===// 9d88c1a5aSDimitry Andric 10d88c1a5aSDimitry Andric #include "MetadataLoader.h" 11d88c1a5aSDimitry Andric #include "ValueList.h" 12d88c1a5aSDimitry Andric 13d88c1a5aSDimitry Andric #include "llvm/ADT/APFloat.h" 14d88c1a5aSDimitry Andric #include "llvm/ADT/APInt.h" 15d88c1a5aSDimitry Andric #include "llvm/ADT/ArrayRef.h" 16d88c1a5aSDimitry Andric #include "llvm/ADT/DenseMap.h" 1795ec533aSDimitry Andric #include "llvm/ADT/DenseSet.h" 18d88c1a5aSDimitry Andric #include "llvm/ADT/None.h" 19d88c1a5aSDimitry Andric #include "llvm/ADT/STLExtras.h" 20d88c1a5aSDimitry Andric #include "llvm/ADT/SmallString.h" 21d88c1a5aSDimitry Andric #include "llvm/ADT/SmallVector.h" 2295ec533aSDimitry Andric #include "llvm/ADT/Statistic.h" 23d88c1a5aSDimitry Andric #include "llvm/ADT/StringRef.h" 24d88c1a5aSDimitry Andric #include "llvm/ADT/Twine.h" 25d88c1a5aSDimitry Andric #include "llvm/Bitcode/BitcodeReader.h" 26d88c1a5aSDimitry Andric #include "llvm/Bitcode/BitstreamReader.h" 27d88c1a5aSDimitry Andric #include "llvm/Bitcode/LLVMBitCodes.h" 28d88c1a5aSDimitry Andric #include "llvm/IR/Argument.h" 29d88c1a5aSDimitry Andric #include "llvm/IR/Attributes.h" 30d88c1a5aSDimitry Andric #include "llvm/IR/AutoUpgrade.h" 31d88c1a5aSDimitry Andric #include "llvm/IR/BasicBlock.h" 32d88c1a5aSDimitry Andric #include "llvm/IR/CallingConv.h" 33d88c1a5aSDimitry Andric #include "llvm/IR/Comdat.h" 34d88c1a5aSDimitry Andric #include "llvm/IR/Constant.h" 35d88c1a5aSDimitry Andric #include "llvm/IR/Constants.h" 36d88c1a5aSDimitry Andric #include "llvm/IR/DebugInfo.h" 37d88c1a5aSDimitry Andric #include "llvm/IR/DebugInfoMetadata.h" 38d88c1a5aSDimitry Andric #include "llvm/IR/DebugLoc.h" 39d88c1a5aSDimitry Andric #include "llvm/IR/DerivedTypes.h" 40d88c1a5aSDimitry Andric #include "llvm/IR/DiagnosticPrinter.h" 41d88c1a5aSDimitry Andric #include "llvm/IR/Function.h" 42d88c1a5aSDimitry Andric #include "llvm/IR/GVMaterializer.h" 43d88c1a5aSDimitry Andric #include "llvm/IR/GlobalAlias.h" 44d88c1a5aSDimitry Andric #include "llvm/IR/GlobalIFunc.h" 45d88c1a5aSDimitry Andric #include "llvm/IR/GlobalIndirectSymbol.h" 46d88c1a5aSDimitry Andric #include "llvm/IR/GlobalObject.h" 47d88c1a5aSDimitry Andric #include "llvm/IR/GlobalValue.h" 48d88c1a5aSDimitry Andric #include "llvm/IR/GlobalVariable.h" 49d88c1a5aSDimitry Andric #include "llvm/IR/InlineAsm.h" 50d88c1a5aSDimitry Andric #include "llvm/IR/InstrTypes.h" 51d88c1a5aSDimitry Andric #include "llvm/IR/Instruction.h" 52d88c1a5aSDimitry Andric #include "llvm/IR/Instructions.h" 536bc11b14SDimitry Andric #include "llvm/IR/IntrinsicInst.h" 54db17bf38SDimitry Andric #include "llvm/IR/Intrinsics.h" 55d88c1a5aSDimitry Andric #include "llvm/IR/LLVMContext.h" 56d88c1a5aSDimitry Andric #include "llvm/IR/Module.h" 57d88c1a5aSDimitry Andric #include "llvm/IR/ModuleSummaryIndex.h" 58d88c1a5aSDimitry Andric #include "llvm/IR/OperandTraits.h" 59d88c1a5aSDimitry Andric #include "llvm/IR/TrackingMDRef.h" 60d88c1a5aSDimitry Andric #include "llvm/IR/Type.h" 61d88c1a5aSDimitry Andric #include "llvm/IR/ValueHandle.h" 62d88c1a5aSDimitry Andric #include "llvm/Support/AtomicOrdering.h" 63d88c1a5aSDimitry Andric #include "llvm/Support/Casting.h" 64d88c1a5aSDimitry Andric #include "llvm/Support/CommandLine.h" 65d88c1a5aSDimitry Andric #include "llvm/Support/Compiler.h" 66d88c1a5aSDimitry Andric #include "llvm/Support/Debug.h" 67d88c1a5aSDimitry Andric #include "llvm/Support/Error.h" 68d88c1a5aSDimitry Andric #include "llvm/Support/ErrorHandling.h" 69d88c1a5aSDimitry Andric #include "llvm/Support/ManagedStatic.h" 70d88c1a5aSDimitry Andric #include "llvm/Support/MemoryBuffer.h" 71d88c1a5aSDimitry Andric #include "llvm/Support/raw_ostream.h" 72d88c1a5aSDimitry Andric #include <algorithm> 73d88c1a5aSDimitry Andric #include <cassert> 74d88c1a5aSDimitry Andric #include <cstddef> 75d88c1a5aSDimitry Andric #include <cstdint> 76d88c1a5aSDimitry Andric #include <deque> 77d88c1a5aSDimitry Andric #include <limits> 78d88c1a5aSDimitry Andric #include <map> 79d88c1a5aSDimitry Andric #include <memory> 80d88c1a5aSDimitry Andric #include <string> 81d88c1a5aSDimitry Andric #include <system_error> 82d88c1a5aSDimitry Andric #include <tuple> 83d88c1a5aSDimitry Andric #include <utility> 84d88c1a5aSDimitry Andric #include <vector> 85d88c1a5aSDimitry Andric 86d88c1a5aSDimitry Andric using namespace llvm; 87d88c1a5aSDimitry Andric 8895ec533aSDimitry Andric #define DEBUG_TYPE "bitcode-reader" 8995ec533aSDimitry Andric 9095ec533aSDimitry Andric STATISTIC(NumMDStringLoaded, "Number of MDStrings loaded"); 9195ec533aSDimitry Andric STATISTIC(NumMDNodeTemporary, "Number of MDNode::Temporary created"); 9295ec533aSDimitry Andric STATISTIC(NumMDRecordLoaded, "Number of Metadata records loaded"); 9395ec533aSDimitry Andric 94d88c1a5aSDimitry Andric /// Flag whether we need to import full type definitions for ThinLTO. 95d88c1a5aSDimitry Andric /// Currently needed for Darwin and LLDB. 96d88c1a5aSDimitry Andric static cl::opt<bool> ImportFullTypeDefinitions( 97d88c1a5aSDimitry Andric "import-full-type-definitions", cl::init(false), cl::Hidden, 98d88c1a5aSDimitry Andric cl::desc("Import full type definitions for ThinLTO.")); 99d88c1a5aSDimitry Andric 10095ec533aSDimitry Andric static cl::opt<bool> DisableLazyLoading( 10195ec533aSDimitry Andric "disable-ondemand-mds-loading", cl::init(false), cl::Hidden, 10295ec533aSDimitry Andric cl::desc("Force disable the lazy-loading on-demand of metadata when " 10395ec533aSDimitry Andric "loading bitcode for importing.")); 10495ec533aSDimitry Andric 105d88c1a5aSDimitry Andric namespace { 106d88c1a5aSDimitry Andric 107d88c1a5aSDimitry Andric static int64_t unrotateSign(uint64_t U) { return U & 1 ? ~(U >> 1) : U >> 1; } 108d88c1a5aSDimitry Andric 109d88c1a5aSDimitry Andric class BitcodeReaderMetadataList { 110d88c1a5aSDimitry Andric /// Array of metadata references. 111d88c1a5aSDimitry Andric /// 112d88c1a5aSDimitry Andric /// Don't use std::vector here. Some versions of libc++ copy (instead of 113d88c1a5aSDimitry Andric /// move) on resize, and TrackingMDRef is very expensive to copy. 114d88c1a5aSDimitry Andric SmallVector<TrackingMDRef, 1> MetadataPtrs; 115d88c1a5aSDimitry Andric 116d88c1a5aSDimitry Andric /// The set of indices in MetadataPtrs above of forward references that were 117d88c1a5aSDimitry Andric /// generated. 118d88c1a5aSDimitry Andric SmallDenseSet<unsigned, 1> ForwardReference; 119d88c1a5aSDimitry Andric 120d88c1a5aSDimitry Andric /// The set of indices in MetadataPtrs above of Metadata that need to be 121d88c1a5aSDimitry Andric /// resolved. 122d88c1a5aSDimitry Andric SmallDenseSet<unsigned, 1> UnresolvedNodes; 123d88c1a5aSDimitry Andric 124d88c1a5aSDimitry Andric /// Structures for resolving old type refs. 125d88c1a5aSDimitry Andric struct { 126d88c1a5aSDimitry Andric SmallDenseMap<MDString *, TempMDTuple, 1> Unknown; 127d88c1a5aSDimitry Andric SmallDenseMap<MDString *, DICompositeType *, 1> Final; 128d88c1a5aSDimitry Andric SmallDenseMap<MDString *, DICompositeType *, 1> FwdDecls; 129d88c1a5aSDimitry Andric SmallVector<std::pair<TrackingMDRef, TempMDTuple>, 1> Arrays; 130d88c1a5aSDimitry Andric } OldTypeRefs; 131d88c1a5aSDimitry Andric 132d88c1a5aSDimitry Andric LLVMContext &Context; 133d88c1a5aSDimitry Andric 134d88c1a5aSDimitry Andric public: 135d88c1a5aSDimitry Andric BitcodeReaderMetadataList(LLVMContext &C) : Context(C) {} 136d88c1a5aSDimitry Andric 137d88c1a5aSDimitry Andric // vector compatibility methods 138d88c1a5aSDimitry Andric unsigned size() const { return MetadataPtrs.size(); } 139d88c1a5aSDimitry Andric void resize(unsigned N) { MetadataPtrs.resize(N); } 140d88c1a5aSDimitry Andric void push_back(Metadata *MD) { MetadataPtrs.emplace_back(MD); } 141d88c1a5aSDimitry Andric void clear() { MetadataPtrs.clear(); } 142d88c1a5aSDimitry Andric Metadata *back() const { return MetadataPtrs.back(); } 143d88c1a5aSDimitry Andric void pop_back() { MetadataPtrs.pop_back(); } 144d88c1a5aSDimitry Andric bool empty() const { return MetadataPtrs.empty(); } 145d88c1a5aSDimitry Andric 146d88c1a5aSDimitry Andric Metadata *operator[](unsigned i) const { 147d88c1a5aSDimitry Andric assert(i < MetadataPtrs.size()); 148d88c1a5aSDimitry Andric return MetadataPtrs[i]; 149d88c1a5aSDimitry Andric } 150d88c1a5aSDimitry Andric 151d88c1a5aSDimitry Andric Metadata *lookup(unsigned I) const { 152d88c1a5aSDimitry Andric if (I < MetadataPtrs.size()) 153d88c1a5aSDimitry Andric return MetadataPtrs[I]; 154d88c1a5aSDimitry Andric return nullptr; 155d88c1a5aSDimitry Andric } 156d88c1a5aSDimitry Andric 157d88c1a5aSDimitry Andric void shrinkTo(unsigned N) { 158d88c1a5aSDimitry Andric assert(N <= size() && "Invalid shrinkTo request!"); 159d88c1a5aSDimitry Andric assert(ForwardReference.empty() && "Unexpected forward refs"); 160d88c1a5aSDimitry Andric assert(UnresolvedNodes.empty() && "Unexpected unresolved node"); 161d88c1a5aSDimitry Andric MetadataPtrs.resize(N); 162d88c1a5aSDimitry Andric } 163d88c1a5aSDimitry Andric 164d88c1a5aSDimitry Andric /// Return the given metadata, creating a replaceable forward reference if 165d88c1a5aSDimitry Andric /// necessary. 166d88c1a5aSDimitry Andric Metadata *getMetadataFwdRef(unsigned Idx); 167d88c1a5aSDimitry Andric 168d88c1a5aSDimitry Andric /// Return the the given metadata only if it is fully resolved. 169d88c1a5aSDimitry Andric /// 170d88c1a5aSDimitry Andric /// Gives the same result as \a lookup(), unless \a MDNode::isResolved() 171d88c1a5aSDimitry Andric /// would give \c false. 172d88c1a5aSDimitry Andric Metadata *getMetadataIfResolved(unsigned Idx); 173d88c1a5aSDimitry Andric 174d88c1a5aSDimitry Andric MDNode *getMDNodeFwdRefOrNull(unsigned Idx); 175d88c1a5aSDimitry Andric void assignValue(Metadata *MD, unsigned Idx); 176d88c1a5aSDimitry Andric void tryToResolveCycles(); 177d88c1a5aSDimitry Andric bool hasFwdRefs() const { return !ForwardReference.empty(); } 17895ec533aSDimitry Andric int getNextFwdRef() { 17995ec533aSDimitry Andric assert(hasFwdRefs()); 18095ec533aSDimitry Andric return *ForwardReference.begin(); 18195ec533aSDimitry Andric } 182d88c1a5aSDimitry Andric 183d88c1a5aSDimitry Andric /// Upgrade a type that had an MDString reference. 184d88c1a5aSDimitry Andric void addTypeRef(MDString &UUID, DICompositeType &CT); 185d88c1a5aSDimitry Andric 186d88c1a5aSDimitry Andric /// Upgrade a type that had an MDString reference. 187d88c1a5aSDimitry Andric Metadata *upgradeTypeRef(Metadata *MaybeUUID); 188d88c1a5aSDimitry Andric 189d88c1a5aSDimitry Andric /// Upgrade a type ref array that may have MDString references. 190d88c1a5aSDimitry Andric Metadata *upgradeTypeRefArray(Metadata *MaybeTuple); 191d88c1a5aSDimitry Andric 192d88c1a5aSDimitry Andric private: 193d88c1a5aSDimitry Andric Metadata *resolveTypeRefArray(Metadata *MaybeTuple); 194d88c1a5aSDimitry Andric }; 195d88c1a5aSDimitry Andric 196d88c1a5aSDimitry Andric void BitcodeReaderMetadataList::assignValue(Metadata *MD, unsigned Idx) { 197d88c1a5aSDimitry Andric if (auto *MDN = dyn_cast<MDNode>(MD)) 198d88c1a5aSDimitry Andric if (!MDN->isResolved()) 199d88c1a5aSDimitry Andric UnresolvedNodes.insert(Idx); 200d88c1a5aSDimitry Andric 201d88c1a5aSDimitry Andric if (Idx == size()) { 202d88c1a5aSDimitry Andric push_back(MD); 203d88c1a5aSDimitry Andric return; 204d88c1a5aSDimitry Andric } 205d88c1a5aSDimitry Andric 206d88c1a5aSDimitry Andric if (Idx >= size()) 207d88c1a5aSDimitry Andric resize(Idx + 1); 208d88c1a5aSDimitry Andric 209d88c1a5aSDimitry Andric TrackingMDRef &OldMD = MetadataPtrs[Idx]; 210d88c1a5aSDimitry Andric if (!OldMD) { 211d88c1a5aSDimitry Andric OldMD.reset(MD); 212d88c1a5aSDimitry Andric return; 213d88c1a5aSDimitry Andric } 214d88c1a5aSDimitry Andric 215d88c1a5aSDimitry Andric // If there was a forward reference to this value, replace it. 216d88c1a5aSDimitry Andric TempMDTuple PrevMD(cast<MDTuple>(OldMD.get())); 217d88c1a5aSDimitry Andric PrevMD->replaceAllUsesWith(MD); 218d88c1a5aSDimitry Andric ForwardReference.erase(Idx); 219d88c1a5aSDimitry Andric } 220d88c1a5aSDimitry Andric 221d88c1a5aSDimitry Andric Metadata *BitcodeReaderMetadataList::getMetadataFwdRef(unsigned Idx) { 222d88c1a5aSDimitry Andric if (Idx >= size()) 223d88c1a5aSDimitry Andric resize(Idx + 1); 224d88c1a5aSDimitry Andric 225d88c1a5aSDimitry Andric if (Metadata *MD = MetadataPtrs[Idx]) 226d88c1a5aSDimitry Andric return MD; 227d88c1a5aSDimitry Andric 228d88c1a5aSDimitry Andric // Track forward refs to be resolved later. 229d88c1a5aSDimitry Andric ForwardReference.insert(Idx); 230d88c1a5aSDimitry Andric 231d88c1a5aSDimitry Andric // Create and return a placeholder, which will later be RAUW'd. 23295ec533aSDimitry Andric ++NumMDNodeTemporary; 233d88c1a5aSDimitry Andric Metadata *MD = MDNode::getTemporary(Context, None).release(); 234d88c1a5aSDimitry Andric MetadataPtrs[Idx].reset(MD); 235d88c1a5aSDimitry Andric return MD; 236d88c1a5aSDimitry Andric } 237d88c1a5aSDimitry Andric 238d88c1a5aSDimitry Andric Metadata *BitcodeReaderMetadataList::getMetadataIfResolved(unsigned Idx) { 239d88c1a5aSDimitry Andric Metadata *MD = lookup(Idx); 240d88c1a5aSDimitry Andric if (auto *N = dyn_cast_or_null<MDNode>(MD)) 241d88c1a5aSDimitry Andric if (!N->isResolved()) 242d88c1a5aSDimitry Andric return nullptr; 243d88c1a5aSDimitry Andric return MD; 244d88c1a5aSDimitry Andric } 245d88c1a5aSDimitry Andric 246d88c1a5aSDimitry Andric MDNode *BitcodeReaderMetadataList::getMDNodeFwdRefOrNull(unsigned Idx) { 247d88c1a5aSDimitry Andric return dyn_cast_or_null<MDNode>(getMetadataFwdRef(Idx)); 248d88c1a5aSDimitry Andric } 249d88c1a5aSDimitry Andric 250d88c1a5aSDimitry Andric void BitcodeReaderMetadataList::tryToResolveCycles() { 251d88c1a5aSDimitry Andric if (!ForwardReference.empty()) 252d88c1a5aSDimitry Andric // Still forward references... can't resolve cycles. 253d88c1a5aSDimitry Andric return; 254d88c1a5aSDimitry Andric 255d88c1a5aSDimitry Andric // Give up on finding a full definition for any forward decls that remain. 256d88c1a5aSDimitry Andric for (const auto &Ref : OldTypeRefs.FwdDecls) 257d88c1a5aSDimitry Andric OldTypeRefs.Final.insert(Ref); 258d88c1a5aSDimitry Andric OldTypeRefs.FwdDecls.clear(); 259d88c1a5aSDimitry Andric 260d88c1a5aSDimitry Andric // Upgrade from old type ref arrays. In strange cases, this could add to 261d88c1a5aSDimitry Andric // OldTypeRefs.Unknown. 262d88c1a5aSDimitry Andric for (const auto &Array : OldTypeRefs.Arrays) 263d88c1a5aSDimitry Andric Array.second->replaceAllUsesWith(resolveTypeRefArray(Array.first.get())); 264d88c1a5aSDimitry Andric OldTypeRefs.Arrays.clear(); 265d88c1a5aSDimitry Andric 266d88c1a5aSDimitry Andric // Replace old string-based type refs with the resolved node, if possible. 267d88c1a5aSDimitry Andric // If we haven't seen the node, leave it to the verifier to complain about 268d88c1a5aSDimitry Andric // the invalid string reference. 269d88c1a5aSDimitry Andric for (const auto &Ref : OldTypeRefs.Unknown) { 270d88c1a5aSDimitry Andric if (DICompositeType *CT = OldTypeRefs.Final.lookup(Ref.first)) 271d88c1a5aSDimitry Andric Ref.second->replaceAllUsesWith(CT); 272d88c1a5aSDimitry Andric else 273d88c1a5aSDimitry Andric Ref.second->replaceAllUsesWith(Ref.first); 274d88c1a5aSDimitry Andric } 275d88c1a5aSDimitry Andric OldTypeRefs.Unknown.clear(); 276d88c1a5aSDimitry Andric 277d88c1a5aSDimitry Andric if (UnresolvedNodes.empty()) 278d88c1a5aSDimitry Andric // Nothing to do. 279d88c1a5aSDimitry Andric return; 280d88c1a5aSDimitry Andric 281d88c1a5aSDimitry Andric // Resolve any cycles. 282d88c1a5aSDimitry Andric for (unsigned I : UnresolvedNodes) { 283d88c1a5aSDimitry Andric auto &MD = MetadataPtrs[I]; 284d88c1a5aSDimitry Andric auto *N = dyn_cast_or_null<MDNode>(MD); 285d88c1a5aSDimitry Andric if (!N) 286d88c1a5aSDimitry Andric continue; 287d88c1a5aSDimitry Andric 288d88c1a5aSDimitry Andric assert(!N->isTemporary() && "Unexpected forward reference"); 289d88c1a5aSDimitry Andric N->resolveCycles(); 290d88c1a5aSDimitry Andric } 291d88c1a5aSDimitry Andric 292d88c1a5aSDimitry Andric // Make sure we return early again until there's another unresolved ref. 293d88c1a5aSDimitry Andric UnresolvedNodes.clear(); 294d88c1a5aSDimitry Andric } 295d88c1a5aSDimitry Andric 296d88c1a5aSDimitry Andric void BitcodeReaderMetadataList::addTypeRef(MDString &UUID, 297d88c1a5aSDimitry Andric DICompositeType &CT) { 298d88c1a5aSDimitry Andric assert(CT.getRawIdentifier() == &UUID && "Mismatched UUID"); 299d88c1a5aSDimitry Andric if (CT.isForwardDecl()) 300d88c1a5aSDimitry Andric OldTypeRefs.FwdDecls.insert(std::make_pair(&UUID, &CT)); 301d88c1a5aSDimitry Andric else 302d88c1a5aSDimitry Andric OldTypeRefs.Final.insert(std::make_pair(&UUID, &CT)); 303d88c1a5aSDimitry Andric } 304d88c1a5aSDimitry Andric 305d88c1a5aSDimitry Andric Metadata *BitcodeReaderMetadataList::upgradeTypeRef(Metadata *MaybeUUID) { 306d88c1a5aSDimitry Andric auto *UUID = dyn_cast_or_null<MDString>(MaybeUUID); 307d88c1a5aSDimitry Andric if (LLVM_LIKELY(!UUID)) 308d88c1a5aSDimitry Andric return MaybeUUID; 309d88c1a5aSDimitry Andric 310d88c1a5aSDimitry Andric if (auto *CT = OldTypeRefs.Final.lookup(UUID)) 311d88c1a5aSDimitry Andric return CT; 312d88c1a5aSDimitry Andric 313d88c1a5aSDimitry Andric auto &Ref = OldTypeRefs.Unknown[UUID]; 314d88c1a5aSDimitry Andric if (!Ref) 315d88c1a5aSDimitry Andric Ref = MDNode::getTemporary(Context, None); 316d88c1a5aSDimitry Andric return Ref.get(); 317d88c1a5aSDimitry Andric } 318d88c1a5aSDimitry Andric 319d88c1a5aSDimitry Andric Metadata *BitcodeReaderMetadataList::upgradeTypeRefArray(Metadata *MaybeTuple) { 320d88c1a5aSDimitry Andric auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple); 321d88c1a5aSDimitry Andric if (!Tuple || Tuple->isDistinct()) 322d88c1a5aSDimitry Andric return MaybeTuple; 323d88c1a5aSDimitry Andric 324d88c1a5aSDimitry Andric // Look through the array immediately if possible. 325d88c1a5aSDimitry Andric if (!Tuple->isTemporary()) 326d88c1a5aSDimitry Andric return resolveTypeRefArray(Tuple); 327d88c1a5aSDimitry Andric 328d88c1a5aSDimitry Andric // Create and return a placeholder to use for now. Eventually 329d88c1a5aSDimitry Andric // resolveTypeRefArrays() will be resolve this forward reference. 330d88c1a5aSDimitry Andric OldTypeRefs.Arrays.emplace_back( 331d88c1a5aSDimitry Andric std::piecewise_construct, std::forward_as_tuple(Tuple), 332d88c1a5aSDimitry Andric std::forward_as_tuple(MDTuple::getTemporary(Context, None))); 333d88c1a5aSDimitry Andric return OldTypeRefs.Arrays.back().second.get(); 334d88c1a5aSDimitry Andric } 335d88c1a5aSDimitry Andric 336d88c1a5aSDimitry Andric Metadata *BitcodeReaderMetadataList::resolveTypeRefArray(Metadata *MaybeTuple) { 337d88c1a5aSDimitry Andric auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple); 338d88c1a5aSDimitry Andric if (!Tuple || Tuple->isDistinct()) 339d88c1a5aSDimitry Andric return MaybeTuple; 340d88c1a5aSDimitry Andric 341d88c1a5aSDimitry Andric // Look through the DITypeRefArray, upgrading each DITypeRef. 342d88c1a5aSDimitry Andric SmallVector<Metadata *, 32> Ops; 343d88c1a5aSDimitry Andric Ops.reserve(Tuple->getNumOperands()); 344d88c1a5aSDimitry Andric for (Metadata *MD : Tuple->operands()) 345d88c1a5aSDimitry Andric Ops.push_back(upgradeTypeRef(MD)); 346d88c1a5aSDimitry Andric 347d88c1a5aSDimitry Andric return MDTuple::get(Context, Ops); 348d88c1a5aSDimitry Andric } 349d88c1a5aSDimitry Andric 350d88c1a5aSDimitry Andric namespace { 351d88c1a5aSDimitry Andric 352d88c1a5aSDimitry Andric class PlaceholderQueue { 353d88c1a5aSDimitry Andric // Placeholders would thrash around when moved, so store in a std::deque 354d88c1a5aSDimitry Andric // instead of some sort of vector. 355d88c1a5aSDimitry Andric std::deque<DistinctMDOperandPlaceholder> PHs; 356d88c1a5aSDimitry Andric 357d88c1a5aSDimitry Andric public: 3587a7e6055SDimitry Andric ~PlaceholderQueue() { 3597a7e6055SDimitry Andric assert(empty() && "PlaceholderQueue hasn't been flushed before being destroyed"); 3607a7e6055SDimitry Andric } 36195ec533aSDimitry Andric bool empty() { return PHs.empty(); } 362d88c1a5aSDimitry Andric DistinctMDOperandPlaceholder &getPlaceholderOp(unsigned ID); 363d88c1a5aSDimitry Andric void flush(BitcodeReaderMetadataList &MetadataList); 36495ec533aSDimitry Andric 36595ec533aSDimitry Andric /// Return the list of temporaries nodes in the queue, these need to be 36695ec533aSDimitry Andric /// loaded before we can flush the queue. 36795ec533aSDimitry Andric void getTemporaries(BitcodeReaderMetadataList &MetadataList, 36895ec533aSDimitry Andric DenseSet<unsigned> &Temporaries) { 36995ec533aSDimitry Andric for (auto &PH : PHs) { 37095ec533aSDimitry Andric auto ID = PH.getID(); 37195ec533aSDimitry Andric auto *MD = MetadataList.lookup(ID); 37295ec533aSDimitry Andric if (!MD) { 37395ec533aSDimitry Andric Temporaries.insert(ID); 37495ec533aSDimitry Andric continue; 37595ec533aSDimitry Andric } 37695ec533aSDimitry Andric auto *N = dyn_cast_or_null<MDNode>(MD); 37795ec533aSDimitry Andric if (N && N->isTemporary()) 37895ec533aSDimitry Andric Temporaries.insert(ID); 37995ec533aSDimitry Andric } 38095ec533aSDimitry Andric } 381d88c1a5aSDimitry Andric }; 382d88c1a5aSDimitry Andric 383d88c1a5aSDimitry Andric } // end anonymous namespace 384d88c1a5aSDimitry Andric 385d88c1a5aSDimitry Andric DistinctMDOperandPlaceholder &PlaceholderQueue::getPlaceholderOp(unsigned ID) { 386d88c1a5aSDimitry Andric PHs.emplace_back(ID); 387d88c1a5aSDimitry Andric return PHs.back(); 388d88c1a5aSDimitry Andric } 389d88c1a5aSDimitry Andric 390d88c1a5aSDimitry Andric void PlaceholderQueue::flush(BitcodeReaderMetadataList &MetadataList) { 391d88c1a5aSDimitry Andric while (!PHs.empty()) { 392d88c1a5aSDimitry Andric auto *MD = MetadataList.lookup(PHs.front().getID()); 393d88c1a5aSDimitry Andric assert(MD && "Flushing placeholder on unassigned MD"); 394d88c1a5aSDimitry Andric #ifndef NDEBUG 395d88c1a5aSDimitry Andric if (auto *MDN = dyn_cast<MDNode>(MD)) 396d88c1a5aSDimitry Andric assert(MDN->isResolved() && 397d88c1a5aSDimitry Andric "Flushing Placeholder while cycles aren't resolved"); 398d88c1a5aSDimitry Andric #endif 399d88c1a5aSDimitry Andric PHs.front().replaceUseWith(MD); 400d88c1a5aSDimitry Andric PHs.pop_front(); 401d88c1a5aSDimitry Andric } 402d88c1a5aSDimitry Andric } 403d88c1a5aSDimitry Andric 404d88c1a5aSDimitry Andric } // anonynous namespace 405d88c1a5aSDimitry Andric 40624d58133SDimitry Andric static Error error(const Twine &Message) { 40724d58133SDimitry Andric return make_error<StringError>( 40824d58133SDimitry Andric Message, make_error_code(BitcodeError::CorruptedBitcode)); 40924d58133SDimitry Andric } 41024d58133SDimitry Andric 411d88c1a5aSDimitry Andric class MetadataLoader::MetadataLoaderImpl { 412d88c1a5aSDimitry Andric BitcodeReaderMetadataList MetadataList; 413d88c1a5aSDimitry Andric BitcodeReaderValueList &ValueList; 414d88c1a5aSDimitry Andric BitstreamCursor &Stream; 415d88c1a5aSDimitry Andric LLVMContext &Context; 416d88c1a5aSDimitry Andric Module &TheModule; 417d88c1a5aSDimitry Andric std::function<Type *(unsigned)> getTypeByID; 418d88c1a5aSDimitry Andric 41995ec533aSDimitry Andric /// Cursor associated with the lazy-loading of Metadata. This is the easy way 42095ec533aSDimitry Andric /// to keep around the right "context" (Abbrev list) to be able to jump in 42195ec533aSDimitry Andric /// the middle of the metadata block and load any record. 42295ec533aSDimitry Andric BitstreamCursor IndexCursor; 42395ec533aSDimitry Andric 42495ec533aSDimitry Andric /// Index that keeps track of MDString values. 42595ec533aSDimitry Andric std::vector<StringRef> MDStringRef; 42695ec533aSDimitry Andric 42795ec533aSDimitry Andric /// On-demand loading of a single MDString. Requires the index above to be 42895ec533aSDimitry Andric /// populated. 42995ec533aSDimitry Andric MDString *lazyLoadOneMDString(unsigned Idx); 43095ec533aSDimitry Andric 43195ec533aSDimitry Andric /// Index that keeps track of where to find a metadata record in the stream. 43295ec533aSDimitry Andric std::vector<uint64_t> GlobalMetadataBitPosIndex; 43395ec533aSDimitry Andric 43495ec533aSDimitry Andric /// Populate the index above to enable lazily loading of metadata, and load 43595ec533aSDimitry Andric /// the named metadata as well as the transitively referenced global 43695ec533aSDimitry Andric /// Metadata. 43724e2fe98SDimitry Andric Expected<bool> lazyLoadModuleMetadataBlock(); 43895ec533aSDimitry Andric 43995ec533aSDimitry Andric /// On-demand loading of a single metadata. Requires the index above to be 44095ec533aSDimitry Andric /// populated. 44195ec533aSDimitry Andric void lazyLoadOneMetadata(unsigned Idx, PlaceholderQueue &Placeholders); 44295ec533aSDimitry Andric 443d88c1a5aSDimitry Andric // Keep mapping of seens pair of old-style CU <-> SP, and update pointers to 444d88c1a5aSDimitry Andric // point from SP to CU after a block is completly parsed. 445d88c1a5aSDimitry Andric std::vector<std::pair<DICompileUnit *, Metadata *>> CUSubprograms; 446d88c1a5aSDimitry Andric 447d88c1a5aSDimitry Andric /// Functions that need to be matched with subprograms when upgrading old 448d88c1a5aSDimitry Andric /// metadata. 449d88c1a5aSDimitry Andric SmallDenseMap<Function *, DISubprogram *, 16> FunctionsWithSPs; 450d88c1a5aSDimitry Andric 451d88c1a5aSDimitry Andric // Map the bitcode's custom MDKind ID to the Module's MDKind ID. 452d88c1a5aSDimitry Andric DenseMap<unsigned, unsigned> MDKindMap; 453d88c1a5aSDimitry Andric 454d88c1a5aSDimitry Andric bool StripTBAA = false; 455d88c1a5aSDimitry Andric bool HasSeenOldLoopTags = false; 4565ca5951eSDimitry Andric bool NeedUpgradeToDIGlobalVariableExpression = false; 4576bc11b14SDimitry Andric bool NeedDeclareExpressionUpgrade = false; 458d88c1a5aSDimitry Andric 459d88c1a5aSDimitry Andric /// True if metadata is being parsed for a module being ThinLTO imported. 460d88c1a5aSDimitry Andric bool IsImporting = false; 461d88c1a5aSDimitry Andric 462d88c1a5aSDimitry Andric Error parseOneMetadata(SmallVectorImpl<uint64_t> &Record, unsigned Code, 463d88c1a5aSDimitry Andric PlaceholderQueue &Placeholders, StringRef Blob, 464d88c1a5aSDimitry Andric unsigned &NextMetadataNo); 46595ec533aSDimitry Andric Error parseMetadataStrings(ArrayRef<uint64_t> Record, StringRef Blob, 4667a7e6055SDimitry Andric function_ref<void(StringRef)> CallBack); 467d88c1a5aSDimitry Andric Error parseGlobalObjectAttachment(GlobalObject &GO, 468d88c1a5aSDimitry Andric ArrayRef<uint64_t> Record); 469d88c1a5aSDimitry Andric Error parseMetadataKindRecord(SmallVectorImpl<uint64_t> &Record); 470d88c1a5aSDimitry Andric 47195ec533aSDimitry Andric void resolveForwardRefsAndPlaceholders(PlaceholderQueue &Placeholders); 47295ec533aSDimitry Andric 47395ec533aSDimitry Andric /// Upgrade old-style CU <-> SP pointers to point from SP to CU. 47495ec533aSDimitry Andric void upgradeCUSubprograms() { 47595ec533aSDimitry Andric for (auto CU_SP : CUSubprograms) 47695ec533aSDimitry Andric if (auto *SPs = dyn_cast_or_null<MDTuple>(CU_SP.second)) 47795ec533aSDimitry Andric for (auto &Op : SPs->operands()) 478f37b6182SDimitry Andric if (auto *SP = dyn_cast_or_null<DISubprogram>(Op)) 479f37b6182SDimitry Andric SP->replaceUnit(CU_SP.first); 48095ec533aSDimitry Andric CUSubprograms.clear(); 48195ec533aSDimitry Andric } 48295ec533aSDimitry Andric 4835ca5951eSDimitry Andric /// Upgrade old-style bare DIGlobalVariables to DIGlobalVariableExpressions. 4845ca5951eSDimitry Andric void upgradeCUVariables() { 4855ca5951eSDimitry Andric if (!NeedUpgradeToDIGlobalVariableExpression) 4865ca5951eSDimitry Andric return; 4875ca5951eSDimitry Andric 4885ca5951eSDimitry Andric // Upgrade list of variables attached to the CUs. 4895ca5951eSDimitry Andric if (NamedMDNode *CUNodes = TheModule.getNamedMetadata("llvm.dbg.cu")) 4905ca5951eSDimitry Andric for (unsigned I = 0, E = CUNodes->getNumOperands(); I != E; ++I) { 4915ca5951eSDimitry Andric auto *CU = cast<DICompileUnit>(CUNodes->getOperand(I)); 4925ca5951eSDimitry Andric if (auto *GVs = dyn_cast_or_null<MDTuple>(CU->getRawGlobalVariables())) 4935ca5951eSDimitry Andric for (unsigned I = 0; I < GVs->getNumOperands(); I++) 4945ca5951eSDimitry Andric if (auto *GV = 4955ca5951eSDimitry Andric dyn_cast_or_null<DIGlobalVariable>(GVs->getOperand(I))) { 4962cab237bSDimitry Andric auto *DGVE = DIGlobalVariableExpression::getDistinct( 4972cab237bSDimitry Andric Context, GV, DIExpression::get(Context, {})); 4985ca5951eSDimitry Andric GVs->replaceOperandWith(I, DGVE); 4995ca5951eSDimitry Andric } 5005ca5951eSDimitry Andric } 5015ca5951eSDimitry Andric 5025ca5951eSDimitry Andric // Upgrade variables attached to globals. 5035ca5951eSDimitry Andric for (auto &GV : TheModule.globals()) { 5045517e702SDimitry Andric SmallVector<MDNode *, 1> MDs; 5055ca5951eSDimitry Andric GV.getMetadata(LLVMContext::MD_dbg, MDs); 5065ca5951eSDimitry Andric GV.eraseMetadata(LLVMContext::MD_dbg); 5075ca5951eSDimitry Andric for (auto *MD : MDs) 5085ca5951eSDimitry Andric if (auto *DGV = dyn_cast_or_null<DIGlobalVariable>(MD)) { 5092cab237bSDimitry Andric auto *DGVE = DIGlobalVariableExpression::getDistinct( 5102cab237bSDimitry Andric Context, DGV, DIExpression::get(Context, {})); 5115ca5951eSDimitry Andric GV.addMetadata(LLVMContext::MD_dbg, *DGVE); 5125ca5951eSDimitry Andric } else 5135ca5951eSDimitry Andric GV.addMetadata(LLVMContext::MD_dbg, *MD); 5145ca5951eSDimitry Andric } 5155ca5951eSDimitry Andric } 5165ca5951eSDimitry Andric 5176bc11b14SDimitry Andric /// Remove a leading DW_OP_deref from DIExpressions in a dbg.declare that 5186bc11b14SDimitry Andric /// describes a function argument. 5196bc11b14SDimitry Andric void upgradeDeclareExpressions(Function &F) { 5206bc11b14SDimitry Andric if (!NeedDeclareExpressionUpgrade) 5216bc11b14SDimitry Andric return; 5226bc11b14SDimitry Andric 5236bc11b14SDimitry Andric for (auto &BB : F) 5246bc11b14SDimitry Andric for (auto &I : BB) 5256bc11b14SDimitry Andric if (auto *DDI = dyn_cast<DbgDeclareInst>(&I)) 5266bc11b14SDimitry Andric if (auto *DIExpr = DDI->getExpression()) 5276bc11b14SDimitry Andric if (DIExpr->startsWithDeref() && 5286bc11b14SDimitry Andric dyn_cast_or_null<Argument>(DDI->getAddress())) { 5296bc11b14SDimitry Andric SmallVector<uint64_t, 8> Ops; 5306bc11b14SDimitry Andric Ops.append(std::next(DIExpr->elements_begin()), 5316bc11b14SDimitry Andric DIExpr->elements_end()); 5326bc11b14SDimitry Andric auto *E = DIExpression::get(Context, Ops); 5336bc11b14SDimitry Andric DDI->setOperand(2, MetadataAsValue::get(Context, E)); 5346bc11b14SDimitry Andric } 5356bc11b14SDimitry Andric } 5366bc11b14SDimitry Andric 53724d58133SDimitry Andric /// Upgrade the expression from previous versions. 53824d58133SDimitry Andric Error upgradeDIExpression(uint64_t FromVersion, 53924d58133SDimitry Andric MutableArrayRef<uint64_t> &Expr, 54024d58133SDimitry Andric SmallVectorImpl<uint64_t> &Buffer) { 54124d58133SDimitry Andric auto N = Expr.size(); 54224d58133SDimitry Andric switch (FromVersion) { 54324d58133SDimitry Andric default: 54424d58133SDimitry Andric return error("Invalid record"); 54524d58133SDimitry Andric case 0: 54624d58133SDimitry Andric if (N >= 3 && Expr[N - 3] == dwarf::DW_OP_bit_piece) 54724d58133SDimitry Andric Expr[N - 3] = dwarf::DW_OP_LLVM_fragment; 54824d58133SDimitry Andric LLVM_FALLTHROUGH; 54924d58133SDimitry Andric case 1: 55024d58133SDimitry Andric // Move DW_OP_deref to the end. 55124d58133SDimitry Andric if (N && Expr[0] == dwarf::DW_OP_deref) { 55224d58133SDimitry Andric auto End = Expr.end(); 55324d58133SDimitry Andric if (Expr.size() >= 3 && 55424d58133SDimitry Andric *std::prev(End, 3) == dwarf::DW_OP_LLVM_fragment) 55524d58133SDimitry Andric End = std::prev(End, 3); 55624d58133SDimitry Andric std::move(std::next(Expr.begin()), End, Expr.begin()); 55724d58133SDimitry Andric *std::prev(End) = dwarf::DW_OP_deref; 55824d58133SDimitry Andric } 55924d58133SDimitry Andric NeedDeclareExpressionUpgrade = true; 56024d58133SDimitry Andric LLVM_FALLTHROUGH; 56124d58133SDimitry Andric case 2: { 56224d58133SDimitry Andric // Change DW_OP_plus to DW_OP_plus_uconst. 56324d58133SDimitry Andric // Change DW_OP_minus to DW_OP_uconst, DW_OP_minus 56424d58133SDimitry Andric auto SubExpr = ArrayRef<uint64_t>(Expr); 56524d58133SDimitry Andric while (!SubExpr.empty()) { 56624d58133SDimitry Andric // Skip past other operators with their operands 56724d58133SDimitry Andric // for this version of the IR, obtained from 56824d58133SDimitry Andric // from historic DIExpression::ExprOperand::getSize(). 56924d58133SDimitry Andric size_t HistoricSize; 57024d58133SDimitry Andric switch (SubExpr.front()) { 57124d58133SDimitry Andric default: 57224d58133SDimitry Andric HistoricSize = 1; 57324d58133SDimitry Andric break; 57424d58133SDimitry Andric case dwarf::DW_OP_constu: 57524d58133SDimitry Andric case dwarf::DW_OP_minus: 57624d58133SDimitry Andric case dwarf::DW_OP_plus: 57724d58133SDimitry Andric HistoricSize = 2; 57824d58133SDimitry Andric break; 57924d58133SDimitry Andric case dwarf::DW_OP_LLVM_fragment: 58024d58133SDimitry Andric HistoricSize = 3; 58124d58133SDimitry Andric break; 58224d58133SDimitry Andric } 58324d58133SDimitry Andric 58424d58133SDimitry Andric // If the expression is malformed, make sure we don't 58524d58133SDimitry Andric // copy more elements than we should. 58624d58133SDimitry Andric HistoricSize = std::min(SubExpr.size(), HistoricSize); 58724d58133SDimitry Andric ArrayRef<uint64_t> Args = SubExpr.slice(1, HistoricSize-1); 58824d58133SDimitry Andric 58924d58133SDimitry Andric switch (SubExpr.front()) { 59024d58133SDimitry Andric case dwarf::DW_OP_plus: 59124d58133SDimitry Andric Buffer.push_back(dwarf::DW_OP_plus_uconst); 59224d58133SDimitry Andric Buffer.append(Args.begin(), Args.end()); 59324d58133SDimitry Andric break; 59424d58133SDimitry Andric case dwarf::DW_OP_minus: 59524d58133SDimitry Andric Buffer.push_back(dwarf::DW_OP_constu); 59624d58133SDimitry Andric Buffer.append(Args.begin(), Args.end()); 59724d58133SDimitry Andric Buffer.push_back(dwarf::DW_OP_minus); 59824d58133SDimitry Andric break; 59924d58133SDimitry Andric default: 60024d58133SDimitry Andric Buffer.push_back(*SubExpr.begin()); 60124d58133SDimitry Andric Buffer.append(Args.begin(), Args.end()); 60224d58133SDimitry Andric break; 60324d58133SDimitry Andric } 60424d58133SDimitry Andric 60524d58133SDimitry Andric // Continue with remaining elements. 60624d58133SDimitry Andric SubExpr = SubExpr.slice(HistoricSize); 60724d58133SDimitry Andric } 60824d58133SDimitry Andric Expr = MutableArrayRef<uint64_t>(Buffer); 60924d58133SDimitry Andric LLVM_FALLTHROUGH; 61024d58133SDimitry Andric } 61124d58133SDimitry Andric case 3: 61224d58133SDimitry Andric // Up-to-date! 61324d58133SDimitry Andric break; 61424d58133SDimitry Andric } 61524d58133SDimitry Andric 61624d58133SDimitry Andric return Error::success(); 61724d58133SDimitry Andric } 61824d58133SDimitry Andric 6195ca5951eSDimitry Andric void upgradeDebugInfo() { 6205ca5951eSDimitry Andric upgradeCUSubprograms(); 6215ca5951eSDimitry Andric upgradeCUVariables(); 6225ca5951eSDimitry Andric } 6235ca5951eSDimitry Andric 624d88c1a5aSDimitry Andric public: 625d88c1a5aSDimitry Andric MetadataLoaderImpl(BitstreamCursor &Stream, Module &TheModule, 626d88c1a5aSDimitry Andric BitcodeReaderValueList &ValueList, 627d88c1a5aSDimitry Andric std::function<Type *(unsigned)> getTypeByID, 628d88c1a5aSDimitry Andric bool IsImporting) 629d88c1a5aSDimitry Andric : MetadataList(TheModule.getContext()), ValueList(ValueList), 630d88c1a5aSDimitry Andric Stream(Stream), Context(TheModule.getContext()), TheModule(TheModule), 6317a7e6055SDimitry Andric getTypeByID(std::move(getTypeByID)), IsImporting(IsImporting) {} 632d88c1a5aSDimitry Andric 633d88c1a5aSDimitry Andric Error parseMetadata(bool ModuleLevel); 634d88c1a5aSDimitry Andric 635d88c1a5aSDimitry Andric bool hasFwdRefs() const { return MetadataList.hasFwdRefs(); } 636f8496407SDimitry Andric 637f8496407SDimitry Andric Metadata *getMetadataFwdRefOrLoad(unsigned ID) { 638f8496407SDimitry Andric if (ID < MDStringRef.size()) 639f8496407SDimitry Andric return lazyLoadOneMDString(ID); 640f8496407SDimitry Andric if (auto *MD = MetadataList.lookup(ID)) 641f8496407SDimitry Andric return MD; 642f8496407SDimitry Andric // If lazy-loading is enabled, we try recursively to load the operand 643f8496407SDimitry Andric // instead of creating a temporary. 644f8496407SDimitry Andric if (ID < (MDStringRef.size() + GlobalMetadataBitPosIndex.size())) { 645f8496407SDimitry Andric PlaceholderQueue Placeholders; 646f8496407SDimitry Andric lazyLoadOneMetadata(ID, Placeholders); 647f8496407SDimitry Andric resolveForwardRefsAndPlaceholders(Placeholders); 648f8496407SDimitry Andric return MetadataList.lookup(ID); 649f8496407SDimitry Andric } 650f8496407SDimitry Andric return MetadataList.getMetadataFwdRef(ID); 651d88c1a5aSDimitry Andric } 652d88c1a5aSDimitry Andric 653d88c1a5aSDimitry Andric MDNode *getMDNodeFwdRefOrNull(unsigned Idx) { 654d88c1a5aSDimitry Andric return MetadataList.getMDNodeFwdRefOrNull(Idx); 655d88c1a5aSDimitry Andric } 656d88c1a5aSDimitry Andric 657d88c1a5aSDimitry Andric DISubprogram *lookupSubprogramForFunction(Function *F) { 658d88c1a5aSDimitry Andric return FunctionsWithSPs.lookup(F); 659d88c1a5aSDimitry Andric } 660d88c1a5aSDimitry Andric 661d88c1a5aSDimitry Andric bool hasSeenOldLoopTags() { return HasSeenOldLoopTags; } 662d88c1a5aSDimitry Andric 663d88c1a5aSDimitry Andric Error parseMetadataAttachment( 664d88c1a5aSDimitry Andric Function &F, const SmallVectorImpl<Instruction *> &InstructionList); 665d88c1a5aSDimitry Andric 666d88c1a5aSDimitry Andric Error parseMetadataKinds(); 667d88c1a5aSDimitry Andric 668d88c1a5aSDimitry Andric void setStripTBAA(bool Value) { StripTBAA = Value; } 669d88c1a5aSDimitry Andric bool isStrippingTBAA() { return StripTBAA; } 670d88c1a5aSDimitry Andric 671d88c1a5aSDimitry Andric unsigned size() const { return MetadataList.size(); } 672d88c1a5aSDimitry Andric void shrinkTo(unsigned N) { MetadataList.shrinkTo(N); } 6736bc11b14SDimitry Andric void upgradeDebugIntrinsics(Function &F) { upgradeDeclareExpressions(F); } 674d88c1a5aSDimitry Andric }; 675d88c1a5aSDimitry Andric 67624e2fe98SDimitry Andric Expected<bool> 67724e2fe98SDimitry Andric MetadataLoader::MetadataLoaderImpl::lazyLoadModuleMetadataBlock() { 67895ec533aSDimitry Andric IndexCursor = Stream; 67995ec533aSDimitry Andric SmallVector<uint64_t, 64> Record; 68095ec533aSDimitry Andric // Get the abbrevs, and preload record positions to make them lazy-loadable. 68195ec533aSDimitry Andric while (true) { 68295ec533aSDimitry Andric BitstreamEntry Entry = IndexCursor.advanceSkippingSubblocks( 68395ec533aSDimitry Andric BitstreamCursor::AF_DontPopBlockAtEnd); 68495ec533aSDimitry Andric switch (Entry.Kind) { 68595ec533aSDimitry Andric case BitstreamEntry::SubBlock: // Handled for us already. 68695ec533aSDimitry Andric case BitstreamEntry::Error: 68795ec533aSDimitry Andric return error("Malformed block"); 68895ec533aSDimitry Andric case BitstreamEntry::EndBlock: { 68995ec533aSDimitry Andric return true; 69095ec533aSDimitry Andric } 69195ec533aSDimitry Andric case BitstreamEntry::Record: { 69295ec533aSDimitry Andric // The interesting case. 69395ec533aSDimitry Andric ++NumMDRecordLoaded; 69495ec533aSDimitry Andric uint64_t CurrentPos = IndexCursor.GetCurrentBitNo(); 69595ec533aSDimitry Andric auto Code = IndexCursor.skipRecord(Entry.ID); 69695ec533aSDimitry Andric switch (Code) { 69795ec533aSDimitry Andric case bitc::METADATA_STRINGS: { 69895ec533aSDimitry Andric // Rewind and parse the strings. 69995ec533aSDimitry Andric IndexCursor.JumpToBit(CurrentPos); 70095ec533aSDimitry Andric StringRef Blob; 70195ec533aSDimitry Andric Record.clear(); 70295ec533aSDimitry Andric IndexCursor.readRecord(Entry.ID, Record, &Blob); 70395ec533aSDimitry Andric unsigned NumStrings = Record[0]; 70495ec533aSDimitry Andric MDStringRef.reserve(NumStrings); 70595ec533aSDimitry Andric auto IndexNextMDString = [&](StringRef Str) { 70695ec533aSDimitry Andric MDStringRef.push_back(Str); 70795ec533aSDimitry Andric }; 70895ec533aSDimitry Andric if (auto Err = parseMetadataStrings(Record, Blob, IndexNextMDString)) 70995ec533aSDimitry Andric return std::move(Err); 71095ec533aSDimitry Andric break; 71195ec533aSDimitry Andric } 71295ec533aSDimitry Andric case bitc::METADATA_INDEX_OFFSET: { 71395ec533aSDimitry Andric // This is the offset to the index, when we see this we skip all the 71495ec533aSDimitry Andric // records and load only an index to these. 71595ec533aSDimitry Andric IndexCursor.JumpToBit(CurrentPos); 71695ec533aSDimitry Andric Record.clear(); 71795ec533aSDimitry Andric IndexCursor.readRecord(Entry.ID, Record); 71895ec533aSDimitry Andric if (Record.size() != 2) 71995ec533aSDimitry Andric return error("Invalid record"); 72095ec533aSDimitry Andric auto Offset = Record[0] + (Record[1] << 32); 72195ec533aSDimitry Andric auto BeginPos = IndexCursor.GetCurrentBitNo(); 72295ec533aSDimitry Andric IndexCursor.JumpToBit(BeginPos + Offset); 72395ec533aSDimitry Andric Entry = IndexCursor.advanceSkippingSubblocks( 72495ec533aSDimitry Andric BitstreamCursor::AF_DontPopBlockAtEnd); 72595ec533aSDimitry Andric assert(Entry.Kind == BitstreamEntry::Record && 72695ec533aSDimitry Andric "Corrupted bitcode: Expected `Record` when trying to find the " 72795ec533aSDimitry Andric "Metadata index"); 72895ec533aSDimitry Andric Record.clear(); 72995ec533aSDimitry Andric auto Code = IndexCursor.readRecord(Entry.ID, Record); 73095ec533aSDimitry Andric (void)Code; 73195ec533aSDimitry Andric assert(Code == bitc::METADATA_INDEX && "Corrupted bitcode: Expected " 73295ec533aSDimitry Andric "`METADATA_INDEX` when trying " 73395ec533aSDimitry Andric "to find the Metadata index"); 73495ec533aSDimitry Andric 73595ec533aSDimitry Andric // Delta unpack 73695ec533aSDimitry Andric auto CurrentValue = BeginPos; 73795ec533aSDimitry Andric GlobalMetadataBitPosIndex.reserve(Record.size()); 73895ec533aSDimitry Andric for (auto &Elt : Record) { 73995ec533aSDimitry Andric CurrentValue += Elt; 74095ec533aSDimitry Andric GlobalMetadataBitPosIndex.push_back(CurrentValue); 74195ec533aSDimitry Andric } 74295ec533aSDimitry Andric break; 74395ec533aSDimitry Andric } 74495ec533aSDimitry Andric case bitc::METADATA_INDEX: 74595ec533aSDimitry Andric // We don't expect to get there, the Index is loaded when we encounter 74695ec533aSDimitry Andric // the offset. 74795ec533aSDimitry Andric return error("Corrupted Metadata block"); 74895ec533aSDimitry Andric case bitc::METADATA_NAME: { 74995ec533aSDimitry Andric // Named metadata need to be materialized now and aren't deferred. 75095ec533aSDimitry Andric IndexCursor.JumpToBit(CurrentPos); 75195ec533aSDimitry Andric Record.clear(); 75295ec533aSDimitry Andric unsigned Code = IndexCursor.readRecord(Entry.ID, Record); 75395ec533aSDimitry Andric assert(Code == bitc::METADATA_NAME); 75495ec533aSDimitry Andric 75595ec533aSDimitry Andric // Read name of the named metadata. 75695ec533aSDimitry Andric SmallString<8> Name(Record.begin(), Record.end()); 75795ec533aSDimitry Andric Code = IndexCursor.ReadCode(); 75895ec533aSDimitry Andric 75995ec533aSDimitry Andric // Named Metadata comes in two parts, we expect the name to be followed 76095ec533aSDimitry Andric // by the node 76195ec533aSDimitry Andric Record.clear(); 76295ec533aSDimitry Andric unsigned NextBitCode = IndexCursor.readRecord(Code, Record); 76395ec533aSDimitry Andric assert(NextBitCode == bitc::METADATA_NAMED_NODE); 76495ec533aSDimitry Andric (void)NextBitCode; 76595ec533aSDimitry Andric 76695ec533aSDimitry Andric // Read named metadata elements. 76795ec533aSDimitry Andric unsigned Size = Record.size(); 76895ec533aSDimitry Andric NamedMDNode *NMD = TheModule.getOrInsertNamedMetadata(Name); 76995ec533aSDimitry Andric for (unsigned i = 0; i != Size; ++i) { 77095ec533aSDimitry Andric // FIXME: We could use a placeholder here, however NamedMDNode are 77195ec533aSDimitry Andric // taking MDNode as operand and not using the Metadata infrastructure. 77295ec533aSDimitry Andric // It is acknowledged by 'TODO: Inherit from Metadata' in the 77395ec533aSDimitry Andric // NamedMDNode class definition. 77495ec533aSDimitry Andric MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[i]); 77595ec533aSDimitry Andric assert(MD && "Invalid record"); 77695ec533aSDimitry Andric NMD->addOperand(MD); 77795ec533aSDimitry Andric } 77895ec533aSDimitry Andric break; 77995ec533aSDimitry Andric } 78095ec533aSDimitry Andric case bitc::METADATA_GLOBAL_DECL_ATTACHMENT: { 78195ec533aSDimitry Andric // FIXME: we need to do this early because we don't materialize global 78295ec533aSDimitry Andric // value explicitly. 78395ec533aSDimitry Andric IndexCursor.JumpToBit(CurrentPos); 78495ec533aSDimitry Andric Record.clear(); 78595ec533aSDimitry Andric IndexCursor.readRecord(Entry.ID, Record); 78695ec533aSDimitry Andric if (Record.size() % 2 == 0) 78795ec533aSDimitry Andric return error("Invalid record"); 78895ec533aSDimitry Andric unsigned ValueID = Record[0]; 78995ec533aSDimitry Andric if (ValueID >= ValueList.size()) 79095ec533aSDimitry Andric return error("Invalid record"); 79195ec533aSDimitry Andric if (auto *GO = dyn_cast<GlobalObject>(ValueList[ValueID])) 79295ec533aSDimitry Andric if (Error Err = parseGlobalObjectAttachment( 79395ec533aSDimitry Andric *GO, ArrayRef<uint64_t>(Record).slice(1))) 79495ec533aSDimitry Andric return std::move(Err); 79595ec533aSDimitry Andric break; 79695ec533aSDimitry Andric } 79795ec533aSDimitry Andric case bitc::METADATA_KIND: 79895ec533aSDimitry Andric case bitc::METADATA_STRING_OLD: 79995ec533aSDimitry Andric case bitc::METADATA_OLD_FN_NODE: 80095ec533aSDimitry Andric case bitc::METADATA_OLD_NODE: 80195ec533aSDimitry Andric case bitc::METADATA_VALUE: 80295ec533aSDimitry Andric case bitc::METADATA_DISTINCT_NODE: 80395ec533aSDimitry Andric case bitc::METADATA_NODE: 80495ec533aSDimitry Andric case bitc::METADATA_LOCATION: 80595ec533aSDimitry Andric case bitc::METADATA_GENERIC_DEBUG: 80695ec533aSDimitry Andric case bitc::METADATA_SUBRANGE: 80795ec533aSDimitry Andric case bitc::METADATA_ENUMERATOR: 80895ec533aSDimitry Andric case bitc::METADATA_BASIC_TYPE: 80995ec533aSDimitry Andric case bitc::METADATA_DERIVED_TYPE: 81095ec533aSDimitry Andric case bitc::METADATA_COMPOSITE_TYPE: 81195ec533aSDimitry Andric case bitc::METADATA_SUBROUTINE_TYPE: 81295ec533aSDimitry Andric case bitc::METADATA_MODULE: 81395ec533aSDimitry Andric case bitc::METADATA_FILE: 81495ec533aSDimitry Andric case bitc::METADATA_COMPILE_UNIT: 81595ec533aSDimitry Andric case bitc::METADATA_SUBPROGRAM: 81695ec533aSDimitry Andric case bitc::METADATA_LEXICAL_BLOCK: 81795ec533aSDimitry Andric case bitc::METADATA_LEXICAL_BLOCK_FILE: 81895ec533aSDimitry Andric case bitc::METADATA_NAMESPACE: 81995ec533aSDimitry Andric case bitc::METADATA_MACRO: 82095ec533aSDimitry Andric case bitc::METADATA_MACRO_FILE: 82195ec533aSDimitry Andric case bitc::METADATA_TEMPLATE_TYPE: 82295ec533aSDimitry Andric case bitc::METADATA_TEMPLATE_VALUE: 82395ec533aSDimitry Andric case bitc::METADATA_GLOBAL_VAR: 82495ec533aSDimitry Andric case bitc::METADATA_LOCAL_VAR: 82595ec533aSDimitry Andric case bitc::METADATA_EXPRESSION: 82695ec533aSDimitry Andric case bitc::METADATA_OBJC_PROPERTY: 82795ec533aSDimitry Andric case bitc::METADATA_IMPORTED_ENTITY: 82895ec533aSDimitry Andric case bitc::METADATA_GLOBAL_VAR_EXPR: 82995ec533aSDimitry Andric // We don't expect to see any of these, if we see one, give up on 83095ec533aSDimitry Andric // lazy-loading and fallback. 83195ec533aSDimitry Andric MDStringRef.clear(); 83295ec533aSDimitry Andric GlobalMetadataBitPosIndex.clear(); 83395ec533aSDimitry Andric return false; 83495ec533aSDimitry Andric } 83595ec533aSDimitry Andric break; 83695ec533aSDimitry Andric } 83795ec533aSDimitry Andric } 83895ec533aSDimitry Andric } 83995ec533aSDimitry Andric } 84095ec533aSDimitry Andric 841d88c1a5aSDimitry Andric /// Parse a METADATA_BLOCK. If ModuleLevel is true then we are parsing 842d88c1a5aSDimitry Andric /// module level metadata. 843d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseMetadata(bool ModuleLevel) { 844d88c1a5aSDimitry Andric if (!ModuleLevel && MetadataList.hasFwdRefs()) 845d88c1a5aSDimitry Andric return error("Invalid metadata: fwd refs into function blocks"); 846d88c1a5aSDimitry Andric 84795ec533aSDimitry Andric // Record the entry position so that we can jump back here and efficiently 84895ec533aSDimitry Andric // skip the whole block in case we lazy-load. 84995ec533aSDimitry Andric auto EntryPos = Stream.GetCurrentBitNo(); 85095ec533aSDimitry Andric 851d88c1a5aSDimitry Andric if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID)) 852d88c1a5aSDimitry Andric return error("Invalid record"); 853d88c1a5aSDimitry Andric 854d88c1a5aSDimitry Andric SmallVector<uint64_t, 64> Record; 855d88c1a5aSDimitry Andric PlaceholderQueue Placeholders; 856d88c1a5aSDimitry Andric 85795ec533aSDimitry Andric // We lazy-load module-level metadata: we build an index for each record, and 85895ec533aSDimitry Andric // then load individual record as needed, starting with the named metadata. 85995ec533aSDimitry Andric if (ModuleLevel && IsImporting && MetadataList.empty() && 86095ec533aSDimitry Andric !DisableLazyLoading) { 86124e2fe98SDimitry Andric auto SuccessOrErr = lazyLoadModuleMetadataBlock(); 86295ec533aSDimitry Andric if (!SuccessOrErr) 86395ec533aSDimitry Andric return SuccessOrErr.takeError(); 86495ec533aSDimitry Andric if (SuccessOrErr.get()) { 86595ec533aSDimitry Andric // An index was successfully created and we will be able to load metadata 86695ec533aSDimitry Andric // on-demand. 86795ec533aSDimitry Andric MetadataList.resize(MDStringRef.size() + 86895ec533aSDimitry Andric GlobalMetadataBitPosIndex.size()); 86995ec533aSDimitry Andric 87095ec533aSDimitry Andric // Reading the named metadata created forward references and/or 87195ec533aSDimitry Andric // placeholders, that we flush here. 87295ec533aSDimitry Andric resolveForwardRefsAndPlaceholders(Placeholders); 8735ca5951eSDimitry Andric upgradeDebugInfo(); 87495ec533aSDimitry Andric // Return at the beginning of the block, since it is easy to skip it 87595ec533aSDimitry Andric // entirely from there. 87695ec533aSDimitry Andric Stream.ReadBlockEnd(); // Pop the abbrev block context. 87795ec533aSDimitry Andric Stream.JumpToBit(EntryPos); 87895ec533aSDimitry Andric if (Stream.SkipBlock()) 87995ec533aSDimitry Andric return error("Invalid record"); 88095ec533aSDimitry Andric return Error::success(); 88195ec533aSDimitry Andric } 88295ec533aSDimitry Andric // Couldn't load an index, fallback to loading all the block "old-style". 88395ec533aSDimitry Andric } 88495ec533aSDimitry Andric 88595ec533aSDimitry Andric unsigned NextMetadataNo = MetadataList.size(); 88695ec533aSDimitry Andric 887d88c1a5aSDimitry Andric // Read all the records. 888d88c1a5aSDimitry Andric while (true) { 889d88c1a5aSDimitry Andric BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 890d88c1a5aSDimitry Andric 891d88c1a5aSDimitry Andric switch (Entry.Kind) { 892d88c1a5aSDimitry Andric case BitstreamEntry::SubBlock: // Handled for us already. 893d88c1a5aSDimitry Andric case BitstreamEntry::Error: 894d88c1a5aSDimitry Andric return error("Malformed block"); 895d88c1a5aSDimitry Andric case BitstreamEntry::EndBlock: 89695ec533aSDimitry Andric resolveForwardRefsAndPlaceholders(Placeholders); 8975ca5951eSDimitry Andric upgradeDebugInfo(); 898d88c1a5aSDimitry Andric return Error::success(); 899d88c1a5aSDimitry Andric case BitstreamEntry::Record: 900d88c1a5aSDimitry Andric // The interesting case. 901d88c1a5aSDimitry Andric break; 902d88c1a5aSDimitry Andric } 903d88c1a5aSDimitry Andric 904d88c1a5aSDimitry Andric // Read a record. 905d88c1a5aSDimitry Andric Record.clear(); 906d88c1a5aSDimitry Andric StringRef Blob; 90795ec533aSDimitry Andric ++NumMDRecordLoaded; 908d88c1a5aSDimitry Andric unsigned Code = Stream.readRecord(Entry.ID, Record, &Blob); 90995ec533aSDimitry Andric if (Error Err = 91095ec533aSDimitry Andric parseOneMetadata(Record, Code, Placeholders, Blob, NextMetadataNo)) 911d88c1a5aSDimitry Andric return Err; 912d88c1a5aSDimitry Andric } 913d88c1a5aSDimitry Andric } 914d88c1a5aSDimitry Andric 91595ec533aSDimitry Andric MDString *MetadataLoader::MetadataLoaderImpl::lazyLoadOneMDString(unsigned ID) { 91695ec533aSDimitry Andric ++NumMDStringLoaded; 91795ec533aSDimitry Andric if (Metadata *MD = MetadataList.lookup(ID)) 91895ec533aSDimitry Andric return cast<MDString>(MD); 91995ec533aSDimitry Andric auto MDS = MDString::get(Context, MDStringRef[ID]); 92095ec533aSDimitry Andric MetadataList.assignValue(MDS, ID); 92195ec533aSDimitry Andric return MDS; 92295ec533aSDimitry Andric } 92395ec533aSDimitry Andric 92495ec533aSDimitry Andric void MetadataLoader::MetadataLoaderImpl::lazyLoadOneMetadata( 92595ec533aSDimitry Andric unsigned ID, PlaceholderQueue &Placeholders) { 92695ec533aSDimitry Andric assert(ID < (MDStringRef.size()) + GlobalMetadataBitPosIndex.size()); 92795ec533aSDimitry Andric assert(ID >= MDStringRef.size() && "Unexpected lazy-loading of MDString"); 92895ec533aSDimitry Andric // Lookup first if the metadata hasn't already been loaded. 92995ec533aSDimitry Andric if (auto *MD = MetadataList.lookup(ID)) { 93095ec533aSDimitry Andric auto *N = dyn_cast_or_null<MDNode>(MD); 93194c53d40SDimitry Andric if (!N->isTemporary()) 93294c53d40SDimitry Andric return; 93395ec533aSDimitry Andric } 93495ec533aSDimitry Andric SmallVector<uint64_t, 64> Record; 93595ec533aSDimitry Andric StringRef Blob; 93695ec533aSDimitry Andric IndexCursor.JumpToBit(GlobalMetadataBitPosIndex[ID - MDStringRef.size()]); 93795ec533aSDimitry Andric auto Entry = IndexCursor.advanceSkippingSubblocks(); 93895ec533aSDimitry Andric ++NumMDRecordLoaded; 93995ec533aSDimitry Andric unsigned Code = IndexCursor.readRecord(Entry.ID, Record, &Blob); 94095ec533aSDimitry Andric if (Error Err = parseOneMetadata(Record, Code, Placeholders, Blob, ID)) 94195ec533aSDimitry Andric report_fatal_error("Can't lazyload MD"); 94295ec533aSDimitry Andric } 94395ec533aSDimitry Andric 94495ec533aSDimitry Andric /// Ensure that all forward-references and placeholders are resolved. 94595ec533aSDimitry Andric /// Iteratively lazy-loading metadata on-demand if needed. 94695ec533aSDimitry Andric void MetadataLoader::MetadataLoaderImpl::resolveForwardRefsAndPlaceholders( 94795ec533aSDimitry Andric PlaceholderQueue &Placeholders) { 94895ec533aSDimitry Andric DenseSet<unsigned> Temporaries; 94995ec533aSDimitry Andric while (1) { 95095ec533aSDimitry Andric // Populate Temporaries with the placeholders that haven't been loaded yet. 95195ec533aSDimitry Andric Placeholders.getTemporaries(MetadataList, Temporaries); 95295ec533aSDimitry Andric 95395ec533aSDimitry Andric // If we don't have any temporary, or FwdReference, we're done! 95495ec533aSDimitry Andric if (Temporaries.empty() && !MetadataList.hasFwdRefs()) 95595ec533aSDimitry Andric break; 95695ec533aSDimitry Andric 95795ec533aSDimitry Andric // First, load all the temporaries. This can add new placeholders or 95895ec533aSDimitry Andric // forward references. 95995ec533aSDimitry Andric for (auto ID : Temporaries) 96095ec533aSDimitry Andric lazyLoadOneMetadata(ID, Placeholders); 96195ec533aSDimitry Andric Temporaries.clear(); 96295ec533aSDimitry Andric 96395ec533aSDimitry Andric // Second, load the forward-references. This can also add new placeholders 96495ec533aSDimitry Andric // or forward references. 96595ec533aSDimitry Andric while (MetadataList.hasFwdRefs()) 96695ec533aSDimitry Andric lazyLoadOneMetadata(MetadataList.getNextFwdRef(), Placeholders); 96795ec533aSDimitry Andric } 96895ec533aSDimitry Andric // At this point we don't have any forward reference remaining, or temporary 96995ec533aSDimitry Andric // that haven't been loaded. We can safely drop RAUW support and mark cycles 97095ec533aSDimitry Andric // as resolved. 97195ec533aSDimitry Andric MetadataList.tryToResolveCycles(); 97295ec533aSDimitry Andric 97395ec533aSDimitry Andric // Finally, everything is in place, we can replace the placeholders operands 97495ec533aSDimitry Andric // with the final node they refer to. 97595ec533aSDimitry Andric Placeholders.flush(MetadataList); 97695ec533aSDimitry Andric } 97795ec533aSDimitry Andric 978d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseOneMetadata( 979d88c1a5aSDimitry Andric SmallVectorImpl<uint64_t> &Record, unsigned Code, 98095ec533aSDimitry Andric PlaceholderQueue &Placeholders, StringRef Blob, unsigned &NextMetadataNo) { 981d88c1a5aSDimitry Andric 982d88c1a5aSDimitry Andric bool IsDistinct = false; 983d88c1a5aSDimitry Andric auto getMD = [&](unsigned ID) -> Metadata * { 98495ec533aSDimitry Andric if (ID < MDStringRef.size()) 98595ec533aSDimitry Andric return lazyLoadOneMDString(ID); 98694c53d40SDimitry Andric if (!IsDistinct) { 98794c53d40SDimitry Andric if (auto *MD = MetadataList.lookup(ID)) 98894c53d40SDimitry Andric return MD; 98994c53d40SDimitry Andric // If lazy-loading is enabled, we try recursively to load the operand 99094c53d40SDimitry Andric // instead of creating a temporary. 99194c53d40SDimitry Andric if (ID < (MDStringRef.size() + GlobalMetadataBitPosIndex.size())) { 99294c53d40SDimitry Andric // Create a temporary for the node that is referencing the operand we 99394c53d40SDimitry Andric // will lazy-load. It is needed before recursing in case there are 99494c53d40SDimitry Andric // uniquing cycles. 99594c53d40SDimitry Andric MetadataList.getMetadataFwdRef(NextMetadataNo); 99694c53d40SDimitry Andric lazyLoadOneMetadata(ID, Placeholders); 99794c53d40SDimitry Andric return MetadataList.lookup(ID); 99894c53d40SDimitry Andric } 99994c53d40SDimitry Andric // Return a temporary. 1000d88c1a5aSDimitry Andric return MetadataList.getMetadataFwdRef(ID); 100194c53d40SDimitry Andric } 1002d88c1a5aSDimitry Andric if (auto *MD = MetadataList.getMetadataIfResolved(ID)) 1003d88c1a5aSDimitry Andric return MD; 1004d88c1a5aSDimitry Andric return &Placeholders.getPlaceholderOp(ID); 1005d88c1a5aSDimitry Andric }; 1006d88c1a5aSDimitry Andric auto getMDOrNull = [&](unsigned ID) -> Metadata * { 1007d88c1a5aSDimitry Andric if (ID) 1008d88c1a5aSDimitry Andric return getMD(ID - 1); 1009d88c1a5aSDimitry Andric return nullptr; 1010d88c1a5aSDimitry Andric }; 1011d88c1a5aSDimitry Andric auto getMDOrNullWithoutPlaceholders = [&](unsigned ID) -> Metadata * { 1012d88c1a5aSDimitry Andric if (ID) 1013d88c1a5aSDimitry Andric return MetadataList.getMetadataFwdRef(ID - 1); 1014d88c1a5aSDimitry Andric return nullptr; 1015d88c1a5aSDimitry Andric }; 1016d88c1a5aSDimitry Andric auto getMDString = [&](unsigned ID) -> MDString * { 1017d88c1a5aSDimitry Andric // This requires that the ID is not really a forward reference. In 1018d88c1a5aSDimitry Andric // particular, the MDString must already have been resolved. 101995ec533aSDimitry Andric auto MDS = getMDOrNull(ID); 102095ec533aSDimitry Andric return cast_or_null<MDString>(MDS); 1021d88c1a5aSDimitry Andric }; 1022d88c1a5aSDimitry Andric 1023d88c1a5aSDimitry Andric // Support for old type refs. 1024d88c1a5aSDimitry Andric auto getDITypeRefOrNull = [&](unsigned ID) { 1025d88c1a5aSDimitry Andric return MetadataList.upgradeTypeRef(getMDOrNull(ID)); 1026d88c1a5aSDimitry Andric }; 1027d88c1a5aSDimitry Andric 1028d88c1a5aSDimitry Andric #define GET_OR_DISTINCT(CLASS, ARGS) \ 1029d88c1a5aSDimitry Andric (IsDistinct ? CLASS::getDistinct ARGS : CLASS::get ARGS) 1030d88c1a5aSDimitry Andric 1031d88c1a5aSDimitry Andric switch (Code) { 1032d88c1a5aSDimitry Andric default: // Default behavior: ignore. 1033d88c1a5aSDimitry Andric break; 1034d88c1a5aSDimitry Andric case bitc::METADATA_NAME: { 1035d88c1a5aSDimitry Andric // Read name of the named metadata. 1036d88c1a5aSDimitry Andric SmallString<8> Name(Record.begin(), Record.end()); 1037d88c1a5aSDimitry Andric Record.clear(); 1038d88c1a5aSDimitry Andric Code = Stream.ReadCode(); 1039d88c1a5aSDimitry Andric 104095ec533aSDimitry Andric ++NumMDRecordLoaded; 1041d88c1a5aSDimitry Andric unsigned NextBitCode = Stream.readRecord(Code, Record); 1042d88c1a5aSDimitry Andric if (NextBitCode != bitc::METADATA_NAMED_NODE) 1043d88c1a5aSDimitry Andric return error("METADATA_NAME not followed by METADATA_NAMED_NODE"); 1044d88c1a5aSDimitry Andric 1045d88c1a5aSDimitry Andric // Read named metadata elements. 1046d88c1a5aSDimitry Andric unsigned Size = Record.size(); 1047d88c1a5aSDimitry Andric NamedMDNode *NMD = TheModule.getOrInsertNamedMetadata(Name); 1048d88c1a5aSDimitry Andric for (unsigned i = 0; i != Size; ++i) { 1049d88c1a5aSDimitry Andric MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[i]); 1050d88c1a5aSDimitry Andric if (!MD) 1051d88c1a5aSDimitry Andric return error("Invalid record"); 1052d88c1a5aSDimitry Andric NMD->addOperand(MD); 1053d88c1a5aSDimitry Andric } 1054d88c1a5aSDimitry Andric break; 1055d88c1a5aSDimitry Andric } 1056d88c1a5aSDimitry Andric case bitc::METADATA_OLD_FN_NODE: { 1057d88c1a5aSDimitry Andric // FIXME: Remove in 4.0. 1058d88c1a5aSDimitry Andric // This is a LocalAsMetadata record, the only type of function-local 1059d88c1a5aSDimitry Andric // metadata. 1060d88c1a5aSDimitry Andric if (Record.size() % 2 == 1) 1061d88c1a5aSDimitry Andric return error("Invalid record"); 1062d88c1a5aSDimitry Andric 1063d88c1a5aSDimitry Andric // If this isn't a LocalAsMetadata record, we're dropping it. This used 1064d88c1a5aSDimitry Andric // to be legal, but there's no upgrade path. 1065d88c1a5aSDimitry Andric auto dropRecord = [&] { 106698221d2eSDimitry Andric MetadataList.assignValue(MDNode::get(Context, None), NextMetadataNo); 106798221d2eSDimitry Andric NextMetadataNo++; 1068d88c1a5aSDimitry Andric }; 1069d88c1a5aSDimitry Andric if (Record.size() != 2) { 1070d88c1a5aSDimitry Andric dropRecord(); 1071d88c1a5aSDimitry Andric break; 1072d88c1a5aSDimitry Andric } 1073d88c1a5aSDimitry Andric 1074d88c1a5aSDimitry Andric Type *Ty = getTypeByID(Record[0]); 1075d88c1a5aSDimitry Andric if (Ty->isMetadataTy() || Ty->isVoidTy()) { 1076d88c1a5aSDimitry Andric dropRecord(); 1077d88c1a5aSDimitry Andric break; 1078d88c1a5aSDimitry Andric } 1079d88c1a5aSDimitry Andric 1080d88c1a5aSDimitry Andric MetadataList.assignValue( 1081d88c1a5aSDimitry Andric LocalAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)), 108298221d2eSDimitry Andric NextMetadataNo); 108398221d2eSDimitry Andric NextMetadataNo++; 1084d88c1a5aSDimitry Andric break; 1085d88c1a5aSDimitry Andric } 1086d88c1a5aSDimitry Andric case bitc::METADATA_OLD_NODE: { 1087d88c1a5aSDimitry Andric // FIXME: Remove in 4.0. 1088d88c1a5aSDimitry Andric if (Record.size() % 2 == 1) 1089d88c1a5aSDimitry Andric return error("Invalid record"); 1090d88c1a5aSDimitry Andric 1091d88c1a5aSDimitry Andric unsigned Size = Record.size(); 1092d88c1a5aSDimitry Andric SmallVector<Metadata *, 8> Elts; 1093d88c1a5aSDimitry Andric for (unsigned i = 0; i != Size; i += 2) { 1094d88c1a5aSDimitry Andric Type *Ty = getTypeByID(Record[i]); 1095d88c1a5aSDimitry Andric if (!Ty) 1096d88c1a5aSDimitry Andric return error("Invalid record"); 1097d88c1a5aSDimitry Andric if (Ty->isMetadataTy()) 1098d88c1a5aSDimitry Andric Elts.push_back(getMD(Record[i + 1])); 1099d88c1a5aSDimitry Andric else if (!Ty->isVoidTy()) { 1100d88c1a5aSDimitry Andric auto *MD = 1101d88c1a5aSDimitry Andric ValueAsMetadata::get(ValueList.getValueFwdRef(Record[i + 1], Ty)); 1102d88c1a5aSDimitry Andric assert(isa<ConstantAsMetadata>(MD) && 1103d88c1a5aSDimitry Andric "Expected non-function-local metadata"); 1104d88c1a5aSDimitry Andric Elts.push_back(MD); 1105d88c1a5aSDimitry Andric } else 1106d88c1a5aSDimitry Andric Elts.push_back(nullptr); 1107d88c1a5aSDimitry Andric } 110898221d2eSDimitry Andric MetadataList.assignValue(MDNode::get(Context, Elts), NextMetadataNo); 110998221d2eSDimitry Andric NextMetadataNo++; 1110d88c1a5aSDimitry Andric break; 1111d88c1a5aSDimitry Andric } 1112d88c1a5aSDimitry Andric case bitc::METADATA_VALUE: { 1113d88c1a5aSDimitry Andric if (Record.size() != 2) 1114d88c1a5aSDimitry Andric return error("Invalid record"); 1115d88c1a5aSDimitry Andric 1116d88c1a5aSDimitry Andric Type *Ty = getTypeByID(Record[0]); 1117d88c1a5aSDimitry Andric if (Ty->isMetadataTy() || Ty->isVoidTy()) 1118d88c1a5aSDimitry Andric return error("Invalid record"); 1119d88c1a5aSDimitry Andric 1120d88c1a5aSDimitry Andric MetadataList.assignValue( 1121d88c1a5aSDimitry Andric ValueAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)), 112298221d2eSDimitry Andric NextMetadataNo); 112398221d2eSDimitry Andric NextMetadataNo++; 1124d88c1a5aSDimitry Andric break; 1125d88c1a5aSDimitry Andric } 1126d88c1a5aSDimitry Andric case bitc::METADATA_DISTINCT_NODE: 1127d88c1a5aSDimitry Andric IsDistinct = true; 1128d88c1a5aSDimitry Andric LLVM_FALLTHROUGH; 1129d88c1a5aSDimitry Andric case bitc::METADATA_NODE: { 1130d88c1a5aSDimitry Andric SmallVector<Metadata *, 8> Elts; 1131d88c1a5aSDimitry Andric Elts.reserve(Record.size()); 1132d88c1a5aSDimitry Andric for (unsigned ID : Record) 1133d88c1a5aSDimitry Andric Elts.push_back(getMDOrNull(ID)); 1134d88c1a5aSDimitry Andric MetadataList.assignValue(IsDistinct ? MDNode::getDistinct(Context, Elts) 1135d88c1a5aSDimitry Andric : MDNode::get(Context, Elts), 113698221d2eSDimitry Andric NextMetadataNo); 113798221d2eSDimitry Andric NextMetadataNo++; 1138d88c1a5aSDimitry Andric break; 1139d88c1a5aSDimitry Andric } 1140d88c1a5aSDimitry Andric case bitc::METADATA_LOCATION: { 1141d88c1a5aSDimitry Andric if (Record.size() != 5) 1142d88c1a5aSDimitry Andric return error("Invalid record"); 1143d88c1a5aSDimitry Andric 1144d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1145d88c1a5aSDimitry Andric unsigned Line = Record[1]; 1146d88c1a5aSDimitry Andric unsigned Column = Record[2]; 1147d88c1a5aSDimitry Andric Metadata *Scope = getMD(Record[3]); 1148d88c1a5aSDimitry Andric Metadata *InlinedAt = getMDOrNull(Record[4]); 1149d88c1a5aSDimitry Andric MetadataList.assignValue( 1150d88c1a5aSDimitry Andric GET_OR_DISTINCT(DILocation, (Context, Line, Column, Scope, InlinedAt)), 115198221d2eSDimitry Andric NextMetadataNo); 115298221d2eSDimitry Andric NextMetadataNo++; 1153d88c1a5aSDimitry Andric break; 1154d88c1a5aSDimitry Andric } 1155d88c1a5aSDimitry Andric case bitc::METADATA_GENERIC_DEBUG: { 1156d88c1a5aSDimitry Andric if (Record.size() < 4) 1157d88c1a5aSDimitry Andric return error("Invalid record"); 1158d88c1a5aSDimitry Andric 1159d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1160d88c1a5aSDimitry Andric unsigned Tag = Record[1]; 1161d88c1a5aSDimitry Andric unsigned Version = Record[2]; 1162d88c1a5aSDimitry Andric 1163d88c1a5aSDimitry Andric if (Tag >= 1u << 16 || Version != 0) 1164d88c1a5aSDimitry Andric return error("Invalid record"); 1165d88c1a5aSDimitry Andric 1166d88c1a5aSDimitry Andric auto *Header = getMDString(Record[3]); 1167d88c1a5aSDimitry Andric SmallVector<Metadata *, 8> DwarfOps; 1168d88c1a5aSDimitry Andric for (unsigned I = 4, E = Record.size(); I != E; ++I) 1169d88c1a5aSDimitry Andric DwarfOps.push_back(getMDOrNull(Record[I])); 1170d88c1a5aSDimitry Andric MetadataList.assignValue( 1171d88c1a5aSDimitry Andric GET_OR_DISTINCT(GenericDINode, (Context, Tag, Header, DwarfOps)), 117298221d2eSDimitry Andric NextMetadataNo); 117398221d2eSDimitry Andric NextMetadataNo++; 1174d88c1a5aSDimitry Andric break; 1175d88c1a5aSDimitry Andric } 1176d88c1a5aSDimitry Andric case bitc::METADATA_SUBRANGE: { 1177d88c1a5aSDimitry Andric if (Record.size() != 3) 1178d88c1a5aSDimitry Andric return error("Invalid record"); 1179d88c1a5aSDimitry Andric 1180d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1181d88c1a5aSDimitry Andric MetadataList.assignValue( 1182d88c1a5aSDimitry Andric GET_OR_DISTINCT(DISubrange, 1183d88c1a5aSDimitry Andric (Context, Record[1], unrotateSign(Record[2]))), 118498221d2eSDimitry Andric NextMetadataNo); 118598221d2eSDimitry Andric NextMetadataNo++; 1186d88c1a5aSDimitry Andric break; 1187d88c1a5aSDimitry Andric } 1188d88c1a5aSDimitry Andric case bitc::METADATA_ENUMERATOR: { 1189d88c1a5aSDimitry Andric if (Record.size() != 3) 1190d88c1a5aSDimitry Andric return error("Invalid record"); 1191d88c1a5aSDimitry Andric 1192d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1193d88c1a5aSDimitry Andric MetadataList.assignValue( 1194d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIEnumerator, (Context, unrotateSign(Record[1]), 1195d88c1a5aSDimitry Andric getMDString(Record[2]))), 119698221d2eSDimitry Andric NextMetadataNo); 119798221d2eSDimitry Andric NextMetadataNo++; 1198d88c1a5aSDimitry Andric break; 1199d88c1a5aSDimitry Andric } 1200d88c1a5aSDimitry Andric case bitc::METADATA_BASIC_TYPE: { 1201d88c1a5aSDimitry Andric if (Record.size() != 6) 1202d88c1a5aSDimitry Andric return error("Invalid record"); 1203d88c1a5aSDimitry Andric 1204d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1205d88c1a5aSDimitry Andric MetadataList.assignValue( 1206d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIBasicType, 1207d88c1a5aSDimitry Andric (Context, Record[1], getMDString(Record[2]), Record[3], 1208d88c1a5aSDimitry Andric Record[4], Record[5])), 120998221d2eSDimitry Andric NextMetadataNo); 121098221d2eSDimitry Andric NextMetadataNo++; 1211d88c1a5aSDimitry Andric break; 1212d88c1a5aSDimitry Andric } 1213d88c1a5aSDimitry Andric case bitc::METADATA_DERIVED_TYPE: { 12147a7e6055SDimitry Andric if (Record.size() < 12 || Record.size() > 13) 1215d88c1a5aSDimitry Andric return error("Invalid record"); 1216d88c1a5aSDimitry Andric 12177a7e6055SDimitry Andric // DWARF address space is encoded as N->getDWARFAddressSpace() + 1. 0 means 12187a7e6055SDimitry Andric // that there is no DWARF address space associated with DIDerivedType. 12197a7e6055SDimitry Andric Optional<unsigned> DWARFAddressSpace; 12207a7e6055SDimitry Andric if (Record.size() > 12 && Record[12]) 12217a7e6055SDimitry Andric DWARFAddressSpace = Record[12] - 1; 12227a7e6055SDimitry Andric 1223d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1224d88c1a5aSDimitry Andric DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]); 1225d88c1a5aSDimitry Andric MetadataList.assignValue( 1226d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIDerivedType, 1227d88c1a5aSDimitry Andric (Context, Record[1], getMDString(Record[2]), 1228d88c1a5aSDimitry Andric getMDOrNull(Record[3]), Record[4], 1229d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[5]), 1230d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[6]), Record[7], Record[8], 12317a7e6055SDimitry Andric Record[9], DWARFAddressSpace, Flags, 12327a7e6055SDimitry Andric getDITypeRefOrNull(Record[11]))), 123398221d2eSDimitry Andric NextMetadataNo); 123498221d2eSDimitry Andric NextMetadataNo++; 1235d88c1a5aSDimitry Andric break; 1236d88c1a5aSDimitry Andric } 1237d88c1a5aSDimitry Andric case bitc::METADATA_COMPOSITE_TYPE: { 1238d88c1a5aSDimitry Andric if (Record.size() != 16) 1239d88c1a5aSDimitry Andric return error("Invalid record"); 1240d88c1a5aSDimitry Andric 1241d88c1a5aSDimitry Andric // If we have a UUID and this is not a forward declaration, lookup the 1242d88c1a5aSDimitry Andric // mapping. 1243d88c1a5aSDimitry Andric IsDistinct = Record[0] & 0x1; 1244d88c1a5aSDimitry Andric bool IsNotUsedInTypeRef = Record[0] >= 2; 1245d88c1a5aSDimitry Andric unsigned Tag = Record[1]; 1246d88c1a5aSDimitry Andric MDString *Name = getMDString(Record[2]); 1247d88c1a5aSDimitry Andric Metadata *File = getMDOrNull(Record[3]); 1248d88c1a5aSDimitry Andric unsigned Line = Record[4]; 1249d88c1a5aSDimitry Andric Metadata *Scope = getDITypeRefOrNull(Record[5]); 1250d88c1a5aSDimitry Andric Metadata *BaseType = nullptr; 1251d88c1a5aSDimitry Andric uint64_t SizeInBits = Record[7]; 1252d88c1a5aSDimitry Andric if (Record[8] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1253d88c1a5aSDimitry Andric return error("Alignment value is too large"); 1254d88c1a5aSDimitry Andric uint32_t AlignInBits = Record[8]; 1255d88c1a5aSDimitry Andric uint64_t OffsetInBits = 0; 1256d88c1a5aSDimitry Andric DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]); 1257d88c1a5aSDimitry Andric Metadata *Elements = nullptr; 1258d88c1a5aSDimitry Andric unsigned RuntimeLang = Record[12]; 1259d88c1a5aSDimitry Andric Metadata *VTableHolder = nullptr; 1260d88c1a5aSDimitry Andric Metadata *TemplateParams = nullptr; 1261d88c1a5aSDimitry Andric auto *Identifier = getMDString(Record[15]); 1262d88c1a5aSDimitry Andric // If this module is being parsed so that it can be ThinLTO imported 1263d88c1a5aSDimitry Andric // into another module, composite types only need to be imported 1264d88c1a5aSDimitry Andric // as type declarations (unless full type definitions requested). 1265d88c1a5aSDimitry Andric // Create type declarations up front to save memory. Also, buildODRType 1266d88c1a5aSDimitry Andric // handles the case where this is type ODRed with a definition needed 1267d88c1a5aSDimitry Andric // by the importing module, in which case the existing definition is 1268d88c1a5aSDimitry Andric // used. 12698e0f8b8cSDimitry Andric if (IsImporting && !ImportFullTypeDefinitions && Identifier && 1270d88c1a5aSDimitry Andric (Tag == dwarf::DW_TAG_enumeration_type || 1271d88c1a5aSDimitry Andric Tag == dwarf::DW_TAG_class_type || 1272d88c1a5aSDimitry Andric Tag == dwarf::DW_TAG_structure_type || 1273d88c1a5aSDimitry Andric Tag == dwarf::DW_TAG_union_type)) { 1274d88c1a5aSDimitry Andric Flags = Flags | DINode::FlagFwdDecl; 1275d88c1a5aSDimitry Andric } else { 1276d88c1a5aSDimitry Andric BaseType = getDITypeRefOrNull(Record[6]); 1277d88c1a5aSDimitry Andric OffsetInBits = Record[9]; 1278d88c1a5aSDimitry Andric Elements = getMDOrNull(Record[11]); 1279d88c1a5aSDimitry Andric VTableHolder = getDITypeRefOrNull(Record[13]); 1280d88c1a5aSDimitry Andric TemplateParams = getMDOrNull(Record[14]); 1281d88c1a5aSDimitry Andric } 1282d88c1a5aSDimitry Andric DICompositeType *CT = nullptr; 1283d88c1a5aSDimitry Andric if (Identifier) 1284d88c1a5aSDimitry Andric CT = DICompositeType::buildODRType( 1285d88c1a5aSDimitry Andric Context, *Identifier, Tag, Name, File, Line, Scope, BaseType, 1286d88c1a5aSDimitry Andric SizeInBits, AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang, 1287d88c1a5aSDimitry Andric VTableHolder, TemplateParams); 1288d88c1a5aSDimitry Andric 1289d88c1a5aSDimitry Andric // Create a node if we didn't get a lazy ODR type. 1290d88c1a5aSDimitry Andric if (!CT) 1291d88c1a5aSDimitry Andric CT = GET_OR_DISTINCT(DICompositeType, 1292d88c1a5aSDimitry Andric (Context, Tag, Name, File, Line, Scope, BaseType, 1293d88c1a5aSDimitry Andric SizeInBits, AlignInBits, OffsetInBits, Flags, 1294d88c1a5aSDimitry Andric Elements, RuntimeLang, VTableHolder, TemplateParams, 1295d88c1a5aSDimitry Andric Identifier)); 1296d88c1a5aSDimitry Andric if (!IsNotUsedInTypeRef && Identifier) 1297d88c1a5aSDimitry Andric MetadataList.addTypeRef(*Identifier, *cast<DICompositeType>(CT)); 1298d88c1a5aSDimitry Andric 129998221d2eSDimitry Andric MetadataList.assignValue(CT, NextMetadataNo); 130098221d2eSDimitry Andric NextMetadataNo++; 1301d88c1a5aSDimitry Andric break; 1302d88c1a5aSDimitry Andric } 1303d88c1a5aSDimitry Andric case bitc::METADATA_SUBROUTINE_TYPE: { 1304d88c1a5aSDimitry Andric if (Record.size() < 3 || Record.size() > 4) 1305d88c1a5aSDimitry Andric return error("Invalid record"); 1306d88c1a5aSDimitry Andric bool IsOldTypeRefArray = Record[0] < 2; 1307d88c1a5aSDimitry Andric unsigned CC = (Record.size() > 3) ? Record[3] : 0; 1308d88c1a5aSDimitry Andric 1309d88c1a5aSDimitry Andric IsDistinct = Record[0] & 0x1; 1310d88c1a5aSDimitry Andric DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[1]); 1311d88c1a5aSDimitry Andric Metadata *Types = getMDOrNull(Record[2]); 1312d88c1a5aSDimitry Andric if (LLVM_UNLIKELY(IsOldTypeRefArray)) 1313d88c1a5aSDimitry Andric Types = MetadataList.upgradeTypeRefArray(Types); 1314d88c1a5aSDimitry Andric 1315d88c1a5aSDimitry Andric MetadataList.assignValue( 1316d88c1a5aSDimitry Andric GET_OR_DISTINCT(DISubroutineType, (Context, Flags, CC, Types)), 131798221d2eSDimitry Andric NextMetadataNo); 131898221d2eSDimitry Andric NextMetadataNo++; 1319d88c1a5aSDimitry Andric break; 1320d88c1a5aSDimitry Andric } 1321d88c1a5aSDimitry Andric 1322d88c1a5aSDimitry Andric case bitc::METADATA_MODULE: { 1323d88c1a5aSDimitry Andric if (Record.size() != 6) 1324d88c1a5aSDimitry Andric return error("Invalid record"); 1325d88c1a5aSDimitry Andric 1326d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1327d88c1a5aSDimitry Andric MetadataList.assignValue( 1328d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIModule, 1329d88c1a5aSDimitry Andric (Context, getMDOrNull(Record[1]), 1330d88c1a5aSDimitry Andric getMDString(Record[2]), getMDString(Record[3]), 1331d88c1a5aSDimitry Andric getMDString(Record[4]), getMDString(Record[5]))), 133298221d2eSDimitry Andric NextMetadataNo); 133398221d2eSDimitry Andric NextMetadataNo++; 1334d88c1a5aSDimitry Andric break; 1335d88c1a5aSDimitry Andric } 1336d88c1a5aSDimitry Andric 1337d88c1a5aSDimitry Andric case bitc::METADATA_FILE: { 1338d88c1a5aSDimitry Andric if (Record.size() != 3 && Record.size() != 5) 1339d88c1a5aSDimitry Andric return error("Invalid record"); 1340d88c1a5aSDimitry Andric 1341d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1342d88c1a5aSDimitry Andric MetadataList.assignValue( 1343d88c1a5aSDimitry Andric GET_OR_DISTINCT( 1344d88c1a5aSDimitry Andric DIFile, 1345d88c1a5aSDimitry Andric (Context, getMDString(Record[1]), getMDString(Record[2]), 1346d88c1a5aSDimitry Andric Record.size() == 3 ? DIFile::CSK_None 1347d88c1a5aSDimitry Andric : static_cast<DIFile::ChecksumKind>(Record[3]), 1348d88c1a5aSDimitry Andric Record.size() == 3 ? nullptr : getMDString(Record[4]))), 134998221d2eSDimitry Andric NextMetadataNo); 135098221d2eSDimitry Andric NextMetadataNo++; 1351d88c1a5aSDimitry Andric break; 1352d88c1a5aSDimitry Andric } 1353d88c1a5aSDimitry Andric case bitc::METADATA_COMPILE_UNIT: { 13542cab237bSDimitry Andric if (Record.size() < 14 || Record.size() > 19) 1355d88c1a5aSDimitry Andric return error("Invalid record"); 1356d88c1a5aSDimitry Andric 1357d88c1a5aSDimitry Andric // Ignore Record[0], which indicates whether this compile unit is 1358d88c1a5aSDimitry Andric // distinct. It's always distinct. 1359d88c1a5aSDimitry Andric IsDistinct = true; 1360d88c1a5aSDimitry Andric auto *CU = DICompileUnit::getDistinct( 1361d88c1a5aSDimitry Andric Context, Record[1], getMDOrNull(Record[2]), getMDString(Record[3]), 1362d88c1a5aSDimitry Andric Record[4], getMDString(Record[5]), Record[6], getMDString(Record[7]), 1363d88c1a5aSDimitry Andric Record[8], getMDOrNull(Record[9]), getMDOrNull(Record[10]), 1364d88c1a5aSDimitry Andric getMDOrNull(Record[12]), getMDOrNull(Record[13]), 1365d88c1a5aSDimitry Andric Record.size() <= 15 ? nullptr : getMDOrNull(Record[15]), 1366d88c1a5aSDimitry Andric Record.size() <= 14 ? 0 : Record[14], 13677a7e6055SDimitry Andric Record.size() <= 16 ? true : Record[16], 13682cab237bSDimitry Andric Record.size() <= 17 ? false : Record[17], 13692cab237bSDimitry Andric Record.size() <= 18 ? false : Record[18]); 1370d88c1a5aSDimitry Andric 137198221d2eSDimitry Andric MetadataList.assignValue(CU, NextMetadataNo); 137298221d2eSDimitry Andric NextMetadataNo++; 1373d88c1a5aSDimitry Andric 1374d88c1a5aSDimitry Andric // Move the Upgrade the list of subprograms. 1375d88c1a5aSDimitry Andric if (Metadata *SPs = getMDOrNullWithoutPlaceholders(Record[11])) 1376d88c1a5aSDimitry Andric CUSubprograms.push_back({CU, SPs}); 1377d88c1a5aSDimitry Andric break; 1378d88c1a5aSDimitry Andric } 1379d88c1a5aSDimitry Andric case bitc::METADATA_SUBPROGRAM: { 1380f37b6182SDimitry Andric if (Record.size() < 18 || Record.size() > 21) 1381d88c1a5aSDimitry Andric return error("Invalid record"); 1382d88c1a5aSDimitry Andric 1383d88c1a5aSDimitry Andric IsDistinct = 1384d88c1a5aSDimitry Andric (Record[0] & 1) || Record[8]; // All definitions should be distinct. 1385d88c1a5aSDimitry Andric // Version 1 has a Function as Record[15]. 1386d88c1a5aSDimitry Andric // Version 2 has removed Record[15]. 1387d88c1a5aSDimitry Andric // Version 3 has the Unit as Record[15]. 1388d88c1a5aSDimitry Andric // Version 4 added thisAdjustment. 1389d88c1a5aSDimitry Andric bool HasUnit = Record[0] >= 2; 1390d88c1a5aSDimitry Andric if (HasUnit && Record.size() < 19) 1391d88c1a5aSDimitry Andric return error("Invalid record"); 1392d88c1a5aSDimitry Andric Metadata *CUorFn = getMDOrNull(Record[15]); 1393d88c1a5aSDimitry Andric unsigned Offset = Record.size() >= 19 ? 1 : 0; 1394d88c1a5aSDimitry Andric bool HasFn = Offset && !HasUnit; 1395d88c1a5aSDimitry Andric bool HasThisAdj = Record.size() >= 20; 1396f37b6182SDimitry Andric bool HasThrownTypes = Record.size() >= 21; 1397d88c1a5aSDimitry Andric DISubprogram *SP = GET_OR_DISTINCT( 1398f37b6182SDimitry Andric DISubprogram, 1399f37b6182SDimitry Andric (Context, 1400d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[1]), // scope 1401d88c1a5aSDimitry Andric getMDString(Record[2]), // name 1402d88c1a5aSDimitry Andric getMDString(Record[3]), // linkageName 1403d88c1a5aSDimitry Andric getMDOrNull(Record[4]), // file 1404d88c1a5aSDimitry Andric Record[5], // line 1405d88c1a5aSDimitry Andric getMDOrNull(Record[6]), // type 1406d88c1a5aSDimitry Andric Record[7], // isLocal 1407d88c1a5aSDimitry Andric Record[8], // isDefinition 1408d88c1a5aSDimitry Andric Record[9], // scopeLine 1409d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[10]), // containingType 1410d88c1a5aSDimitry Andric Record[11], // virtuality 1411d88c1a5aSDimitry Andric Record[12], // virtualIndex 1412d88c1a5aSDimitry Andric HasThisAdj ? Record[19] : 0, // thisAdjustment 1413f37b6182SDimitry Andric static_cast<DINode::DIFlags>(Record[13]), // flags 1414d88c1a5aSDimitry Andric Record[14], // isOptimized 1415d88c1a5aSDimitry Andric HasUnit ? CUorFn : nullptr, // unit 1416d88c1a5aSDimitry Andric getMDOrNull(Record[15 + Offset]), // templateParams 1417d88c1a5aSDimitry Andric getMDOrNull(Record[16 + Offset]), // declaration 1418f37b6182SDimitry Andric getMDOrNull(Record[17 + Offset]), // variables 1419f37b6182SDimitry Andric HasThrownTypes ? getMDOrNull(Record[20]) : nullptr // thrownTypes 1420d88c1a5aSDimitry Andric )); 142198221d2eSDimitry Andric MetadataList.assignValue(SP, NextMetadataNo); 142298221d2eSDimitry Andric NextMetadataNo++; 1423d88c1a5aSDimitry Andric 1424d88c1a5aSDimitry Andric // Upgrade sp->function mapping to function->sp mapping. 1425d88c1a5aSDimitry Andric if (HasFn) { 1426d88c1a5aSDimitry Andric if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(CUorFn)) 1427d88c1a5aSDimitry Andric if (auto *F = dyn_cast<Function>(CMD->getValue())) { 1428d88c1a5aSDimitry Andric if (F->isMaterializable()) 1429d88c1a5aSDimitry Andric // Defer until materialized; unmaterialized functions may not have 1430d88c1a5aSDimitry Andric // metadata. 1431d88c1a5aSDimitry Andric FunctionsWithSPs[F] = SP; 1432d88c1a5aSDimitry Andric else if (!F->empty()) 1433d88c1a5aSDimitry Andric F->setSubprogram(SP); 1434d88c1a5aSDimitry Andric } 1435d88c1a5aSDimitry Andric } 1436d88c1a5aSDimitry Andric break; 1437d88c1a5aSDimitry Andric } 1438d88c1a5aSDimitry Andric case bitc::METADATA_LEXICAL_BLOCK: { 1439d88c1a5aSDimitry Andric if (Record.size() != 5) 1440d88c1a5aSDimitry Andric return error("Invalid record"); 1441d88c1a5aSDimitry Andric 1442d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1443d88c1a5aSDimitry Andric MetadataList.assignValue( 1444d88c1a5aSDimitry Andric GET_OR_DISTINCT(DILexicalBlock, 1445d88c1a5aSDimitry Andric (Context, getMDOrNull(Record[1]), 1446d88c1a5aSDimitry Andric getMDOrNull(Record[2]), Record[3], Record[4])), 144798221d2eSDimitry Andric NextMetadataNo); 144898221d2eSDimitry Andric NextMetadataNo++; 1449d88c1a5aSDimitry Andric break; 1450d88c1a5aSDimitry Andric } 1451d88c1a5aSDimitry Andric case bitc::METADATA_LEXICAL_BLOCK_FILE: { 1452d88c1a5aSDimitry Andric if (Record.size() != 4) 1453d88c1a5aSDimitry Andric return error("Invalid record"); 1454d88c1a5aSDimitry Andric 1455d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1456d88c1a5aSDimitry Andric MetadataList.assignValue( 1457d88c1a5aSDimitry Andric GET_OR_DISTINCT(DILexicalBlockFile, 1458d88c1a5aSDimitry Andric (Context, getMDOrNull(Record[1]), 1459d88c1a5aSDimitry Andric getMDOrNull(Record[2]), Record[3])), 146098221d2eSDimitry Andric NextMetadataNo); 146198221d2eSDimitry Andric NextMetadataNo++; 1462d88c1a5aSDimitry Andric break; 1463d88c1a5aSDimitry Andric } 1464d88c1a5aSDimitry Andric case bitc::METADATA_NAMESPACE: { 1465f37b6182SDimitry Andric // Newer versions of DINamespace dropped file and line. 1466f37b6182SDimitry Andric MDString *Name; 1467f37b6182SDimitry Andric if (Record.size() == 3) 1468f37b6182SDimitry Andric Name = getMDString(Record[2]); 1469f37b6182SDimitry Andric else if (Record.size() == 5) 1470f37b6182SDimitry Andric Name = getMDString(Record[3]); 1471f37b6182SDimitry Andric else 1472d88c1a5aSDimitry Andric return error("Invalid record"); 1473d88c1a5aSDimitry Andric 1474d88c1a5aSDimitry Andric IsDistinct = Record[0] & 1; 1475d88c1a5aSDimitry Andric bool ExportSymbols = Record[0] & 2; 1476d88c1a5aSDimitry Andric MetadataList.assignValue( 1477d88c1a5aSDimitry Andric GET_OR_DISTINCT(DINamespace, 1478f37b6182SDimitry Andric (Context, getMDOrNull(Record[1]), Name, ExportSymbols)), 147998221d2eSDimitry Andric NextMetadataNo); 148098221d2eSDimitry Andric NextMetadataNo++; 1481d88c1a5aSDimitry Andric break; 1482d88c1a5aSDimitry Andric } 1483d88c1a5aSDimitry Andric case bitc::METADATA_MACRO: { 1484d88c1a5aSDimitry Andric if (Record.size() != 5) 1485d88c1a5aSDimitry Andric return error("Invalid record"); 1486d88c1a5aSDimitry Andric 1487d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1488d88c1a5aSDimitry Andric MetadataList.assignValue( 1489d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIMacro, 1490d88c1a5aSDimitry Andric (Context, Record[1], Record[2], getMDString(Record[3]), 1491d88c1a5aSDimitry Andric getMDString(Record[4]))), 149298221d2eSDimitry Andric NextMetadataNo); 149398221d2eSDimitry Andric NextMetadataNo++; 1494d88c1a5aSDimitry Andric break; 1495d88c1a5aSDimitry Andric } 1496d88c1a5aSDimitry Andric case bitc::METADATA_MACRO_FILE: { 1497d88c1a5aSDimitry Andric if (Record.size() != 5) 1498d88c1a5aSDimitry Andric return error("Invalid record"); 1499d88c1a5aSDimitry Andric 1500d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1501d88c1a5aSDimitry Andric MetadataList.assignValue( 1502d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIMacroFile, 1503d88c1a5aSDimitry Andric (Context, Record[1], Record[2], getMDOrNull(Record[3]), 1504d88c1a5aSDimitry Andric getMDOrNull(Record[4]))), 150598221d2eSDimitry Andric NextMetadataNo); 150698221d2eSDimitry Andric NextMetadataNo++; 1507d88c1a5aSDimitry Andric break; 1508d88c1a5aSDimitry Andric } 1509d88c1a5aSDimitry Andric case bitc::METADATA_TEMPLATE_TYPE: { 1510d88c1a5aSDimitry Andric if (Record.size() != 3) 1511d88c1a5aSDimitry Andric return error("Invalid record"); 1512d88c1a5aSDimitry Andric 1513d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1514d88c1a5aSDimitry Andric MetadataList.assignValue(GET_OR_DISTINCT(DITemplateTypeParameter, 1515d88c1a5aSDimitry Andric (Context, getMDString(Record[1]), 1516d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[2]))), 151798221d2eSDimitry Andric NextMetadataNo); 151898221d2eSDimitry Andric NextMetadataNo++; 1519d88c1a5aSDimitry Andric break; 1520d88c1a5aSDimitry Andric } 1521d88c1a5aSDimitry Andric case bitc::METADATA_TEMPLATE_VALUE: { 1522d88c1a5aSDimitry Andric if (Record.size() != 5) 1523d88c1a5aSDimitry Andric return error("Invalid record"); 1524d88c1a5aSDimitry Andric 1525d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1526d88c1a5aSDimitry Andric MetadataList.assignValue( 1527d88c1a5aSDimitry Andric GET_OR_DISTINCT(DITemplateValueParameter, 1528d88c1a5aSDimitry Andric (Context, Record[1], getMDString(Record[2]), 1529d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[3]), 1530d88c1a5aSDimitry Andric getMDOrNull(Record[4]))), 153198221d2eSDimitry Andric NextMetadataNo); 153298221d2eSDimitry Andric NextMetadataNo++; 1533d88c1a5aSDimitry Andric break; 1534d88c1a5aSDimitry Andric } 1535d88c1a5aSDimitry Andric case bitc::METADATA_GLOBAL_VAR: { 1536d88c1a5aSDimitry Andric if (Record.size() < 11 || Record.size() > 12) 1537d88c1a5aSDimitry Andric return error("Invalid record"); 1538d88c1a5aSDimitry Andric 1539d88c1a5aSDimitry Andric IsDistinct = Record[0] & 1; 1540d88c1a5aSDimitry Andric unsigned Version = Record[0] >> 1; 1541d88c1a5aSDimitry Andric 1542d88c1a5aSDimitry Andric if (Version == 1) { 1543d88c1a5aSDimitry Andric MetadataList.assignValue( 1544d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIGlobalVariable, 1545d88c1a5aSDimitry Andric (Context, getMDOrNull(Record[1]), 1546d88c1a5aSDimitry Andric getMDString(Record[2]), getMDString(Record[3]), 1547d88c1a5aSDimitry Andric getMDOrNull(Record[4]), Record[5], 1548d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[6]), Record[7], Record[8], 1549d88c1a5aSDimitry Andric getMDOrNull(Record[10]), Record[11])), 155098221d2eSDimitry Andric NextMetadataNo); 155198221d2eSDimitry Andric NextMetadataNo++; 1552d88c1a5aSDimitry Andric } else if (Version == 0) { 1553d88c1a5aSDimitry Andric // Upgrade old metadata, which stored a global variable reference or a 1554d88c1a5aSDimitry Andric // ConstantInt here. 15557a7e6055SDimitry Andric NeedUpgradeToDIGlobalVariableExpression = true; 1556d88c1a5aSDimitry Andric Metadata *Expr = getMDOrNull(Record[9]); 1557d88c1a5aSDimitry Andric uint32_t AlignInBits = 0; 1558d88c1a5aSDimitry Andric if (Record.size() > 11) { 1559d88c1a5aSDimitry Andric if (Record[11] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1560d88c1a5aSDimitry Andric return error("Alignment value is too large"); 1561d88c1a5aSDimitry Andric AlignInBits = Record[11]; 1562d88c1a5aSDimitry Andric } 1563d88c1a5aSDimitry Andric GlobalVariable *Attach = nullptr; 1564d88c1a5aSDimitry Andric if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(Expr)) { 1565d88c1a5aSDimitry Andric if (auto *GV = dyn_cast<GlobalVariable>(CMD->getValue())) { 1566d88c1a5aSDimitry Andric Attach = GV; 1567d88c1a5aSDimitry Andric Expr = nullptr; 1568d88c1a5aSDimitry Andric } else if (auto *CI = dyn_cast<ConstantInt>(CMD->getValue())) { 1569d88c1a5aSDimitry Andric Expr = DIExpression::get(Context, 1570d88c1a5aSDimitry Andric {dwarf::DW_OP_constu, CI->getZExtValue(), 1571d88c1a5aSDimitry Andric dwarf::DW_OP_stack_value}); 1572d88c1a5aSDimitry Andric } else { 1573d88c1a5aSDimitry Andric Expr = nullptr; 1574d88c1a5aSDimitry Andric } 1575d88c1a5aSDimitry Andric } 1576d88c1a5aSDimitry Andric DIGlobalVariable *DGV = GET_OR_DISTINCT( 1577d88c1a5aSDimitry Andric DIGlobalVariable, 1578d88c1a5aSDimitry Andric (Context, getMDOrNull(Record[1]), getMDString(Record[2]), 1579d88c1a5aSDimitry Andric getMDString(Record[3]), getMDOrNull(Record[4]), Record[5], 1580d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[6]), Record[7], Record[8], 1581d88c1a5aSDimitry Andric getMDOrNull(Record[10]), AlignInBits)); 1582d88c1a5aSDimitry Andric 15835ca5951eSDimitry Andric DIGlobalVariableExpression *DGVE = nullptr; 15845ca5951eSDimitry Andric if (Attach || Expr) 15852cab237bSDimitry Andric DGVE = DIGlobalVariableExpression::getDistinct( 15862cab237bSDimitry Andric Context, DGV, Expr ? Expr : DIExpression::get(Context, {})); 1587d88c1a5aSDimitry Andric if (Attach) 1588d88c1a5aSDimitry Andric Attach->addDebugInfo(DGVE); 15895ca5951eSDimitry Andric 15905ca5951eSDimitry Andric auto *MDNode = Expr ? cast<Metadata>(DGVE) : cast<Metadata>(DGV); 15915ca5951eSDimitry Andric MetadataList.assignValue(MDNode, NextMetadataNo); 15925ca5951eSDimitry Andric NextMetadataNo++; 1593d88c1a5aSDimitry Andric } else 1594d88c1a5aSDimitry Andric return error("Invalid record"); 1595d88c1a5aSDimitry Andric 1596d88c1a5aSDimitry Andric break; 1597d88c1a5aSDimitry Andric } 1598d88c1a5aSDimitry Andric case bitc::METADATA_LOCAL_VAR: { 1599d88c1a5aSDimitry Andric // 10th field is for the obseleted 'inlinedAt:' field. 1600d88c1a5aSDimitry Andric if (Record.size() < 8 || Record.size() > 10) 1601d88c1a5aSDimitry Andric return error("Invalid record"); 1602d88c1a5aSDimitry Andric 1603d88c1a5aSDimitry Andric IsDistinct = Record[0] & 1; 1604d88c1a5aSDimitry Andric bool HasAlignment = Record[0] & 2; 1605d88c1a5aSDimitry Andric // 2nd field used to be an artificial tag, either DW_TAG_auto_variable or 1606d88c1a5aSDimitry Andric // DW_TAG_arg_variable, if we have alignment flag encoded it means, that 16077a7e6055SDimitry Andric // this is newer version of record which doesn't have artificial tag. 1608d88c1a5aSDimitry Andric bool HasTag = !HasAlignment && Record.size() > 8; 1609d88c1a5aSDimitry Andric DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[7 + HasTag]); 1610d88c1a5aSDimitry Andric uint32_t AlignInBits = 0; 1611d88c1a5aSDimitry Andric if (HasAlignment) { 1612d88c1a5aSDimitry Andric if (Record[8 + HasTag] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1613d88c1a5aSDimitry Andric return error("Alignment value is too large"); 1614d88c1a5aSDimitry Andric AlignInBits = Record[8 + HasTag]; 1615d88c1a5aSDimitry Andric } 1616d88c1a5aSDimitry Andric MetadataList.assignValue( 1617d88c1a5aSDimitry Andric GET_OR_DISTINCT(DILocalVariable, 1618d88c1a5aSDimitry Andric (Context, getMDOrNull(Record[1 + HasTag]), 1619d88c1a5aSDimitry Andric getMDString(Record[2 + HasTag]), 1620d88c1a5aSDimitry Andric getMDOrNull(Record[3 + HasTag]), Record[4 + HasTag], 1621d88c1a5aSDimitry Andric getDITypeRefOrNull(Record[5 + HasTag]), 1622d88c1a5aSDimitry Andric Record[6 + HasTag], Flags, AlignInBits)), 162398221d2eSDimitry Andric NextMetadataNo); 162498221d2eSDimitry Andric NextMetadataNo++; 1625d88c1a5aSDimitry Andric break; 1626d88c1a5aSDimitry Andric } 1627d88c1a5aSDimitry Andric case bitc::METADATA_EXPRESSION: { 1628d88c1a5aSDimitry Andric if (Record.size() < 1) 1629d88c1a5aSDimitry Andric return error("Invalid record"); 1630d88c1a5aSDimitry Andric 1631d88c1a5aSDimitry Andric IsDistinct = Record[0] & 1; 16326bc11b14SDimitry Andric uint64_t Version = Record[0] >> 1; 1633d88c1a5aSDimitry Andric auto Elts = MutableArrayRef<uint64_t>(Record).slice(1); 163424d58133SDimitry Andric 163524d58133SDimitry Andric SmallVector<uint64_t, 6> Buffer; 163624d58133SDimitry Andric if (Error Err = upgradeDIExpression(Version, Elts, Buffer)) 163724d58133SDimitry Andric return Err; 1638d88c1a5aSDimitry Andric 1639d88c1a5aSDimitry Andric MetadataList.assignValue( 164024d58133SDimitry Andric GET_OR_DISTINCT(DIExpression, (Context, Elts)), NextMetadataNo); 164198221d2eSDimitry Andric NextMetadataNo++; 1642d88c1a5aSDimitry Andric break; 1643d88c1a5aSDimitry Andric } 1644d88c1a5aSDimitry Andric case bitc::METADATA_GLOBAL_VAR_EXPR: { 1645d88c1a5aSDimitry Andric if (Record.size() != 3) 1646d88c1a5aSDimitry Andric return error("Invalid record"); 1647d88c1a5aSDimitry Andric 1648d88c1a5aSDimitry Andric IsDistinct = Record[0]; 16492cab237bSDimitry Andric Metadata *Expr = getMDOrNull(Record[2]); 16502cab237bSDimitry Andric if (!Expr) 16512cab237bSDimitry Andric Expr = DIExpression::get(Context, {}); 16522cab237bSDimitry Andric MetadataList.assignValue( 16532cab237bSDimitry Andric GET_OR_DISTINCT(DIGlobalVariableExpression, 16542cab237bSDimitry Andric (Context, getMDOrNull(Record[1]), Expr)), 165598221d2eSDimitry Andric NextMetadataNo); 165698221d2eSDimitry Andric NextMetadataNo++; 1657d88c1a5aSDimitry Andric break; 1658d88c1a5aSDimitry Andric } 1659d88c1a5aSDimitry Andric case bitc::METADATA_OBJC_PROPERTY: { 1660d88c1a5aSDimitry Andric if (Record.size() != 8) 1661d88c1a5aSDimitry Andric return error("Invalid record"); 1662d88c1a5aSDimitry Andric 1663d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1664d88c1a5aSDimitry Andric MetadataList.assignValue( 1665d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIObjCProperty, 1666d88c1a5aSDimitry Andric (Context, getMDString(Record[1]), 1667d88c1a5aSDimitry Andric getMDOrNull(Record[2]), Record[3], 1668d88c1a5aSDimitry Andric getMDString(Record[4]), getMDString(Record[5]), 1669d88c1a5aSDimitry Andric Record[6], getDITypeRefOrNull(Record[7]))), 167098221d2eSDimitry Andric NextMetadataNo); 167198221d2eSDimitry Andric NextMetadataNo++; 1672d88c1a5aSDimitry Andric break; 1673d88c1a5aSDimitry Andric } 1674d88c1a5aSDimitry Andric case bitc::METADATA_IMPORTED_ENTITY: { 1675b40b48b8SDimitry Andric if (Record.size() != 6 && Record.size() != 7) 1676d88c1a5aSDimitry Andric return error("Invalid record"); 1677d88c1a5aSDimitry Andric 1678d88c1a5aSDimitry Andric IsDistinct = Record[0]; 1679b40b48b8SDimitry Andric bool HasFile = (Record.size() == 7); 1680d88c1a5aSDimitry Andric MetadataList.assignValue( 1681d88c1a5aSDimitry Andric GET_OR_DISTINCT(DIImportedEntity, 1682d88c1a5aSDimitry Andric (Context, Record[1], getMDOrNull(Record[2]), 1683b40b48b8SDimitry Andric getDITypeRefOrNull(Record[3]), 1684b40b48b8SDimitry Andric HasFile ? getMDOrNull(Record[6]) : nullptr, 1685b40b48b8SDimitry Andric HasFile ? Record[4] : 0, getMDString(Record[5]))), 168698221d2eSDimitry Andric NextMetadataNo); 168798221d2eSDimitry Andric NextMetadataNo++; 1688d88c1a5aSDimitry Andric break; 1689d88c1a5aSDimitry Andric } 1690d88c1a5aSDimitry Andric case bitc::METADATA_STRING_OLD: { 1691d88c1a5aSDimitry Andric std::string String(Record.begin(), Record.end()); 1692d88c1a5aSDimitry Andric 1693d88c1a5aSDimitry Andric // Test for upgrading !llvm.loop. 1694d88c1a5aSDimitry Andric HasSeenOldLoopTags |= mayBeOldLoopAttachmentTag(String); 169595ec533aSDimitry Andric ++NumMDStringLoaded; 1696d88c1a5aSDimitry Andric Metadata *MD = MDString::get(Context, String); 169798221d2eSDimitry Andric MetadataList.assignValue(MD, NextMetadataNo); 169898221d2eSDimitry Andric NextMetadataNo++; 1699d88c1a5aSDimitry Andric break; 1700d88c1a5aSDimitry Andric } 170195ec533aSDimitry Andric case bitc::METADATA_STRINGS: { 170295ec533aSDimitry Andric auto CreateNextMDString = [&](StringRef Str) { 170395ec533aSDimitry Andric ++NumMDStringLoaded; 170498221d2eSDimitry Andric MetadataList.assignValue(MDString::get(Context, Str), NextMetadataNo); 170598221d2eSDimitry Andric NextMetadataNo++; 170695ec533aSDimitry Andric }; 170795ec533aSDimitry Andric if (Error Err = parseMetadataStrings(Record, Blob, CreateNextMDString)) 1708d88c1a5aSDimitry Andric return Err; 1709d88c1a5aSDimitry Andric break; 171095ec533aSDimitry Andric } 1711d88c1a5aSDimitry Andric case bitc::METADATA_GLOBAL_DECL_ATTACHMENT: { 1712d88c1a5aSDimitry Andric if (Record.size() % 2 == 0) 1713d88c1a5aSDimitry Andric return error("Invalid record"); 1714d88c1a5aSDimitry Andric unsigned ValueID = Record[0]; 1715d88c1a5aSDimitry Andric if (ValueID >= ValueList.size()) 1716d88c1a5aSDimitry Andric return error("Invalid record"); 1717d88c1a5aSDimitry Andric if (auto *GO = dyn_cast<GlobalObject>(ValueList[ValueID])) 1718d88c1a5aSDimitry Andric if (Error Err = parseGlobalObjectAttachment( 1719d88c1a5aSDimitry Andric *GO, ArrayRef<uint64_t>(Record).slice(1))) 1720d88c1a5aSDimitry Andric return Err; 1721d88c1a5aSDimitry Andric break; 1722d88c1a5aSDimitry Andric } 1723d88c1a5aSDimitry Andric case bitc::METADATA_KIND: { 1724d88c1a5aSDimitry Andric // Support older bitcode files that had METADATA_KIND records in a 1725d88c1a5aSDimitry Andric // block with METADATA_BLOCK_ID. 1726d88c1a5aSDimitry Andric if (Error Err = parseMetadataKindRecord(Record)) 1727d88c1a5aSDimitry Andric return Err; 1728d88c1a5aSDimitry Andric break; 1729d88c1a5aSDimitry Andric } 1730d88c1a5aSDimitry Andric } 1731d88c1a5aSDimitry Andric return Error::success(); 173295ec533aSDimitry Andric #undef GET_OR_DISTINCT 1733d88c1a5aSDimitry Andric } 1734d88c1a5aSDimitry Andric 1735d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseMetadataStrings( 173695ec533aSDimitry Andric ArrayRef<uint64_t> Record, StringRef Blob, 17377a7e6055SDimitry Andric function_ref<void(StringRef)> CallBack) { 1738d88c1a5aSDimitry Andric // All the MDStrings in the block are emitted together in a single 1739d88c1a5aSDimitry Andric // record. The strings are concatenated and stored in a blob along with 1740d88c1a5aSDimitry Andric // their sizes. 1741d88c1a5aSDimitry Andric if (Record.size() != 2) 1742d88c1a5aSDimitry Andric return error("Invalid record: metadata strings layout"); 1743d88c1a5aSDimitry Andric 1744d88c1a5aSDimitry Andric unsigned NumStrings = Record[0]; 1745d88c1a5aSDimitry Andric unsigned StringsOffset = Record[1]; 1746d88c1a5aSDimitry Andric if (!NumStrings) 1747d88c1a5aSDimitry Andric return error("Invalid record: metadata strings with no strings"); 1748d88c1a5aSDimitry Andric if (StringsOffset > Blob.size()) 1749d88c1a5aSDimitry Andric return error("Invalid record: metadata strings corrupt offset"); 1750d88c1a5aSDimitry Andric 1751d88c1a5aSDimitry Andric StringRef Lengths = Blob.slice(0, StringsOffset); 1752d88c1a5aSDimitry Andric SimpleBitstreamCursor R(Lengths); 1753d88c1a5aSDimitry Andric 1754d88c1a5aSDimitry Andric StringRef Strings = Blob.drop_front(StringsOffset); 1755d88c1a5aSDimitry Andric do { 1756d88c1a5aSDimitry Andric if (R.AtEndOfStream()) 1757d88c1a5aSDimitry Andric return error("Invalid record: metadata strings bad length"); 1758d88c1a5aSDimitry Andric 1759d88c1a5aSDimitry Andric unsigned Size = R.ReadVBR(6); 1760d88c1a5aSDimitry Andric if (Strings.size() < Size) 1761d88c1a5aSDimitry Andric return error("Invalid record: metadata strings truncated chars"); 1762d88c1a5aSDimitry Andric 176395ec533aSDimitry Andric CallBack(Strings.slice(0, Size)); 1764d88c1a5aSDimitry Andric Strings = Strings.drop_front(Size); 1765d88c1a5aSDimitry Andric } while (--NumStrings); 1766d88c1a5aSDimitry Andric 1767d88c1a5aSDimitry Andric return Error::success(); 1768d88c1a5aSDimitry Andric } 1769d88c1a5aSDimitry Andric 1770d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseGlobalObjectAttachment( 1771d88c1a5aSDimitry Andric GlobalObject &GO, ArrayRef<uint64_t> Record) { 1772d88c1a5aSDimitry Andric assert(Record.size() % 2 == 0); 1773d88c1a5aSDimitry Andric for (unsigned I = 0, E = Record.size(); I != E; I += 2) { 1774d88c1a5aSDimitry Andric auto K = MDKindMap.find(Record[I]); 1775d88c1a5aSDimitry Andric if (K == MDKindMap.end()) 1776d88c1a5aSDimitry Andric return error("Invalid ID"); 1777d88c1a5aSDimitry Andric MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[I + 1]); 1778d88c1a5aSDimitry Andric if (!MD) 1779d88c1a5aSDimitry Andric return error("Invalid metadata attachment"); 1780d88c1a5aSDimitry Andric GO.addMetadata(K->second, *MD); 1781d88c1a5aSDimitry Andric } 1782d88c1a5aSDimitry Andric return Error::success(); 1783d88c1a5aSDimitry Andric } 1784d88c1a5aSDimitry Andric 1785d88c1a5aSDimitry Andric /// Parse metadata attachments. 1786d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseMetadataAttachment( 1787d88c1a5aSDimitry Andric Function &F, const SmallVectorImpl<Instruction *> &InstructionList) { 1788d88c1a5aSDimitry Andric if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID)) 1789d88c1a5aSDimitry Andric return error("Invalid record"); 1790d88c1a5aSDimitry Andric 1791d88c1a5aSDimitry Andric SmallVector<uint64_t, 64> Record; 179295ec533aSDimitry Andric PlaceholderQueue Placeholders; 179395ec533aSDimitry Andric 1794d88c1a5aSDimitry Andric while (true) { 1795d88c1a5aSDimitry Andric BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 1796d88c1a5aSDimitry Andric 1797d88c1a5aSDimitry Andric switch (Entry.Kind) { 1798d88c1a5aSDimitry Andric case BitstreamEntry::SubBlock: // Handled for us already. 1799d88c1a5aSDimitry Andric case BitstreamEntry::Error: 1800d88c1a5aSDimitry Andric return error("Malformed block"); 1801d88c1a5aSDimitry Andric case BitstreamEntry::EndBlock: 180295ec533aSDimitry Andric resolveForwardRefsAndPlaceholders(Placeholders); 1803d88c1a5aSDimitry Andric return Error::success(); 1804d88c1a5aSDimitry Andric case BitstreamEntry::Record: 1805d88c1a5aSDimitry Andric // The interesting case. 1806d88c1a5aSDimitry Andric break; 1807d88c1a5aSDimitry Andric } 1808d88c1a5aSDimitry Andric 1809d88c1a5aSDimitry Andric // Read a metadata attachment record. 1810d88c1a5aSDimitry Andric Record.clear(); 181195ec533aSDimitry Andric ++NumMDRecordLoaded; 1812d88c1a5aSDimitry Andric switch (Stream.readRecord(Entry.ID, Record)) { 1813d88c1a5aSDimitry Andric default: // Default behavior: ignore. 1814d88c1a5aSDimitry Andric break; 1815d88c1a5aSDimitry Andric case bitc::METADATA_ATTACHMENT: { 1816d88c1a5aSDimitry Andric unsigned RecordLength = Record.size(); 1817d88c1a5aSDimitry Andric if (Record.empty()) 1818d88c1a5aSDimitry Andric return error("Invalid record"); 1819d88c1a5aSDimitry Andric if (RecordLength % 2 == 0) { 1820d88c1a5aSDimitry Andric // A function attachment. 1821d88c1a5aSDimitry Andric if (Error Err = parseGlobalObjectAttachment(F, Record)) 1822d88c1a5aSDimitry Andric return Err; 1823d88c1a5aSDimitry Andric continue; 1824d88c1a5aSDimitry Andric } 1825d88c1a5aSDimitry Andric 1826d88c1a5aSDimitry Andric // An instruction attachment. 1827d88c1a5aSDimitry Andric Instruction *Inst = InstructionList[Record[0]]; 1828d88c1a5aSDimitry Andric for (unsigned i = 1; i != RecordLength; i = i + 2) { 1829d88c1a5aSDimitry Andric unsigned Kind = Record[i]; 1830d88c1a5aSDimitry Andric DenseMap<unsigned, unsigned>::iterator I = MDKindMap.find(Kind); 1831d88c1a5aSDimitry Andric if (I == MDKindMap.end()) 1832d88c1a5aSDimitry Andric return error("Invalid ID"); 1833d88c1a5aSDimitry Andric if (I->second == LLVMContext::MD_tbaa && StripTBAA) 1834d88c1a5aSDimitry Andric continue; 1835d88c1a5aSDimitry Andric 183695ec533aSDimitry Andric auto Idx = Record[i + 1]; 183795ec533aSDimitry Andric if (Idx < (MDStringRef.size() + GlobalMetadataBitPosIndex.size()) && 183824e2fe98SDimitry Andric !MetadataList.lookup(Idx)) { 183995ec533aSDimitry Andric // Load the attachment if it is in the lazy-loadable range and hasn't 184095ec533aSDimitry Andric // been loaded yet. 184195ec533aSDimitry Andric lazyLoadOneMetadata(Idx, Placeholders); 184224e2fe98SDimitry Andric resolveForwardRefsAndPlaceholders(Placeholders); 184324e2fe98SDimitry Andric } 184495ec533aSDimitry Andric 184595ec533aSDimitry Andric Metadata *Node = MetadataList.getMetadataFwdRef(Idx); 1846d88c1a5aSDimitry Andric if (isa<LocalAsMetadata>(Node)) 1847d88c1a5aSDimitry Andric // Drop the attachment. This used to be legal, but there's no 1848d88c1a5aSDimitry Andric // upgrade path. 1849d88c1a5aSDimitry Andric break; 1850d88c1a5aSDimitry Andric MDNode *MD = dyn_cast_or_null<MDNode>(Node); 1851d88c1a5aSDimitry Andric if (!MD) 1852d88c1a5aSDimitry Andric return error("Invalid metadata attachment"); 1853d88c1a5aSDimitry Andric 1854d88c1a5aSDimitry Andric if (HasSeenOldLoopTags && I->second == LLVMContext::MD_loop) 1855d88c1a5aSDimitry Andric MD = upgradeInstructionLoopAttachment(*MD); 1856d88c1a5aSDimitry Andric 1857d88c1a5aSDimitry Andric if (I->second == LLVMContext::MD_tbaa) { 1858d88c1a5aSDimitry Andric assert(!MD->isTemporary() && "should load MDs before attachments"); 1859d88c1a5aSDimitry Andric MD = UpgradeTBAANode(*MD); 1860d88c1a5aSDimitry Andric } 1861d88c1a5aSDimitry Andric Inst->setMetadata(I->second, MD); 1862d88c1a5aSDimitry Andric } 1863d88c1a5aSDimitry Andric break; 1864d88c1a5aSDimitry Andric } 1865d88c1a5aSDimitry Andric } 1866d88c1a5aSDimitry Andric } 1867d88c1a5aSDimitry Andric } 1868d88c1a5aSDimitry Andric 1869d88c1a5aSDimitry Andric /// Parse a single METADATA_KIND record, inserting result in MDKindMap. 1870d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseMetadataKindRecord( 1871d88c1a5aSDimitry Andric SmallVectorImpl<uint64_t> &Record) { 1872d88c1a5aSDimitry Andric if (Record.size() < 2) 1873d88c1a5aSDimitry Andric return error("Invalid record"); 1874d88c1a5aSDimitry Andric 1875d88c1a5aSDimitry Andric unsigned Kind = Record[0]; 1876d88c1a5aSDimitry Andric SmallString<8> Name(Record.begin() + 1, Record.end()); 1877d88c1a5aSDimitry Andric 1878d88c1a5aSDimitry Andric unsigned NewKind = TheModule.getMDKindID(Name.str()); 1879d88c1a5aSDimitry Andric if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second) 1880d88c1a5aSDimitry Andric return error("Conflicting METADATA_KIND records"); 1881d88c1a5aSDimitry Andric return Error::success(); 1882d88c1a5aSDimitry Andric } 1883d88c1a5aSDimitry Andric 1884d88c1a5aSDimitry Andric /// Parse the metadata kinds out of the METADATA_KIND_BLOCK. 1885d88c1a5aSDimitry Andric Error MetadataLoader::MetadataLoaderImpl::parseMetadataKinds() { 1886d88c1a5aSDimitry Andric if (Stream.EnterSubBlock(bitc::METADATA_KIND_BLOCK_ID)) 1887d88c1a5aSDimitry Andric return error("Invalid record"); 1888d88c1a5aSDimitry Andric 1889d88c1a5aSDimitry Andric SmallVector<uint64_t, 64> Record; 1890d88c1a5aSDimitry Andric 1891d88c1a5aSDimitry Andric // Read all the records. 1892d88c1a5aSDimitry Andric while (true) { 1893d88c1a5aSDimitry Andric BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 1894d88c1a5aSDimitry Andric 1895d88c1a5aSDimitry Andric switch (Entry.Kind) { 1896d88c1a5aSDimitry Andric case BitstreamEntry::SubBlock: // Handled for us already. 1897d88c1a5aSDimitry Andric case BitstreamEntry::Error: 1898d88c1a5aSDimitry Andric return error("Malformed block"); 1899d88c1a5aSDimitry Andric case BitstreamEntry::EndBlock: 1900d88c1a5aSDimitry Andric return Error::success(); 1901d88c1a5aSDimitry Andric case BitstreamEntry::Record: 1902d88c1a5aSDimitry Andric // The interesting case. 1903d88c1a5aSDimitry Andric break; 1904d88c1a5aSDimitry Andric } 1905d88c1a5aSDimitry Andric 1906d88c1a5aSDimitry Andric // Read a record. 1907d88c1a5aSDimitry Andric Record.clear(); 190895ec533aSDimitry Andric ++NumMDRecordLoaded; 1909d88c1a5aSDimitry Andric unsigned Code = Stream.readRecord(Entry.ID, Record); 1910d88c1a5aSDimitry Andric switch (Code) { 1911d88c1a5aSDimitry Andric default: // Default behavior: ignore. 1912d88c1a5aSDimitry Andric break; 1913d88c1a5aSDimitry Andric case bitc::METADATA_KIND: { 1914d88c1a5aSDimitry Andric if (Error Err = parseMetadataKindRecord(Record)) 1915d88c1a5aSDimitry Andric return Err; 1916d88c1a5aSDimitry Andric break; 1917d88c1a5aSDimitry Andric } 1918d88c1a5aSDimitry Andric } 1919d88c1a5aSDimitry Andric } 1920d88c1a5aSDimitry Andric } 1921d88c1a5aSDimitry Andric 1922d88c1a5aSDimitry Andric MetadataLoader &MetadataLoader::operator=(MetadataLoader &&RHS) { 1923d88c1a5aSDimitry Andric Pimpl = std::move(RHS.Pimpl); 1924d88c1a5aSDimitry Andric return *this; 1925d88c1a5aSDimitry Andric } 1926d88c1a5aSDimitry Andric MetadataLoader::MetadataLoader(MetadataLoader &&RHS) 1927d88c1a5aSDimitry Andric : Pimpl(std::move(RHS.Pimpl)) {} 1928d88c1a5aSDimitry Andric 1929d88c1a5aSDimitry Andric MetadataLoader::~MetadataLoader() = default; 1930d88c1a5aSDimitry Andric MetadataLoader::MetadataLoader(BitstreamCursor &Stream, Module &TheModule, 1931d88c1a5aSDimitry Andric BitcodeReaderValueList &ValueList, 1932d88c1a5aSDimitry Andric bool IsImporting, 1933d88c1a5aSDimitry Andric std::function<Type *(unsigned)> getTypeByID) 19347a7e6055SDimitry Andric : Pimpl(llvm::make_unique<MetadataLoaderImpl>( 19357a7e6055SDimitry Andric Stream, TheModule, ValueList, std::move(getTypeByID), IsImporting)) {} 1936d88c1a5aSDimitry Andric 1937d88c1a5aSDimitry Andric Error MetadataLoader::parseMetadata(bool ModuleLevel) { 1938d88c1a5aSDimitry Andric return Pimpl->parseMetadata(ModuleLevel); 1939d88c1a5aSDimitry Andric } 1940d88c1a5aSDimitry Andric 1941d88c1a5aSDimitry Andric bool MetadataLoader::hasFwdRefs() const { return Pimpl->hasFwdRefs(); } 1942d88c1a5aSDimitry Andric 1943d88c1a5aSDimitry Andric /// Return the given metadata, creating a replaceable forward reference if 1944d88c1a5aSDimitry Andric /// necessary. 1945f8496407SDimitry Andric Metadata *MetadataLoader::getMetadataFwdRefOrLoad(unsigned Idx) { 1946f8496407SDimitry Andric return Pimpl->getMetadataFwdRefOrLoad(Idx); 1947d88c1a5aSDimitry Andric } 1948d88c1a5aSDimitry Andric 1949d88c1a5aSDimitry Andric MDNode *MetadataLoader::getMDNodeFwdRefOrNull(unsigned Idx) { 1950d88c1a5aSDimitry Andric return Pimpl->getMDNodeFwdRefOrNull(Idx); 1951d88c1a5aSDimitry Andric } 1952d88c1a5aSDimitry Andric 1953d88c1a5aSDimitry Andric DISubprogram *MetadataLoader::lookupSubprogramForFunction(Function *F) { 1954d88c1a5aSDimitry Andric return Pimpl->lookupSubprogramForFunction(F); 1955d88c1a5aSDimitry Andric } 1956d88c1a5aSDimitry Andric 1957d88c1a5aSDimitry Andric Error MetadataLoader::parseMetadataAttachment( 1958d88c1a5aSDimitry Andric Function &F, const SmallVectorImpl<Instruction *> &InstructionList) { 1959d88c1a5aSDimitry Andric return Pimpl->parseMetadataAttachment(F, InstructionList); 1960d88c1a5aSDimitry Andric } 1961d88c1a5aSDimitry Andric 1962d88c1a5aSDimitry Andric Error MetadataLoader::parseMetadataKinds() { 1963d88c1a5aSDimitry Andric return Pimpl->parseMetadataKinds(); 1964d88c1a5aSDimitry Andric } 1965d88c1a5aSDimitry Andric 1966d88c1a5aSDimitry Andric void MetadataLoader::setStripTBAA(bool StripTBAA) { 1967d88c1a5aSDimitry Andric return Pimpl->setStripTBAA(StripTBAA); 1968d88c1a5aSDimitry Andric } 1969d88c1a5aSDimitry Andric 1970d88c1a5aSDimitry Andric bool MetadataLoader::isStrippingTBAA() { return Pimpl->isStrippingTBAA(); } 1971d88c1a5aSDimitry Andric 1972d88c1a5aSDimitry Andric unsigned MetadataLoader::size() const { return Pimpl->size(); } 1973d88c1a5aSDimitry Andric void MetadataLoader::shrinkTo(unsigned N) { return Pimpl->shrinkTo(N); } 19746bc11b14SDimitry Andric 19756bc11b14SDimitry Andric void MetadataLoader::upgradeDebugIntrinsics(Function &F) { 19766bc11b14SDimitry Andric return Pimpl->upgradeDebugIntrinsics(F); 19776bc11b14SDimitry Andric } 1978