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