xref: /freebsd/contrib/llvm-project/llvm/lib/IR/DebugInfo.cpp (revision bc5304a006238115291e7568583632889dffbab9) 
1 //===- DebugInfo.cpp - Debug Information Helper Classes -------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file implements the helper classes used to build and interpret debug
10 // information in LLVM IR form.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "llvm-c/DebugInfo.h"
15 #include "llvm/ADT/DenseMap.h"
16 #include "llvm/ADT/DenseSet.h"
17 #include "llvm/ADT/None.h"
18 #include "llvm/ADT/STLExtras.h"
19 #include "llvm/ADT/SmallPtrSet.h"
20 #include "llvm/ADT/SmallVector.h"
21 #include "llvm/ADT/StringRef.h"
22 #include "llvm/IR/BasicBlock.h"
23 #include "llvm/IR/Constants.h"
24 #include "llvm/IR/DebugInfoMetadata.h"
25 #include "llvm/IR/DebugLoc.h"
26 #include "llvm/IR/DebugInfo.h"
27 #include "llvm/IR/DIBuilder.h"
28 #include "llvm/IR/Function.h"
29 #include "llvm/IR/GVMaterializer.h"
30 #include "llvm/IR/Instruction.h"
31 #include "llvm/IR/IntrinsicInst.h"
32 #include "llvm/IR/LLVMContext.h"
33 #include "llvm/IR/Metadata.h"
34 #include "llvm/IR/Module.h"
35 #include "llvm/Support/Casting.h"
36 #include <algorithm>
37 #include <cassert>
38 #include <utility>
39 
40 using namespace llvm;
41 using namespace llvm::dwarf;
42 
43 DISubprogram *llvm::getDISubprogram(const MDNode *Scope) {
44   if (auto *LocalScope = dyn_cast_or_null<DILocalScope>(Scope))
45     return LocalScope->getSubprogram();
46   return nullptr;
47 }
48 
49 //===----------------------------------------------------------------------===//
50 // DebugInfoFinder implementations.
51 //===----------------------------------------------------------------------===//
52 
53 void DebugInfoFinder::reset() {
54   CUs.clear();
55   SPs.clear();
56   GVs.clear();
57   TYs.clear();
58   Scopes.clear();
59   NodesSeen.clear();
60 }
61 
62 void DebugInfoFinder::processModule(const Module &M) {
63   for (auto *CU : M.debug_compile_units())
64     processCompileUnit(CU);
65   for (auto &F : M.functions()) {
66     if (auto *SP = cast_or_null<DISubprogram>(F.getSubprogram()))
67       processSubprogram(SP);
68     // There could be subprograms from inlined functions referenced from
69     // instructions only. Walk the function to find them.
70     for (const BasicBlock &BB : F)
71       for (const Instruction &I : BB)
72         processInstruction(M, I);
73   }
74 }
75 
76 void DebugInfoFinder::processCompileUnit(DICompileUnit *CU) {
77   if (!addCompileUnit(CU))
78     return;
79   for (auto DIG : CU->getGlobalVariables()) {
80     if (!addGlobalVariable(DIG))
81       continue;
82     auto *GV = DIG->getVariable();
83     processScope(GV->getScope());
84     processType(GV->getType());
85   }
86   for (auto *ET : CU->getEnumTypes())
87     processType(ET);
88   for (auto *RT : CU->getRetainedTypes())
89     if (auto *T = dyn_cast<DIType>(RT))
90       processType(T);
91     else
92       processSubprogram(cast<DISubprogram>(RT));
93   for (auto *Import : CU->getImportedEntities()) {
94     auto *Entity = Import->getEntity();
95     if (auto *T = dyn_cast<DIType>(Entity))
96       processType(T);
97     else if (auto *SP = dyn_cast<DISubprogram>(Entity))
98       processSubprogram(SP);
99     else if (auto *NS = dyn_cast<DINamespace>(Entity))
100       processScope(NS->getScope());
101     else if (auto *M = dyn_cast<DIModule>(Entity))
102       processScope(M->getScope());
103   }
104 }
105 
106 void DebugInfoFinder::processInstruction(const Module &M,
107                                          const Instruction &I) {
108   if (auto *DVI = dyn_cast<DbgVariableIntrinsic>(&I))
109     processVariable(M, *DVI);
110 
111   if (auto DbgLoc = I.getDebugLoc())
112     processLocation(M, DbgLoc.get());
113 }
114 
115 void DebugInfoFinder::processLocation(const Module &M, const DILocation *Loc) {
116   if (!Loc)
117     return;
118   processScope(Loc->getScope());
119   processLocation(M, Loc->getInlinedAt());
120 }
121 
122 void DebugInfoFinder::processType(DIType *DT) {
123   if (!addType(DT))
124     return;
125   processScope(DT->getScope());
126   if (auto *ST = dyn_cast<DISubroutineType>(DT)) {
127     for (DIType *Ref : ST->getTypeArray())
128       processType(Ref);
129     return;
130   }
131   if (auto *DCT = dyn_cast<DICompositeType>(DT)) {
132     processType(DCT->getBaseType());
133     for (Metadata *D : DCT->getElements()) {
134       if (auto *T = dyn_cast<DIType>(D))
135         processType(T);
136       else if (auto *SP = dyn_cast<DISubprogram>(D))
137         processSubprogram(SP);
138     }
139     return;
140   }
141   if (auto *DDT = dyn_cast<DIDerivedType>(DT)) {
142     processType(DDT->getBaseType());
143   }
144 }
145 
146 void DebugInfoFinder::processScope(DIScope *Scope) {
147   if (!Scope)
148     return;
149   if (auto *Ty = dyn_cast<DIType>(Scope)) {
150     processType(Ty);
151     return;
152   }
153   if (auto *CU = dyn_cast<DICompileUnit>(Scope)) {
154     addCompileUnit(CU);
155     return;
156   }
157   if (auto *SP = dyn_cast<DISubprogram>(Scope)) {
158     processSubprogram(SP);
159     return;
160   }
161   if (!addScope(Scope))
162     return;
163   if (auto *LB = dyn_cast<DILexicalBlockBase>(Scope)) {
164     processScope(LB->getScope());
165   } else if (auto *NS = dyn_cast<DINamespace>(Scope)) {
166     processScope(NS->getScope());
167   } else if (auto *M = dyn_cast<DIModule>(Scope)) {
168     processScope(M->getScope());
169   }
170 }
171 
172 void DebugInfoFinder::processSubprogram(DISubprogram *SP) {
173   if (!addSubprogram(SP))
174     return;
175   processScope(SP->getScope());
176   // Some of the users, e.g. CloneFunctionInto / CloneModule, need to set up a
177   // ValueMap containing identity mappings for all of the DICompileUnit's, not
178   // just DISubprogram's, referenced from anywhere within the Function being
179   // cloned prior to calling MapMetadata / RemapInstruction to avoid their
180   // duplication later as DICompileUnit's are also directly referenced by
181   // llvm.dbg.cu list. Thefore we need to collect DICompileUnit's here as well.
182   // Also, DICompileUnit's may reference DISubprogram's too and therefore need
183   // to be at least looked through.
184   processCompileUnit(SP->getUnit());
185   processType(SP->getType());
186   for (auto *Element : SP->getTemplateParams()) {
187     if (auto *TType = dyn_cast<DITemplateTypeParameter>(Element)) {
188       processType(TType->getType());
189     } else if (auto *TVal = dyn_cast<DITemplateValueParameter>(Element)) {
190       processType(TVal->getType());
191     }
192   }
193 }
194 
195 void DebugInfoFinder::processVariable(const Module &M,
196                                       const DbgVariableIntrinsic &DVI) {
197   auto *N = dyn_cast<MDNode>(DVI.getVariable());
198   if (!N)
199     return;
200 
201   auto *DV = dyn_cast<DILocalVariable>(N);
202   if (!DV)
203     return;
204 
205   if (!NodesSeen.insert(DV).second)
206     return;
207   processScope(DV->getScope());
208   processType(DV->getType());
209 }
210 
211 bool DebugInfoFinder::addType(DIType *DT) {
212   if (!DT)
213     return false;
214 
215   if (!NodesSeen.insert(DT).second)
216     return false;
217 
218   TYs.push_back(const_cast<DIType *>(DT));
219   return true;
220 }
221 
222 bool DebugInfoFinder::addCompileUnit(DICompileUnit *CU) {
223   if (!CU)
224     return false;
225   if (!NodesSeen.insert(CU).second)
226     return false;
227 
228   CUs.push_back(CU);
229   return true;
230 }
231 
232 bool DebugInfoFinder::addGlobalVariable(DIGlobalVariableExpression *DIG) {
233   if (!NodesSeen.insert(DIG).second)
234     return false;
235 
236   GVs.push_back(DIG);
237   return true;
238 }
239 
240 bool DebugInfoFinder::addSubprogram(DISubprogram *SP) {
241   if (!SP)
242     return false;
243 
244   if (!NodesSeen.insert(SP).second)
245     return false;
246 
247   SPs.push_back(SP);
248   return true;
249 }
250 
251 bool DebugInfoFinder::addScope(DIScope *Scope) {
252   if (!Scope)
253     return false;
254   // FIXME: Ocaml binding generates a scope with no content, we treat it
255   // as null for now.
256   if (Scope->getNumOperands() == 0)
257     return false;
258   if (!NodesSeen.insert(Scope).second)
259     return false;
260   Scopes.push_back(Scope);
261   return true;
262 }
263 
264 static MDNode *updateLoopMetadataDebugLocationsImpl(
265     MDNode *OrigLoopID,
266     function_ref<DILocation *(const DILocation &)> Updater) {
267   assert(OrigLoopID && OrigLoopID->getNumOperands() > 0 &&
268          "Loop ID needs at least one operand");
269   assert(OrigLoopID && OrigLoopID->getOperand(0).get() == OrigLoopID &&
270          "Loop ID should refer to itself");
271 
272   // Save space for the self-referential LoopID.
273   SmallVector<Metadata *, 4> MDs = {nullptr};
274 
275   for (unsigned i = 1; i < OrigLoopID->getNumOperands(); ++i) {
276     Metadata *MD = OrigLoopID->getOperand(i);
277     if (DILocation *DL = dyn_cast<DILocation>(MD)) {
278       if (DILocation *NewDL = Updater(*DL))
279         MDs.push_back(NewDL);
280     } else
281       MDs.push_back(MD);
282   }
283 
284   MDNode *NewLoopID = MDNode::getDistinct(OrigLoopID->getContext(), MDs);
285   // Insert the self-referential LoopID.
286   NewLoopID->replaceOperandWith(0, NewLoopID);
287   return NewLoopID;
288 }
289 
290 void llvm::updateLoopMetadataDebugLocations(
291     Instruction &I, function_ref<DILocation *(const DILocation &)> Updater) {
292   MDNode *OrigLoopID = I.getMetadata(LLVMContext::MD_loop);
293   if (!OrigLoopID)
294     return;
295   MDNode *NewLoopID = updateLoopMetadataDebugLocationsImpl(OrigLoopID, Updater);
296   I.setMetadata(LLVMContext::MD_loop, NewLoopID);
297 }
298 
299 static MDNode *stripDebugLocFromLoopID(MDNode *N) {
300   assert(!N->operands().empty() && "Missing self reference?");
301 
302   // if there is no debug location, we do not have to rewrite this MDNode.
303   if (std::none_of(N->op_begin() + 1, N->op_end(), [](const MDOperand &Op) {
304         return isa<DILocation>(Op.get());
305       }))
306     return N;
307 
308   // If there is only the debug location without any actual loop metadata, we
309   // can remove the metadata.
310   if (std::none_of(N->op_begin() + 1, N->op_end(), [](const MDOperand &Op) {
311         return !isa<DILocation>(Op.get());
312       }))
313     return nullptr;
314 
315   auto dropDebugLoc = [](const DILocation &) -> DILocation * {
316     return nullptr;
317   };
318   return updateLoopMetadataDebugLocationsImpl(N, dropDebugLoc);
319 }
320 
321 bool llvm::stripDebugInfo(Function &F) {
322   bool Changed = false;
323   if (F.hasMetadata(LLVMContext::MD_dbg)) {
324     Changed = true;
325     F.setSubprogram(nullptr);
326   }
327 
328   DenseMap<MDNode*, MDNode*> LoopIDsMap;
329   for (BasicBlock &BB : F) {
330     for (auto II = BB.begin(), End = BB.end(); II != End;) {
331       Instruction &I = *II++; // We may delete the instruction, increment now.
332       if (isa<DbgInfoIntrinsic>(&I)) {
333         I.eraseFromParent();
334         Changed = true;
335         continue;
336       }
337       if (I.getDebugLoc()) {
338         Changed = true;
339         I.setDebugLoc(DebugLoc());
340       }
341     }
342 
343     auto *TermInst = BB.getTerminator();
344     if (!TermInst)
345       // This is invalid IR, but we may not have run the verifier yet
346       continue;
347     if (auto *LoopID = TermInst->getMetadata(LLVMContext::MD_loop)) {
348       auto *NewLoopID = LoopIDsMap.lookup(LoopID);
349       if (!NewLoopID)
350         NewLoopID = LoopIDsMap[LoopID] = stripDebugLocFromLoopID(LoopID);
351       if (NewLoopID != LoopID)
352         TermInst->setMetadata(LLVMContext::MD_loop, NewLoopID);
353     }
354   }
355   return Changed;
356 }
357 
358 bool llvm::StripDebugInfo(Module &M) {
359   bool Changed = false;
360 
361   for (Module::named_metadata_iterator NMI = M.named_metadata_begin(),
362          NME = M.named_metadata_end(); NMI != NME;) {
363     NamedMDNode *NMD = &*NMI;
364     ++NMI;
365 
366     // We're stripping debug info, and without them, coverage information
367     // doesn't quite make sense.
368     if (NMD->getName().startswith("llvm.dbg.") ||
369         NMD->getName() == "llvm.gcov") {
370       NMD->eraseFromParent();
371       Changed = true;
372     }
373   }
374 
375   for (Function &F : M)
376     Changed |= stripDebugInfo(F);
377 
378   for (auto &GV : M.globals()) {
379     Changed |= GV.eraseMetadata(LLVMContext::MD_dbg);
380   }
381 
382   if (GVMaterializer *Materializer = M.getMaterializer())
383     Materializer->setStripDebugInfo();
384 
385   return Changed;
386 }
387 
388 namespace {
389 
390 /// Helper class to downgrade -g metadata to -gline-tables-only metadata.
391 class DebugTypeInfoRemoval {
392   DenseMap<Metadata *, Metadata *> Replacements;
393 
394 public:
395   /// The (void)() type.
396   MDNode *EmptySubroutineType;
397 
398 private:
399   /// Remember what linkage name we originally had before stripping. If we end
400   /// up making two subprograms identical who originally had different linkage
401   /// names, then we need to make one of them distinct, to avoid them getting
402   /// uniqued. Maps the new node to the old linkage name.
403   DenseMap<DISubprogram *, StringRef> NewToLinkageName;
404 
405   // TODO: Remember the distinct subprogram we created for a given linkage name,
406   // so that we can continue to unique whenever possible. Map <newly created
407   // node, old linkage name> to the first (possibly distinct) mdsubprogram
408   // created for that combination. This is not strictly needed for correctness,
409   // but can cut down on the number of MDNodes and let us diff cleanly with the
410   // output of -gline-tables-only.
411 
412 public:
413   DebugTypeInfoRemoval(LLVMContext &C)
414       : EmptySubroutineType(DISubroutineType::get(C, DINode::FlagZero, 0,
415                                                   MDNode::get(C, {}))) {}
416 
417   Metadata *map(Metadata *M) {
418     if (!M)
419       return nullptr;
420     auto Replacement = Replacements.find(M);
421     if (Replacement != Replacements.end())
422       return Replacement->second;
423 
424     return M;
425   }
426   MDNode *mapNode(Metadata *N) { return dyn_cast_or_null<MDNode>(map(N)); }
427 
428   /// Recursively remap N and all its referenced children. Does a DF post-order
429   /// traversal, so as to remap bottoms up.
430   void traverseAndRemap(MDNode *N) { traverse(N); }
431 
432 private:
433   // Create a new DISubprogram, to replace the one given.
434   DISubprogram *getReplacementSubprogram(DISubprogram *MDS) {
435     auto *FileAndScope = cast_or_null<DIFile>(map(MDS->getFile()));
436     StringRef LinkageName = MDS->getName().empty() ? MDS->getLinkageName() : "";
437     DISubprogram *Declaration = nullptr;
438     auto *Type = cast_or_null<DISubroutineType>(map(MDS->getType()));
439     DIType *ContainingType =
440         cast_or_null<DIType>(map(MDS->getContainingType()));
441     auto *Unit = cast_or_null<DICompileUnit>(map(MDS->getUnit()));
442     auto Variables = nullptr;
443     auto TemplateParams = nullptr;
444 
445     // Make a distinct DISubprogram, for situations that warrent it.
446     auto distinctMDSubprogram = [&]() {
447       return DISubprogram::getDistinct(
448           MDS->getContext(), FileAndScope, MDS->getName(), LinkageName,
449           FileAndScope, MDS->getLine(), Type, MDS->getScopeLine(),
450           ContainingType, MDS->getVirtualIndex(), MDS->getThisAdjustment(),
451           MDS->getFlags(), MDS->getSPFlags(), Unit, TemplateParams, Declaration,
452           Variables);
453     };
454 
455     if (MDS->isDistinct())
456       return distinctMDSubprogram();
457 
458     auto *NewMDS = DISubprogram::get(
459         MDS->getContext(), FileAndScope, MDS->getName(), LinkageName,
460         FileAndScope, MDS->getLine(), Type, MDS->getScopeLine(), ContainingType,
461         MDS->getVirtualIndex(), MDS->getThisAdjustment(), MDS->getFlags(),
462         MDS->getSPFlags(), Unit, TemplateParams, Declaration, Variables);
463 
464     StringRef OldLinkageName = MDS->getLinkageName();
465 
466     // See if we need to make a distinct one.
467     auto OrigLinkage = NewToLinkageName.find(NewMDS);
468     if (OrigLinkage != NewToLinkageName.end()) {
469       if (OrigLinkage->second == OldLinkageName)
470         // We're good.
471         return NewMDS;
472 
473       // Otherwise, need to make a distinct one.
474       // TODO: Query the map to see if we already have one.
475       return distinctMDSubprogram();
476     }
477 
478     NewToLinkageName.insert({NewMDS, MDS->getLinkageName()});
479     return NewMDS;
480   }
481 
482   /// Create a new compile unit, to replace the one given
483   DICompileUnit *getReplacementCU(DICompileUnit *CU) {
484     // Drop skeleton CUs.
485     if (CU->getDWOId())
486       return nullptr;
487 
488     auto *File = cast_or_null<DIFile>(map(CU->getFile()));
489     MDTuple *EnumTypes = nullptr;
490     MDTuple *RetainedTypes = nullptr;
491     MDTuple *GlobalVariables = nullptr;
492     MDTuple *ImportedEntities = nullptr;
493     return DICompileUnit::getDistinct(
494         CU->getContext(), CU->getSourceLanguage(), File, CU->getProducer(),
495         CU->isOptimized(), CU->getFlags(), CU->getRuntimeVersion(),
496         CU->getSplitDebugFilename(), DICompileUnit::LineTablesOnly, EnumTypes,
497         RetainedTypes, GlobalVariables, ImportedEntities, CU->getMacros(),
498         CU->getDWOId(), CU->getSplitDebugInlining(),
499         CU->getDebugInfoForProfiling(), CU->getNameTableKind(),
500         CU->getRangesBaseAddress(), CU->getSysRoot(), CU->getSDK());
501   }
502 
503   DILocation *getReplacementMDLocation(DILocation *MLD) {
504     auto *Scope = map(MLD->getScope());
505     auto *InlinedAt = map(MLD->getInlinedAt());
506     if (MLD->isDistinct())
507       return DILocation::getDistinct(MLD->getContext(), MLD->getLine(),
508                                      MLD->getColumn(), Scope, InlinedAt);
509     return DILocation::get(MLD->getContext(), MLD->getLine(), MLD->getColumn(),
510                            Scope, InlinedAt);
511   }
512 
513   /// Create a new generic MDNode, to replace the one given
514   MDNode *getReplacementMDNode(MDNode *N) {
515     SmallVector<Metadata *, 8> Ops;
516     Ops.reserve(N->getNumOperands());
517     for (auto &I : N->operands())
518       if (I)
519         Ops.push_back(map(I));
520     auto *Ret = MDNode::get(N->getContext(), Ops);
521     return Ret;
522   }
523 
524   /// Attempt to re-map N to a newly created node.
525   void remap(MDNode *N) {
526     if (Replacements.count(N))
527       return;
528 
529     auto doRemap = [&](MDNode *N) -> MDNode * {
530       if (!N)
531         return nullptr;
532       if (auto *MDSub = dyn_cast<DISubprogram>(N)) {
533         remap(MDSub->getUnit());
534         return getReplacementSubprogram(MDSub);
535       }
536       if (isa<DISubroutineType>(N))
537         return EmptySubroutineType;
538       if (auto *CU = dyn_cast<DICompileUnit>(N))
539         return getReplacementCU(CU);
540       if (isa<DIFile>(N))
541         return N;
542       if (auto *MDLB = dyn_cast<DILexicalBlockBase>(N))
543         // Remap to our referenced scope (recursively).
544         return mapNode(MDLB->getScope());
545       if (auto *MLD = dyn_cast<DILocation>(N))
546         return getReplacementMDLocation(MLD);
547 
548       // Otherwise, if we see these, just drop them now. Not strictly necessary,
549       // but this speeds things up a little.
550       if (isa<DINode>(N))
551         return nullptr;
552 
553       return getReplacementMDNode(N);
554     };
555     Replacements[N] = doRemap(N);
556   }
557 
558   /// Do the remapping traversal.
559   void traverse(MDNode *);
560 };
561 
562 } // end anonymous namespace
563 
564 void DebugTypeInfoRemoval::traverse(MDNode *N) {
565   if (!N || Replacements.count(N))
566     return;
567 
568   // To avoid cycles, as well as for efficiency sake, we will sometimes prune
569   // parts of the graph.
570   auto prune = [](MDNode *Parent, MDNode *Child) {
571     if (auto *MDS = dyn_cast<DISubprogram>(Parent))
572       return Child == MDS->getRetainedNodes().get();
573     return false;
574   };
575 
576   SmallVector<MDNode *, 16> ToVisit;
577   DenseSet<MDNode *> Opened;
578 
579   // Visit each node starting at N in post order, and map them.
580   ToVisit.push_back(N);
581   while (!ToVisit.empty()) {
582     auto *N = ToVisit.back();
583     if (!Opened.insert(N).second) {
584       // Close it.
585       remap(N);
586       ToVisit.pop_back();
587       continue;
588     }
589     for (auto &I : N->operands())
590       if (auto *MDN = dyn_cast_or_null<MDNode>(I))
591         if (!Opened.count(MDN) && !Replacements.count(MDN) && !prune(N, MDN) &&
592             !isa<DICompileUnit>(MDN))
593           ToVisit.push_back(MDN);
594   }
595 }
596 
597 bool llvm::stripNonLineTableDebugInfo(Module &M) {
598   bool Changed = false;
599 
600   // First off, delete the debug intrinsics.
601   auto RemoveUses = [&](StringRef Name) {
602     if (auto *DbgVal = M.getFunction(Name)) {
603       while (!DbgVal->use_empty())
604         cast<Instruction>(DbgVal->user_back())->eraseFromParent();
605       DbgVal->eraseFromParent();
606       Changed = true;
607     }
608   };
609   RemoveUses("llvm.dbg.addr");
610   RemoveUses("llvm.dbg.declare");
611   RemoveUses("llvm.dbg.label");
612   RemoveUses("llvm.dbg.value");
613 
614   // Delete non-CU debug info named metadata nodes.
615   for (auto NMI = M.named_metadata_begin(), NME = M.named_metadata_end();
616        NMI != NME;) {
617     NamedMDNode *NMD = &*NMI;
618     ++NMI;
619     // Specifically keep dbg.cu around.
620     if (NMD->getName() == "llvm.dbg.cu")
621       continue;
622   }
623 
624   // Drop all dbg attachments from global variables.
625   for (auto &GV : M.globals())
626     GV.eraseMetadata(LLVMContext::MD_dbg);
627 
628   DebugTypeInfoRemoval Mapper(M.getContext());
629   auto remap = [&](MDNode *Node) -> MDNode * {
630     if (!Node)
631       return nullptr;
632     Mapper.traverseAndRemap(Node);
633     auto *NewNode = Mapper.mapNode(Node);
634     Changed |= Node != NewNode;
635     Node = NewNode;
636     return NewNode;
637   };
638 
639   // Rewrite the DebugLocs to be equivalent to what
640   // -gline-tables-only would have created.
641   for (auto &F : M) {
642     if (auto *SP = F.getSubprogram()) {
643       Mapper.traverseAndRemap(SP);
644       auto *NewSP = cast<DISubprogram>(Mapper.mapNode(SP));
645       Changed |= SP != NewSP;
646       F.setSubprogram(NewSP);
647     }
648     for (auto &BB : F) {
649       for (auto &I : BB) {
650         auto remapDebugLoc = [&](const DebugLoc &DL) -> DebugLoc {
651           auto *Scope = DL.getScope();
652           MDNode *InlinedAt = DL.getInlinedAt();
653           Scope = remap(Scope);
654           InlinedAt = remap(InlinedAt);
655           return DILocation::get(M.getContext(), DL.getLine(), DL.getCol(),
656                                  Scope, InlinedAt);
657         };
658 
659         if (I.getDebugLoc() != DebugLoc())
660           I.setDebugLoc(remapDebugLoc(I.getDebugLoc()));
661 
662         // Remap DILocations in llvm.loop attachments.
663         updateLoopMetadataDebugLocations(I, [&](const DILocation &Loc) {
664           return remapDebugLoc(&Loc).get();
665         });
666       }
667     }
668   }
669 
670   // Create a new llvm.dbg.cu, which is equivalent to the one
671   // -gline-tables-only would have created.
672   for (auto &NMD : M.getNamedMDList()) {
673     SmallVector<MDNode *, 8> Ops;
674     for (MDNode *Op : NMD.operands())
675       Ops.push_back(remap(Op));
676 
677     if (!Changed)
678       continue;
679 
680     NMD.clearOperands();
681     for (auto *Op : Ops)
682       if (Op)
683         NMD.addOperand(Op);
684   }
685   return Changed;
686 }
687 
688 unsigned llvm::getDebugMetadataVersionFromModule(const Module &M) {
689   if (auto *Val = mdconst::dyn_extract_or_null<ConstantInt>(
690           M.getModuleFlag("Debug Info Version")))
691     return Val->getZExtValue();
692   return 0;
693 }
694 
695 void Instruction::applyMergedLocation(const DILocation *LocA,
696                                       const DILocation *LocB) {
697   setDebugLoc(DILocation::getMergedLocation(LocA, LocB));
698 }
699 
700 void Instruction::updateLocationAfterHoist() { dropLocation(); }
701 
702 void Instruction::dropLocation() {
703   const DebugLoc &DL = getDebugLoc();
704   if (!DL)
705     return;
706 
707   // If this isn't a call, drop the location to allow a location from a
708   // preceding instruction to propagate.
709   if (!isa<CallBase>(this)) {
710     setDebugLoc(DebugLoc());
711     return;
712   }
713 
714   // Set a line 0 location for calls to preserve scope information in case
715   // inlining occurs.
716   DISubprogram *SP = getFunction()->getSubprogram();
717   if (SP)
718     // If a function scope is available, set it on the line 0 location. When
719     // hoisting a call to a predecessor block, using the function scope avoids
720     // making it look like the callee was reached earlier than it should be.
721     setDebugLoc(DILocation::get(getContext(), 0, 0, SP));
722   else
723     // The parent function has no scope. Go ahead and drop the location. If
724     // the parent function is inlined, and the callee has a subprogram, the
725     // inliner will attach a location to the call.
726     //
727     // One alternative is to set a line 0 location with the existing scope and
728     // inlinedAt info. The location might be sensitive to when inlining occurs.
729     setDebugLoc(DebugLoc());
730 }
731 
732 //===----------------------------------------------------------------------===//
733 // LLVM C API implementations.
734 //===----------------------------------------------------------------------===//
735 
736 static unsigned map_from_llvmDWARFsourcelanguage(LLVMDWARFSourceLanguage lang) {
737   switch (lang) {
738 #define HANDLE_DW_LANG(ID, NAME, LOWER_BOUND, VERSION, VENDOR)                 \
739   case LLVMDWARFSourceLanguage##NAME:                                          \
740     return ID;
741 #include "llvm/BinaryFormat/Dwarf.def"
742 #undef HANDLE_DW_LANG
743   }
744   llvm_unreachable("Unhandled Tag");
745 }
746 
747 template <typename DIT> DIT *unwrapDI(LLVMMetadataRef Ref) {
748   return (DIT *)(Ref ? unwrap<MDNode>(Ref) : nullptr);
749 }
750 
751 static DINode::DIFlags map_from_llvmDIFlags(LLVMDIFlags Flags) {
752   return static_cast<DINode::DIFlags>(Flags);
753 }
754 
755 static LLVMDIFlags map_to_llvmDIFlags(DINode::DIFlags Flags) {
756   return static_cast<LLVMDIFlags>(Flags);
757 }
758 
759 static DISubprogram::DISPFlags
760 pack_into_DISPFlags(bool IsLocalToUnit, bool IsDefinition, bool IsOptimized) {
761   return DISubprogram::toSPFlags(IsLocalToUnit, IsDefinition, IsOptimized);
762 }
763 
764 unsigned LLVMDebugMetadataVersion() {
765   return DEBUG_METADATA_VERSION;
766 }
767 
768 LLVMDIBuilderRef LLVMCreateDIBuilderDisallowUnresolved(LLVMModuleRef M) {
769   return wrap(new DIBuilder(*unwrap(M), false));
770 }
771 
772 LLVMDIBuilderRef LLVMCreateDIBuilder(LLVMModuleRef M) {
773   return wrap(new DIBuilder(*unwrap(M)));
774 }
775 
776 unsigned LLVMGetModuleDebugMetadataVersion(LLVMModuleRef M) {
777   return getDebugMetadataVersionFromModule(*unwrap(M));
778 }
779 
780 LLVMBool LLVMStripModuleDebugInfo(LLVMModuleRef M) {
781   return StripDebugInfo(*unwrap(M));
782 }
783 
784 void LLVMDisposeDIBuilder(LLVMDIBuilderRef Builder) {
785   delete unwrap(Builder);
786 }
787 
788 void LLVMDIBuilderFinalize(LLVMDIBuilderRef Builder) {
789   unwrap(Builder)->finalize();
790 }
791 
792 LLVMMetadataRef LLVMDIBuilderCreateCompileUnit(
793     LLVMDIBuilderRef Builder, LLVMDWARFSourceLanguage Lang,
794     LLVMMetadataRef FileRef, const char *Producer, size_t ProducerLen,
795     LLVMBool isOptimized, const char *Flags, size_t FlagsLen,
796     unsigned RuntimeVer, const char *SplitName, size_t SplitNameLen,
797     LLVMDWARFEmissionKind Kind, unsigned DWOId, LLVMBool SplitDebugInlining,
798     LLVMBool DebugInfoForProfiling, const char *SysRoot, size_t SysRootLen,
799     const char *SDK, size_t SDKLen) {
800   auto File = unwrapDI<DIFile>(FileRef);
801 
802   return wrap(unwrap(Builder)->createCompileUnit(
803       map_from_llvmDWARFsourcelanguage(Lang), File,
804       StringRef(Producer, ProducerLen), isOptimized, StringRef(Flags, FlagsLen),
805       RuntimeVer, StringRef(SplitName, SplitNameLen),
806       static_cast<DICompileUnit::DebugEmissionKind>(Kind), DWOId,
807       SplitDebugInlining, DebugInfoForProfiling,
808       DICompileUnit::DebugNameTableKind::Default, false,
809       StringRef(SysRoot, SysRootLen), StringRef(SDK, SDKLen)));
810 }
811 
812 LLVMMetadataRef
813 LLVMDIBuilderCreateFile(LLVMDIBuilderRef Builder, const char *Filename,
814                         size_t FilenameLen, const char *Directory,
815                         size_t DirectoryLen) {
816   return wrap(unwrap(Builder)->createFile(StringRef(Filename, FilenameLen),
817                                           StringRef(Directory, DirectoryLen)));
818 }
819 
820 LLVMMetadataRef
821 LLVMDIBuilderCreateModule(LLVMDIBuilderRef Builder, LLVMMetadataRef ParentScope,
822                           const char *Name, size_t NameLen,
823                           const char *ConfigMacros, size_t ConfigMacrosLen,
824                           const char *IncludePath, size_t IncludePathLen,
825                           const char *APINotesFile, size_t APINotesFileLen) {
826   return wrap(unwrap(Builder)->createModule(
827       unwrapDI<DIScope>(ParentScope), StringRef(Name, NameLen),
828       StringRef(ConfigMacros, ConfigMacrosLen),
829       StringRef(IncludePath, IncludePathLen),
830       StringRef(APINotesFile, APINotesFileLen)));
831 }
832 
833 LLVMMetadataRef LLVMDIBuilderCreateNameSpace(LLVMDIBuilderRef Builder,
834                                              LLVMMetadataRef ParentScope,
835                                              const char *Name, size_t NameLen,
836                                              LLVMBool ExportSymbols) {
837   return wrap(unwrap(Builder)->createNameSpace(
838       unwrapDI<DIScope>(ParentScope), StringRef(Name, NameLen), ExportSymbols));
839 }
840 
841 LLVMMetadataRef LLVMDIBuilderCreateFunction(
842     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
843     size_t NameLen, const char *LinkageName, size_t LinkageNameLen,
844     LLVMMetadataRef File, unsigned LineNo, LLVMMetadataRef Ty,
845     LLVMBool IsLocalToUnit, LLVMBool IsDefinition,
846     unsigned ScopeLine, LLVMDIFlags Flags, LLVMBool IsOptimized) {
847   return wrap(unwrap(Builder)->createFunction(
848       unwrapDI<DIScope>(Scope), {Name, NameLen}, {LinkageName, LinkageNameLen},
849       unwrapDI<DIFile>(File), LineNo, unwrapDI<DISubroutineType>(Ty), ScopeLine,
850       map_from_llvmDIFlags(Flags),
851       pack_into_DISPFlags(IsLocalToUnit, IsDefinition, IsOptimized), nullptr,
852       nullptr, nullptr));
853 }
854 
855 
856 LLVMMetadataRef LLVMDIBuilderCreateLexicalBlock(
857     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope,
858     LLVMMetadataRef File, unsigned Line, unsigned Col) {
859   return wrap(unwrap(Builder)->createLexicalBlock(unwrapDI<DIScope>(Scope),
860                                                   unwrapDI<DIFile>(File),
861                                                   Line, Col));
862 }
863 
864 LLVMMetadataRef
865 LLVMDIBuilderCreateLexicalBlockFile(LLVMDIBuilderRef Builder,
866                                     LLVMMetadataRef Scope,
867                                     LLVMMetadataRef File,
868                                     unsigned Discriminator) {
869   return wrap(unwrap(Builder)->createLexicalBlockFile(unwrapDI<DIScope>(Scope),
870                                                       unwrapDI<DIFile>(File),
871                                                       Discriminator));
872 }
873 
874 LLVMMetadataRef
875 LLVMDIBuilderCreateImportedModuleFromNamespace(LLVMDIBuilderRef Builder,
876                                                LLVMMetadataRef Scope,
877                                                LLVMMetadataRef NS,
878                                                LLVMMetadataRef File,
879                                                unsigned Line) {
880   return wrap(unwrap(Builder)->createImportedModule(unwrapDI<DIScope>(Scope),
881                                                     unwrapDI<DINamespace>(NS),
882                                                     unwrapDI<DIFile>(File),
883                                                     Line));
884 }
885 
886 LLVMMetadataRef
887 LLVMDIBuilderCreateImportedModuleFromAlias(LLVMDIBuilderRef Builder,
888                                            LLVMMetadataRef Scope,
889                                            LLVMMetadataRef ImportedEntity,
890                                            LLVMMetadataRef File,
891                                            unsigned Line) {
892   return wrap(unwrap(Builder)->createImportedModule(
893                   unwrapDI<DIScope>(Scope),
894                   unwrapDI<DIImportedEntity>(ImportedEntity),
895                   unwrapDI<DIFile>(File), Line));
896 }
897 
898 LLVMMetadataRef
899 LLVMDIBuilderCreateImportedModuleFromModule(LLVMDIBuilderRef Builder,
900                                             LLVMMetadataRef Scope,
901                                             LLVMMetadataRef M,
902                                             LLVMMetadataRef File,
903                                             unsigned Line) {
904   return wrap(unwrap(Builder)->createImportedModule(unwrapDI<DIScope>(Scope),
905                                                     unwrapDI<DIModule>(M),
906                                                     unwrapDI<DIFile>(File),
907                                                     Line));
908 }
909 
910 LLVMMetadataRef
911 LLVMDIBuilderCreateImportedDeclaration(LLVMDIBuilderRef Builder,
912                                        LLVMMetadataRef Scope,
913                                        LLVMMetadataRef Decl,
914                                        LLVMMetadataRef File,
915                                        unsigned Line,
916                                        const char *Name, size_t NameLen) {
917   return wrap(unwrap(Builder)->createImportedDeclaration(
918                   unwrapDI<DIScope>(Scope),
919                   unwrapDI<DINode>(Decl),
920                   unwrapDI<DIFile>(File), Line, {Name, NameLen}));
921 }
922 
923 LLVMMetadataRef
924 LLVMDIBuilderCreateDebugLocation(LLVMContextRef Ctx, unsigned Line,
925                                  unsigned Column, LLVMMetadataRef Scope,
926                                  LLVMMetadataRef InlinedAt) {
927   return wrap(DILocation::get(*unwrap(Ctx), Line, Column, unwrap(Scope),
928                               unwrap(InlinedAt)));
929 }
930 
931 unsigned LLVMDILocationGetLine(LLVMMetadataRef Location) {
932   return unwrapDI<DILocation>(Location)->getLine();
933 }
934 
935 unsigned LLVMDILocationGetColumn(LLVMMetadataRef Location) {
936   return unwrapDI<DILocation>(Location)->getColumn();
937 }
938 
939 LLVMMetadataRef LLVMDILocationGetScope(LLVMMetadataRef Location) {
940   return wrap(unwrapDI<DILocation>(Location)->getScope());
941 }
942 
943 LLVMMetadataRef LLVMDILocationGetInlinedAt(LLVMMetadataRef Location) {
944   return wrap(unwrapDI<DILocation>(Location)->getInlinedAt());
945 }
946 
947 LLVMMetadataRef LLVMDIScopeGetFile(LLVMMetadataRef Scope) {
948   return wrap(unwrapDI<DIScope>(Scope)->getFile());
949 }
950 
951 const char *LLVMDIFileGetDirectory(LLVMMetadataRef File, unsigned *Len) {
952   auto Dir = unwrapDI<DIFile>(File)->getDirectory();
953   *Len = Dir.size();
954   return Dir.data();
955 }
956 
957 const char *LLVMDIFileGetFilename(LLVMMetadataRef File, unsigned *Len) {
958   auto Name = unwrapDI<DIFile>(File)->getFilename();
959   *Len = Name.size();
960   return Name.data();
961 }
962 
963 const char *LLVMDIFileGetSource(LLVMMetadataRef File, unsigned *Len) {
964   if (auto Src = unwrapDI<DIFile>(File)->getSource()) {
965     *Len = Src->size();
966     return Src->data();
967   }
968   *Len = 0;
969   return "";
970 }
971 
972 LLVMMetadataRef LLVMDIBuilderCreateMacro(LLVMDIBuilderRef Builder,
973                                          LLVMMetadataRef ParentMacroFile,
974                                          unsigned Line,
975                                          LLVMDWARFMacinfoRecordType RecordType,
976                                          const char *Name, size_t NameLen,
977                                          const char *Value, size_t ValueLen) {
978   return wrap(
979       unwrap(Builder)->createMacro(unwrapDI<DIMacroFile>(ParentMacroFile), Line,
980                                    static_cast<MacinfoRecordType>(RecordType),
981                                    {Name, NameLen}, {Value, ValueLen}));
982 }
983 
984 LLVMMetadataRef
985 LLVMDIBuilderCreateTempMacroFile(LLVMDIBuilderRef Builder,
986                                  LLVMMetadataRef ParentMacroFile, unsigned Line,
987                                  LLVMMetadataRef File) {
988   return wrap(unwrap(Builder)->createTempMacroFile(
989       unwrapDI<DIMacroFile>(ParentMacroFile), Line, unwrapDI<DIFile>(File)));
990 }
991 
992 LLVMMetadataRef LLVMDIBuilderCreateEnumerator(LLVMDIBuilderRef Builder,
993                                               const char *Name, size_t NameLen,
994                                               int64_t Value,
995                                               LLVMBool IsUnsigned) {
996   return wrap(unwrap(Builder)->createEnumerator({Name, NameLen}, Value,
997                                                 IsUnsigned != 0));
998 }
999 
1000 LLVMMetadataRef LLVMDIBuilderCreateEnumerationType(
1001   LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1002   size_t NameLen, LLVMMetadataRef File, unsigned LineNumber,
1003   uint64_t SizeInBits, uint32_t AlignInBits, LLVMMetadataRef *Elements,
1004   unsigned NumElements, LLVMMetadataRef ClassTy) {
1005 auto Elts = unwrap(Builder)->getOrCreateArray({unwrap(Elements),
1006                                                NumElements});
1007 return wrap(unwrap(Builder)->createEnumerationType(
1008     unwrapDI<DIScope>(Scope), {Name, NameLen}, unwrapDI<DIFile>(File),
1009     LineNumber, SizeInBits, AlignInBits, Elts, unwrapDI<DIType>(ClassTy)));
1010 }
1011 
1012 LLVMMetadataRef LLVMDIBuilderCreateUnionType(
1013   LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1014   size_t NameLen, LLVMMetadataRef File, unsigned LineNumber,
1015   uint64_t SizeInBits, uint32_t AlignInBits, LLVMDIFlags Flags,
1016   LLVMMetadataRef *Elements, unsigned NumElements, unsigned RunTimeLang,
1017   const char *UniqueId, size_t UniqueIdLen) {
1018   auto Elts = unwrap(Builder)->getOrCreateArray({unwrap(Elements),
1019                                                  NumElements});
1020   return wrap(unwrap(Builder)->createUnionType(
1021      unwrapDI<DIScope>(Scope), {Name, NameLen}, unwrapDI<DIFile>(File),
1022      LineNumber, SizeInBits, AlignInBits, map_from_llvmDIFlags(Flags),
1023      Elts, RunTimeLang, {UniqueId, UniqueIdLen}));
1024 }
1025 
1026 
1027 LLVMMetadataRef
1028 LLVMDIBuilderCreateArrayType(LLVMDIBuilderRef Builder, uint64_t Size,
1029                              uint32_t AlignInBits, LLVMMetadataRef Ty,
1030                              LLVMMetadataRef *Subscripts,
1031                              unsigned NumSubscripts) {
1032   auto Subs = unwrap(Builder)->getOrCreateArray({unwrap(Subscripts),
1033                                                  NumSubscripts});
1034   return wrap(unwrap(Builder)->createArrayType(Size, AlignInBits,
1035                                                unwrapDI<DIType>(Ty), Subs));
1036 }
1037 
1038 LLVMMetadataRef
1039 LLVMDIBuilderCreateVectorType(LLVMDIBuilderRef Builder, uint64_t Size,
1040                               uint32_t AlignInBits, LLVMMetadataRef Ty,
1041                               LLVMMetadataRef *Subscripts,
1042                               unsigned NumSubscripts) {
1043   auto Subs = unwrap(Builder)->getOrCreateArray({unwrap(Subscripts),
1044                                                  NumSubscripts});
1045   return wrap(unwrap(Builder)->createVectorType(Size, AlignInBits,
1046                                                 unwrapDI<DIType>(Ty), Subs));
1047 }
1048 
1049 LLVMMetadataRef
1050 LLVMDIBuilderCreateBasicType(LLVMDIBuilderRef Builder, const char *Name,
1051                              size_t NameLen, uint64_t SizeInBits,
1052                              LLVMDWARFTypeEncoding Encoding,
1053                              LLVMDIFlags Flags) {
1054   return wrap(unwrap(Builder)->createBasicType({Name, NameLen},
1055                                                SizeInBits, Encoding,
1056                                                map_from_llvmDIFlags(Flags)));
1057 }
1058 
1059 LLVMMetadataRef LLVMDIBuilderCreatePointerType(
1060     LLVMDIBuilderRef Builder, LLVMMetadataRef PointeeTy,
1061     uint64_t SizeInBits, uint32_t AlignInBits, unsigned AddressSpace,
1062     const char *Name, size_t NameLen) {
1063   return wrap(unwrap(Builder)->createPointerType(unwrapDI<DIType>(PointeeTy),
1064                                          SizeInBits, AlignInBits,
1065                                          AddressSpace, {Name, NameLen}));
1066 }
1067 
1068 LLVMMetadataRef LLVMDIBuilderCreateStructType(
1069     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1070     size_t NameLen, LLVMMetadataRef File, unsigned LineNumber,
1071     uint64_t SizeInBits, uint32_t AlignInBits, LLVMDIFlags Flags,
1072     LLVMMetadataRef DerivedFrom, LLVMMetadataRef *Elements,
1073     unsigned NumElements, unsigned RunTimeLang, LLVMMetadataRef VTableHolder,
1074     const char *UniqueId, size_t UniqueIdLen) {
1075   auto Elts = unwrap(Builder)->getOrCreateArray({unwrap(Elements),
1076                                                  NumElements});
1077   return wrap(unwrap(Builder)->createStructType(
1078       unwrapDI<DIScope>(Scope), {Name, NameLen}, unwrapDI<DIFile>(File),
1079       LineNumber, SizeInBits, AlignInBits, map_from_llvmDIFlags(Flags),
1080       unwrapDI<DIType>(DerivedFrom), Elts, RunTimeLang,
1081       unwrapDI<DIType>(VTableHolder), {UniqueId, UniqueIdLen}));
1082 }
1083 
1084 LLVMMetadataRef LLVMDIBuilderCreateMemberType(
1085     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1086     size_t NameLen, LLVMMetadataRef File, unsigned LineNo, uint64_t SizeInBits,
1087     uint32_t AlignInBits, uint64_t OffsetInBits, LLVMDIFlags Flags,
1088     LLVMMetadataRef Ty) {
1089   return wrap(unwrap(Builder)->createMemberType(unwrapDI<DIScope>(Scope),
1090       {Name, NameLen}, unwrapDI<DIFile>(File), LineNo, SizeInBits, AlignInBits,
1091       OffsetInBits, map_from_llvmDIFlags(Flags), unwrapDI<DIType>(Ty)));
1092 }
1093 
1094 LLVMMetadataRef
1095 LLVMDIBuilderCreateUnspecifiedType(LLVMDIBuilderRef Builder, const char *Name,
1096                                    size_t NameLen) {
1097   return wrap(unwrap(Builder)->createUnspecifiedType({Name, NameLen}));
1098 }
1099 
1100 LLVMMetadataRef
1101 LLVMDIBuilderCreateStaticMemberType(
1102     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1103     size_t NameLen, LLVMMetadataRef File, unsigned LineNumber,
1104     LLVMMetadataRef Type, LLVMDIFlags Flags, LLVMValueRef ConstantVal,
1105     uint32_t AlignInBits) {
1106   return wrap(unwrap(Builder)->createStaticMemberType(
1107                   unwrapDI<DIScope>(Scope), {Name, NameLen},
1108                   unwrapDI<DIFile>(File), LineNumber, unwrapDI<DIType>(Type),
1109                   map_from_llvmDIFlags(Flags), unwrap<Constant>(ConstantVal),
1110                   AlignInBits));
1111 }
1112 
1113 LLVMMetadataRef
1114 LLVMDIBuilderCreateObjCIVar(LLVMDIBuilderRef Builder,
1115                             const char *Name, size_t NameLen,
1116                             LLVMMetadataRef File, unsigned LineNo,
1117                             uint64_t SizeInBits, uint32_t AlignInBits,
1118                             uint64_t OffsetInBits, LLVMDIFlags Flags,
1119                             LLVMMetadataRef Ty, LLVMMetadataRef PropertyNode) {
1120   return wrap(unwrap(Builder)->createObjCIVar(
1121                   {Name, NameLen}, unwrapDI<DIFile>(File), LineNo,
1122                   SizeInBits, AlignInBits, OffsetInBits,
1123                   map_from_llvmDIFlags(Flags), unwrapDI<DIType>(Ty),
1124                   unwrapDI<MDNode>(PropertyNode)));
1125 }
1126 
1127 LLVMMetadataRef
1128 LLVMDIBuilderCreateObjCProperty(LLVMDIBuilderRef Builder,
1129                                 const char *Name, size_t NameLen,
1130                                 LLVMMetadataRef File, unsigned LineNo,
1131                                 const char *GetterName, size_t GetterNameLen,
1132                                 const char *SetterName, size_t SetterNameLen,
1133                                 unsigned PropertyAttributes,
1134                                 LLVMMetadataRef Ty) {
1135   return wrap(unwrap(Builder)->createObjCProperty(
1136                   {Name, NameLen}, unwrapDI<DIFile>(File), LineNo,
1137                   {GetterName, GetterNameLen}, {SetterName, SetterNameLen},
1138                   PropertyAttributes, unwrapDI<DIType>(Ty)));
1139 }
1140 
1141 LLVMMetadataRef
1142 LLVMDIBuilderCreateObjectPointerType(LLVMDIBuilderRef Builder,
1143                                      LLVMMetadataRef Type) {
1144   return wrap(unwrap(Builder)->createObjectPointerType(unwrapDI<DIType>(Type)));
1145 }
1146 
1147 LLVMMetadataRef
1148 LLVMDIBuilderCreateTypedef(LLVMDIBuilderRef Builder, LLVMMetadataRef Type,
1149                            const char *Name, size_t NameLen,
1150                            LLVMMetadataRef File, unsigned LineNo,
1151                            LLVMMetadataRef Scope, uint32_t AlignInBits) {
1152   return wrap(unwrap(Builder)->createTypedef(
1153       unwrapDI<DIType>(Type), {Name, NameLen}, unwrapDI<DIFile>(File), LineNo,
1154       unwrapDI<DIScope>(Scope), AlignInBits));
1155 }
1156 
1157 LLVMMetadataRef
1158 LLVMDIBuilderCreateInheritance(LLVMDIBuilderRef Builder,
1159                                LLVMMetadataRef Ty, LLVMMetadataRef BaseTy,
1160                                uint64_t BaseOffset, uint32_t VBPtrOffset,
1161                                LLVMDIFlags Flags) {
1162   return wrap(unwrap(Builder)->createInheritance(
1163                   unwrapDI<DIType>(Ty), unwrapDI<DIType>(BaseTy),
1164                   BaseOffset, VBPtrOffset, map_from_llvmDIFlags(Flags)));
1165 }
1166 
1167 LLVMMetadataRef
1168 LLVMDIBuilderCreateForwardDecl(
1169     LLVMDIBuilderRef Builder, unsigned Tag, const char *Name,
1170     size_t NameLen, LLVMMetadataRef Scope, LLVMMetadataRef File, unsigned Line,
1171     unsigned RuntimeLang, uint64_t SizeInBits, uint32_t AlignInBits,
1172     const char *UniqueIdentifier, size_t UniqueIdentifierLen) {
1173   return wrap(unwrap(Builder)->createForwardDecl(
1174                   Tag, {Name, NameLen}, unwrapDI<DIScope>(Scope),
1175                   unwrapDI<DIFile>(File), Line, RuntimeLang, SizeInBits,
1176                   AlignInBits, {UniqueIdentifier, UniqueIdentifierLen}));
1177 }
1178 
1179 LLVMMetadataRef
1180 LLVMDIBuilderCreateReplaceableCompositeType(
1181     LLVMDIBuilderRef Builder, unsigned Tag, const char *Name,
1182     size_t NameLen, LLVMMetadataRef Scope, LLVMMetadataRef File, unsigned Line,
1183     unsigned RuntimeLang, uint64_t SizeInBits, uint32_t AlignInBits,
1184     LLVMDIFlags Flags, const char *UniqueIdentifier,
1185     size_t UniqueIdentifierLen) {
1186   return wrap(unwrap(Builder)->createReplaceableCompositeType(
1187                   Tag, {Name, NameLen}, unwrapDI<DIScope>(Scope),
1188                   unwrapDI<DIFile>(File), Line, RuntimeLang, SizeInBits,
1189                   AlignInBits, map_from_llvmDIFlags(Flags),
1190                   {UniqueIdentifier, UniqueIdentifierLen}));
1191 }
1192 
1193 LLVMMetadataRef
1194 LLVMDIBuilderCreateQualifiedType(LLVMDIBuilderRef Builder, unsigned Tag,
1195                                  LLVMMetadataRef Type) {
1196   return wrap(unwrap(Builder)->createQualifiedType(Tag,
1197                                                    unwrapDI<DIType>(Type)));
1198 }
1199 
1200 LLVMMetadataRef
1201 LLVMDIBuilderCreateReferenceType(LLVMDIBuilderRef Builder, unsigned Tag,
1202                                  LLVMMetadataRef Type) {
1203   return wrap(unwrap(Builder)->createReferenceType(Tag,
1204                                                    unwrapDI<DIType>(Type)));
1205 }
1206 
1207 LLVMMetadataRef
1208 LLVMDIBuilderCreateNullPtrType(LLVMDIBuilderRef Builder) {
1209   return wrap(unwrap(Builder)->createNullPtrType());
1210 }
1211 
1212 LLVMMetadataRef
1213 LLVMDIBuilderCreateMemberPointerType(LLVMDIBuilderRef Builder,
1214                                      LLVMMetadataRef PointeeType,
1215                                      LLVMMetadataRef ClassType,
1216                                      uint64_t SizeInBits,
1217                                      uint32_t AlignInBits,
1218                                      LLVMDIFlags Flags) {
1219   return wrap(unwrap(Builder)->createMemberPointerType(
1220                   unwrapDI<DIType>(PointeeType),
1221                   unwrapDI<DIType>(ClassType), AlignInBits, SizeInBits,
1222                   map_from_llvmDIFlags(Flags)));
1223 }
1224 
1225 LLVMMetadataRef
1226 LLVMDIBuilderCreateBitFieldMemberType(LLVMDIBuilderRef Builder,
1227                                       LLVMMetadataRef Scope,
1228                                       const char *Name, size_t NameLen,
1229                                       LLVMMetadataRef File, unsigned LineNumber,
1230                                       uint64_t SizeInBits,
1231                                       uint64_t OffsetInBits,
1232                                       uint64_t StorageOffsetInBits,
1233                                       LLVMDIFlags Flags, LLVMMetadataRef Type) {
1234   return wrap(unwrap(Builder)->createBitFieldMemberType(
1235                   unwrapDI<DIScope>(Scope), {Name, NameLen},
1236                   unwrapDI<DIFile>(File), LineNumber,
1237                   SizeInBits, OffsetInBits, StorageOffsetInBits,
1238                   map_from_llvmDIFlags(Flags), unwrapDI<DIType>(Type)));
1239 }
1240 
1241 LLVMMetadataRef LLVMDIBuilderCreateClassType(LLVMDIBuilderRef Builder,
1242     LLVMMetadataRef Scope, const char *Name, size_t NameLen,
1243     LLVMMetadataRef File, unsigned LineNumber, uint64_t SizeInBits,
1244     uint32_t AlignInBits, uint64_t OffsetInBits, LLVMDIFlags Flags,
1245     LLVMMetadataRef DerivedFrom,
1246     LLVMMetadataRef *Elements, unsigned NumElements,
1247     LLVMMetadataRef VTableHolder, LLVMMetadataRef TemplateParamsNode,
1248     const char *UniqueIdentifier, size_t UniqueIdentifierLen) {
1249   auto Elts = unwrap(Builder)->getOrCreateArray({unwrap(Elements),
1250                                                  NumElements});
1251   return wrap(unwrap(Builder)->createClassType(
1252                   unwrapDI<DIScope>(Scope), {Name, NameLen},
1253                   unwrapDI<DIFile>(File), LineNumber,
1254                   SizeInBits, AlignInBits, OffsetInBits,
1255                   map_from_llvmDIFlags(Flags), unwrapDI<DIType>(DerivedFrom),
1256                   Elts, unwrapDI<DIType>(VTableHolder),
1257                   unwrapDI<MDNode>(TemplateParamsNode),
1258                   {UniqueIdentifier, UniqueIdentifierLen}));
1259 }
1260 
1261 LLVMMetadataRef
1262 LLVMDIBuilderCreateArtificialType(LLVMDIBuilderRef Builder,
1263                                   LLVMMetadataRef Type) {
1264   return wrap(unwrap(Builder)->createArtificialType(unwrapDI<DIType>(Type)));
1265 }
1266 
1267 const char *LLVMDITypeGetName(LLVMMetadataRef DType, size_t *Length) {
1268   StringRef Str = unwrap<DIType>(DType)->getName();
1269   *Length = Str.size();
1270   return Str.data();
1271 }
1272 
1273 uint64_t LLVMDITypeGetSizeInBits(LLVMMetadataRef DType) {
1274   return unwrapDI<DIType>(DType)->getSizeInBits();
1275 }
1276 
1277 uint64_t LLVMDITypeGetOffsetInBits(LLVMMetadataRef DType) {
1278   return unwrapDI<DIType>(DType)->getOffsetInBits();
1279 }
1280 
1281 uint32_t LLVMDITypeGetAlignInBits(LLVMMetadataRef DType) {
1282   return unwrapDI<DIType>(DType)->getAlignInBits();
1283 }
1284 
1285 unsigned LLVMDITypeGetLine(LLVMMetadataRef DType) {
1286   return unwrapDI<DIType>(DType)->getLine();
1287 }
1288 
1289 LLVMDIFlags LLVMDITypeGetFlags(LLVMMetadataRef DType) {
1290   return map_to_llvmDIFlags(unwrapDI<DIType>(DType)->getFlags());
1291 }
1292 
1293 LLVMMetadataRef LLVMDIBuilderGetOrCreateTypeArray(LLVMDIBuilderRef Builder,
1294                                                   LLVMMetadataRef *Types,
1295                                                   size_t Length) {
1296   return wrap(
1297       unwrap(Builder)->getOrCreateTypeArray({unwrap(Types), Length}).get());
1298 }
1299 
1300 LLVMMetadataRef
1301 LLVMDIBuilderCreateSubroutineType(LLVMDIBuilderRef Builder,
1302                                   LLVMMetadataRef File,
1303                                   LLVMMetadataRef *ParameterTypes,
1304                                   unsigned NumParameterTypes,
1305                                   LLVMDIFlags Flags) {
1306   auto Elts = unwrap(Builder)->getOrCreateTypeArray({unwrap(ParameterTypes),
1307                                                      NumParameterTypes});
1308   return wrap(unwrap(Builder)->createSubroutineType(
1309     Elts, map_from_llvmDIFlags(Flags)));
1310 }
1311 
1312 LLVMMetadataRef LLVMDIBuilderCreateExpression(LLVMDIBuilderRef Builder,
1313                                               int64_t *Addr, size_t Length) {
1314   return wrap(unwrap(Builder)->createExpression(ArrayRef<int64_t>(Addr,
1315                                                                   Length)));
1316 }
1317 
1318 LLVMMetadataRef
1319 LLVMDIBuilderCreateConstantValueExpression(LLVMDIBuilderRef Builder,
1320                                            int64_t Value) {
1321   return wrap(unwrap(Builder)->createConstantValueExpression(Value));
1322 }
1323 
1324 LLVMMetadataRef LLVMDIBuilderCreateGlobalVariableExpression(
1325     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1326     size_t NameLen, const char *Linkage, size_t LinkLen, LLVMMetadataRef File,
1327     unsigned LineNo, LLVMMetadataRef Ty, LLVMBool LocalToUnit,
1328     LLVMMetadataRef Expr, LLVMMetadataRef Decl, uint32_t AlignInBits) {
1329   return wrap(unwrap(Builder)->createGlobalVariableExpression(
1330       unwrapDI<DIScope>(Scope), {Name, NameLen}, {Linkage, LinkLen},
1331       unwrapDI<DIFile>(File), LineNo, unwrapDI<DIType>(Ty), LocalToUnit,
1332       true, unwrap<DIExpression>(Expr), unwrapDI<MDNode>(Decl),
1333       nullptr, AlignInBits));
1334 }
1335 
1336 LLVMMetadataRef LLVMDIGlobalVariableExpressionGetVariable(LLVMMetadataRef GVE) {
1337   return wrap(unwrapDI<DIGlobalVariableExpression>(GVE)->getVariable());
1338 }
1339 
1340 LLVMMetadataRef LLVMDIGlobalVariableExpressionGetExpression(
1341     LLVMMetadataRef GVE) {
1342   return wrap(unwrapDI<DIGlobalVariableExpression>(GVE)->getExpression());
1343 }
1344 
1345 LLVMMetadataRef LLVMDIVariableGetFile(LLVMMetadataRef Var) {
1346   return wrap(unwrapDI<DIVariable>(Var)->getFile());
1347 }
1348 
1349 LLVMMetadataRef LLVMDIVariableGetScope(LLVMMetadataRef Var) {
1350   return wrap(unwrapDI<DIVariable>(Var)->getScope());
1351 }
1352 
1353 unsigned LLVMDIVariableGetLine(LLVMMetadataRef Var) {
1354   return unwrapDI<DIVariable>(Var)->getLine();
1355 }
1356 
1357 LLVMMetadataRef LLVMTemporaryMDNode(LLVMContextRef Ctx, LLVMMetadataRef *Data,
1358                                     size_t Count) {
1359   return wrap(
1360       MDTuple::getTemporary(*unwrap(Ctx), {unwrap(Data), Count}).release());
1361 }
1362 
1363 void LLVMDisposeTemporaryMDNode(LLVMMetadataRef TempNode) {
1364   MDNode::deleteTemporary(unwrapDI<MDNode>(TempNode));
1365 }
1366 
1367 void LLVMMetadataReplaceAllUsesWith(LLVMMetadataRef TargetMetadata,
1368                                     LLVMMetadataRef Replacement) {
1369   auto *Node = unwrapDI<MDNode>(TargetMetadata);
1370   Node->replaceAllUsesWith(unwrap<Metadata>(Replacement));
1371   MDNode::deleteTemporary(Node);
1372 }
1373 
1374 LLVMMetadataRef LLVMDIBuilderCreateTempGlobalVariableFwdDecl(
1375     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1376     size_t NameLen, const char *Linkage, size_t LnkLen, LLVMMetadataRef File,
1377     unsigned LineNo, LLVMMetadataRef Ty, LLVMBool LocalToUnit,
1378     LLVMMetadataRef Decl, uint32_t AlignInBits) {
1379   return wrap(unwrap(Builder)->createTempGlobalVariableFwdDecl(
1380       unwrapDI<DIScope>(Scope), {Name, NameLen}, {Linkage, LnkLen},
1381       unwrapDI<DIFile>(File), LineNo, unwrapDI<DIType>(Ty), LocalToUnit,
1382       unwrapDI<MDNode>(Decl), nullptr, AlignInBits));
1383 }
1384 
1385 LLVMValueRef
1386 LLVMDIBuilderInsertDeclareBefore(LLVMDIBuilderRef Builder, LLVMValueRef Storage,
1387                                  LLVMMetadataRef VarInfo, LLVMMetadataRef Expr,
1388                                  LLVMMetadataRef DL, LLVMValueRef Instr) {
1389   return wrap(unwrap(Builder)->insertDeclare(
1390                   unwrap(Storage), unwrap<DILocalVariable>(VarInfo),
1391                   unwrap<DIExpression>(Expr), unwrap<DILocation>(DL),
1392                   unwrap<Instruction>(Instr)));
1393 }
1394 
1395 LLVMValueRef LLVMDIBuilderInsertDeclareAtEnd(
1396     LLVMDIBuilderRef Builder, LLVMValueRef Storage, LLVMMetadataRef VarInfo,
1397     LLVMMetadataRef Expr, LLVMMetadataRef DL, LLVMBasicBlockRef Block) {
1398   return wrap(unwrap(Builder)->insertDeclare(
1399                   unwrap(Storage), unwrap<DILocalVariable>(VarInfo),
1400                   unwrap<DIExpression>(Expr), unwrap<DILocation>(DL),
1401                   unwrap(Block)));
1402 }
1403 
1404 LLVMValueRef LLVMDIBuilderInsertDbgValueBefore(LLVMDIBuilderRef Builder,
1405                                                LLVMValueRef Val,
1406                                                LLVMMetadataRef VarInfo,
1407                                                LLVMMetadataRef Expr,
1408                                                LLVMMetadataRef DebugLoc,
1409                                                LLVMValueRef Instr) {
1410   return wrap(unwrap(Builder)->insertDbgValueIntrinsic(
1411                   unwrap(Val), unwrap<DILocalVariable>(VarInfo),
1412                   unwrap<DIExpression>(Expr), unwrap<DILocation>(DebugLoc),
1413                   unwrap<Instruction>(Instr)));
1414 }
1415 
1416 LLVMValueRef LLVMDIBuilderInsertDbgValueAtEnd(LLVMDIBuilderRef Builder,
1417                                               LLVMValueRef Val,
1418                                               LLVMMetadataRef VarInfo,
1419                                               LLVMMetadataRef Expr,
1420                                               LLVMMetadataRef DebugLoc,
1421                                               LLVMBasicBlockRef Block) {
1422   return wrap(unwrap(Builder)->insertDbgValueIntrinsic(
1423                   unwrap(Val), unwrap<DILocalVariable>(VarInfo),
1424                   unwrap<DIExpression>(Expr), unwrap<DILocation>(DebugLoc),
1425                   unwrap(Block)));
1426 }
1427 
1428 LLVMMetadataRef LLVMDIBuilderCreateAutoVariable(
1429     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1430     size_t NameLen, LLVMMetadataRef File, unsigned LineNo, LLVMMetadataRef Ty,
1431     LLVMBool AlwaysPreserve, LLVMDIFlags Flags, uint32_t AlignInBits) {
1432   return wrap(unwrap(Builder)->createAutoVariable(
1433                   unwrap<DIScope>(Scope), {Name, NameLen}, unwrap<DIFile>(File),
1434                   LineNo, unwrap<DIType>(Ty), AlwaysPreserve,
1435                   map_from_llvmDIFlags(Flags), AlignInBits));
1436 }
1437 
1438 LLVMMetadataRef LLVMDIBuilderCreateParameterVariable(
1439     LLVMDIBuilderRef Builder, LLVMMetadataRef Scope, const char *Name,
1440     size_t NameLen, unsigned ArgNo, LLVMMetadataRef File, unsigned LineNo,
1441     LLVMMetadataRef Ty, LLVMBool AlwaysPreserve, LLVMDIFlags Flags) {
1442   return wrap(unwrap(Builder)->createParameterVariable(
1443                   unwrap<DIScope>(Scope), {Name, NameLen}, ArgNo, unwrap<DIFile>(File),
1444                   LineNo, unwrap<DIType>(Ty), AlwaysPreserve,
1445                   map_from_llvmDIFlags(Flags)));
1446 }
1447 
1448 LLVMMetadataRef LLVMDIBuilderGetOrCreateSubrange(LLVMDIBuilderRef Builder,
1449                                                  int64_t Lo, int64_t Count) {
1450   return wrap(unwrap(Builder)->getOrCreateSubrange(Lo, Count));
1451 }
1452 
1453 LLVMMetadataRef LLVMDIBuilderGetOrCreateArray(LLVMDIBuilderRef Builder,
1454                                               LLVMMetadataRef *Data,
1455                                               size_t Length) {
1456   Metadata **DataValue = unwrap(Data);
1457   return wrap(unwrap(Builder)->getOrCreateArray({DataValue, Length}).get());
1458 }
1459 
1460 LLVMMetadataRef LLVMGetSubprogram(LLVMValueRef Func) {
1461   return wrap(unwrap<Function>(Func)->getSubprogram());
1462 }
1463 
1464 void LLVMSetSubprogram(LLVMValueRef Func, LLVMMetadataRef SP) {
1465   unwrap<Function>(Func)->setSubprogram(unwrap<DISubprogram>(SP));
1466 }
1467 
1468 unsigned LLVMDISubprogramGetLine(LLVMMetadataRef Subprogram) {
1469   return unwrapDI<DISubprogram>(Subprogram)->getLine();
1470 }
1471 
1472 LLVMMetadataRef LLVMInstructionGetDebugLoc(LLVMValueRef Inst) {
1473   return wrap(unwrap<Instruction>(Inst)->getDebugLoc().getAsMDNode());
1474 }
1475 
1476 void LLVMInstructionSetDebugLoc(LLVMValueRef Inst, LLVMMetadataRef Loc) {
1477   if (Loc)
1478     unwrap<Instruction>(Inst)->setDebugLoc(DebugLoc(unwrap<MDNode>(Loc)));
1479   else
1480     unwrap<Instruction>(Inst)->setDebugLoc(DebugLoc());
1481 }
1482 
1483 LLVMMetadataKind LLVMGetMetadataKind(LLVMMetadataRef Metadata) {
1484   switch(unwrap(Metadata)->getMetadataID()) {
1485 #define HANDLE_METADATA_LEAF(CLASS) \
1486   case Metadata::CLASS##Kind: \
1487     return (LLVMMetadataKind)LLVM##CLASS##MetadataKind;
1488 #include "llvm/IR/Metadata.def"
1489   default:
1490     return (LLVMMetadataKind)LLVMGenericDINodeMetadataKind;
1491   }
1492 }
1493