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