1ef27db87SMehdi Amini //===- MetadataLoader.cpp - Internal BitcodeReader implementation ---------===// 2ef27db87SMehdi Amini // 3ef27db87SMehdi Amini // The LLVM Compiler Infrastructure 4ef27db87SMehdi Amini // 5ef27db87SMehdi Amini // This file is distributed under the University of Illinois Open Source 6ef27db87SMehdi Amini // License. See LICENSE.TXT for details. 7ef27db87SMehdi Amini // 8ef27db87SMehdi Amini //===----------------------------------------------------------------------===// 9ef27db87SMehdi Amini 10ef27db87SMehdi Amini #include "MetadataLoader.h" 11ef27db87SMehdi Amini #include "ValueList.h" 12ef27db87SMehdi Amini 13ef27db87SMehdi Amini #include "llvm/ADT/APFloat.h" 14ef27db87SMehdi Amini #include "llvm/ADT/APInt.h" 15ef27db87SMehdi Amini #include "llvm/ADT/ArrayRef.h" 16ef27db87SMehdi Amini #include "llvm/ADT/DenseMap.h" 1719ef4fadSMehdi Amini #include "llvm/ADT/DenseSet.h" 18ef27db87SMehdi Amini #include "llvm/ADT/None.h" 19ef27db87SMehdi Amini #include "llvm/ADT/STLExtras.h" 20ef27db87SMehdi Amini #include "llvm/ADT/SmallString.h" 21ef27db87SMehdi Amini #include "llvm/ADT/SmallVector.h" 2219ef4fadSMehdi Amini #include "llvm/ADT/Statistic.h" 23ef27db87SMehdi Amini #include "llvm/ADT/StringRef.h" 24ef27db87SMehdi Amini #include "llvm/ADT/Twine.h" 25ef27db87SMehdi Amini #include "llvm/Bitcode/BitcodeReader.h" 26ef27db87SMehdi Amini #include "llvm/Bitcode/BitstreamReader.h" 27ef27db87SMehdi Amini #include "llvm/Bitcode/LLVMBitCodes.h" 28ef27db87SMehdi Amini #include "llvm/IR/Argument.h" 29ef27db87SMehdi Amini #include "llvm/IR/Attributes.h" 30ef27db87SMehdi Amini #include "llvm/IR/AutoUpgrade.h" 31ef27db87SMehdi Amini #include "llvm/IR/BasicBlock.h" 32ef27db87SMehdi Amini #include "llvm/IR/CallingConv.h" 33ef27db87SMehdi Amini #include "llvm/IR/Comdat.h" 34ef27db87SMehdi Amini #include "llvm/IR/Constant.h" 35ef27db87SMehdi Amini #include "llvm/IR/Constants.h" 36ef27db87SMehdi Amini #include "llvm/IR/DebugInfo.h" 37ef27db87SMehdi Amini #include "llvm/IR/DebugInfoMetadata.h" 38ef27db87SMehdi Amini #include "llvm/IR/DebugLoc.h" 39ef27db87SMehdi Amini #include "llvm/IR/DerivedTypes.h" 40ef27db87SMehdi Amini #include "llvm/IR/DiagnosticPrinter.h" 41ef27db87SMehdi Amini #include "llvm/IR/Function.h" 42ef27db87SMehdi Amini #include "llvm/IR/GVMaterializer.h" 43ef27db87SMehdi Amini #include "llvm/IR/GlobalAlias.h" 44ef27db87SMehdi Amini #include "llvm/IR/GlobalIFunc.h" 45ef27db87SMehdi Amini #include "llvm/IR/GlobalIndirectSymbol.h" 46ef27db87SMehdi Amini #include "llvm/IR/GlobalObject.h" 47ef27db87SMehdi Amini #include "llvm/IR/GlobalValue.h" 48ef27db87SMehdi Amini #include "llvm/IR/GlobalVariable.h" 49ef27db87SMehdi Amini #include "llvm/IR/InlineAsm.h" 50ef27db87SMehdi Amini #include "llvm/IR/InstrTypes.h" 51ef27db87SMehdi Amini #include "llvm/IR/Instruction.h" 52ef27db87SMehdi Amini #include "llvm/IR/Instructions.h" 536825fb64SAdrian Prantl #include "llvm/IR/IntrinsicInst.h" 546bda14b3SChandler Carruth #include "llvm/IR/Intrinsics.h" 55ef27db87SMehdi Amini #include "llvm/IR/LLVMContext.h" 56ef27db87SMehdi Amini #include "llvm/IR/Module.h" 57ef27db87SMehdi Amini #include "llvm/IR/ModuleSummaryIndex.h" 58ef27db87SMehdi Amini #include "llvm/IR/OperandTraits.h" 59ef27db87SMehdi Amini #include "llvm/IR/TrackingMDRef.h" 60ef27db87SMehdi Amini #include "llvm/IR/Type.h" 61ef27db87SMehdi Amini #include "llvm/IR/ValueHandle.h" 62ef27db87SMehdi Amini #include "llvm/Support/AtomicOrdering.h" 63ef27db87SMehdi Amini #include "llvm/Support/Casting.h" 64ef27db87SMehdi Amini #include "llvm/Support/CommandLine.h" 65ef27db87SMehdi Amini #include "llvm/Support/Compiler.h" 66ef27db87SMehdi Amini #include "llvm/Support/Debug.h" 67ef27db87SMehdi Amini #include "llvm/Support/Error.h" 68ef27db87SMehdi Amini #include "llvm/Support/ErrorHandling.h" 69ef27db87SMehdi Amini #include "llvm/Support/ManagedStatic.h" 70ef27db87SMehdi Amini #include "llvm/Support/MemoryBuffer.h" 71ef27db87SMehdi Amini #include "llvm/Support/raw_ostream.h" 72ef27db87SMehdi Amini #include <algorithm> 73ef27db87SMehdi Amini #include <cassert> 74ef27db87SMehdi Amini #include <cstddef> 75ef27db87SMehdi Amini #include <cstdint> 76ef27db87SMehdi Amini #include <deque> 77ef27db87SMehdi Amini #include <limits> 78ef27db87SMehdi Amini #include <map> 79ef27db87SMehdi Amini #include <memory> 80ef27db87SMehdi Amini #include <string> 81ef27db87SMehdi Amini #include <system_error> 82ef27db87SMehdi Amini #include <tuple> 83ef27db87SMehdi Amini #include <utility> 84ef27db87SMehdi Amini #include <vector> 85ef27db87SMehdi Amini 86ef27db87SMehdi Amini using namespace llvm; 87ef27db87SMehdi Amini 8819ef4fadSMehdi Amini #define DEBUG_TYPE "bitcode-reader" 8919ef4fadSMehdi Amini 9019ef4fadSMehdi Amini STATISTIC(NumMDStringLoaded, "Number of MDStrings loaded"); 9119ef4fadSMehdi Amini STATISTIC(NumMDNodeTemporary, "Number of MDNode::Temporary created"); 9219ef4fadSMehdi Amini STATISTIC(NumMDRecordLoaded, "Number of Metadata records loaded"); 9319ef4fadSMehdi Amini 94a61f5e37STeresa Johnson /// Flag whether we need to import full type definitions for ThinLTO. 95a61f5e37STeresa Johnson /// Currently needed for Darwin and LLDB. 96a61f5e37STeresa Johnson static cl::opt<bool> ImportFullTypeDefinitions( 97a61f5e37STeresa Johnson "import-full-type-definitions", cl::init(false), cl::Hidden, 98a61f5e37STeresa Johnson cl::desc("Import full type definitions for ThinLTO.")); 99a61f5e37STeresa Johnson 10019ef4fadSMehdi Amini static cl::opt<bool> DisableLazyLoading( 10119ef4fadSMehdi Amini "disable-ondemand-mds-loading", cl::init(false), cl::Hidden, 10219ef4fadSMehdi Amini cl::desc("Force disable the lazy-loading on-demand of metadata when " 10319ef4fadSMehdi Amini "loading bitcode for importing.")); 10419ef4fadSMehdi Amini 105ef27db87SMehdi Amini namespace { 106ef27db87SMehdi Amini 107ef27db87SMehdi Amini static int64_t unrotateSign(uint64_t U) { return U & 1 ? ~(U >> 1) : U >> 1; } 108ef27db87SMehdi Amini 109ef27db87SMehdi Amini class BitcodeReaderMetadataList { 110ef27db87SMehdi Amini /// Array of metadata references. 111ef27db87SMehdi Amini /// 112ef27db87SMehdi Amini /// Don't use std::vector here. Some versions of libc++ copy (instead of 113ef27db87SMehdi Amini /// move) on resize, and TrackingMDRef is very expensive to copy. 114ef27db87SMehdi Amini SmallVector<TrackingMDRef, 1> MetadataPtrs; 115ef27db87SMehdi Amini 116690952d1SMehdi Amini /// The set of indices in MetadataPtrs above of forward references that were 117690952d1SMehdi Amini /// generated. 118690952d1SMehdi Amini SmallDenseSet<unsigned, 1> ForwardReference; 119690952d1SMehdi Amini 120690952d1SMehdi Amini /// The set of indices in MetadataPtrs above of Metadata that need to be 121690952d1SMehdi Amini /// resolved. 122690952d1SMehdi Amini SmallDenseSet<unsigned, 1> UnresolvedNodes; 123690952d1SMehdi Amini 124ef27db87SMehdi Amini /// Structures for resolving old type refs. 125ef27db87SMehdi Amini struct { 126ef27db87SMehdi Amini SmallDenseMap<MDString *, TempMDTuple, 1> Unknown; 127ef27db87SMehdi Amini SmallDenseMap<MDString *, DICompositeType *, 1> Final; 128ef27db87SMehdi Amini SmallDenseMap<MDString *, DICompositeType *, 1> FwdDecls; 129ef27db87SMehdi Amini SmallVector<std::pair<TrackingMDRef, TempMDTuple>, 1> Arrays; 130ef27db87SMehdi Amini } OldTypeRefs; 131ef27db87SMehdi Amini 132ef27db87SMehdi Amini LLVMContext &Context; 133ef27db87SMehdi Amini 134ef27db87SMehdi Amini public: 13570a9cd4cSMehdi Amini BitcodeReaderMetadataList(LLVMContext &C) : Context(C) {} 136ef27db87SMehdi Amini 137ef27db87SMehdi Amini // vector compatibility methods 138ef27db87SMehdi Amini unsigned size() const { return MetadataPtrs.size(); } 139ef27db87SMehdi Amini void resize(unsigned N) { MetadataPtrs.resize(N); } 140ef27db87SMehdi Amini void push_back(Metadata *MD) { MetadataPtrs.emplace_back(MD); } 141ef27db87SMehdi Amini void clear() { MetadataPtrs.clear(); } 142ef27db87SMehdi Amini Metadata *back() const { return MetadataPtrs.back(); } 143ef27db87SMehdi Amini void pop_back() { MetadataPtrs.pop_back(); } 144ef27db87SMehdi Amini bool empty() const { return MetadataPtrs.empty(); } 145ef27db87SMehdi Amini 146ef27db87SMehdi Amini Metadata *operator[](unsigned i) const { 147ef27db87SMehdi Amini assert(i < MetadataPtrs.size()); 148ef27db87SMehdi Amini return MetadataPtrs[i]; 149ef27db87SMehdi Amini } 150ef27db87SMehdi Amini 151ef27db87SMehdi Amini Metadata *lookup(unsigned I) const { 152ef27db87SMehdi Amini if (I < MetadataPtrs.size()) 153ef27db87SMehdi Amini return MetadataPtrs[I]; 154ef27db87SMehdi Amini return nullptr; 155ef27db87SMehdi Amini } 156ef27db87SMehdi Amini 157ef27db87SMehdi Amini void shrinkTo(unsigned N) { 158ef27db87SMehdi Amini assert(N <= size() && "Invalid shrinkTo request!"); 159690952d1SMehdi Amini assert(ForwardReference.empty() && "Unexpected forward refs"); 160690952d1SMehdi Amini assert(UnresolvedNodes.empty() && "Unexpected unresolved node"); 161ef27db87SMehdi Amini MetadataPtrs.resize(N); 162ef27db87SMehdi Amini } 163ef27db87SMehdi Amini 164ef27db87SMehdi Amini /// Return the given metadata, creating a replaceable forward reference if 165ef27db87SMehdi Amini /// necessary. 166ef27db87SMehdi Amini Metadata *getMetadataFwdRef(unsigned Idx); 167ef27db87SMehdi Amini 1688f976ba0SHiroshi Inoue /// Return the given metadata only if it is fully resolved. 169ef27db87SMehdi Amini /// 170ef27db87SMehdi Amini /// Gives the same result as \a lookup(), unless \a MDNode::isResolved() 171ef27db87SMehdi Amini /// would give \c false. 172ef27db87SMehdi Amini Metadata *getMetadataIfResolved(unsigned Idx); 173ef27db87SMehdi Amini 174ef27db87SMehdi Amini MDNode *getMDNodeFwdRefOrNull(unsigned Idx); 175ef27db87SMehdi Amini void assignValue(Metadata *MD, unsigned Idx); 176ef27db87SMehdi Amini void tryToResolveCycles(); 177690952d1SMehdi Amini bool hasFwdRefs() const { return !ForwardReference.empty(); } 17819ef4fadSMehdi Amini int getNextFwdRef() { 17919ef4fadSMehdi Amini assert(hasFwdRefs()); 18019ef4fadSMehdi Amini return *ForwardReference.begin(); 18119ef4fadSMehdi Amini } 182ef27db87SMehdi Amini 183ef27db87SMehdi Amini /// Upgrade a type that had an MDString reference. 184ef27db87SMehdi Amini void addTypeRef(MDString &UUID, DICompositeType &CT); 185ef27db87SMehdi Amini 186ef27db87SMehdi Amini /// Upgrade a type that had an MDString reference. 187ef27db87SMehdi Amini Metadata *upgradeTypeRef(Metadata *MaybeUUID); 188ef27db87SMehdi Amini 189ef27db87SMehdi Amini /// Upgrade a type ref array that may have MDString references. 190ef27db87SMehdi Amini Metadata *upgradeTypeRefArray(Metadata *MaybeTuple); 191ef27db87SMehdi Amini 192ef27db87SMehdi Amini private: 193ef27db87SMehdi Amini Metadata *resolveTypeRefArray(Metadata *MaybeTuple); 194ef27db87SMehdi Amini }; 195ef27db87SMehdi Amini 196ef27db87SMehdi Amini void BitcodeReaderMetadataList::assignValue(Metadata *MD, unsigned Idx) { 197690952d1SMehdi Amini if (auto *MDN = dyn_cast<MDNode>(MD)) 198690952d1SMehdi Amini if (!MDN->isResolved()) 199690952d1SMehdi Amini UnresolvedNodes.insert(Idx); 200690952d1SMehdi Amini 201ef27db87SMehdi Amini if (Idx == size()) { 202ef27db87SMehdi Amini push_back(MD); 203ef27db87SMehdi Amini return; 204ef27db87SMehdi Amini } 205ef27db87SMehdi Amini 206ef27db87SMehdi Amini if (Idx >= size()) 207ef27db87SMehdi Amini resize(Idx + 1); 208ef27db87SMehdi Amini 209ef27db87SMehdi Amini TrackingMDRef &OldMD = MetadataPtrs[Idx]; 210ef27db87SMehdi Amini if (!OldMD) { 211ef27db87SMehdi Amini OldMD.reset(MD); 212ef27db87SMehdi Amini return; 213ef27db87SMehdi Amini } 214ef27db87SMehdi Amini 215ef27db87SMehdi Amini // If there was a forward reference to this value, replace it. 216ef27db87SMehdi Amini TempMDTuple PrevMD(cast<MDTuple>(OldMD.get())); 217ef27db87SMehdi Amini PrevMD->replaceAllUsesWith(MD); 218690952d1SMehdi Amini ForwardReference.erase(Idx); 219ef27db87SMehdi Amini } 220ef27db87SMehdi Amini 221ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::getMetadataFwdRef(unsigned Idx) { 222ef27db87SMehdi Amini if (Idx >= size()) 223ef27db87SMehdi Amini resize(Idx + 1); 224ef27db87SMehdi Amini 225ef27db87SMehdi Amini if (Metadata *MD = MetadataPtrs[Idx]) 226ef27db87SMehdi Amini return MD; 227ef27db87SMehdi Amini 228ef27db87SMehdi Amini // Track forward refs to be resolved later. 229690952d1SMehdi Amini ForwardReference.insert(Idx); 230ef27db87SMehdi Amini 231ef27db87SMehdi Amini // Create and return a placeholder, which will later be RAUW'd. 23219ef4fadSMehdi Amini ++NumMDNodeTemporary; 233ef27db87SMehdi Amini Metadata *MD = MDNode::getTemporary(Context, None).release(); 234ef27db87SMehdi Amini MetadataPtrs[Idx].reset(MD); 235ef27db87SMehdi Amini return MD; 236ef27db87SMehdi Amini } 237ef27db87SMehdi Amini 238ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::getMetadataIfResolved(unsigned Idx) { 239ef27db87SMehdi Amini Metadata *MD = lookup(Idx); 240ef27db87SMehdi Amini if (auto *N = dyn_cast_or_null<MDNode>(MD)) 241ef27db87SMehdi Amini if (!N->isResolved()) 242ef27db87SMehdi Amini return nullptr; 243ef27db87SMehdi Amini return MD; 244ef27db87SMehdi Amini } 245ef27db87SMehdi Amini 246ef27db87SMehdi Amini MDNode *BitcodeReaderMetadataList::getMDNodeFwdRefOrNull(unsigned Idx) { 247ef27db87SMehdi Amini return dyn_cast_or_null<MDNode>(getMetadataFwdRef(Idx)); 248ef27db87SMehdi Amini } 249ef27db87SMehdi Amini 250ef27db87SMehdi Amini void BitcodeReaderMetadataList::tryToResolveCycles() { 251690952d1SMehdi Amini if (!ForwardReference.empty()) 252ef27db87SMehdi Amini // Still forward references... can't resolve cycles. 253ef27db87SMehdi Amini return; 254ef27db87SMehdi Amini 255ef27db87SMehdi Amini // Give up on finding a full definition for any forward decls that remain. 256ef27db87SMehdi Amini for (const auto &Ref : OldTypeRefs.FwdDecls) 257ef27db87SMehdi Amini OldTypeRefs.Final.insert(Ref); 258ef27db87SMehdi Amini OldTypeRefs.FwdDecls.clear(); 259ef27db87SMehdi Amini 260ef27db87SMehdi Amini // Upgrade from old type ref arrays. In strange cases, this could add to 261ef27db87SMehdi Amini // OldTypeRefs.Unknown. 262690952d1SMehdi Amini for (const auto &Array : OldTypeRefs.Arrays) 263ef27db87SMehdi Amini Array.second->replaceAllUsesWith(resolveTypeRefArray(Array.first.get())); 264ef27db87SMehdi Amini OldTypeRefs.Arrays.clear(); 265ef27db87SMehdi Amini 266ef27db87SMehdi Amini // Replace old string-based type refs with the resolved node, if possible. 267ef27db87SMehdi Amini // If we haven't seen the node, leave it to the verifier to complain about 268ef27db87SMehdi Amini // the invalid string reference. 269ef27db87SMehdi Amini for (const auto &Ref : OldTypeRefs.Unknown) { 270ef27db87SMehdi Amini if (DICompositeType *CT = OldTypeRefs.Final.lookup(Ref.first)) 271ef27db87SMehdi Amini Ref.second->replaceAllUsesWith(CT); 272ef27db87SMehdi Amini else 273ef27db87SMehdi Amini Ref.second->replaceAllUsesWith(Ref.first); 274ef27db87SMehdi Amini } 275ef27db87SMehdi Amini OldTypeRefs.Unknown.clear(); 276ef27db87SMehdi Amini 277690952d1SMehdi Amini if (UnresolvedNodes.empty()) 278ef27db87SMehdi Amini // Nothing to do. 279ef27db87SMehdi Amini return; 280ef27db87SMehdi Amini 281ef27db87SMehdi Amini // Resolve any cycles. 282690952d1SMehdi Amini for (unsigned I : UnresolvedNodes) { 283ef27db87SMehdi Amini auto &MD = MetadataPtrs[I]; 284ef27db87SMehdi Amini auto *N = dyn_cast_or_null<MDNode>(MD); 285ef27db87SMehdi Amini if (!N) 286ef27db87SMehdi Amini continue; 287ef27db87SMehdi Amini 288ef27db87SMehdi Amini assert(!N->isTemporary() && "Unexpected forward reference"); 289ef27db87SMehdi Amini N->resolveCycles(); 290ef27db87SMehdi Amini } 291ef27db87SMehdi Amini 292690952d1SMehdi Amini // Make sure we return early again until there's another unresolved ref. 293690952d1SMehdi Amini UnresolvedNodes.clear(); 294ef27db87SMehdi Amini } 295ef27db87SMehdi Amini 296ef27db87SMehdi Amini void BitcodeReaderMetadataList::addTypeRef(MDString &UUID, 297ef27db87SMehdi Amini DICompositeType &CT) { 298ef27db87SMehdi Amini assert(CT.getRawIdentifier() == &UUID && "Mismatched UUID"); 299ef27db87SMehdi Amini if (CT.isForwardDecl()) 300ef27db87SMehdi Amini OldTypeRefs.FwdDecls.insert(std::make_pair(&UUID, &CT)); 301ef27db87SMehdi Amini else 302ef27db87SMehdi Amini OldTypeRefs.Final.insert(std::make_pair(&UUID, &CT)); 303ef27db87SMehdi Amini } 304ef27db87SMehdi Amini 305ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::upgradeTypeRef(Metadata *MaybeUUID) { 306ef27db87SMehdi Amini auto *UUID = dyn_cast_or_null<MDString>(MaybeUUID); 307ef27db87SMehdi Amini if (LLVM_LIKELY(!UUID)) 308ef27db87SMehdi Amini return MaybeUUID; 309ef27db87SMehdi Amini 310ef27db87SMehdi Amini if (auto *CT = OldTypeRefs.Final.lookup(UUID)) 311ef27db87SMehdi Amini return CT; 312ef27db87SMehdi Amini 313ef27db87SMehdi Amini auto &Ref = OldTypeRefs.Unknown[UUID]; 314ef27db87SMehdi Amini if (!Ref) 315ef27db87SMehdi Amini Ref = MDNode::getTemporary(Context, None); 316ef27db87SMehdi Amini return Ref.get(); 317ef27db87SMehdi Amini } 318ef27db87SMehdi Amini 319ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::upgradeTypeRefArray(Metadata *MaybeTuple) { 320ef27db87SMehdi Amini auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple); 321ef27db87SMehdi Amini if (!Tuple || Tuple->isDistinct()) 322ef27db87SMehdi Amini return MaybeTuple; 323ef27db87SMehdi Amini 324ef27db87SMehdi Amini // Look through the array immediately if possible. 325ef27db87SMehdi Amini if (!Tuple->isTemporary()) 326ef27db87SMehdi Amini return resolveTypeRefArray(Tuple); 327ef27db87SMehdi Amini 328ef27db87SMehdi Amini // Create and return a placeholder to use for now. Eventually 329ef27db87SMehdi Amini // resolveTypeRefArrays() will be resolve this forward reference. 330ef27db87SMehdi Amini OldTypeRefs.Arrays.emplace_back( 331ef27db87SMehdi Amini std::piecewise_construct, std::forward_as_tuple(Tuple), 332ef27db87SMehdi Amini std::forward_as_tuple(MDTuple::getTemporary(Context, None))); 333ef27db87SMehdi Amini return OldTypeRefs.Arrays.back().second.get(); 334ef27db87SMehdi Amini } 335ef27db87SMehdi Amini 336ef27db87SMehdi Amini Metadata *BitcodeReaderMetadataList::resolveTypeRefArray(Metadata *MaybeTuple) { 337ef27db87SMehdi Amini auto *Tuple = dyn_cast_or_null<MDTuple>(MaybeTuple); 338ef27db87SMehdi Amini if (!Tuple || Tuple->isDistinct()) 339ef27db87SMehdi Amini return MaybeTuple; 340ef27db87SMehdi Amini 341ef27db87SMehdi Amini // Look through the DITypeRefArray, upgrading each DITypeRef. 342ef27db87SMehdi Amini SmallVector<Metadata *, 32> Ops; 343ef27db87SMehdi Amini Ops.reserve(Tuple->getNumOperands()); 344ef27db87SMehdi Amini for (Metadata *MD : Tuple->operands()) 345ef27db87SMehdi Amini Ops.push_back(upgradeTypeRef(MD)); 346ef27db87SMehdi Amini 347ef27db87SMehdi Amini return MDTuple::get(Context, Ops); 348ef27db87SMehdi Amini } 349ef27db87SMehdi Amini 350ef27db87SMehdi Amini namespace { 351ef27db87SMehdi Amini 352ef27db87SMehdi Amini class PlaceholderQueue { 353ef27db87SMehdi Amini // Placeholders would thrash around when moved, so store in a std::deque 354ef27db87SMehdi Amini // instead of some sort of vector. 355ef27db87SMehdi Amini std::deque<DistinctMDOperandPlaceholder> PHs; 356ef27db87SMehdi Amini 357ef27db87SMehdi Amini public: 35827379892SMehdi Amini ~PlaceholderQueue() { 35927379892SMehdi Amini assert(empty() && "PlaceholderQueue hasn't been flushed before being destroyed"); 36027379892SMehdi Amini } 36119ef4fadSMehdi Amini bool empty() { return PHs.empty(); } 362ef27db87SMehdi Amini DistinctMDOperandPlaceholder &getPlaceholderOp(unsigned ID); 363ef27db87SMehdi Amini void flush(BitcodeReaderMetadataList &MetadataList); 36419ef4fadSMehdi Amini 36519ef4fadSMehdi Amini /// Return the list of temporaries nodes in the queue, these need to be 36619ef4fadSMehdi Amini /// loaded before we can flush the queue. 36719ef4fadSMehdi Amini void getTemporaries(BitcodeReaderMetadataList &MetadataList, 36819ef4fadSMehdi Amini DenseSet<unsigned> &Temporaries) { 36919ef4fadSMehdi Amini for (auto &PH : PHs) { 37019ef4fadSMehdi Amini auto ID = PH.getID(); 37119ef4fadSMehdi Amini auto *MD = MetadataList.lookup(ID); 37219ef4fadSMehdi Amini if (!MD) { 37319ef4fadSMehdi Amini Temporaries.insert(ID); 37419ef4fadSMehdi Amini continue; 37519ef4fadSMehdi Amini } 37619ef4fadSMehdi Amini auto *N = dyn_cast_or_null<MDNode>(MD); 37719ef4fadSMehdi Amini if (N && N->isTemporary()) 37819ef4fadSMehdi Amini Temporaries.insert(ID); 37919ef4fadSMehdi Amini } 38019ef4fadSMehdi Amini } 381ef27db87SMehdi Amini }; 382ef27db87SMehdi Amini 383ef27db87SMehdi Amini } // end anonymous namespace 384ef27db87SMehdi Amini 385ef27db87SMehdi Amini DistinctMDOperandPlaceholder &PlaceholderQueue::getPlaceholderOp(unsigned ID) { 386ef27db87SMehdi Amini PHs.emplace_back(ID); 387ef27db87SMehdi Amini return PHs.back(); 388ef27db87SMehdi Amini } 389ef27db87SMehdi Amini 390ef27db87SMehdi Amini void PlaceholderQueue::flush(BitcodeReaderMetadataList &MetadataList) { 391ef27db87SMehdi Amini while (!PHs.empty()) { 3924f90ee00SMehdi Amini auto *MD = MetadataList.lookup(PHs.front().getID()); 3934f90ee00SMehdi Amini assert(MD && "Flushing placeholder on unassigned MD"); 3945ae6170fSMehdi Amini #ifndef NDEBUG 3954f90ee00SMehdi Amini if (auto *MDN = dyn_cast<MDNode>(MD)) 3965ae6170fSMehdi Amini assert(MDN->isResolved() && 3975ae6170fSMehdi Amini "Flushing Placeholder while cycles aren't resolved"); 3985ae6170fSMehdi Amini #endif 3995ae6170fSMehdi Amini PHs.front().replaceUseWith(MD); 400ef27db87SMehdi Amini PHs.pop_front(); 401ef27db87SMehdi Amini } 402ef27db87SMehdi Amini } 403ef27db87SMehdi Amini 404ef27db87SMehdi Amini } // anonynous namespace 405ef27db87SMehdi Amini 406ffc498dfSFlorian Hahn static Error error(const Twine &Message) { 407ffc498dfSFlorian Hahn return make_error<StringError>( 408ffc498dfSFlorian Hahn Message, make_error_code(BitcodeError::CorruptedBitcode)); 409ffc498dfSFlorian Hahn } 410ffc498dfSFlorian Hahn 411ef27db87SMehdi Amini class MetadataLoader::MetadataLoaderImpl { 412ef27db87SMehdi Amini BitcodeReaderMetadataList MetadataList; 413ef27db87SMehdi Amini BitcodeReaderValueList &ValueList; 414ef27db87SMehdi Amini BitstreamCursor &Stream; 415ef27db87SMehdi Amini LLVMContext &Context; 416ef27db87SMehdi Amini Module &TheModule; 417ef27db87SMehdi Amini std::function<Type *(unsigned)> getTypeByID; 418ef27db87SMehdi Amini 41919ef4fadSMehdi Amini /// Cursor associated with the lazy-loading of Metadata. This is the easy way 42019ef4fadSMehdi Amini /// to keep around the right "context" (Abbrev list) to be able to jump in 42119ef4fadSMehdi Amini /// the middle of the metadata block and load any record. 42219ef4fadSMehdi Amini BitstreamCursor IndexCursor; 42319ef4fadSMehdi Amini 42419ef4fadSMehdi Amini /// Index that keeps track of MDString values. 42519ef4fadSMehdi Amini std::vector<StringRef> MDStringRef; 42619ef4fadSMehdi Amini 42719ef4fadSMehdi Amini /// On-demand loading of a single MDString. Requires the index above to be 42819ef4fadSMehdi Amini /// populated. 42919ef4fadSMehdi Amini MDString *lazyLoadOneMDString(unsigned Idx); 43019ef4fadSMehdi Amini 43119ef4fadSMehdi Amini /// Index that keeps track of where to find a metadata record in the stream. 43219ef4fadSMehdi Amini std::vector<uint64_t> GlobalMetadataBitPosIndex; 43319ef4fadSMehdi Amini 43419ef4fadSMehdi Amini /// Populate the index above to enable lazily loading of metadata, and load 43519ef4fadSMehdi Amini /// the named metadata as well as the transitively referenced global 43619ef4fadSMehdi Amini /// Metadata. 43742ef1990SMehdi Amini Expected<bool> lazyLoadModuleMetadataBlock(); 43819ef4fadSMehdi Amini 43919ef4fadSMehdi Amini /// On-demand loading of a single metadata. Requires the index above to be 44019ef4fadSMehdi Amini /// populated. 44119ef4fadSMehdi Amini void lazyLoadOneMetadata(unsigned Idx, PlaceholderQueue &Placeholders); 44219ef4fadSMehdi Amini 4439f926f70SMehdi Amini // Keep mapping of seens pair of old-style CU <-> SP, and update pointers to 4449f926f70SMehdi Amini // point from SP to CU after a block is completly parsed. 4459f926f70SMehdi Amini std::vector<std::pair<DICompileUnit *, Metadata *>> CUSubprograms; 4469f926f70SMehdi Amini 447ef27db87SMehdi Amini /// Functions that need to be matched with subprograms when upgrading old 448ef27db87SMehdi Amini /// metadata. 449ef27db87SMehdi Amini SmallDenseMap<Function *, DISubprogram *, 16> FunctionsWithSPs; 450ef27db87SMehdi Amini 451ef27db87SMehdi Amini // Map the bitcode's custom MDKind ID to the Module's MDKind ID. 452ef27db87SMehdi Amini DenseMap<unsigned, unsigned> MDKindMap; 453ef27db87SMehdi Amini 4548662305bSMehdi Amini bool StripTBAA = false; 455ef27db87SMehdi Amini bool HasSeenOldLoopTags = false; 456e37d3144SAdrian Prantl bool NeedUpgradeToDIGlobalVariableExpression = false; 4576825fb64SAdrian Prantl bool NeedDeclareExpressionUpgrade = false; 458ef27db87SMehdi Amini 459ec68dd49SMehdi Amini /// True if metadata is being parsed for a module being ThinLTO imported. 460ec68dd49SMehdi Amini bool IsImporting = false; 461ec68dd49SMehdi Amini 4629f926f70SMehdi Amini Error parseOneMetadata(SmallVectorImpl<uint64_t> &Record, unsigned Code, 4639f926f70SMehdi Amini PlaceholderQueue &Placeholders, StringRef Blob, 464ef27db87SMehdi Amini unsigned &NextMetadataNo); 46519ef4fadSMehdi Amini Error parseMetadataStrings(ArrayRef<uint64_t> Record, StringRef Blob, 466061f4a5fSBenjamin Kramer function_ref<void(StringRef)> CallBack); 467ef27db87SMehdi Amini Error parseGlobalObjectAttachment(GlobalObject &GO, 468ef27db87SMehdi Amini ArrayRef<uint64_t> Record); 469ef27db87SMehdi Amini Error parseMetadataKindRecord(SmallVectorImpl<uint64_t> &Record); 470ef27db87SMehdi Amini 47119ef4fadSMehdi Amini void resolveForwardRefsAndPlaceholders(PlaceholderQueue &Placeholders); 47219ef4fadSMehdi Amini 47319ef4fadSMehdi Amini /// Upgrade old-style CU <-> SP pointers to point from SP to CU. 47419ef4fadSMehdi Amini void upgradeCUSubprograms() { 47519ef4fadSMehdi Amini for (auto CU_SP : CUSubprograms) 47619ef4fadSMehdi Amini if (auto *SPs = dyn_cast_or_null<MDTuple>(CU_SP.second)) 47719ef4fadSMehdi Amini for (auto &Op : SPs->operands()) 4789d2f019fSAdrian Prantl if (auto *SP = dyn_cast_or_null<DISubprogram>(Op)) 4799d2f019fSAdrian Prantl SP->replaceUnit(CU_SP.first); 48019ef4fadSMehdi Amini CUSubprograms.clear(); 48119ef4fadSMehdi Amini } 48219ef4fadSMehdi Amini 483e37d3144SAdrian Prantl /// Upgrade old-style bare DIGlobalVariables to DIGlobalVariableExpressions. 484e37d3144SAdrian Prantl void upgradeCUVariables() { 485e37d3144SAdrian Prantl if (!NeedUpgradeToDIGlobalVariableExpression) 486e37d3144SAdrian Prantl return; 487e37d3144SAdrian Prantl 488e37d3144SAdrian Prantl // Upgrade list of variables attached to the CUs. 489e37d3144SAdrian Prantl if (NamedMDNode *CUNodes = TheModule.getNamedMetadata("llvm.dbg.cu")) 490e37d3144SAdrian Prantl for (unsigned I = 0, E = CUNodes->getNumOperands(); I != E; ++I) { 491e37d3144SAdrian Prantl auto *CU = cast<DICompileUnit>(CUNodes->getOperand(I)); 492e37d3144SAdrian Prantl if (auto *GVs = dyn_cast_or_null<MDTuple>(CU->getRawGlobalVariables())) 493e37d3144SAdrian Prantl for (unsigned I = 0; I < GVs->getNumOperands(); I++) 494e37d3144SAdrian Prantl if (auto *GV = 495e37d3144SAdrian Prantl dyn_cast_or_null<DIGlobalVariable>(GVs->getOperand(I))) { 49605782218SAdrian Prantl auto *DGVE = DIGlobalVariableExpression::getDistinct( 49705782218SAdrian Prantl Context, GV, DIExpression::get(Context, {})); 498e37d3144SAdrian Prantl GVs->replaceOperandWith(I, DGVE); 499e37d3144SAdrian Prantl } 500e37d3144SAdrian Prantl } 501e37d3144SAdrian Prantl 502e37d3144SAdrian Prantl // Upgrade variables attached to globals. 503e37d3144SAdrian Prantl for (auto &GV : TheModule.globals()) { 50456a08b40SDavide Italiano SmallVector<MDNode *, 1> MDs; 505e37d3144SAdrian Prantl GV.getMetadata(LLVMContext::MD_dbg, MDs); 506e37d3144SAdrian Prantl GV.eraseMetadata(LLVMContext::MD_dbg); 507e37d3144SAdrian Prantl for (auto *MD : MDs) 508e37d3144SAdrian Prantl if (auto *DGV = dyn_cast_or_null<DIGlobalVariable>(MD)) { 50905782218SAdrian Prantl auto *DGVE = DIGlobalVariableExpression::getDistinct( 51005782218SAdrian Prantl Context, DGV, DIExpression::get(Context, {})); 511e37d3144SAdrian Prantl GV.addMetadata(LLVMContext::MD_dbg, *DGVE); 512e37d3144SAdrian Prantl } else 513e37d3144SAdrian Prantl GV.addMetadata(LLVMContext::MD_dbg, *MD); 514e37d3144SAdrian Prantl } 515e37d3144SAdrian Prantl } 516e37d3144SAdrian Prantl 5176825fb64SAdrian Prantl /// Remove a leading DW_OP_deref from DIExpressions in a dbg.declare that 5186825fb64SAdrian Prantl /// describes a function argument. 5196825fb64SAdrian Prantl void upgradeDeclareExpressions(Function &F) { 5206825fb64SAdrian Prantl if (!NeedDeclareExpressionUpgrade) 5216825fb64SAdrian Prantl return; 5226825fb64SAdrian Prantl 5236825fb64SAdrian Prantl for (auto &BB : F) 5246825fb64SAdrian Prantl for (auto &I : BB) 5256825fb64SAdrian Prantl if (auto *DDI = dyn_cast<DbgDeclareInst>(&I)) 5266825fb64SAdrian Prantl if (auto *DIExpr = DDI->getExpression()) 5276825fb64SAdrian Prantl if (DIExpr->startsWithDeref() && 5286825fb64SAdrian Prantl dyn_cast_or_null<Argument>(DDI->getAddress())) { 5296825fb64SAdrian Prantl SmallVector<uint64_t, 8> Ops; 5306825fb64SAdrian Prantl Ops.append(std::next(DIExpr->elements_begin()), 5316825fb64SAdrian Prantl DIExpr->elements_end()); 5326825fb64SAdrian Prantl auto *E = DIExpression::get(Context, Ops); 5336825fb64SAdrian Prantl DDI->setOperand(2, MetadataAsValue::get(Context, E)); 5346825fb64SAdrian Prantl } 5356825fb64SAdrian Prantl } 5366825fb64SAdrian Prantl 537ffc498dfSFlorian Hahn /// Upgrade the expression from previous versions. 538ffc498dfSFlorian Hahn Error upgradeDIExpression(uint64_t FromVersion, 539ffc498dfSFlorian Hahn MutableArrayRef<uint64_t> &Expr, 540ffc498dfSFlorian Hahn SmallVectorImpl<uint64_t> &Buffer) { 541ffc498dfSFlorian Hahn auto N = Expr.size(); 542ffc498dfSFlorian Hahn switch (FromVersion) { 543ffc498dfSFlorian Hahn default: 544ffc498dfSFlorian Hahn return error("Invalid record"); 545ffc498dfSFlorian Hahn case 0: 546ffc498dfSFlorian Hahn if (N >= 3 && Expr[N - 3] == dwarf::DW_OP_bit_piece) 547ffc498dfSFlorian Hahn Expr[N - 3] = dwarf::DW_OP_LLVM_fragment; 548ffc498dfSFlorian Hahn LLVM_FALLTHROUGH; 549ffc498dfSFlorian Hahn case 1: 550ffc498dfSFlorian Hahn // Move DW_OP_deref to the end. 551ffc498dfSFlorian Hahn if (N && Expr[0] == dwarf::DW_OP_deref) { 552ffc498dfSFlorian Hahn auto End = Expr.end(); 553ffc498dfSFlorian Hahn if (Expr.size() >= 3 && 554ffc498dfSFlorian Hahn *std::prev(End, 3) == dwarf::DW_OP_LLVM_fragment) 555ffc498dfSFlorian Hahn End = std::prev(End, 3); 556ffc498dfSFlorian Hahn std::move(std::next(Expr.begin()), End, Expr.begin()); 557ffc498dfSFlorian Hahn *std::prev(End) = dwarf::DW_OP_deref; 558ffc498dfSFlorian Hahn } 559ffc498dfSFlorian Hahn NeedDeclareExpressionUpgrade = true; 560ffc498dfSFlorian Hahn LLVM_FALLTHROUGH; 561ffc498dfSFlorian Hahn case 2: { 562ffc498dfSFlorian Hahn // Change DW_OP_plus to DW_OP_plus_uconst. 563ffc498dfSFlorian Hahn // Change DW_OP_minus to DW_OP_uconst, DW_OP_minus 564ffc498dfSFlorian Hahn auto SubExpr = ArrayRef<uint64_t>(Expr); 565ffc498dfSFlorian Hahn while (!SubExpr.empty()) { 566ffc498dfSFlorian Hahn // Skip past other operators with their operands 567ffc498dfSFlorian Hahn // for this version of the IR, obtained from 568ffc498dfSFlorian Hahn // from historic DIExpression::ExprOperand::getSize(). 569ffc498dfSFlorian Hahn size_t HistoricSize; 570ffc498dfSFlorian Hahn switch (SubExpr.front()) { 571ffc498dfSFlorian Hahn default: 572ffc498dfSFlorian Hahn HistoricSize = 1; 573ffc498dfSFlorian Hahn break; 574ffc498dfSFlorian Hahn case dwarf::DW_OP_constu: 575ffc498dfSFlorian Hahn case dwarf::DW_OP_minus: 576ffc498dfSFlorian Hahn case dwarf::DW_OP_plus: 577ffc498dfSFlorian Hahn HistoricSize = 2; 578ffc498dfSFlorian Hahn break; 579ffc498dfSFlorian Hahn case dwarf::DW_OP_LLVM_fragment: 580ffc498dfSFlorian Hahn HistoricSize = 3; 581ffc498dfSFlorian Hahn break; 582ffc498dfSFlorian Hahn } 583ffc498dfSFlorian Hahn 584ffc498dfSFlorian Hahn // If the expression is malformed, make sure we don't 585ffc498dfSFlorian Hahn // copy more elements than we should. 586ffc498dfSFlorian Hahn HistoricSize = std::min(SubExpr.size(), HistoricSize); 587ffc498dfSFlorian Hahn ArrayRef<uint64_t> Args = SubExpr.slice(1, HistoricSize-1); 588ffc498dfSFlorian Hahn 589ffc498dfSFlorian Hahn switch (SubExpr.front()) { 590ffc498dfSFlorian Hahn case dwarf::DW_OP_plus: 591ffc498dfSFlorian Hahn Buffer.push_back(dwarf::DW_OP_plus_uconst); 592ffc498dfSFlorian Hahn Buffer.append(Args.begin(), Args.end()); 593ffc498dfSFlorian Hahn break; 594ffc498dfSFlorian Hahn case dwarf::DW_OP_minus: 595ffc498dfSFlorian Hahn Buffer.push_back(dwarf::DW_OP_constu); 596ffc498dfSFlorian Hahn Buffer.append(Args.begin(), Args.end()); 597ffc498dfSFlorian Hahn Buffer.push_back(dwarf::DW_OP_minus); 598ffc498dfSFlorian Hahn break; 599ffc498dfSFlorian Hahn default: 600ffc498dfSFlorian Hahn Buffer.push_back(*SubExpr.begin()); 601ffc498dfSFlorian Hahn Buffer.append(Args.begin(), Args.end()); 602ffc498dfSFlorian Hahn break; 603ffc498dfSFlorian Hahn } 604ffc498dfSFlorian Hahn 605ffc498dfSFlorian Hahn // Continue with remaining elements. 606ffc498dfSFlorian Hahn SubExpr = SubExpr.slice(HistoricSize); 607ffc498dfSFlorian Hahn } 608ffc498dfSFlorian Hahn Expr = MutableArrayRef<uint64_t>(Buffer); 609ffc498dfSFlorian Hahn LLVM_FALLTHROUGH; 610ffc498dfSFlorian Hahn } 611ffc498dfSFlorian Hahn case 3: 612ffc498dfSFlorian Hahn // Up-to-date! 613ffc498dfSFlorian Hahn break; 614ffc498dfSFlorian Hahn } 615ffc498dfSFlorian Hahn 616ffc498dfSFlorian Hahn return Error::success(); 617ffc498dfSFlorian Hahn } 618ffc498dfSFlorian Hahn 619e37d3144SAdrian Prantl void upgradeDebugInfo() { 620e37d3144SAdrian Prantl upgradeCUSubprograms(); 621e37d3144SAdrian Prantl upgradeCUVariables(); 622e37d3144SAdrian Prantl } 623e37d3144SAdrian Prantl 624ef27db87SMehdi Amini public: 625ef27db87SMehdi Amini MetadataLoaderImpl(BitstreamCursor &Stream, Module &TheModule, 626ef27db87SMehdi Amini BitcodeReaderValueList &ValueList, 627ec68dd49SMehdi Amini std::function<Type *(unsigned)> getTypeByID, 628ec68dd49SMehdi Amini bool IsImporting) 629ef27db87SMehdi Amini : MetadataList(TheModule.getContext()), ValueList(ValueList), 630ef27db87SMehdi Amini Stream(Stream), Context(TheModule.getContext()), TheModule(TheModule), 631061f4a5fSBenjamin Kramer getTypeByID(std::move(getTypeByID)), IsImporting(IsImporting) {} 632ef27db87SMehdi Amini 633ec68dd49SMehdi Amini Error parseMetadata(bool ModuleLevel); 634ef27db87SMehdi Amini 635ef27db87SMehdi Amini bool hasFwdRefs() const { return MetadataList.hasFwdRefs(); } 6363bb4d01dSMehdi Amini 6373bb4d01dSMehdi Amini Metadata *getMetadataFwdRefOrLoad(unsigned ID) { 6383bb4d01dSMehdi Amini if (ID < MDStringRef.size()) 6393bb4d01dSMehdi Amini return lazyLoadOneMDString(ID); 6403bb4d01dSMehdi Amini if (auto *MD = MetadataList.lookup(ID)) 6413bb4d01dSMehdi Amini return MD; 6423bb4d01dSMehdi Amini // If lazy-loading is enabled, we try recursively to load the operand 6433bb4d01dSMehdi Amini // instead of creating a temporary. 6443bb4d01dSMehdi Amini if (ID < (MDStringRef.size() + GlobalMetadataBitPosIndex.size())) { 6453bb4d01dSMehdi Amini PlaceholderQueue Placeholders; 6463bb4d01dSMehdi Amini lazyLoadOneMetadata(ID, Placeholders); 6473bb4d01dSMehdi Amini resolveForwardRefsAndPlaceholders(Placeholders); 6483bb4d01dSMehdi Amini return MetadataList.lookup(ID); 6493bb4d01dSMehdi Amini } 6503bb4d01dSMehdi Amini return MetadataList.getMetadataFwdRef(ID); 651ef27db87SMehdi Amini } 652ef27db87SMehdi Amini 653ef27db87SMehdi Amini MDNode *getMDNodeFwdRefOrNull(unsigned Idx) { 654ef27db87SMehdi Amini return MetadataList.getMDNodeFwdRefOrNull(Idx); 655ef27db87SMehdi Amini } 656ef27db87SMehdi Amini 657ef27db87SMehdi Amini DISubprogram *lookupSubprogramForFunction(Function *F) { 658ef27db87SMehdi Amini return FunctionsWithSPs.lookup(F); 659ef27db87SMehdi Amini } 660ef27db87SMehdi Amini 661ef27db87SMehdi Amini bool hasSeenOldLoopTags() { return HasSeenOldLoopTags; } 662ef27db87SMehdi Amini 663ef27db87SMehdi Amini Error parseMetadataAttachment( 664ef27db87SMehdi Amini Function &F, const SmallVectorImpl<Instruction *> &InstructionList); 665ef27db87SMehdi Amini 666ef27db87SMehdi Amini Error parseMetadataKinds(); 667ef27db87SMehdi Amini 6688662305bSMehdi Amini void setStripTBAA(bool Value) { StripTBAA = Value; } 6698662305bSMehdi Amini bool isStrippingTBAA() { return StripTBAA; } 6708662305bSMehdi Amini 671ef27db87SMehdi Amini unsigned size() const { return MetadataList.size(); } 672ef27db87SMehdi Amini void shrinkTo(unsigned N) { MetadataList.shrinkTo(N); } 6736825fb64SAdrian Prantl void upgradeDebugIntrinsics(Function &F) { upgradeDeclareExpressions(F); } 674ef27db87SMehdi Amini }; 675ef27db87SMehdi Amini 67642ef1990SMehdi Amini Expected<bool> 67742ef1990SMehdi Amini MetadataLoader::MetadataLoaderImpl::lazyLoadModuleMetadataBlock() { 67819ef4fadSMehdi Amini IndexCursor = Stream; 67919ef4fadSMehdi Amini SmallVector<uint64_t, 64> Record; 68019ef4fadSMehdi Amini // Get the abbrevs, and preload record positions to make them lazy-loadable. 68119ef4fadSMehdi Amini while (true) { 68219ef4fadSMehdi Amini BitstreamEntry Entry = IndexCursor.advanceSkippingSubblocks( 68319ef4fadSMehdi Amini BitstreamCursor::AF_DontPopBlockAtEnd); 68419ef4fadSMehdi Amini switch (Entry.Kind) { 68519ef4fadSMehdi Amini case BitstreamEntry::SubBlock: // Handled for us already. 68619ef4fadSMehdi Amini case BitstreamEntry::Error: 68719ef4fadSMehdi Amini return error("Malformed block"); 68819ef4fadSMehdi Amini case BitstreamEntry::EndBlock: { 68919ef4fadSMehdi Amini return true; 69019ef4fadSMehdi Amini } 69119ef4fadSMehdi Amini case BitstreamEntry::Record: { 69219ef4fadSMehdi Amini // The interesting case. 69319ef4fadSMehdi Amini ++NumMDRecordLoaded; 69419ef4fadSMehdi Amini uint64_t CurrentPos = IndexCursor.GetCurrentBitNo(); 69519ef4fadSMehdi Amini auto Code = IndexCursor.skipRecord(Entry.ID); 69619ef4fadSMehdi Amini switch (Code) { 69719ef4fadSMehdi Amini case bitc::METADATA_STRINGS: { 69819ef4fadSMehdi Amini // Rewind and parse the strings. 69919ef4fadSMehdi Amini IndexCursor.JumpToBit(CurrentPos); 70019ef4fadSMehdi Amini StringRef Blob; 70119ef4fadSMehdi Amini Record.clear(); 70219ef4fadSMehdi Amini IndexCursor.readRecord(Entry.ID, Record, &Blob); 70319ef4fadSMehdi Amini unsigned NumStrings = Record[0]; 70419ef4fadSMehdi Amini MDStringRef.reserve(NumStrings); 70519ef4fadSMehdi Amini auto IndexNextMDString = [&](StringRef Str) { 70619ef4fadSMehdi Amini MDStringRef.push_back(Str); 70719ef4fadSMehdi Amini }; 70819ef4fadSMehdi Amini if (auto Err = parseMetadataStrings(Record, Blob, IndexNextMDString)) 70919ef4fadSMehdi Amini return std::move(Err); 71019ef4fadSMehdi Amini break; 71119ef4fadSMehdi Amini } 71219ef4fadSMehdi Amini case bitc::METADATA_INDEX_OFFSET: { 71319ef4fadSMehdi Amini // This is the offset to the index, when we see this we skip all the 71419ef4fadSMehdi Amini // records and load only an index to these. 71519ef4fadSMehdi Amini IndexCursor.JumpToBit(CurrentPos); 71619ef4fadSMehdi Amini Record.clear(); 71719ef4fadSMehdi Amini IndexCursor.readRecord(Entry.ID, Record); 71819ef4fadSMehdi Amini if (Record.size() != 2) 71919ef4fadSMehdi Amini return error("Invalid record"); 72019ef4fadSMehdi Amini auto Offset = Record[0] + (Record[1] << 32); 72119ef4fadSMehdi Amini auto BeginPos = IndexCursor.GetCurrentBitNo(); 72219ef4fadSMehdi Amini IndexCursor.JumpToBit(BeginPos + Offset); 72319ef4fadSMehdi Amini Entry = IndexCursor.advanceSkippingSubblocks( 72419ef4fadSMehdi Amini BitstreamCursor::AF_DontPopBlockAtEnd); 72519ef4fadSMehdi Amini assert(Entry.Kind == BitstreamEntry::Record && 72619ef4fadSMehdi Amini "Corrupted bitcode: Expected `Record` when trying to find the " 72719ef4fadSMehdi Amini "Metadata index"); 72819ef4fadSMehdi Amini Record.clear(); 72919ef4fadSMehdi Amini auto Code = IndexCursor.readRecord(Entry.ID, Record); 73019ef4fadSMehdi Amini (void)Code; 73119ef4fadSMehdi Amini assert(Code == bitc::METADATA_INDEX && "Corrupted bitcode: Expected " 73219ef4fadSMehdi Amini "`METADATA_INDEX` when trying " 73319ef4fadSMehdi Amini "to find the Metadata index"); 73419ef4fadSMehdi Amini 73519ef4fadSMehdi Amini // Delta unpack 73619ef4fadSMehdi Amini auto CurrentValue = BeginPos; 73719ef4fadSMehdi Amini GlobalMetadataBitPosIndex.reserve(Record.size()); 73819ef4fadSMehdi Amini for (auto &Elt : Record) { 73919ef4fadSMehdi Amini CurrentValue += Elt; 74019ef4fadSMehdi Amini GlobalMetadataBitPosIndex.push_back(CurrentValue); 74119ef4fadSMehdi Amini } 74219ef4fadSMehdi Amini break; 74319ef4fadSMehdi Amini } 74419ef4fadSMehdi Amini case bitc::METADATA_INDEX: 74519ef4fadSMehdi Amini // We don't expect to get there, the Index is loaded when we encounter 74619ef4fadSMehdi Amini // the offset. 74719ef4fadSMehdi Amini return error("Corrupted Metadata block"); 74819ef4fadSMehdi Amini case bitc::METADATA_NAME: { 74919ef4fadSMehdi Amini // Named metadata need to be materialized now and aren't deferred. 75019ef4fadSMehdi Amini IndexCursor.JumpToBit(CurrentPos); 75119ef4fadSMehdi Amini Record.clear(); 75219ef4fadSMehdi Amini unsigned Code = IndexCursor.readRecord(Entry.ID, Record); 75319ef4fadSMehdi Amini assert(Code == bitc::METADATA_NAME); 75419ef4fadSMehdi Amini 75519ef4fadSMehdi Amini // Read name of the named metadata. 75619ef4fadSMehdi Amini SmallString<8> Name(Record.begin(), Record.end()); 75719ef4fadSMehdi Amini Code = IndexCursor.ReadCode(); 75819ef4fadSMehdi Amini 75919ef4fadSMehdi Amini // Named Metadata comes in two parts, we expect the name to be followed 76019ef4fadSMehdi Amini // by the node 76119ef4fadSMehdi Amini Record.clear(); 76219ef4fadSMehdi Amini unsigned NextBitCode = IndexCursor.readRecord(Code, Record); 76319ef4fadSMehdi Amini assert(NextBitCode == bitc::METADATA_NAMED_NODE); 76419ef4fadSMehdi Amini (void)NextBitCode; 76519ef4fadSMehdi Amini 76619ef4fadSMehdi Amini // Read named metadata elements. 76719ef4fadSMehdi Amini unsigned Size = Record.size(); 76819ef4fadSMehdi Amini NamedMDNode *NMD = TheModule.getOrInsertNamedMetadata(Name); 76919ef4fadSMehdi Amini for (unsigned i = 0; i != Size; ++i) { 77019ef4fadSMehdi Amini // FIXME: We could use a placeholder here, however NamedMDNode are 77119ef4fadSMehdi Amini // taking MDNode as operand and not using the Metadata infrastructure. 77219ef4fadSMehdi Amini // It is acknowledged by 'TODO: Inherit from Metadata' in the 77319ef4fadSMehdi Amini // NamedMDNode class definition. 77419ef4fadSMehdi Amini MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[i]); 77519ef4fadSMehdi Amini assert(MD && "Invalid record"); 77619ef4fadSMehdi Amini NMD->addOperand(MD); 77719ef4fadSMehdi Amini } 77819ef4fadSMehdi Amini break; 77919ef4fadSMehdi Amini } 78019ef4fadSMehdi Amini case bitc::METADATA_GLOBAL_DECL_ATTACHMENT: { 78119ef4fadSMehdi Amini // FIXME: we need to do this early because we don't materialize global 78219ef4fadSMehdi Amini // value explicitly. 78319ef4fadSMehdi Amini IndexCursor.JumpToBit(CurrentPos); 78419ef4fadSMehdi Amini Record.clear(); 78519ef4fadSMehdi Amini IndexCursor.readRecord(Entry.ID, Record); 78619ef4fadSMehdi Amini if (Record.size() % 2 == 0) 78719ef4fadSMehdi Amini return error("Invalid record"); 78819ef4fadSMehdi Amini unsigned ValueID = Record[0]; 78919ef4fadSMehdi Amini if (ValueID >= ValueList.size()) 79019ef4fadSMehdi Amini return error("Invalid record"); 79119ef4fadSMehdi Amini if (auto *GO = dyn_cast<GlobalObject>(ValueList[ValueID])) 79219ef4fadSMehdi Amini if (Error Err = parseGlobalObjectAttachment( 79319ef4fadSMehdi Amini *GO, ArrayRef<uint64_t>(Record).slice(1))) 79419ef4fadSMehdi Amini return std::move(Err); 79519ef4fadSMehdi Amini break; 79619ef4fadSMehdi Amini } 79719ef4fadSMehdi Amini case bitc::METADATA_KIND: 79819ef4fadSMehdi Amini case bitc::METADATA_STRING_OLD: 79919ef4fadSMehdi Amini case bitc::METADATA_OLD_FN_NODE: 80019ef4fadSMehdi Amini case bitc::METADATA_OLD_NODE: 80119ef4fadSMehdi Amini case bitc::METADATA_VALUE: 80219ef4fadSMehdi Amini case bitc::METADATA_DISTINCT_NODE: 80319ef4fadSMehdi Amini case bitc::METADATA_NODE: 80419ef4fadSMehdi Amini case bitc::METADATA_LOCATION: 80519ef4fadSMehdi Amini case bitc::METADATA_GENERIC_DEBUG: 80619ef4fadSMehdi Amini case bitc::METADATA_SUBRANGE: 80719ef4fadSMehdi Amini case bitc::METADATA_ENUMERATOR: 80819ef4fadSMehdi Amini case bitc::METADATA_BASIC_TYPE: 80919ef4fadSMehdi Amini case bitc::METADATA_DERIVED_TYPE: 81019ef4fadSMehdi Amini case bitc::METADATA_COMPOSITE_TYPE: 81119ef4fadSMehdi Amini case bitc::METADATA_SUBROUTINE_TYPE: 81219ef4fadSMehdi Amini case bitc::METADATA_MODULE: 81319ef4fadSMehdi Amini case bitc::METADATA_FILE: 81419ef4fadSMehdi Amini case bitc::METADATA_COMPILE_UNIT: 81519ef4fadSMehdi Amini case bitc::METADATA_SUBPROGRAM: 81619ef4fadSMehdi Amini case bitc::METADATA_LEXICAL_BLOCK: 81719ef4fadSMehdi Amini case bitc::METADATA_LEXICAL_BLOCK_FILE: 81819ef4fadSMehdi Amini case bitc::METADATA_NAMESPACE: 81919ef4fadSMehdi Amini case bitc::METADATA_MACRO: 82019ef4fadSMehdi Amini case bitc::METADATA_MACRO_FILE: 82119ef4fadSMehdi Amini case bitc::METADATA_TEMPLATE_TYPE: 82219ef4fadSMehdi Amini case bitc::METADATA_TEMPLATE_VALUE: 82319ef4fadSMehdi Amini case bitc::METADATA_GLOBAL_VAR: 82419ef4fadSMehdi Amini case bitc::METADATA_LOCAL_VAR: 82519ef4fadSMehdi Amini case bitc::METADATA_EXPRESSION: 82619ef4fadSMehdi Amini case bitc::METADATA_OBJC_PROPERTY: 82719ef4fadSMehdi Amini case bitc::METADATA_IMPORTED_ENTITY: 82819ef4fadSMehdi Amini case bitc::METADATA_GLOBAL_VAR_EXPR: 82919ef4fadSMehdi Amini // We don't expect to see any of these, if we see one, give up on 83019ef4fadSMehdi Amini // lazy-loading and fallback. 83119ef4fadSMehdi Amini MDStringRef.clear(); 83219ef4fadSMehdi Amini GlobalMetadataBitPosIndex.clear(); 83319ef4fadSMehdi Amini return false; 83419ef4fadSMehdi Amini } 83519ef4fadSMehdi Amini break; 83619ef4fadSMehdi Amini } 83719ef4fadSMehdi Amini } 83819ef4fadSMehdi Amini } 83919ef4fadSMehdi Amini } 84019ef4fadSMehdi Amini 841ef27db87SMehdi Amini /// Parse a METADATA_BLOCK. If ModuleLevel is true then we are parsing 842ef27db87SMehdi Amini /// module level metadata. 843ec68dd49SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadata(bool ModuleLevel) { 844ef27db87SMehdi Amini if (!ModuleLevel && MetadataList.hasFwdRefs()) 845ef27db87SMehdi Amini return error("Invalid metadata: fwd refs into function blocks"); 846ef27db87SMehdi Amini 84719ef4fadSMehdi Amini // Record the entry position so that we can jump back here and efficiently 84819ef4fadSMehdi Amini // skip the whole block in case we lazy-load. 84919ef4fadSMehdi Amini auto EntryPos = Stream.GetCurrentBitNo(); 85019ef4fadSMehdi Amini 851ef27db87SMehdi Amini if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID)) 852ef27db87SMehdi Amini return error("Invalid record"); 853ef27db87SMehdi Amini 854ef27db87SMehdi Amini SmallVector<uint64_t, 64> Record; 855ef27db87SMehdi Amini PlaceholderQueue Placeholders; 8569f926f70SMehdi Amini 85719ef4fadSMehdi Amini // We lazy-load module-level metadata: we build an index for each record, and 85819ef4fadSMehdi Amini // then load individual record as needed, starting with the named metadata. 85919ef4fadSMehdi Amini if (ModuleLevel && IsImporting && MetadataList.empty() && 86019ef4fadSMehdi Amini !DisableLazyLoading) { 86142ef1990SMehdi Amini auto SuccessOrErr = lazyLoadModuleMetadataBlock(); 86219ef4fadSMehdi Amini if (!SuccessOrErr) 86319ef4fadSMehdi Amini return SuccessOrErr.takeError(); 86419ef4fadSMehdi Amini if (SuccessOrErr.get()) { 86519ef4fadSMehdi Amini // An index was successfully created and we will be able to load metadata 86619ef4fadSMehdi Amini // on-demand. 86719ef4fadSMehdi Amini MetadataList.resize(MDStringRef.size() + 86819ef4fadSMehdi Amini GlobalMetadataBitPosIndex.size()); 86919ef4fadSMehdi Amini 87019ef4fadSMehdi Amini // Reading the named metadata created forward references and/or 87119ef4fadSMehdi Amini // placeholders, that we flush here. 87219ef4fadSMehdi Amini resolveForwardRefsAndPlaceholders(Placeholders); 873e37d3144SAdrian Prantl upgradeDebugInfo(); 87419ef4fadSMehdi Amini // Return at the beginning of the block, since it is easy to skip it 87519ef4fadSMehdi Amini // entirely from there. 87619ef4fadSMehdi Amini Stream.ReadBlockEnd(); // Pop the abbrev block context. 87719ef4fadSMehdi Amini Stream.JumpToBit(EntryPos); 87819ef4fadSMehdi Amini if (Stream.SkipBlock()) 87919ef4fadSMehdi Amini return error("Invalid record"); 88019ef4fadSMehdi Amini return Error::success(); 88119ef4fadSMehdi Amini } 88219ef4fadSMehdi Amini // Couldn't load an index, fallback to loading all the block "old-style". 88319ef4fadSMehdi Amini } 88419ef4fadSMehdi Amini 88519ef4fadSMehdi Amini unsigned NextMetadataNo = MetadataList.size(); 88619ef4fadSMehdi Amini 8879f926f70SMehdi Amini // Read all the records. 8889f926f70SMehdi Amini while (true) { 8899f926f70SMehdi Amini BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 8909f926f70SMehdi Amini 8919f926f70SMehdi Amini switch (Entry.Kind) { 8929f926f70SMehdi Amini case BitstreamEntry::SubBlock: // Handled for us already. 8939f926f70SMehdi Amini case BitstreamEntry::Error: 8949f926f70SMehdi Amini return error("Malformed block"); 8959f926f70SMehdi Amini case BitstreamEntry::EndBlock: 89619ef4fadSMehdi Amini resolveForwardRefsAndPlaceholders(Placeholders); 897e37d3144SAdrian Prantl upgradeDebugInfo(); 8989f926f70SMehdi Amini return Error::success(); 8999f926f70SMehdi Amini case BitstreamEntry::Record: 9009f926f70SMehdi Amini // The interesting case. 9019f926f70SMehdi Amini break; 9029f926f70SMehdi Amini } 9039f926f70SMehdi Amini 9049f926f70SMehdi Amini // Read a record. 9059f926f70SMehdi Amini Record.clear(); 9069f926f70SMehdi Amini StringRef Blob; 90719ef4fadSMehdi Amini ++NumMDRecordLoaded; 9089f926f70SMehdi Amini unsigned Code = Stream.readRecord(Entry.ID, Record, &Blob); 90919ef4fadSMehdi Amini if (Error Err = 91019ef4fadSMehdi Amini parseOneMetadata(Record, Code, Placeholders, Blob, NextMetadataNo)) 9119f926f70SMehdi Amini return Err; 9129f926f70SMehdi Amini } 9139f926f70SMehdi Amini } 9149f926f70SMehdi Amini 91519ef4fadSMehdi Amini MDString *MetadataLoader::MetadataLoaderImpl::lazyLoadOneMDString(unsigned ID) { 91619ef4fadSMehdi Amini ++NumMDStringLoaded; 91719ef4fadSMehdi Amini if (Metadata *MD = MetadataList.lookup(ID)) 91819ef4fadSMehdi Amini return cast<MDString>(MD); 91919ef4fadSMehdi Amini auto MDS = MDString::get(Context, MDStringRef[ID]); 92019ef4fadSMehdi Amini MetadataList.assignValue(MDS, ID); 92119ef4fadSMehdi Amini return MDS; 92219ef4fadSMehdi Amini } 92319ef4fadSMehdi Amini 92419ef4fadSMehdi Amini void MetadataLoader::MetadataLoaderImpl::lazyLoadOneMetadata( 92519ef4fadSMehdi Amini unsigned ID, PlaceholderQueue &Placeholders) { 92619ef4fadSMehdi Amini assert(ID < (MDStringRef.size()) + GlobalMetadataBitPosIndex.size()); 92719ef4fadSMehdi Amini assert(ID >= MDStringRef.size() && "Unexpected lazy-loading of MDString"); 92819ef4fadSMehdi Amini // Lookup first if the metadata hasn't already been loaded. 92919ef4fadSMehdi Amini if (auto *MD = MetadataList.lookup(ID)) { 93019ef4fadSMehdi Amini auto *N = dyn_cast_or_null<MDNode>(MD); 93167d2cc1fSMehdi Amini if (!N->isTemporary()) 93267d2cc1fSMehdi Amini return; 93319ef4fadSMehdi Amini } 93419ef4fadSMehdi Amini SmallVector<uint64_t, 64> Record; 93519ef4fadSMehdi Amini StringRef Blob; 93619ef4fadSMehdi Amini IndexCursor.JumpToBit(GlobalMetadataBitPosIndex[ID - MDStringRef.size()]); 93719ef4fadSMehdi Amini auto Entry = IndexCursor.advanceSkippingSubblocks(); 93819ef4fadSMehdi Amini ++NumMDRecordLoaded; 93919ef4fadSMehdi Amini unsigned Code = IndexCursor.readRecord(Entry.ID, Record, &Blob); 94019ef4fadSMehdi Amini if (Error Err = parseOneMetadata(Record, Code, Placeholders, Blob, ID)) 94119ef4fadSMehdi Amini report_fatal_error("Can't lazyload MD"); 94219ef4fadSMehdi Amini } 94319ef4fadSMehdi Amini 94419ef4fadSMehdi Amini /// Ensure that all forward-references and placeholders are resolved. 94519ef4fadSMehdi Amini /// Iteratively lazy-loading metadata on-demand if needed. 94619ef4fadSMehdi Amini void MetadataLoader::MetadataLoaderImpl::resolveForwardRefsAndPlaceholders( 94719ef4fadSMehdi Amini PlaceholderQueue &Placeholders) { 94819ef4fadSMehdi Amini DenseSet<unsigned> Temporaries; 94919ef4fadSMehdi Amini while (1) { 95019ef4fadSMehdi Amini // Populate Temporaries with the placeholders that haven't been loaded yet. 95119ef4fadSMehdi Amini Placeholders.getTemporaries(MetadataList, Temporaries); 95219ef4fadSMehdi Amini 95319ef4fadSMehdi Amini // If we don't have any temporary, or FwdReference, we're done! 95419ef4fadSMehdi Amini if (Temporaries.empty() && !MetadataList.hasFwdRefs()) 95519ef4fadSMehdi Amini break; 95619ef4fadSMehdi Amini 95719ef4fadSMehdi Amini // First, load all the temporaries. This can add new placeholders or 95819ef4fadSMehdi Amini // forward references. 95919ef4fadSMehdi Amini for (auto ID : Temporaries) 96019ef4fadSMehdi Amini lazyLoadOneMetadata(ID, Placeholders); 96119ef4fadSMehdi Amini Temporaries.clear(); 96219ef4fadSMehdi Amini 96319ef4fadSMehdi Amini // Second, load the forward-references. This can also add new placeholders 96419ef4fadSMehdi Amini // or forward references. 96519ef4fadSMehdi Amini while (MetadataList.hasFwdRefs()) 96619ef4fadSMehdi Amini lazyLoadOneMetadata(MetadataList.getNextFwdRef(), Placeholders); 96719ef4fadSMehdi Amini } 96819ef4fadSMehdi Amini // At this point we don't have any forward reference remaining, or temporary 96919ef4fadSMehdi Amini // that haven't been loaded. We can safely drop RAUW support and mark cycles 97019ef4fadSMehdi Amini // as resolved. 97119ef4fadSMehdi Amini MetadataList.tryToResolveCycles(); 97219ef4fadSMehdi Amini 97319ef4fadSMehdi Amini // Finally, everything is in place, we can replace the placeholders operands 97419ef4fadSMehdi Amini // with the final node they refer to. 97519ef4fadSMehdi Amini Placeholders.flush(MetadataList); 97619ef4fadSMehdi Amini } 97719ef4fadSMehdi Amini 9789f926f70SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseOneMetadata( 9799f926f70SMehdi Amini SmallVectorImpl<uint64_t> &Record, unsigned Code, 98019ef4fadSMehdi Amini PlaceholderQueue &Placeholders, StringRef Blob, unsigned &NextMetadataNo) { 9819f926f70SMehdi Amini 9829f926f70SMehdi Amini bool IsDistinct = false; 983ef27db87SMehdi Amini auto getMD = [&](unsigned ID) -> Metadata * { 98419ef4fadSMehdi Amini if (ID < MDStringRef.size()) 98519ef4fadSMehdi Amini return lazyLoadOneMDString(ID); 98667d2cc1fSMehdi Amini if (!IsDistinct) { 98767d2cc1fSMehdi Amini if (auto *MD = MetadataList.lookup(ID)) 98867d2cc1fSMehdi Amini return MD; 98967d2cc1fSMehdi Amini // If lazy-loading is enabled, we try recursively to load the operand 99067d2cc1fSMehdi Amini // instead of creating a temporary. 99167d2cc1fSMehdi Amini if (ID < (MDStringRef.size() + GlobalMetadataBitPosIndex.size())) { 99267d2cc1fSMehdi Amini // Create a temporary for the node that is referencing the operand we 99367d2cc1fSMehdi Amini // will lazy-load. It is needed before recursing in case there are 99467d2cc1fSMehdi Amini // uniquing cycles. 99567d2cc1fSMehdi Amini MetadataList.getMetadataFwdRef(NextMetadataNo); 99667d2cc1fSMehdi Amini lazyLoadOneMetadata(ID, Placeholders); 99767d2cc1fSMehdi Amini return MetadataList.lookup(ID); 99867d2cc1fSMehdi Amini } 99967d2cc1fSMehdi Amini // Return a temporary. 1000ef27db87SMehdi Amini return MetadataList.getMetadataFwdRef(ID); 100167d2cc1fSMehdi Amini } 1002ef27db87SMehdi Amini if (auto *MD = MetadataList.getMetadataIfResolved(ID)) 1003ef27db87SMehdi Amini return MD; 1004ef27db87SMehdi Amini return &Placeholders.getPlaceholderOp(ID); 1005ef27db87SMehdi Amini }; 1006ef27db87SMehdi Amini auto getMDOrNull = [&](unsigned ID) -> Metadata * { 1007ef27db87SMehdi Amini if (ID) 1008ef27db87SMehdi Amini return getMD(ID - 1); 1009ef27db87SMehdi Amini return nullptr; 1010ef27db87SMehdi Amini }; 1011ef27db87SMehdi Amini auto getMDOrNullWithoutPlaceholders = [&](unsigned ID) -> Metadata * { 1012ef27db87SMehdi Amini if (ID) 1013ef27db87SMehdi Amini return MetadataList.getMetadataFwdRef(ID - 1); 1014ef27db87SMehdi Amini return nullptr; 1015ef27db87SMehdi Amini }; 1016ef27db87SMehdi Amini auto getMDString = [&](unsigned ID) -> MDString * { 1017ef27db87SMehdi Amini // This requires that the ID is not really a forward reference. In 1018ef27db87SMehdi Amini // particular, the MDString must already have been resolved. 101919ef4fadSMehdi Amini auto MDS = getMDOrNull(ID); 102019ef4fadSMehdi Amini return cast_or_null<MDString>(MDS); 1021ef27db87SMehdi Amini }; 1022ef27db87SMehdi Amini 1023ef27db87SMehdi Amini // Support for old type refs. 1024ef27db87SMehdi Amini auto getDITypeRefOrNull = [&](unsigned ID) { 1025ef27db87SMehdi Amini return MetadataList.upgradeTypeRef(getMDOrNull(ID)); 1026ef27db87SMehdi Amini }; 1027ef27db87SMehdi Amini 1028ef27db87SMehdi Amini #define GET_OR_DISTINCT(CLASS, ARGS) \ 1029ef27db87SMehdi Amini (IsDistinct ? CLASS::getDistinct ARGS : CLASS::get ARGS) 1030ef27db87SMehdi Amini 1031ef27db87SMehdi Amini switch (Code) { 1032ef27db87SMehdi Amini default: // Default behavior: ignore. 1033ef27db87SMehdi Amini break; 1034ef27db87SMehdi Amini case bitc::METADATA_NAME: { 1035ef27db87SMehdi Amini // Read name of the named metadata. 1036ef27db87SMehdi Amini SmallString<8> Name(Record.begin(), Record.end()); 1037ef27db87SMehdi Amini Record.clear(); 1038ef27db87SMehdi Amini Code = Stream.ReadCode(); 1039ef27db87SMehdi Amini 104019ef4fadSMehdi Amini ++NumMDRecordLoaded; 1041ef27db87SMehdi Amini unsigned NextBitCode = Stream.readRecord(Code, Record); 1042ef27db87SMehdi Amini if (NextBitCode != bitc::METADATA_NAMED_NODE) 1043ef27db87SMehdi Amini return error("METADATA_NAME not followed by METADATA_NAMED_NODE"); 1044ef27db87SMehdi Amini 1045ef27db87SMehdi Amini // Read named metadata elements. 1046ef27db87SMehdi Amini unsigned Size = Record.size(); 1047ef27db87SMehdi Amini NamedMDNode *NMD = TheModule.getOrInsertNamedMetadata(Name); 1048ef27db87SMehdi Amini for (unsigned i = 0; i != Size; ++i) { 1049ef27db87SMehdi Amini MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[i]); 1050ef27db87SMehdi Amini if (!MD) 1051ef27db87SMehdi Amini return error("Invalid record"); 1052ef27db87SMehdi Amini NMD->addOperand(MD); 1053ef27db87SMehdi Amini } 1054ef27db87SMehdi Amini break; 1055ef27db87SMehdi Amini } 1056ef27db87SMehdi Amini case bitc::METADATA_OLD_FN_NODE: { 1057ef27db87SMehdi Amini // FIXME: Remove in 4.0. 1058ef27db87SMehdi Amini // This is a LocalAsMetadata record, the only type of function-local 1059ef27db87SMehdi Amini // metadata. 1060ef27db87SMehdi Amini if (Record.size() % 2 == 1) 1061ef27db87SMehdi Amini return error("Invalid record"); 1062ef27db87SMehdi Amini 1063ef27db87SMehdi Amini // If this isn't a LocalAsMetadata record, we're dropping it. This used 1064ef27db87SMehdi Amini // to be legal, but there's no upgrade path. 1065ef27db87SMehdi Amini auto dropRecord = [&] { 1066c05c9db3SIvan Krasin MetadataList.assignValue(MDNode::get(Context, None), NextMetadataNo); 1067c05c9db3SIvan Krasin NextMetadataNo++; 1068ef27db87SMehdi Amini }; 1069ef27db87SMehdi Amini if (Record.size() != 2) { 1070ef27db87SMehdi Amini dropRecord(); 1071ef27db87SMehdi Amini break; 1072ef27db87SMehdi Amini } 1073ef27db87SMehdi Amini 1074ef27db87SMehdi Amini Type *Ty = getTypeByID(Record[0]); 1075ef27db87SMehdi Amini if (Ty->isMetadataTy() || Ty->isVoidTy()) { 1076ef27db87SMehdi Amini dropRecord(); 1077ef27db87SMehdi Amini break; 1078ef27db87SMehdi Amini } 1079ef27db87SMehdi Amini 1080ef27db87SMehdi Amini MetadataList.assignValue( 1081ef27db87SMehdi Amini LocalAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)), 1082c05c9db3SIvan Krasin NextMetadataNo); 1083c05c9db3SIvan Krasin NextMetadataNo++; 1084ef27db87SMehdi Amini break; 1085ef27db87SMehdi Amini } 1086ef27db87SMehdi Amini case bitc::METADATA_OLD_NODE: { 1087ef27db87SMehdi Amini // FIXME: Remove in 4.0. 1088ef27db87SMehdi Amini if (Record.size() % 2 == 1) 1089ef27db87SMehdi Amini return error("Invalid record"); 1090ef27db87SMehdi Amini 1091ef27db87SMehdi Amini unsigned Size = Record.size(); 1092ef27db87SMehdi Amini SmallVector<Metadata *, 8> Elts; 1093ef27db87SMehdi Amini for (unsigned i = 0; i != Size; i += 2) { 1094ef27db87SMehdi Amini Type *Ty = getTypeByID(Record[i]); 1095ef27db87SMehdi Amini if (!Ty) 1096ef27db87SMehdi Amini return error("Invalid record"); 1097ef27db87SMehdi Amini if (Ty->isMetadataTy()) 1098ef27db87SMehdi Amini Elts.push_back(getMD(Record[i + 1])); 1099ef27db87SMehdi Amini else if (!Ty->isVoidTy()) { 1100ef27db87SMehdi Amini auto *MD = 1101ef27db87SMehdi Amini ValueAsMetadata::get(ValueList.getValueFwdRef(Record[i + 1], Ty)); 1102ef27db87SMehdi Amini assert(isa<ConstantAsMetadata>(MD) && 1103ef27db87SMehdi Amini "Expected non-function-local metadata"); 1104ef27db87SMehdi Amini Elts.push_back(MD); 1105ef27db87SMehdi Amini } else 1106ef27db87SMehdi Amini Elts.push_back(nullptr); 1107ef27db87SMehdi Amini } 1108c05c9db3SIvan Krasin MetadataList.assignValue(MDNode::get(Context, Elts), NextMetadataNo); 1109c05c9db3SIvan Krasin NextMetadataNo++; 1110ef27db87SMehdi Amini break; 1111ef27db87SMehdi Amini } 1112ef27db87SMehdi Amini case bitc::METADATA_VALUE: { 1113ef27db87SMehdi Amini if (Record.size() != 2) 1114ef27db87SMehdi Amini return error("Invalid record"); 1115ef27db87SMehdi Amini 1116ef27db87SMehdi Amini Type *Ty = getTypeByID(Record[0]); 1117ef27db87SMehdi Amini if (Ty->isMetadataTy() || Ty->isVoidTy()) 1118ef27db87SMehdi Amini return error("Invalid record"); 1119ef27db87SMehdi Amini 1120ef27db87SMehdi Amini MetadataList.assignValue( 1121ef27db87SMehdi Amini ValueAsMetadata::get(ValueList.getValueFwdRef(Record[1], Ty)), 1122c05c9db3SIvan Krasin NextMetadataNo); 1123c05c9db3SIvan Krasin NextMetadataNo++; 1124ef27db87SMehdi Amini break; 1125ef27db87SMehdi Amini } 1126ef27db87SMehdi Amini case bitc::METADATA_DISTINCT_NODE: 1127ef27db87SMehdi Amini IsDistinct = true; 1128ef27db87SMehdi Amini LLVM_FALLTHROUGH; 1129ef27db87SMehdi Amini case bitc::METADATA_NODE: { 1130ef27db87SMehdi Amini SmallVector<Metadata *, 8> Elts; 1131ef27db87SMehdi Amini Elts.reserve(Record.size()); 1132ef27db87SMehdi Amini for (unsigned ID : Record) 1133ef27db87SMehdi Amini Elts.push_back(getMDOrNull(ID)); 1134ef27db87SMehdi Amini MetadataList.assignValue(IsDistinct ? MDNode::getDistinct(Context, Elts) 1135ef27db87SMehdi Amini : MDNode::get(Context, Elts), 1136c05c9db3SIvan Krasin NextMetadataNo); 1137c05c9db3SIvan Krasin NextMetadataNo++; 1138ef27db87SMehdi Amini break; 1139ef27db87SMehdi Amini } 1140ef27db87SMehdi Amini case bitc::METADATA_LOCATION: { 1141ef27db87SMehdi Amini if (Record.size() != 5) 1142ef27db87SMehdi Amini return error("Invalid record"); 1143ef27db87SMehdi Amini 1144ef27db87SMehdi Amini IsDistinct = Record[0]; 1145ef27db87SMehdi Amini unsigned Line = Record[1]; 1146ef27db87SMehdi Amini unsigned Column = Record[2]; 1147ef27db87SMehdi Amini Metadata *Scope = getMD(Record[3]); 1148ef27db87SMehdi Amini Metadata *InlinedAt = getMDOrNull(Record[4]); 1149ef27db87SMehdi Amini MetadataList.assignValue( 11509f926f70SMehdi Amini GET_OR_DISTINCT(DILocation, (Context, Line, Column, Scope, InlinedAt)), 1151c05c9db3SIvan Krasin NextMetadataNo); 1152c05c9db3SIvan Krasin NextMetadataNo++; 1153ef27db87SMehdi Amini break; 1154ef27db87SMehdi Amini } 1155ef27db87SMehdi Amini case bitc::METADATA_GENERIC_DEBUG: { 1156ef27db87SMehdi Amini if (Record.size() < 4) 1157ef27db87SMehdi Amini return error("Invalid record"); 1158ef27db87SMehdi Amini 1159ef27db87SMehdi Amini IsDistinct = Record[0]; 1160ef27db87SMehdi Amini unsigned Tag = Record[1]; 1161ef27db87SMehdi Amini unsigned Version = Record[2]; 1162ef27db87SMehdi Amini 1163ef27db87SMehdi Amini if (Tag >= 1u << 16 || Version != 0) 1164ef27db87SMehdi Amini return error("Invalid record"); 1165ef27db87SMehdi Amini 1166ef27db87SMehdi Amini auto *Header = getMDString(Record[3]); 1167ef27db87SMehdi Amini SmallVector<Metadata *, 8> DwarfOps; 1168ef27db87SMehdi Amini for (unsigned I = 4, E = Record.size(); I != E; ++I) 1169ef27db87SMehdi Amini DwarfOps.push_back(getMDOrNull(Record[I])); 1170ef27db87SMehdi Amini MetadataList.assignValue( 1171ef27db87SMehdi Amini GET_OR_DISTINCT(GenericDINode, (Context, Tag, Header, DwarfOps)), 1172c05c9db3SIvan Krasin NextMetadataNo); 1173c05c9db3SIvan Krasin NextMetadataNo++; 1174ef27db87SMehdi Amini break; 1175ef27db87SMehdi Amini } 1176ef27db87SMehdi Amini case bitc::METADATA_SUBRANGE: { 1177*fdf40917SSander de Smalen Metadata *Val = nullptr; 1178*fdf40917SSander de Smalen // Operand 'count' is interpreted as: 1179*fdf40917SSander de Smalen // - Signed integer (version 0) 1180*fdf40917SSander de Smalen // - Metadata node (version 1) 1181*fdf40917SSander de Smalen switch (Record[0] >> 1) { 1182*fdf40917SSander de Smalen case 0: 1183*fdf40917SSander de Smalen Val = GET_OR_DISTINCT(DISubrange, 1184*fdf40917SSander de Smalen (Context, Record[1], unrotateSign(Record.back()))); 1185*fdf40917SSander de Smalen break; 1186*fdf40917SSander de Smalen case 1: 1187*fdf40917SSander de Smalen Val = GET_OR_DISTINCT(DISubrange, (Context, getMDOrNull(Record[1]), 1188*fdf40917SSander de Smalen unrotateSign(Record.back()))); 1189*fdf40917SSander de Smalen break; 1190*fdf40917SSander de Smalen default: 1191*fdf40917SSander de Smalen return error("Invalid record: Unsupported version of DISubrange"); 1192*fdf40917SSander de Smalen } 1193ef27db87SMehdi Amini 1194*fdf40917SSander de Smalen MetadataList.assignValue(Val, NextMetadataNo); 1195*fdf40917SSander de Smalen IsDistinct = Record[0] & 1; 1196c05c9db3SIvan Krasin NextMetadataNo++; 1197ef27db87SMehdi Amini break; 1198ef27db87SMehdi Amini } 1199ef27db87SMehdi Amini case bitc::METADATA_ENUMERATOR: { 1200ef27db87SMehdi Amini if (Record.size() != 3) 1201ef27db87SMehdi Amini return error("Invalid record"); 1202ef27db87SMehdi Amini 1203ef27db87SMehdi Amini IsDistinct = Record[0]; 1204ef27db87SMehdi Amini MetadataList.assignValue( 1205ef27db87SMehdi Amini GET_OR_DISTINCT(DIEnumerator, (Context, unrotateSign(Record[1]), 1206ef27db87SMehdi Amini getMDString(Record[2]))), 1207c05c9db3SIvan Krasin NextMetadataNo); 1208c05c9db3SIvan Krasin NextMetadataNo++; 1209ef27db87SMehdi Amini break; 1210ef27db87SMehdi Amini } 1211ef27db87SMehdi Amini case bitc::METADATA_BASIC_TYPE: { 1212ef27db87SMehdi Amini if (Record.size() != 6) 1213ef27db87SMehdi Amini return error("Invalid record"); 1214ef27db87SMehdi Amini 1215ef27db87SMehdi Amini IsDistinct = Record[0]; 1216ef27db87SMehdi Amini MetadataList.assignValue( 1217ef27db87SMehdi Amini GET_OR_DISTINCT(DIBasicType, 12189f926f70SMehdi Amini (Context, Record[1], getMDString(Record[2]), Record[3], 12199f926f70SMehdi Amini Record[4], Record[5])), 1220c05c9db3SIvan Krasin NextMetadataNo); 1221c05c9db3SIvan Krasin NextMetadataNo++; 1222ef27db87SMehdi Amini break; 1223ef27db87SMehdi Amini } 1224ef27db87SMehdi Amini case bitc::METADATA_DERIVED_TYPE: { 1225d5561e0aSKonstantin Zhuravlyov if (Record.size() < 12 || Record.size() > 13) 1226ef27db87SMehdi Amini return error("Invalid record"); 1227ef27db87SMehdi Amini 1228d5561e0aSKonstantin Zhuravlyov // DWARF address space is encoded as N->getDWARFAddressSpace() + 1. 0 means 1229d5561e0aSKonstantin Zhuravlyov // that there is no DWARF address space associated with DIDerivedType. 1230d5561e0aSKonstantin Zhuravlyov Optional<unsigned> DWARFAddressSpace; 1231d5561e0aSKonstantin Zhuravlyov if (Record.size() > 12 && Record[12]) 1232d5561e0aSKonstantin Zhuravlyov DWARFAddressSpace = Record[12] - 1; 1233d5561e0aSKonstantin Zhuravlyov 1234ef27db87SMehdi Amini IsDistinct = Record[0]; 1235ef27db87SMehdi Amini DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]); 1236ef27db87SMehdi Amini MetadataList.assignValue( 1237ef27db87SMehdi Amini GET_OR_DISTINCT(DIDerivedType, 1238ef27db87SMehdi Amini (Context, Record[1], getMDString(Record[2]), 1239ef27db87SMehdi Amini getMDOrNull(Record[3]), Record[4], 1240ef27db87SMehdi Amini getDITypeRefOrNull(Record[5]), 1241ef27db87SMehdi Amini getDITypeRefOrNull(Record[6]), Record[7], Record[8], 1242d5561e0aSKonstantin Zhuravlyov Record[9], DWARFAddressSpace, Flags, 1243d5561e0aSKonstantin Zhuravlyov getDITypeRefOrNull(Record[11]))), 1244c05c9db3SIvan Krasin NextMetadataNo); 1245c05c9db3SIvan Krasin NextMetadataNo++; 1246ef27db87SMehdi Amini break; 1247ef27db87SMehdi Amini } 1248ef27db87SMehdi Amini case bitc::METADATA_COMPOSITE_TYPE: { 1249ef27db87SMehdi Amini if (Record.size() != 16) 1250ef27db87SMehdi Amini return error("Invalid record"); 1251ef27db87SMehdi Amini 1252ef27db87SMehdi Amini // If we have a UUID and this is not a forward declaration, lookup the 1253ef27db87SMehdi Amini // mapping. 1254ef27db87SMehdi Amini IsDistinct = Record[0] & 0x1; 1255ef27db87SMehdi Amini bool IsNotUsedInTypeRef = Record[0] >= 2; 1256ef27db87SMehdi Amini unsigned Tag = Record[1]; 1257ef27db87SMehdi Amini MDString *Name = getMDString(Record[2]); 1258ef27db87SMehdi Amini Metadata *File = getMDOrNull(Record[3]); 1259ef27db87SMehdi Amini unsigned Line = Record[4]; 1260ef27db87SMehdi Amini Metadata *Scope = getDITypeRefOrNull(Record[5]); 1261a61f5e37STeresa Johnson Metadata *BaseType = nullptr; 1262ef27db87SMehdi Amini uint64_t SizeInBits = Record[7]; 1263ef27db87SMehdi Amini if (Record[8] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1264ef27db87SMehdi Amini return error("Alignment value is too large"); 1265ef27db87SMehdi Amini uint32_t AlignInBits = Record[8]; 1266a61f5e37STeresa Johnson uint64_t OffsetInBits = 0; 1267ef27db87SMehdi Amini DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[10]); 1268a61f5e37STeresa Johnson Metadata *Elements = nullptr; 1269ef27db87SMehdi Amini unsigned RuntimeLang = Record[12]; 1270a61f5e37STeresa Johnson Metadata *VTableHolder = nullptr; 1271a61f5e37STeresa Johnson Metadata *TemplateParams = nullptr; 1272ef27db87SMehdi Amini auto *Identifier = getMDString(Record[15]); 1273a61f5e37STeresa Johnson // If this module is being parsed so that it can be ThinLTO imported 1274a61f5e37STeresa Johnson // into another module, composite types only need to be imported 1275a61f5e37STeresa Johnson // as type declarations (unless full type definitions requested). 1276a61f5e37STeresa Johnson // Create type declarations up front to save memory. Also, buildODRType 1277a61f5e37STeresa Johnson // handles the case where this is type ODRed with a definition needed 1278a61f5e37STeresa Johnson // by the importing module, in which case the existing definition is 1279a61f5e37STeresa Johnson // used. 12805a8dba5bSTeresa Johnson if (IsImporting && !ImportFullTypeDefinitions && Identifier && 1281a61f5e37STeresa Johnson (Tag == dwarf::DW_TAG_enumeration_type || 1282a61f5e37STeresa Johnson Tag == dwarf::DW_TAG_class_type || 1283a61f5e37STeresa Johnson Tag == dwarf::DW_TAG_structure_type || 1284a61f5e37STeresa Johnson Tag == dwarf::DW_TAG_union_type)) { 1285a61f5e37STeresa Johnson Flags = Flags | DINode::FlagFwdDecl; 1286a61f5e37STeresa Johnson } else { 1287a61f5e37STeresa Johnson BaseType = getDITypeRefOrNull(Record[6]); 1288a61f5e37STeresa Johnson OffsetInBits = Record[9]; 1289a61f5e37STeresa Johnson Elements = getMDOrNull(Record[11]); 1290a61f5e37STeresa Johnson VTableHolder = getDITypeRefOrNull(Record[13]); 1291a61f5e37STeresa Johnson TemplateParams = getMDOrNull(Record[14]); 1292a61f5e37STeresa Johnson } 1293ef27db87SMehdi Amini DICompositeType *CT = nullptr; 1294ef27db87SMehdi Amini if (Identifier) 1295ef27db87SMehdi Amini CT = DICompositeType::buildODRType( 1296ef27db87SMehdi Amini Context, *Identifier, Tag, Name, File, Line, Scope, BaseType, 1297ef27db87SMehdi Amini SizeInBits, AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang, 1298ef27db87SMehdi Amini VTableHolder, TemplateParams); 1299ef27db87SMehdi Amini 1300ef27db87SMehdi Amini // Create a node if we didn't get a lazy ODR type. 1301ef27db87SMehdi Amini if (!CT) 1302ef27db87SMehdi Amini CT = GET_OR_DISTINCT(DICompositeType, 1303ef27db87SMehdi Amini (Context, Tag, Name, File, Line, Scope, BaseType, 1304ef27db87SMehdi Amini SizeInBits, AlignInBits, OffsetInBits, Flags, 13059f926f70SMehdi Amini Elements, RuntimeLang, VTableHolder, TemplateParams, 13069f926f70SMehdi Amini Identifier)); 1307ef27db87SMehdi Amini if (!IsNotUsedInTypeRef && Identifier) 1308ef27db87SMehdi Amini MetadataList.addTypeRef(*Identifier, *cast<DICompositeType>(CT)); 1309ef27db87SMehdi Amini 1310c05c9db3SIvan Krasin MetadataList.assignValue(CT, NextMetadataNo); 1311c05c9db3SIvan Krasin NextMetadataNo++; 1312ef27db87SMehdi Amini break; 1313ef27db87SMehdi Amini } 1314ef27db87SMehdi Amini case bitc::METADATA_SUBROUTINE_TYPE: { 1315ef27db87SMehdi Amini if (Record.size() < 3 || Record.size() > 4) 1316ef27db87SMehdi Amini return error("Invalid record"); 1317ef27db87SMehdi Amini bool IsOldTypeRefArray = Record[0] < 2; 1318ef27db87SMehdi Amini unsigned CC = (Record.size() > 3) ? Record[3] : 0; 1319ef27db87SMehdi Amini 1320ef27db87SMehdi Amini IsDistinct = Record[0] & 0x1; 1321ef27db87SMehdi Amini DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[1]); 1322ef27db87SMehdi Amini Metadata *Types = getMDOrNull(Record[2]); 1323ef27db87SMehdi Amini if (LLVM_UNLIKELY(IsOldTypeRefArray)) 1324ef27db87SMehdi Amini Types = MetadataList.upgradeTypeRefArray(Types); 1325ef27db87SMehdi Amini 1326ef27db87SMehdi Amini MetadataList.assignValue( 1327ef27db87SMehdi Amini GET_OR_DISTINCT(DISubroutineType, (Context, Flags, CC, Types)), 1328c05c9db3SIvan Krasin NextMetadataNo); 1329c05c9db3SIvan Krasin NextMetadataNo++; 1330ef27db87SMehdi Amini break; 1331ef27db87SMehdi Amini } 1332ef27db87SMehdi Amini 1333ef27db87SMehdi Amini case bitc::METADATA_MODULE: { 1334ef27db87SMehdi Amini if (Record.size() != 6) 1335ef27db87SMehdi Amini return error("Invalid record"); 1336ef27db87SMehdi Amini 1337ef27db87SMehdi Amini IsDistinct = Record[0]; 1338ef27db87SMehdi Amini MetadataList.assignValue( 1339ef27db87SMehdi Amini GET_OR_DISTINCT(DIModule, 1340ef27db87SMehdi Amini (Context, getMDOrNull(Record[1]), 1341ef27db87SMehdi Amini getMDString(Record[2]), getMDString(Record[3]), 1342ef27db87SMehdi Amini getMDString(Record[4]), getMDString(Record[5]))), 1343c05c9db3SIvan Krasin NextMetadataNo); 1344c05c9db3SIvan Krasin NextMetadataNo++; 1345ef27db87SMehdi Amini break; 1346ef27db87SMehdi Amini } 1347ef27db87SMehdi Amini 1348ef27db87SMehdi Amini case bitc::METADATA_FILE: { 13497faeecc8SAmjad Aboud if (Record.size() != 3 && Record.size() != 5) 1350ef27db87SMehdi Amini return error("Invalid record"); 1351ef27db87SMehdi Amini 1352ef27db87SMehdi Amini IsDistinct = Record[0]; 1353ef27db87SMehdi Amini MetadataList.assignValue( 13549f926f70SMehdi Amini GET_OR_DISTINCT( 13557faeecc8SAmjad Aboud DIFile, 13567faeecc8SAmjad Aboud (Context, getMDString(Record[1]), getMDString(Record[2]), 13577faeecc8SAmjad Aboud Record.size() == 3 ? DIFile::CSK_None 13587faeecc8SAmjad Aboud : static_cast<DIFile::ChecksumKind>(Record[3]), 13597faeecc8SAmjad Aboud Record.size() == 3 ? nullptr : getMDString(Record[4]))), 1360c05c9db3SIvan Krasin NextMetadataNo); 1361c05c9db3SIvan Krasin NextMetadataNo++; 1362ef27db87SMehdi Amini break; 1363ef27db87SMehdi Amini } 1364ef27db87SMehdi Amini case bitc::METADATA_COMPILE_UNIT: { 1365b52e2366SPeter Collingbourne if (Record.size() < 14 || Record.size() > 19) 1366ef27db87SMehdi Amini return error("Invalid record"); 1367ef27db87SMehdi Amini 1368ef27db87SMehdi Amini // Ignore Record[0], which indicates whether this compile unit is 1369ef27db87SMehdi Amini // distinct. It's always distinct. 1370ef27db87SMehdi Amini IsDistinct = true; 1371ef27db87SMehdi Amini auto *CU = DICompileUnit::getDistinct( 1372ef27db87SMehdi Amini Context, Record[1], getMDOrNull(Record[2]), getMDString(Record[3]), 1373ef27db87SMehdi Amini Record[4], getMDString(Record[5]), Record[6], getMDString(Record[7]), 1374ef27db87SMehdi Amini Record[8], getMDOrNull(Record[9]), getMDOrNull(Record[10]), 1375ef27db87SMehdi Amini getMDOrNull(Record[12]), getMDOrNull(Record[13]), 1376ef27db87SMehdi Amini Record.size() <= 15 ? nullptr : getMDOrNull(Record[15]), 1377ef27db87SMehdi Amini Record.size() <= 14 ? 0 : Record[14], 13780944a8c2SDehao Chen Record.size() <= 16 ? true : Record[16], 1379b52e2366SPeter Collingbourne Record.size() <= 17 ? false : Record[17], 1380b52e2366SPeter Collingbourne Record.size() <= 18 ? false : Record[18]); 1381ef27db87SMehdi Amini 1382c05c9db3SIvan Krasin MetadataList.assignValue(CU, NextMetadataNo); 1383c05c9db3SIvan Krasin NextMetadataNo++; 1384ef27db87SMehdi Amini 1385ef27db87SMehdi Amini // Move the Upgrade the list of subprograms. 1386ef27db87SMehdi Amini if (Metadata *SPs = getMDOrNullWithoutPlaceholders(Record[11])) 1387ef27db87SMehdi Amini CUSubprograms.push_back({CU, SPs}); 1388ef27db87SMehdi Amini break; 1389ef27db87SMehdi Amini } 1390ef27db87SMehdi Amini case bitc::METADATA_SUBPROGRAM: { 13911d12b885SAdrian Prantl if (Record.size() < 18 || Record.size() > 21) 1392ef27db87SMehdi Amini return error("Invalid record"); 1393ef27db87SMehdi Amini 1394ef27db87SMehdi Amini IsDistinct = 1395ef27db87SMehdi Amini (Record[0] & 1) || Record[8]; // All definitions should be distinct. 1396ef27db87SMehdi Amini // Version 1 has a Function as Record[15]. 1397ef27db87SMehdi Amini // Version 2 has removed Record[15]. 1398ef27db87SMehdi Amini // Version 3 has the Unit as Record[15]. 1399ef27db87SMehdi Amini // Version 4 added thisAdjustment. 1400ef27db87SMehdi Amini bool HasUnit = Record[0] >= 2; 1401ef27db87SMehdi Amini if (HasUnit && Record.size() < 19) 1402ef27db87SMehdi Amini return error("Invalid record"); 1403ef27db87SMehdi Amini Metadata *CUorFn = getMDOrNull(Record[15]); 1404ef27db87SMehdi Amini unsigned Offset = Record.size() >= 19 ? 1 : 0; 1405ef27db87SMehdi Amini bool HasFn = Offset && !HasUnit; 1406ef27db87SMehdi Amini bool HasThisAdj = Record.size() >= 20; 14071d12b885SAdrian Prantl bool HasThrownTypes = Record.size() >= 21; 1408ef27db87SMehdi Amini DISubprogram *SP = GET_OR_DISTINCT( 14091d12b885SAdrian Prantl DISubprogram, 14101d12b885SAdrian Prantl (Context, 1411ef27db87SMehdi Amini getDITypeRefOrNull(Record[1]), // scope 1412ef27db87SMehdi Amini getMDString(Record[2]), // name 1413ef27db87SMehdi Amini getMDString(Record[3]), // linkageName 1414ef27db87SMehdi Amini getMDOrNull(Record[4]), // file 1415ef27db87SMehdi Amini Record[5], // line 1416ef27db87SMehdi Amini getMDOrNull(Record[6]), // type 1417ef27db87SMehdi Amini Record[7], // isLocal 1418ef27db87SMehdi Amini Record[8], // isDefinition 1419ef27db87SMehdi Amini Record[9], // scopeLine 1420ef27db87SMehdi Amini getDITypeRefOrNull(Record[10]), // containingType 1421ef27db87SMehdi Amini Record[11], // virtuality 1422ef27db87SMehdi Amini Record[12], // virtualIndex 1423ef27db87SMehdi Amini HasThisAdj ? Record[19] : 0, // thisAdjustment 14241d12b885SAdrian Prantl static_cast<DINode::DIFlags>(Record[13]), // flags 1425ef27db87SMehdi Amini Record[14], // isOptimized 1426ef27db87SMehdi Amini HasUnit ? CUorFn : nullptr, // unit 1427ef27db87SMehdi Amini getMDOrNull(Record[15 + Offset]), // templateParams 1428ef27db87SMehdi Amini getMDOrNull(Record[16 + Offset]), // declaration 14291d12b885SAdrian Prantl getMDOrNull(Record[17 + Offset]), // variables 14301d12b885SAdrian Prantl HasThrownTypes ? getMDOrNull(Record[20]) : nullptr // thrownTypes 1431ef27db87SMehdi Amini )); 1432c05c9db3SIvan Krasin MetadataList.assignValue(SP, NextMetadataNo); 1433c05c9db3SIvan Krasin NextMetadataNo++; 1434ef27db87SMehdi Amini 1435ef27db87SMehdi Amini // Upgrade sp->function mapping to function->sp mapping. 1436ef27db87SMehdi Amini if (HasFn) { 1437ef27db87SMehdi Amini if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(CUorFn)) 1438ef27db87SMehdi Amini if (auto *F = dyn_cast<Function>(CMD->getValue())) { 1439ef27db87SMehdi Amini if (F->isMaterializable()) 1440ef27db87SMehdi Amini // Defer until materialized; unmaterialized functions may not have 1441ef27db87SMehdi Amini // metadata. 1442ef27db87SMehdi Amini FunctionsWithSPs[F] = SP; 1443ef27db87SMehdi Amini else if (!F->empty()) 1444ef27db87SMehdi Amini F->setSubprogram(SP); 1445ef27db87SMehdi Amini } 1446ef27db87SMehdi Amini } 1447ef27db87SMehdi Amini break; 1448ef27db87SMehdi Amini } 1449ef27db87SMehdi Amini case bitc::METADATA_LEXICAL_BLOCK: { 1450ef27db87SMehdi Amini if (Record.size() != 5) 1451ef27db87SMehdi Amini return error("Invalid record"); 1452ef27db87SMehdi Amini 1453ef27db87SMehdi Amini IsDistinct = Record[0]; 1454ef27db87SMehdi Amini MetadataList.assignValue( 1455ef27db87SMehdi Amini GET_OR_DISTINCT(DILexicalBlock, 1456ef27db87SMehdi Amini (Context, getMDOrNull(Record[1]), 1457ef27db87SMehdi Amini getMDOrNull(Record[2]), Record[3], Record[4])), 1458c05c9db3SIvan Krasin NextMetadataNo); 1459c05c9db3SIvan Krasin NextMetadataNo++; 1460ef27db87SMehdi Amini break; 1461ef27db87SMehdi Amini } 1462ef27db87SMehdi Amini case bitc::METADATA_LEXICAL_BLOCK_FILE: { 1463ef27db87SMehdi Amini if (Record.size() != 4) 1464ef27db87SMehdi Amini return error("Invalid record"); 1465ef27db87SMehdi Amini 1466ef27db87SMehdi Amini IsDistinct = Record[0]; 1467ef27db87SMehdi Amini MetadataList.assignValue( 1468ef27db87SMehdi Amini GET_OR_DISTINCT(DILexicalBlockFile, 1469ef27db87SMehdi Amini (Context, getMDOrNull(Record[1]), 1470ef27db87SMehdi Amini getMDOrNull(Record[2]), Record[3])), 1471c05c9db3SIvan Krasin NextMetadataNo); 1472c05c9db3SIvan Krasin NextMetadataNo++; 1473ef27db87SMehdi Amini break; 1474ef27db87SMehdi Amini } 1475ef27db87SMehdi Amini case bitc::METADATA_NAMESPACE: { 1476fed4f399SAdrian Prantl // Newer versions of DINamespace dropped file and line. 1477fed4f399SAdrian Prantl MDString *Name; 1478fed4f399SAdrian Prantl if (Record.size() == 3) 1479fed4f399SAdrian Prantl Name = getMDString(Record[2]); 1480fed4f399SAdrian Prantl else if (Record.size() == 5) 1481fed4f399SAdrian Prantl Name = getMDString(Record[3]); 1482fed4f399SAdrian Prantl else 1483ef27db87SMehdi Amini return error("Invalid record"); 1484ef27db87SMehdi Amini 1485ef27db87SMehdi Amini IsDistinct = Record[0] & 1; 1486ef27db87SMehdi Amini bool ExportSymbols = Record[0] & 2; 1487ef27db87SMehdi Amini MetadataList.assignValue( 1488ef27db87SMehdi Amini GET_OR_DISTINCT(DINamespace, 1489fed4f399SAdrian Prantl (Context, getMDOrNull(Record[1]), Name, ExportSymbols)), 1490c05c9db3SIvan Krasin NextMetadataNo); 1491c05c9db3SIvan Krasin NextMetadataNo++; 1492ef27db87SMehdi Amini break; 1493ef27db87SMehdi Amini } 1494ef27db87SMehdi Amini case bitc::METADATA_MACRO: { 1495ef27db87SMehdi Amini if (Record.size() != 5) 1496ef27db87SMehdi Amini return error("Invalid record"); 1497ef27db87SMehdi Amini 1498ef27db87SMehdi Amini IsDistinct = Record[0]; 1499ef27db87SMehdi Amini MetadataList.assignValue( 1500ef27db87SMehdi Amini GET_OR_DISTINCT(DIMacro, 15019f926f70SMehdi Amini (Context, Record[1], Record[2], getMDString(Record[3]), 15029f926f70SMehdi Amini getMDString(Record[4]))), 1503c05c9db3SIvan Krasin NextMetadataNo); 1504c05c9db3SIvan Krasin NextMetadataNo++; 1505ef27db87SMehdi Amini break; 1506ef27db87SMehdi Amini } 1507ef27db87SMehdi Amini case bitc::METADATA_MACRO_FILE: { 1508ef27db87SMehdi Amini if (Record.size() != 5) 1509ef27db87SMehdi Amini return error("Invalid record"); 1510ef27db87SMehdi Amini 1511ef27db87SMehdi Amini IsDistinct = Record[0]; 1512ef27db87SMehdi Amini MetadataList.assignValue( 1513ef27db87SMehdi Amini GET_OR_DISTINCT(DIMacroFile, 15149f926f70SMehdi Amini (Context, Record[1], Record[2], getMDOrNull(Record[3]), 15159f926f70SMehdi Amini getMDOrNull(Record[4]))), 1516c05c9db3SIvan Krasin NextMetadataNo); 1517c05c9db3SIvan Krasin NextMetadataNo++; 1518ef27db87SMehdi Amini break; 1519ef27db87SMehdi Amini } 1520ef27db87SMehdi Amini case bitc::METADATA_TEMPLATE_TYPE: { 1521ef27db87SMehdi Amini if (Record.size() != 3) 1522ef27db87SMehdi Amini return error("Invalid record"); 1523ef27db87SMehdi Amini 1524ef27db87SMehdi Amini IsDistinct = Record[0]; 1525ef27db87SMehdi Amini MetadataList.assignValue(GET_OR_DISTINCT(DITemplateTypeParameter, 1526ef27db87SMehdi Amini (Context, getMDString(Record[1]), 1527ef27db87SMehdi Amini getDITypeRefOrNull(Record[2]))), 1528c05c9db3SIvan Krasin NextMetadataNo); 1529c05c9db3SIvan Krasin NextMetadataNo++; 1530ef27db87SMehdi Amini break; 1531ef27db87SMehdi Amini } 1532ef27db87SMehdi Amini case bitc::METADATA_TEMPLATE_VALUE: { 1533ef27db87SMehdi Amini if (Record.size() != 5) 1534ef27db87SMehdi Amini return error("Invalid record"); 1535ef27db87SMehdi Amini 1536ef27db87SMehdi Amini IsDistinct = Record[0]; 1537ef27db87SMehdi Amini MetadataList.assignValue( 1538ef27db87SMehdi Amini GET_OR_DISTINCT(DITemplateValueParameter, 1539ef27db87SMehdi Amini (Context, Record[1], getMDString(Record[2]), 1540ef27db87SMehdi Amini getDITypeRefOrNull(Record[3]), 1541ef27db87SMehdi Amini getMDOrNull(Record[4]))), 1542c05c9db3SIvan Krasin NextMetadataNo); 1543c05c9db3SIvan Krasin NextMetadataNo++; 1544ef27db87SMehdi Amini break; 1545ef27db87SMehdi Amini } 1546ef27db87SMehdi Amini case bitc::METADATA_GLOBAL_VAR: { 1547ef27db87SMehdi Amini if (Record.size() < 11 || Record.size() > 12) 1548ef27db87SMehdi Amini return error("Invalid record"); 1549ef27db87SMehdi Amini 1550bceaaa96SAdrian Prantl IsDistinct = Record[0] & 1; 1551bceaaa96SAdrian Prantl unsigned Version = Record[0] >> 1; 1552ef27db87SMehdi Amini 1553bceaaa96SAdrian Prantl if (Version == 1) { 1554bceaaa96SAdrian Prantl MetadataList.assignValue( 1555bceaaa96SAdrian Prantl GET_OR_DISTINCT(DIGlobalVariable, 1556bceaaa96SAdrian Prantl (Context, getMDOrNull(Record[1]), 1557bceaaa96SAdrian Prantl getMDString(Record[2]), getMDString(Record[3]), 1558bceaaa96SAdrian Prantl getMDOrNull(Record[4]), Record[5], 15599f926f70SMehdi Amini getDITypeRefOrNull(Record[6]), Record[7], Record[8], 15609f926f70SMehdi Amini getMDOrNull(Record[10]), Record[11])), 1561c05c9db3SIvan Krasin NextMetadataNo); 1562c05c9db3SIvan Krasin NextMetadataNo++; 1563bceaaa96SAdrian Prantl } else if (Version == 0) { 1564ef27db87SMehdi Amini // Upgrade old metadata, which stored a global variable reference or a 1565ef27db87SMehdi Amini // ConstantInt here. 1566a5bf2d70SAdrian Prantl NeedUpgradeToDIGlobalVariableExpression = true; 1567ef27db87SMehdi Amini Metadata *Expr = getMDOrNull(Record[9]); 1568ef27db87SMehdi Amini uint32_t AlignInBits = 0; 1569ef27db87SMehdi Amini if (Record.size() > 11) { 1570ef27db87SMehdi Amini if (Record[11] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1571ef27db87SMehdi Amini return error("Alignment value is too large"); 1572ef27db87SMehdi Amini AlignInBits = Record[11]; 1573ef27db87SMehdi Amini } 1574ef27db87SMehdi Amini GlobalVariable *Attach = nullptr; 1575ef27db87SMehdi Amini if (auto *CMD = dyn_cast_or_null<ConstantAsMetadata>(Expr)) { 1576ef27db87SMehdi Amini if (auto *GV = dyn_cast<GlobalVariable>(CMD->getValue())) { 1577ef27db87SMehdi Amini Attach = GV; 1578ef27db87SMehdi Amini Expr = nullptr; 1579ef27db87SMehdi Amini } else if (auto *CI = dyn_cast<ConstantInt>(CMD->getValue())) { 1580ef27db87SMehdi Amini Expr = DIExpression::get(Context, 1581ef27db87SMehdi Amini {dwarf::DW_OP_constu, CI->getZExtValue(), 1582ef27db87SMehdi Amini dwarf::DW_OP_stack_value}); 1583ef27db87SMehdi Amini } else { 1584ef27db87SMehdi Amini Expr = nullptr; 1585ef27db87SMehdi Amini } 1586ef27db87SMehdi Amini } 1587ef27db87SMehdi Amini DIGlobalVariable *DGV = GET_OR_DISTINCT( 1588ef27db87SMehdi Amini DIGlobalVariable, 1589ef27db87SMehdi Amini (Context, getMDOrNull(Record[1]), getMDString(Record[2]), 1590ef27db87SMehdi Amini getMDString(Record[3]), getMDOrNull(Record[4]), Record[5], 1591bceaaa96SAdrian Prantl getDITypeRefOrNull(Record[6]), Record[7], Record[8], 1592ef27db87SMehdi Amini getMDOrNull(Record[10]), AlignInBits)); 159303c6d31aSAdrian Prantl 1594e37d3144SAdrian Prantl DIGlobalVariableExpression *DGVE = nullptr; 1595e37d3144SAdrian Prantl if (Attach || Expr) 159605782218SAdrian Prantl DGVE = DIGlobalVariableExpression::getDistinct( 159705782218SAdrian Prantl Context, DGV, Expr ? Expr : DIExpression::get(Context, {})); 159873ec0656SAdrian Prantl if (Attach) 1599bceaaa96SAdrian Prantl Attach->addDebugInfo(DGVE); 1600e37d3144SAdrian Prantl 1601e37d3144SAdrian Prantl auto *MDNode = Expr ? cast<Metadata>(DGVE) : cast<Metadata>(DGV); 1602e37d3144SAdrian Prantl MetadataList.assignValue(MDNode, NextMetadataNo); 1603e37d3144SAdrian Prantl NextMetadataNo++; 1604bceaaa96SAdrian Prantl } else 1605bceaaa96SAdrian Prantl return error("Invalid record"); 160673ec0656SAdrian Prantl 1607ef27db87SMehdi Amini break; 1608ef27db87SMehdi Amini } 1609ef27db87SMehdi Amini case bitc::METADATA_LOCAL_VAR: { 1610ef27db87SMehdi Amini // 10th field is for the obseleted 'inlinedAt:' field. 1611ef27db87SMehdi Amini if (Record.size() < 8 || Record.size() > 10) 1612ef27db87SMehdi Amini return error("Invalid record"); 1613ef27db87SMehdi Amini 1614ef27db87SMehdi Amini IsDistinct = Record[0] & 1; 1615ef27db87SMehdi Amini bool HasAlignment = Record[0] & 2; 1616ef27db87SMehdi Amini // 2nd field used to be an artificial tag, either DW_TAG_auto_variable or 1617ef27db87SMehdi Amini // DW_TAG_arg_variable, if we have alignment flag encoded it means, that 161868168d17SSimon Pilgrim // this is newer version of record which doesn't have artificial tag. 1619ef27db87SMehdi Amini bool HasTag = !HasAlignment && Record.size() > 8; 1620ef27db87SMehdi Amini DINode::DIFlags Flags = static_cast<DINode::DIFlags>(Record[7 + HasTag]); 1621ef27db87SMehdi Amini uint32_t AlignInBits = 0; 1622ef27db87SMehdi Amini if (HasAlignment) { 1623ef27db87SMehdi Amini if (Record[8 + HasTag] > (uint64_t)std::numeric_limits<uint32_t>::max()) 1624ef27db87SMehdi Amini return error("Alignment value is too large"); 1625ef27db87SMehdi Amini AlignInBits = Record[8 + HasTag]; 1626ef27db87SMehdi Amini } 1627ef27db87SMehdi Amini MetadataList.assignValue( 1628ef27db87SMehdi Amini GET_OR_DISTINCT(DILocalVariable, 1629ef27db87SMehdi Amini (Context, getMDOrNull(Record[1 + HasTag]), 1630ef27db87SMehdi Amini getMDString(Record[2 + HasTag]), 1631ef27db87SMehdi Amini getMDOrNull(Record[3 + HasTag]), Record[4 + HasTag], 1632ef27db87SMehdi Amini getDITypeRefOrNull(Record[5 + HasTag]), 1633ef27db87SMehdi Amini Record[6 + HasTag], Flags, AlignInBits)), 1634c05c9db3SIvan Krasin NextMetadataNo); 1635c05c9db3SIvan Krasin NextMetadataNo++; 1636ef27db87SMehdi Amini break; 1637ef27db87SMehdi Amini } 1638ef27db87SMehdi Amini case bitc::METADATA_EXPRESSION: { 1639ef27db87SMehdi Amini if (Record.size() < 1) 1640ef27db87SMehdi Amini return error("Invalid record"); 1641ef27db87SMehdi Amini 1642ef27db87SMehdi Amini IsDistinct = Record[0] & 1; 16436825fb64SAdrian Prantl uint64_t Version = Record[0] >> 1; 1644ef27db87SMehdi Amini auto Elts = MutableArrayRef<uint64_t>(Record).slice(1); 1645ffc498dfSFlorian Hahn 1646ffc498dfSFlorian Hahn SmallVector<uint64_t, 6> Buffer; 1647ffc498dfSFlorian Hahn if (Error Err = upgradeDIExpression(Version, Elts, Buffer)) 1648ffc498dfSFlorian Hahn return Err; 1649ef27db87SMehdi Amini 1650ef27db87SMehdi Amini MetadataList.assignValue( 1651ffc498dfSFlorian Hahn GET_OR_DISTINCT(DIExpression, (Context, Elts)), NextMetadataNo); 1652c05c9db3SIvan Krasin NextMetadataNo++; 1653ef27db87SMehdi Amini break; 1654ef27db87SMehdi Amini } 1655bceaaa96SAdrian Prantl case bitc::METADATA_GLOBAL_VAR_EXPR: { 1656bceaaa96SAdrian Prantl if (Record.size() != 3) 1657bceaaa96SAdrian Prantl return error("Invalid record"); 1658bceaaa96SAdrian Prantl 1659bceaaa96SAdrian Prantl IsDistinct = Record[0]; 166005782218SAdrian Prantl Metadata *Expr = getMDOrNull(Record[2]); 166105782218SAdrian Prantl if (!Expr) 166205782218SAdrian Prantl Expr = DIExpression::get(Context, {}); 166305782218SAdrian Prantl MetadataList.assignValue( 166405782218SAdrian Prantl GET_OR_DISTINCT(DIGlobalVariableExpression, 166505782218SAdrian Prantl (Context, getMDOrNull(Record[1]), Expr)), 1666c05c9db3SIvan Krasin NextMetadataNo); 1667c05c9db3SIvan Krasin NextMetadataNo++; 1668bceaaa96SAdrian Prantl break; 1669bceaaa96SAdrian Prantl } 1670ef27db87SMehdi Amini case bitc::METADATA_OBJC_PROPERTY: { 1671ef27db87SMehdi Amini if (Record.size() != 8) 1672ef27db87SMehdi Amini return error("Invalid record"); 1673ef27db87SMehdi Amini 1674ef27db87SMehdi Amini IsDistinct = Record[0]; 1675ef27db87SMehdi Amini MetadataList.assignValue( 1676ef27db87SMehdi Amini GET_OR_DISTINCT(DIObjCProperty, 1677ef27db87SMehdi Amini (Context, getMDString(Record[1]), 1678ef27db87SMehdi Amini getMDOrNull(Record[2]), Record[3], 1679ef27db87SMehdi Amini getMDString(Record[4]), getMDString(Record[5]), 1680ef27db87SMehdi Amini Record[6], getDITypeRefOrNull(Record[7]))), 1681c05c9db3SIvan Krasin NextMetadataNo); 1682c05c9db3SIvan Krasin NextMetadataNo++; 1683ef27db87SMehdi Amini break; 1684ef27db87SMehdi Amini } 1685ef27db87SMehdi Amini case bitc::METADATA_IMPORTED_ENTITY: { 1686d63bfd21SAdrian Prantl if (Record.size() != 6 && Record.size() != 7) 1687ef27db87SMehdi Amini return error("Invalid record"); 1688ef27db87SMehdi Amini 1689ef27db87SMehdi Amini IsDistinct = Record[0]; 1690d63bfd21SAdrian Prantl bool HasFile = (Record.size() == 7); 1691ef27db87SMehdi Amini MetadataList.assignValue( 1692ef27db87SMehdi Amini GET_OR_DISTINCT(DIImportedEntity, 1693ef27db87SMehdi Amini (Context, Record[1], getMDOrNull(Record[2]), 1694d63bfd21SAdrian Prantl getDITypeRefOrNull(Record[3]), 1695d63bfd21SAdrian Prantl HasFile ? getMDOrNull(Record[6]) : nullptr, 1696d63bfd21SAdrian Prantl HasFile ? Record[4] : 0, getMDString(Record[5]))), 1697c05c9db3SIvan Krasin NextMetadataNo); 1698c05c9db3SIvan Krasin NextMetadataNo++; 1699ef27db87SMehdi Amini break; 1700ef27db87SMehdi Amini } 1701ef27db87SMehdi Amini case bitc::METADATA_STRING_OLD: { 1702ef27db87SMehdi Amini std::string String(Record.begin(), Record.end()); 1703ef27db87SMehdi Amini 1704ef27db87SMehdi Amini // Test for upgrading !llvm.loop. 1705ef27db87SMehdi Amini HasSeenOldLoopTags |= mayBeOldLoopAttachmentTag(String); 170619ef4fadSMehdi Amini ++NumMDStringLoaded; 1707ef27db87SMehdi Amini Metadata *MD = MDString::get(Context, String); 1708c05c9db3SIvan Krasin MetadataList.assignValue(MD, NextMetadataNo); 1709c05c9db3SIvan Krasin NextMetadataNo++; 1710ef27db87SMehdi Amini break; 1711ef27db87SMehdi Amini } 171219ef4fadSMehdi Amini case bitc::METADATA_STRINGS: { 171319ef4fadSMehdi Amini auto CreateNextMDString = [&](StringRef Str) { 171419ef4fadSMehdi Amini ++NumMDStringLoaded; 1715c05c9db3SIvan Krasin MetadataList.assignValue(MDString::get(Context, Str), NextMetadataNo); 1716c05c9db3SIvan Krasin NextMetadataNo++; 171719ef4fadSMehdi Amini }; 171819ef4fadSMehdi Amini if (Error Err = parseMetadataStrings(Record, Blob, CreateNextMDString)) 1719ef27db87SMehdi Amini return Err; 1720ef27db87SMehdi Amini break; 172119ef4fadSMehdi Amini } 1722ef27db87SMehdi Amini case bitc::METADATA_GLOBAL_DECL_ATTACHMENT: { 1723ef27db87SMehdi Amini if (Record.size() % 2 == 0) 1724ef27db87SMehdi Amini return error("Invalid record"); 1725ef27db87SMehdi Amini unsigned ValueID = Record[0]; 1726ef27db87SMehdi Amini if (ValueID >= ValueList.size()) 1727ef27db87SMehdi Amini return error("Invalid record"); 1728ef27db87SMehdi Amini if (auto *GO = dyn_cast<GlobalObject>(ValueList[ValueID])) 1729ef27db87SMehdi Amini if (Error Err = parseGlobalObjectAttachment( 1730ef27db87SMehdi Amini *GO, ArrayRef<uint64_t>(Record).slice(1))) 1731ef27db87SMehdi Amini return Err; 1732ef27db87SMehdi Amini break; 1733ef27db87SMehdi Amini } 1734ef27db87SMehdi Amini case bitc::METADATA_KIND: { 1735ef27db87SMehdi Amini // Support older bitcode files that had METADATA_KIND records in a 1736ef27db87SMehdi Amini // block with METADATA_BLOCK_ID. 1737ef27db87SMehdi Amini if (Error Err = parseMetadataKindRecord(Record)) 1738ef27db87SMehdi Amini return Err; 1739ef27db87SMehdi Amini break; 1740ef27db87SMehdi Amini } 1741ef27db87SMehdi Amini } 17429f926f70SMehdi Amini return Error::success(); 174319ef4fadSMehdi Amini #undef GET_OR_DISTINCT 1744ef27db87SMehdi Amini } 1745ef27db87SMehdi Amini 1746ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataStrings( 174719ef4fadSMehdi Amini ArrayRef<uint64_t> Record, StringRef Blob, 1748061f4a5fSBenjamin Kramer function_ref<void(StringRef)> CallBack) { 1749ef27db87SMehdi Amini // All the MDStrings in the block are emitted together in a single 1750ef27db87SMehdi Amini // record. The strings are concatenated and stored in a blob along with 1751ef27db87SMehdi Amini // their sizes. 1752ef27db87SMehdi Amini if (Record.size() != 2) 1753ef27db87SMehdi Amini return error("Invalid record: metadata strings layout"); 1754ef27db87SMehdi Amini 1755ef27db87SMehdi Amini unsigned NumStrings = Record[0]; 1756ef27db87SMehdi Amini unsigned StringsOffset = Record[1]; 1757ef27db87SMehdi Amini if (!NumStrings) 1758ef27db87SMehdi Amini return error("Invalid record: metadata strings with no strings"); 1759ef27db87SMehdi Amini if (StringsOffset > Blob.size()) 1760ef27db87SMehdi Amini return error("Invalid record: metadata strings corrupt offset"); 1761ef27db87SMehdi Amini 1762ef27db87SMehdi Amini StringRef Lengths = Blob.slice(0, StringsOffset); 1763ef27db87SMehdi Amini SimpleBitstreamCursor R(Lengths); 1764ef27db87SMehdi Amini 1765ef27db87SMehdi Amini StringRef Strings = Blob.drop_front(StringsOffset); 1766ef27db87SMehdi Amini do { 1767ef27db87SMehdi Amini if (R.AtEndOfStream()) 1768ef27db87SMehdi Amini return error("Invalid record: metadata strings bad length"); 1769ef27db87SMehdi Amini 1770ef27db87SMehdi Amini unsigned Size = R.ReadVBR(6); 1771ef27db87SMehdi Amini if (Strings.size() < Size) 1772ef27db87SMehdi Amini return error("Invalid record: metadata strings truncated chars"); 1773ef27db87SMehdi Amini 177419ef4fadSMehdi Amini CallBack(Strings.slice(0, Size)); 1775ef27db87SMehdi Amini Strings = Strings.drop_front(Size); 1776ef27db87SMehdi Amini } while (--NumStrings); 1777ef27db87SMehdi Amini 1778ef27db87SMehdi Amini return Error::success(); 1779ef27db87SMehdi Amini } 1780ef27db87SMehdi Amini 1781ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseGlobalObjectAttachment( 1782ef27db87SMehdi Amini GlobalObject &GO, ArrayRef<uint64_t> Record) { 1783ef27db87SMehdi Amini assert(Record.size() % 2 == 0); 1784ef27db87SMehdi Amini for (unsigned I = 0, E = Record.size(); I != E; I += 2) { 1785ef27db87SMehdi Amini auto K = MDKindMap.find(Record[I]); 1786ef27db87SMehdi Amini if (K == MDKindMap.end()) 1787ef27db87SMehdi Amini return error("Invalid ID"); 1788ef27db87SMehdi Amini MDNode *MD = MetadataList.getMDNodeFwdRefOrNull(Record[I + 1]); 1789ef27db87SMehdi Amini if (!MD) 1790ef27db87SMehdi Amini return error("Invalid metadata attachment"); 1791ef27db87SMehdi Amini GO.addMetadata(K->second, *MD); 1792ef27db87SMehdi Amini } 1793ef27db87SMehdi Amini return Error::success(); 1794ef27db87SMehdi Amini } 1795ef27db87SMehdi Amini 1796ef27db87SMehdi Amini /// Parse metadata attachments. 1797ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataAttachment( 1798ef27db87SMehdi Amini Function &F, const SmallVectorImpl<Instruction *> &InstructionList) { 1799ef27db87SMehdi Amini if (Stream.EnterSubBlock(bitc::METADATA_ATTACHMENT_ID)) 1800ef27db87SMehdi Amini return error("Invalid record"); 1801ef27db87SMehdi Amini 1802ef27db87SMehdi Amini SmallVector<uint64_t, 64> Record; 18037b0d1457SMehdi Amini PlaceholderQueue Placeholders; 1804ef27db87SMehdi Amini 1805ef27db87SMehdi Amini while (true) { 1806ef27db87SMehdi Amini BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 1807ef27db87SMehdi Amini 1808ef27db87SMehdi Amini switch (Entry.Kind) { 1809ef27db87SMehdi Amini case BitstreamEntry::SubBlock: // Handled for us already. 1810ef27db87SMehdi Amini case BitstreamEntry::Error: 1811ef27db87SMehdi Amini return error("Malformed block"); 1812ef27db87SMehdi Amini case BitstreamEntry::EndBlock: 18137b0d1457SMehdi Amini resolveForwardRefsAndPlaceholders(Placeholders); 1814ef27db87SMehdi Amini return Error::success(); 1815ef27db87SMehdi Amini case BitstreamEntry::Record: 1816ef27db87SMehdi Amini // The interesting case. 1817ef27db87SMehdi Amini break; 1818ef27db87SMehdi Amini } 1819ef27db87SMehdi Amini 1820ef27db87SMehdi Amini // Read a metadata attachment record. 1821ef27db87SMehdi Amini Record.clear(); 182219ef4fadSMehdi Amini ++NumMDRecordLoaded; 1823ef27db87SMehdi Amini switch (Stream.readRecord(Entry.ID, Record)) { 1824ef27db87SMehdi Amini default: // Default behavior: ignore. 1825ef27db87SMehdi Amini break; 1826ef27db87SMehdi Amini case bitc::METADATA_ATTACHMENT: { 1827ef27db87SMehdi Amini unsigned RecordLength = Record.size(); 1828ef27db87SMehdi Amini if (Record.empty()) 1829ef27db87SMehdi Amini return error("Invalid record"); 1830ef27db87SMehdi Amini if (RecordLength % 2 == 0) { 1831ef27db87SMehdi Amini // A function attachment. 1832ef27db87SMehdi Amini if (Error Err = parseGlobalObjectAttachment(F, Record)) 1833ef27db87SMehdi Amini return Err; 1834ef27db87SMehdi Amini continue; 1835ef27db87SMehdi Amini } 1836ef27db87SMehdi Amini 1837ef27db87SMehdi Amini // An instruction attachment. 1838ef27db87SMehdi Amini Instruction *Inst = InstructionList[Record[0]]; 1839ef27db87SMehdi Amini for (unsigned i = 1; i != RecordLength; i = i + 2) { 1840ef27db87SMehdi Amini unsigned Kind = Record[i]; 1841ef27db87SMehdi Amini DenseMap<unsigned, unsigned>::iterator I = MDKindMap.find(Kind); 1842ef27db87SMehdi Amini if (I == MDKindMap.end()) 1843ef27db87SMehdi Amini return error("Invalid ID"); 18448662305bSMehdi Amini if (I->second == LLVMContext::MD_tbaa && StripTBAA) 18458662305bSMehdi Amini continue; 18468662305bSMehdi Amini 184719ef4fadSMehdi Amini auto Idx = Record[i + 1]; 184819ef4fadSMehdi Amini if (Idx < (MDStringRef.size() + GlobalMetadataBitPosIndex.size()) && 1849d5549f3dSMehdi Amini !MetadataList.lookup(Idx)) { 185019ef4fadSMehdi Amini // Load the attachment if it is in the lazy-loadable range and hasn't 185119ef4fadSMehdi Amini // been loaded yet. 185219ef4fadSMehdi Amini lazyLoadOneMetadata(Idx, Placeholders); 1853d5549f3dSMehdi Amini resolveForwardRefsAndPlaceholders(Placeholders); 1854d5549f3dSMehdi Amini } 185519ef4fadSMehdi Amini 185619ef4fadSMehdi Amini Metadata *Node = MetadataList.getMetadataFwdRef(Idx); 1857ef27db87SMehdi Amini if (isa<LocalAsMetadata>(Node)) 1858ef27db87SMehdi Amini // Drop the attachment. This used to be legal, but there's no 1859ef27db87SMehdi Amini // upgrade path. 1860ef27db87SMehdi Amini break; 1861ef27db87SMehdi Amini MDNode *MD = dyn_cast_or_null<MDNode>(Node); 1862ef27db87SMehdi Amini if (!MD) 1863ef27db87SMehdi Amini return error("Invalid metadata attachment"); 1864ef27db87SMehdi Amini 1865ef27db87SMehdi Amini if (HasSeenOldLoopTags && I->second == LLVMContext::MD_loop) 1866ef27db87SMehdi Amini MD = upgradeInstructionLoopAttachment(*MD); 1867ef27db87SMehdi Amini 1868ef27db87SMehdi Amini if (I->second == LLVMContext::MD_tbaa) { 1869ef27db87SMehdi Amini assert(!MD->isTemporary() && "should load MDs before attachments"); 1870ef27db87SMehdi Amini MD = UpgradeTBAANode(*MD); 1871ef27db87SMehdi Amini } 1872ef27db87SMehdi Amini Inst->setMetadata(I->second, MD); 1873ef27db87SMehdi Amini } 1874ef27db87SMehdi Amini break; 1875ef27db87SMehdi Amini } 1876ef27db87SMehdi Amini } 1877ef27db87SMehdi Amini } 1878ef27db87SMehdi Amini } 1879ef27db87SMehdi Amini 1880ef27db87SMehdi Amini /// Parse a single METADATA_KIND record, inserting result in MDKindMap. 1881ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataKindRecord( 1882ef27db87SMehdi Amini SmallVectorImpl<uint64_t> &Record) { 1883ef27db87SMehdi Amini if (Record.size() < 2) 1884ef27db87SMehdi Amini return error("Invalid record"); 1885ef27db87SMehdi Amini 1886ef27db87SMehdi Amini unsigned Kind = Record[0]; 1887ef27db87SMehdi Amini SmallString<8> Name(Record.begin() + 1, Record.end()); 1888ef27db87SMehdi Amini 1889ef27db87SMehdi Amini unsigned NewKind = TheModule.getMDKindID(Name.str()); 1890ef27db87SMehdi Amini if (!MDKindMap.insert(std::make_pair(Kind, NewKind)).second) 1891ef27db87SMehdi Amini return error("Conflicting METADATA_KIND records"); 1892ef27db87SMehdi Amini return Error::success(); 1893ef27db87SMehdi Amini } 1894ef27db87SMehdi Amini 1895ef27db87SMehdi Amini /// Parse the metadata kinds out of the METADATA_KIND_BLOCK. 1896ef27db87SMehdi Amini Error MetadataLoader::MetadataLoaderImpl::parseMetadataKinds() { 1897ef27db87SMehdi Amini if (Stream.EnterSubBlock(bitc::METADATA_KIND_BLOCK_ID)) 1898ef27db87SMehdi Amini return error("Invalid record"); 1899ef27db87SMehdi Amini 1900ef27db87SMehdi Amini SmallVector<uint64_t, 64> Record; 1901ef27db87SMehdi Amini 1902ef27db87SMehdi Amini // Read all the records. 1903ef27db87SMehdi Amini while (true) { 1904ef27db87SMehdi Amini BitstreamEntry Entry = Stream.advanceSkippingSubblocks(); 1905ef27db87SMehdi Amini 1906ef27db87SMehdi Amini switch (Entry.Kind) { 1907ef27db87SMehdi Amini case BitstreamEntry::SubBlock: // Handled for us already. 1908ef27db87SMehdi Amini case BitstreamEntry::Error: 1909ef27db87SMehdi Amini return error("Malformed block"); 1910ef27db87SMehdi Amini case BitstreamEntry::EndBlock: 1911ef27db87SMehdi Amini return Error::success(); 1912ef27db87SMehdi Amini case BitstreamEntry::Record: 1913ef27db87SMehdi Amini // The interesting case. 1914ef27db87SMehdi Amini break; 1915ef27db87SMehdi Amini } 1916ef27db87SMehdi Amini 1917ef27db87SMehdi Amini // Read a record. 1918ef27db87SMehdi Amini Record.clear(); 191919ef4fadSMehdi Amini ++NumMDRecordLoaded; 1920ef27db87SMehdi Amini unsigned Code = Stream.readRecord(Entry.ID, Record); 1921ef27db87SMehdi Amini switch (Code) { 1922ef27db87SMehdi Amini default: // Default behavior: ignore. 1923ef27db87SMehdi Amini break; 1924ef27db87SMehdi Amini case bitc::METADATA_KIND: { 1925ef27db87SMehdi Amini if (Error Err = parseMetadataKindRecord(Record)) 1926ef27db87SMehdi Amini return Err; 1927ef27db87SMehdi Amini break; 1928ef27db87SMehdi Amini } 1929ef27db87SMehdi Amini } 1930ef27db87SMehdi Amini } 1931ef27db87SMehdi Amini } 1932ef27db87SMehdi Amini 1933ef27db87SMehdi Amini MetadataLoader &MetadataLoader::operator=(MetadataLoader &&RHS) { 1934ef27db87SMehdi Amini Pimpl = std::move(RHS.Pimpl); 1935ef27db87SMehdi Amini return *this; 1936ef27db87SMehdi Amini } 1937ef27db87SMehdi Amini MetadataLoader::MetadataLoader(MetadataLoader &&RHS) 1938ec68dd49SMehdi Amini : Pimpl(std::move(RHS.Pimpl)) {} 1939ef27db87SMehdi Amini 1940ef27db87SMehdi Amini MetadataLoader::~MetadataLoader() = default; 1941ef27db87SMehdi Amini MetadataLoader::MetadataLoader(BitstreamCursor &Stream, Module &TheModule, 1942ef27db87SMehdi Amini BitcodeReaderValueList &ValueList, 1943a61f5e37STeresa Johnson bool IsImporting, 1944ef27db87SMehdi Amini std::function<Type *(unsigned)> getTypeByID) 1945061f4a5fSBenjamin Kramer : Pimpl(llvm::make_unique<MetadataLoaderImpl>( 1946061f4a5fSBenjamin Kramer Stream, TheModule, ValueList, std::move(getTypeByID), IsImporting)) {} 1947ef27db87SMehdi Amini 1948ef27db87SMehdi Amini Error MetadataLoader::parseMetadata(bool ModuleLevel) { 1949ec68dd49SMehdi Amini return Pimpl->parseMetadata(ModuleLevel); 1950ef27db87SMehdi Amini } 1951ef27db87SMehdi Amini 1952ef27db87SMehdi Amini bool MetadataLoader::hasFwdRefs() const { return Pimpl->hasFwdRefs(); } 1953ef27db87SMehdi Amini 1954ef27db87SMehdi Amini /// Return the given metadata, creating a replaceable forward reference if 1955ef27db87SMehdi Amini /// necessary. 19563bb4d01dSMehdi Amini Metadata *MetadataLoader::getMetadataFwdRefOrLoad(unsigned Idx) { 19573bb4d01dSMehdi Amini return Pimpl->getMetadataFwdRefOrLoad(Idx); 1958ef27db87SMehdi Amini } 1959ef27db87SMehdi Amini 1960ef27db87SMehdi Amini MDNode *MetadataLoader::getMDNodeFwdRefOrNull(unsigned Idx) { 1961ef27db87SMehdi Amini return Pimpl->getMDNodeFwdRefOrNull(Idx); 1962ef27db87SMehdi Amini } 1963ef27db87SMehdi Amini 1964ef27db87SMehdi Amini DISubprogram *MetadataLoader::lookupSubprogramForFunction(Function *F) { 1965ef27db87SMehdi Amini return Pimpl->lookupSubprogramForFunction(F); 1966ef27db87SMehdi Amini } 1967ef27db87SMehdi Amini 1968ef27db87SMehdi Amini Error MetadataLoader::parseMetadataAttachment( 1969ef27db87SMehdi Amini Function &F, const SmallVectorImpl<Instruction *> &InstructionList) { 1970ef27db87SMehdi Amini return Pimpl->parseMetadataAttachment(F, InstructionList); 1971ef27db87SMehdi Amini } 1972ef27db87SMehdi Amini 1973ef27db87SMehdi Amini Error MetadataLoader::parseMetadataKinds() { 1974ef27db87SMehdi Amini return Pimpl->parseMetadataKinds(); 1975ef27db87SMehdi Amini } 1976ef27db87SMehdi Amini 19778662305bSMehdi Amini void MetadataLoader::setStripTBAA(bool StripTBAA) { 19788662305bSMehdi Amini return Pimpl->setStripTBAA(StripTBAA); 19798662305bSMehdi Amini } 19808662305bSMehdi Amini 19818662305bSMehdi Amini bool MetadataLoader::isStrippingTBAA() { return Pimpl->isStrippingTBAA(); } 19828662305bSMehdi Amini 1983ef27db87SMehdi Amini unsigned MetadataLoader::size() const { return Pimpl->size(); } 1984ef27db87SMehdi Amini void MetadataLoader::shrinkTo(unsigned N) { return Pimpl->shrinkTo(N); } 19856825fb64SAdrian Prantl 19866825fb64SAdrian Prantl void MetadataLoader::upgradeDebugIntrinsics(Function &F) { 19876825fb64SAdrian Prantl return Pimpl->upgradeDebugIntrinsics(F); 19886825fb64SAdrian Prantl } 1989