1 //===--- DIBuilder.cpp - Debug Information Builder ------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements the DIBuilder.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/Analysis/DIBuilder.h"
15 #include "llvm/Analysis/DebugInfo.h"
16 #include "llvm/Constants.h"
17 #include "llvm/IntrinsicInst.h"
18 #include "llvm/Module.h"
19 #include "llvm/ADT/STLExtras.h"
20 #include "llvm/Support/Dwarf.h"
23 using namespace llvm::dwarf;
25 static Constant *GetTagConstant(LLVMContext &VMContext, unsigned Tag) {
26 assert((Tag & LLVMDebugVersionMask) == 0 &&
27 "Tag too large for debug encoding!");
28 return ConstantInt::get(Type::getInt32Ty(VMContext), Tag | LLVMDebugVersion);
31 DIBuilder::DIBuilder(Module &m)
32 : M(m), VMContext(M.getContext()), TheCU(0), DeclareFn(0), ValueFn(0) {}
34 /// createCompileUnit - A CompileUnit provides an anchor for all debugging
35 /// information generated during this instance of compilation.
36 void DIBuilder::createCompileUnit(unsigned Lang, StringRef Filename,
37 StringRef Directory, StringRef Producer,
38 bool isOptimized, StringRef Flags,
39 unsigned RunTimeVer) {
41 GetTagConstant(VMContext, dwarf::DW_TAG_compile_unit),
42 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
43 ConstantInt::get(Type::getInt32Ty(VMContext), Lang),
44 MDString::get(VMContext, Filename),
45 MDString::get(VMContext, Directory),
46 MDString::get(VMContext, Producer),
47 // Deprecate isMain field.
48 ConstantInt::get(Type::getInt1Ty(VMContext), true), // isMain
49 ConstantInt::get(Type::getInt1Ty(VMContext), isOptimized),
50 MDString::get(VMContext, Flags),
51 ConstantInt::get(Type::getInt32Ty(VMContext), RunTimeVer)
53 TheCU = DICompileUnit(MDNode::get(VMContext, Elts));
56 /// createFile - Create a file descriptor to hold debugging information
58 DIFile DIBuilder::createFile(StringRef Filename, StringRef Directory) {
59 assert(TheCU && "Unable to create DW_TAG_file_type without CompileUnit");
61 GetTagConstant(VMContext, dwarf::DW_TAG_file_type),
62 MDString::get(VMContext, Filename),
63 MDString::get(VMContext, Directory),
66 return DIFile(MDNode::get(VMContext, Elts));
69 /// createEnumerator - Create a single enumerator value.
70 DIEnumerator DIBuilder::createEnumerator(StringRef Name, uint64_t Val) {
72 GetTagConstant(VMContext, dwarf::DW_TAG_enumerator),
73 MDString::get(VMContext, Name),
74 ConstantInt::get(Type::getInt64Ty(VMContext), Val)
76 return DIEnumerator(MDNode::get(VMContext, Elts));
79 /// createBasicType - Create debugging information entry for a basic
81 DIType DIBuilder::createBasicType(StringRef Name, uint64_t SizeInBits,
84 // Basic types are encoded in DIBasicType format. Line number, filename,
85 // offset and flags are always empty here.
87 GetTagConstant(VMContext, dwarf::DW_TAG_base_type),
89 MDString::get(VMContext, Name),
91 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
92 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
93 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
94 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
95 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags;
96 ConstantInt::get(Type::getInt32Ty(VMContext), Encoding)
98 return DIType(MDNode::get(VMContext, Elts));
101 /// createQaulifiedType - Create debugging information entry for a qualified
102 /// type, e.g. 'const int'.
103 DIType DIBuilder::createQualifiedType(unsigned Tag, DIType FromTy) {
104 // Qualified types are encoded in DIDerivedType format.
106 GetTagConstant(VMContext, Tag),
108 MDString::get(VMContext, StringRef()), // Empty name.
110 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
111 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
112 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
113 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
114 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
117 return DIType(MDNode::get(VMContext, Elts));
120 /// createPointerType - Create debugging information entry for a pointer.
121 DIType DIBuilder::createPointerType(DIType PointeeTy, uint64_t SizeInBits,
122 uint64_t AlignInBits, StringRef Name) {
123 // Pointer types are encoded in DIDerivedType format.
125 GetTagConstant(VMContext, dwarf::DW_TAG_pointer_type),
127 MDString::get(VMContext, Name),
129 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
130 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
131 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
132 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
133 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
136 return DIType(MDNode::get(VMContext, Elts));
139 /// createReferenceType - Create debugging information entry for a reference.
140 DIType DIBuilder::createReferenceType(DIType RTy) {
141 // References are encoded in DIDerivedType format.
143 GetTagConstant(VMContext, dwarf::DW_TAG_reference_type),
147 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
148 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
149 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
150 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
151 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
154 return DIType(MDNode::get(VMContext, Elts));
157 /// createTypedef - Create debugging information entry for a typedef.
158 DIType DIBuilder::createTypedef(DIType Ty, StringRef Name, DIFile File,
160 // typedefs are encoded in DIDerivedType format.
161 assert(Ty.Verify() && "Invalid typedef type!");
163 GetTagConstant(VMContext, dwarf::DW_TAG_typedef),
165 MDString::get(VMContext, Name),
167 ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
168 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
169 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
170 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
171 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
174 return DIType(MDNode::get(VMContext, Elts));
177 /// createFriend - Create debugging information entry for a 'friend'.
178 DIType DIBuilder::createFriend(DIType Ty, DIType FriendTy) {
179 // typedefs are encoded in DIDerivedType format.
180 assert(Ty.Verify() && "Invalid type!");
181 assert(FriendTy.Verify() && "Invalid friend type!");
183 GetTagConstant(VMContext, dwarf::DW_TAG_friend),
187 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
188 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
189 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
190 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Offset
191 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Flags
194 return DIType(MDNode::get(VMContext, Elts));
197 /// createInheritance - Create debugging information entry to establish
198 /// inheritnace relationship between two types.
199 DIType DIBuilder::createInheritance(DIType Ty, DIType BaseTy,
200 uint64_t BaseOffset, unsigned Flags) {
201 // TAG_inheritance is encoded in DIDerivedType format.
203 GetTagConstant(VMContext, dwarf::DW_TAG_inheritance),
207 ConstantInt::get(Type::getInt32Ty(VMContext), 0), // Line
208 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Size
209 ConstantInt::get(Type::getInt64Ty(VMContext), 0), // Align
210 ConstantInt::get(Type::getInt64Ty(VMContext), BaseOffset),
211 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
214 return DIType(MDNode::get(VMContext, Elts));
217 /// createMemberType - Create debugging information entry for a member.
218 DIType DIBuilder::createMemberType(StringRef Name,
219 DIFile File, unsigned LineNumber,
220 uint64_t SizeInBits, uint64_t AlignInBits,
221 uint64_t OffsetInBits, unsigned Flags,
223 // TAG_member is encoded in DIDerivedType format.
225 GetTagConstant(VMContext, dwarf::DW_TAG_member),
226 File, // Or TheCU ? Ty ?
227 MDString::get(VMContext, Name),
229 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
230 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
231 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
232 ConstantInt::get(Type::getInt64Ty(VMContext), OffsetInBits),
233 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
236 return DIType(MDNode::get(VMContext, Elts));
239 /// createObjCIVar - Create debugging information entry for Objective-C
240 /// instance variable.
241 DIType DIBuilder::createObjCIVar(StringRef Name,
242 DIFile File, unsigned LineNumber,
243 uint64_t SizeInBits, uint64_t AlignInBits,
244 uint64_t OffsetInBits, unsigned Flags,
245 DIType Ty, StringRef PropertyName,
246 StringRef GetterName, StringRef SetterName,
247 unsigned PropertyAttributes) {
248 // TAG_member is encoded in DIDerivedType format.
250 GetTagConstant(VMContext, dwarf::DW_TAG_member),
251 File, // Or TheCU ? Ty ?
252 MDString::get(VMContext, Name),
254 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
255 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
256 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
257 ConstantInt::get(Type::getInt64Ty(VMContext), OffsetInBits),
258 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
260 MDString::get(VMContext, PropertyName),
261 MDString::get(VMContext, GetterName),
262 MDString::get(VMContext, SetterName),
263 ConstantInt::get(Type::getInt32Ty(VMContext), PropertyAttributes)
265 return DIType(MDNode::get(VMContext, Elts));
268 /// createClassType - Create debugging information entry for a class.
269 DIType DIBuilder::createClassType(DIDescriptor Context, StringRef Name,
270 DIFile File, unsigned LineNumber,
271 uint64_t SizeInBits, uint64_t AlignInBits,
272 uint64_t OffsetInBits, unsigned Flags,
273 DIType DerivedFrom, DIArray Elements,
274 MDNode *VTableHoder, MDNode *TemplateParams) {
275 // TAG_class_type is encoded in DICompositeType format.
277 GetTagConstant(VMContext, dwarf::DW_TAG_class_type),
279 MDString::get(VMContext, Name),
281 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
282 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
283 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
284 ConstantInt::get(Type::getInt32Ty(VMContext), OffsetInBits),
285 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
288 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
292 return DIType(MDNode::get(VMContext, Elts));
295 /// createTemplateTypeParameter - Create debugging information for template
297 DITemplateTypeParameter
298 DIBuilder::createTemplateTypeParameter(DIDescriptor Context, StringRef Name,
299 DIType Ty, MDNode *File, unsigned LineNo,
302 GetTagConstant(VMContext, dwarf::DW_TAG_template_type_parameter),
304 MDString::get(VMContext, Name),
307 ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
308 ConstantInt::get(Type::getInt32Ty(VMContext), ColumnNo)
310 return DITemplateTypeParameter(MDNode::get(VMContext, Elts));
313 /// createTemplateValueParameter - Create debugging information for template
315 DITemplateValueParameter
316 DIBuilder::createTemplateValueParameter(DIDescriptor Context, StringRef Name,
317 DIType Ty, uint64_t Val,
318 MDNode *File, unsigned LineNo,
321 GetTagConstant(VMContext, dwarf::DW_TAG_template_value_parameter),
323 MDString::get(VMContext, Name),
325 ConstantInt::get(Type::getInt64Ty(VMContext), Val),
327 ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
328 ConstantInt::get(Type::getInt32Ty(VMContext), ColumnNo)
330 return DITemplateValueParameter(MDNode::get(VMContext, Elts));
333 /// createStructType - Create debugging information entry for a struct.
334 DIType DIBuilder::createStructType(DIDescriptor Context, StringRef Name,
335 DIFile File, unsigned LineNumber,
336 uint64_t SizeInBits, uint64_t AlignInBits,
337 unsigned Flags, DIArray Elements,
338 unsigned RunTimeLang) {
339 // TAG_structure_type is encoded in DICompositeType format.
341 GetTagConstant(VMContext, dwarf::DW_TAG_structure_type),
343 MDString::get(VMContext, Name),
345 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
346 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
347 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
348 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
349 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
350 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
352 ConstantInt::get(Type::getInt32Ty(VMContext), RunTimeLang),
353 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
355 return DIType(MDNode::get(VMContext, Elts));
358 /// createUnionType - Create debugging information entry for an union.
359 DIType DIBuilder::createUnionType(DIDescriptor Scope, StringRef Name,
361 unsigned LineNumber, uint64_t SizeInBits,
362 uint64_t AlignInBits, unsigned Flags,
363 DIArray Elements, unsigned RunTimeLang) {
364 // TAG_union_type is encoded in DICompositeType format.
366 GetTagConstant(VMContext, dwarf::DW_TAG_union_type),
368 MDString::get(VMContext, Name),
370 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
371 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
372 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
373 ConstantInt::get(Type::getInt64Ty(VMContext), 0),
374 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
375 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
377 ConstantInt::get(Type::getInt32Ty(VMContext), RunTimeLang),
378 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
380 return DIType(MDNode::get(VMContext, Elts));
383 /// createSubroutineType - Create subroutine type.
384 DIType DIBuilder::createSubroutineType(DIFile File, DIArray ParameterTypes) {
385 // TAG_subroutine_type is encoded in DICompositeType format.
387 GetTagConstant(VMContext, dwarf::DW_TAG_subroutine_type),
389 MDString::get(VMContext, ""),
391 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
392 ConstantInt::get(Type::getInt64Ty(VMContext), 0),
393 ConstantInt::get(Type::getInt64Ty(VMContext), 0),
394 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
395 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
396 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
398 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
399 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
401 return DIType(MDNode::get(VMContext, Elts));
404 /// createEnumerationType - Create debugging information entry for an
406 DIType DIBuilder::createEnumerationType(DIDescriptor Scope, StringRef Name,
407 DIFile File, unsigned LineNumber,
409 uint64_t AlignInBits, DIArray Elements) {
410 // TAG_enumeration_type is encoded in DICompositeType format.
412 GetTagConstant(VMContext, dwarf::DW_TAG_enumeration_type),
414 MDString::get(VMContext, Name),
416 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
417 ConstantInt::get(Type::getInt64Ty(VMContext), SizeInBits),
418 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
419 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
420 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
421 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
423 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
424 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
426 MDNode *Node = MDNode::get(VMContext, Elts);
427 NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.enum");
428 NMD->addOperand(Node);
432 /// createArrayType - Create debugging information entry for an array.
433 DIType DIBuilder::createArrayType(uint64_t Size, uint64_t AlignInBits,
434 DIType Ty, DIArray Subscripts) {
435 // TAG_array_type is encoded in DICompositeType format.
437 GetTagConstant(VMContext, dwarf::DW_TAG_array_type),
439 MDString::get(VMContext, ""),
441 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
442 ConstantInt::get(Type::getInt64Ty(VMContext), Size),
443 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
444 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
445 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
448 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
449 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
451 return DIType(MDNode::get(VMContext, Elts));
454 /// createVectorType - Create debugging information entry for a vector.
455 DIType DIBuilder::createVectorType(uint64_t Size, uint64_t AlignInBits,
456 DIType Ty, DIArray Subscripts) {
457 // TAG_vector_type is encoded in DICompositeType format.
459 GetTagConstant(VMContext, dwarf::DW_TAG_vector_type),
461 MDString::get(VMContext, ""),
463 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
464 ConstantInt::get(Type::getInt64Ty(VMContext), Size),
465 ConstantInt::get(Type::getInt64Ty(VMContext), AlignInBits),
466 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
467 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
470 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
471 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
473 return DIType(MDNode::get(VMContext, Elts));
476 /// createArtificialType - Create a new DIType with "artificial" flag set.
477 DIType DIBuilder::createArtificialType(DIType Ty) {
478 if (Ty.isArtificial())
481 SmallVector<Value *, 9> Elts;
483 assert (N && "Unexpected input DIType!");
484 for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
485 if (Value *V = N->getOperand(i))
488 Elts.push_back(Constant::getNullValue(Type::getInt32Ty(VMContext)));
491 unsigned CurFlags = Ty.getFlags();
492 CurFlags = CurFlags | DIType::FlagArtificial;
494 // Flags are stored at this slot.
495 Elts[8] = ConstantInt::get(Type::getInt32Ty(VMContext), CurFlags);
497 return DIType(MDNode::get(VMContext, Elts));
500 /// retainType - Retain DIType in a module even if it is not referenced
501 /// through debug info anchors.
502 void DIBuilder::retainType(DIType T) {
503 NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.ty");
507 /// createUnspecifiedParameter - Create unspeicified type descriptor
508 /// for the subroutine type.
509 DIDescriptor DIBuilder::createUnspecifiedParameter() {
511 GetTagConstant(VMContext, dwarf::DW_TAG_unspecified_parameters)
513 return DIDescriptor(MDNode::get(VMContext, Elts));
516 /// createTemporaryType - Create a temporary forward-declared type.
517 DIType DIBuilder::createTemporaryType() {
518 // Give the temporary MDNode a tag. It doesn't matter what tag we
519 // use here as long as DIType accepts it.
520 Value *Elts[] = { GetTagConstant(VMContext, DW_TAG_base_type) };
521 MDNode *Node = MDNode::getTemporary(VMContext, Elts);
525 /// createTemporaryType - Create a temporary forward-declared type.
526 DIType DIBuilder::createTemporaryType(DIFile F) {
527 // Give the temporary MDNode a tag. It doesn't matter what tag we
528 // use here as long as DIType accepts it.
530 GetTagConstant(VMContext, DW_TAG_base_type),
535 MDNode *Node = MDNode::getTemporary(VMContext, Elts);
539 /// getOrCreateArray - Get a DIArray, create one if required.
540 DIArray DIBuilder::getOrCreateArray(ArrayRef<Value *> Elements) {
541 if (Elements.empty()) {
542 Value *Null = llvm::Constant::getNullValue(Type::getInt32Ty(VMContext));
543 return DIArray(MDNode::get(VMContext, Null));
545 return DIArray(MDNode::get(VMContext, Elements));
548 /// getOrCreateSubrange - Create a descriptor for a value range. This
549 /// implicitly uniques the values returned.
550 DISubrange DIBuilder::getOrCreateSubrange(int64_t Lo, int64_t Hi) {
552 GetTagConstant(VMContext, dwarf::DW_TAG_subrange_type),
553 ConstantInt::get(Type::getInt64Ty(VMContext), Lo),
554 ConstantInt::get(Type::getInt64Ty(VMContext), Hi)
557 return DISubrange(MDNode::get(VMContext, Elts));
560 /// createGlobalVariable - Create a new descriptor for the specified global.
561 DIGlobalVariable DIBuilder::
562 createGlobalVariable(StringRef Name, DIFile F, unsigned LineNumber,
563 DIType Ty, bool isLocalToUnit, llvm::Value *Val) {
565 GetTagConstant(VMContext, dwarf::DW_TAG_variable),
566 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
568 MDString::get(VMContext, Name),
569 MDString::get(VMContext, Name),
570 MDString::get(VMContext, Name),
572 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
574 ConstantInt::get(Type::getInt32Ty(VMContext), isLocalToUnit),
575 ConstantInt::get(Type::getInt32Ty(VMContext), 1), /* isDefinition*/
578 MDNode *Node = MDNode::get(VMContext, Elts);
579 // Create a named metadata so that we do not lose this mdnode.
580 NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.gv");
581 NMD->addOperand(Node);
582 return DIGlobalVariable(Node);
585 /// createStaticVariable - Create a new descriptor for the specified static
587 DIGlobalVariable DIBuilder::
588 createStaticVariable(DIDescriptor Context, StringRef Name,
589 StringRef LinkageName, DIFile F, unsigned LineNumber,
590 DIType Ty, bool isLocalToUnit, llvm::Value *Val) {
592 GetTagConstant(VMContext, dwarf::DW_TAG_variable),
593 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
595 MDString::get(VMContext, Name),
596 MDString::get(VMContext, Name),
597 MDString::get(VMContext, LinkageName),
599 ConstantInt::get(Type::getInt32Ty(VMContext), LineNumber),
601 ConstantInt::get(Type::getInt32Ty(VMContext), isLocalToUnit),
602 ConstantInt::get(Type::getInt32Ty(VMContext), 1), /* isDefinition*/
605 MDNode *Node = MDNode::get(VMContext, Elts);
606 // Create a named metadata so that we do not lose this mdnode.
607 NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.gv");
608 NMD->addOperand(Node);
609 return DIGlobalVariable(Node);
612 /// createVariable - Create a new descriptor for the specified variable.
613 DIVariable DIBuilder::createLocalVariable(unsigned Tag, DIDescriptor Scope,
614 StringRef Name, DIFile File,
615 unsigned LineNo, DIType Ty,
616 bool AlwaysPreserve, unsigned Flags,
619 GetTagConstant(VMContext, Tag),
621 MDString::get(VMContext, Name),
623 ConstantInt::get(Type::getInt32Ty(VMContext), (LineNo | (ArgNo << 24))),
625 ConstantInt::get(Type::getInt32Ty(VMContext), Flags)
627 MDNode *Node = MDNode::get(VMContext, Elts);
628 if (AlwaysPreserve) {
629 // The optimizer may remove local variable. If there is an interest
630 // to preserve variable info in such situation then stash it in a
632 DISubprogram Fn(getDISubprogram(Scope));
633 StringRef FName = "fn";
634 if (Fn.getFunction())
635 FName = Fn.getFunction()->getName();
637 if (FName.startswith(StringRef(&One, 1)))
638 FName = FName.substr(1);
639 NamedMDNode *FnLocals = getOrInsertFnSpecificMDNode(M, FName);
640 FnLocals->addOperand(Node);
642 return DIVariable(Node);
645 /// createComplexVariable - Create a new descriptor for the specified variable
646 /// which has a complex address expression for its address.
647 DIVariable DIBuilder::createComplexVariable(unsigned Tag, DIDescriptor Scope,
648 StringRef Name, DIFile F,
650 DIType Ty, ArrayRef<Value *> Addr,
652 SmallVector<Value *, 15> Elts;
653 Elts.push_back(GetTagConstant(VMContext, Tag));
654 Elts.push_back(Scope);
655 Elts.push_back(MDString::get(VMContext, Name));
657 Elts.push_back(ConstantInt::get(Type::getInt32Ty(VMContext), (LineNo | (ArgNo << 24))));
659 Elts.append(Addr.begin(), Addr.end());
661 return DIVariable(MDNode::get(VMContext, Elts));
664 /// createFunction - Create a new descriptor for the specified function.
665 DISubprogram DIBuilder::createFunction(DIDescriptor Context,
667 StringRef LinkageName,
668 DIFile File, unsigned LineNo,
670 bool isLocalToUnit, bool isDefinition,
671 unsigned Flags, bool isOptimized,
676 GetTagConstant(VMContext, dwarf::DW_TAG_subprogram),
677 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
679 MDString::get(VMContext, Name),
680 MDString::get(VMContext, Name),
681 MDString::get(VMContext, LinkageName),
683 ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
685 ConstantInt::get(Type::getInt1Ty(VMContext), isLocalToUnit),
686 ConstantInt::get(Type::getInt1Ty(VMContext), isDefinition),
687 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
688 ConstantInt::get(Type::getInt32Ty(VMContext), 0),
689 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
690 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
691 ConstantInt::get(Type::getInt1Ty(VMContext), isOptimized),
696 MDNode *Node = MDNode::get(VMContext, Elts);
698 // Create a named metadata so that we do not lose this mdnode.
699 NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.sp");
700 NMD->addOperand(Node);
701 return DISubprogram(Node);
704 /// createMethod - Create a new descriptor for the specified C++ method.
705 DISubprogram DIBuilder::createMethod(DIDescriptor Context,
707 StringRef LinkageName,
709 unsigned LineNo, DIType Ty,
712 unsigned VK, unsigned VIndex,
713 MDNode *VTableHolder,
719 GetTagConstant(VMContext, dwarf::DW_TAG_subprogram),
720 llvm::Constant::getNullValue(Type::getInt32Ty(VMContext)),
722 MDString::get(VMContext, Name),
723 MDString::get(VMContext, Name),
724 MDString::get(VMContext, LinkageName),
726 ConstantInt::get(Type::getInt32Ty(VMContext), LineNo),
728 ConstantInt::get(Type::getInt1Ty(VMContext), isLocalToUnit),
729 ConstantInt::get(Type::getInt1Ty(VMContext), isDefinition),
730 ConstantInt::get(Type::getInt32Ty(VMContext), (unsigned)VK),
731 ConstantInt::get(Type::getInt32Ty(VMContext), VIndex),
733 ConstantInt::get(Type::getInt32Ty(VMContext), Flags),
734 ConstantInt::get(Type::getInt1Ty(VMContext), isOptimized),
738 MDNode *Node = MDNode::get(VMContext, Elts);
740 // Create a named metadata so that we do not lose this mdnode.
741 NamedMDNode *NMD = M.getOrInsertNamedMetadata("llvm.dbg.sp");
742 NMD->addOperand(Node);
743 return DISubprogram(Node);
746 /// createNameSpace - This creates new descriptor for a namespace
747 /// with the specified parent scope.
748 DINameSpace DIBuilder::createNameSpace(DIDescriptor Scope, StringRef Name,
749 DIFile File, unsigned LineNo) {
751 GetTagConstant(VMContext, dwarf::DW_TAG_namespace),
753 MDString::get(VMContext, Name),
755 ConstantInt::get(Type::getInt32Ty(VMContext), LineNo)
757 return DINameSpace(MDNode::get(VMContext, Elts));
760 DILexicalBlock DIBuilder::createLexicalBlock(DIDescriptor Scope, DIFile File,
761 unsigned Line, unsigned Col) {
762 // Defeat MDNode uniqing for lexical blocks by using unique id.
763 static unsigned int unique_id = 0;
765 GetTagConstant(VMContext, dwarf::DW_TAG_lexical_block),
767 ConstantInt::get(Type::getInt32Ty(VMContext), Line),
768 ConstantInt::get(Type::getInt32Ty(VMContext), Col),
770 ConstantInt::get(Type::getInt32Ty(VMContext), unique_id++)
772 return DILexicalBlock(MDNode::get(VMContext, Elts));
775 /// insertDeclare - Insert a new llvm.dbg.declare intrinsic call.
776 Instruction *DIBuilder::insertDeclare(Value *Storage, DIVariable VarInfo,
777 Instruction *InsertBefore) {
778 assert(Storage && "no storage passed to dbg.declare");
779 assert(VarInfo.Verify() && "empty DIVariable passed to dbg.declare");
781 DeclareFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_declare);
783 Value *Args[] = { MDNode::get(Storage->getContext(), Storage), VarInfo };
784 return CallInst::Create(DeclareFn, Args, Args+2, "", InsertBefore);
787 /// insertDeclare - Insert a new llvm.dbg.declare intrinsic call.
788 Instruction *DIBuilder::insertDeclare(Value *Storage, DIVariable VarInfo,
789 BasicBlock *InsertAtEnd) {
790 assert(Storage && "no storage passed to dbg.declare");
791 assert(VarInfo.Verify() && "invalid DIVariable passed to dbg.declare");
793 DeclareFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_declare);
795 Value *Args[] = { MDNode::get(Storage->getContext(), Storage), VarInfo };
797 // If this block already has a terminator then insert this intrinsic
798 // before the terminator.
799 if (TerminatorInst *T = InsertAtEnd->getTerminator())
800 return CallInst::Create(DeclareFn, Args, Args+2, "", T);
802 return CallInst::Create(DeclareFn, Args, Args+2, "", InsertAtEnd);
805 /// insertDbgValueIntrinsic - Insert a new llvm.dbg.value intrinsic call.
806 Instruction *DIBuilder::insertDbgValueIntrinsic(Value *V, uint64_t Offset,
808 Instruction *InsertBefore) {
809 assert(V && "no value passed to dbg.value");
810 assert(VarInfo.Verify() && "invalid DIVariable passed to dbg.value");
812 ValueFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_value);
814 Value *Args[] = { MDNode::get(V->getContext(), V),
815 ConstantInt::get(Type::getInt64Ty(V->getContext()), Offset),
817 return CallInst::Create(ValueFn, Args, Args+3, "", InsertBefore);
820 /// insertDbgValueIntrinsic - Insert a new llvm.dbg.value intrinsic call.
821 Instruction *DIBuilder::insertDbgValueIntrinsic(Value *V, uint64_t Offset,
823 BasicBlock *InsertAtEnd) {
824 assert(V && "no value passed to dbg.value");
825 assert(VarInfo.Verify() && "invalid DIVariable passed to dbg.value");
827 ValueFn = Intrinsic::getDeclaration(&M, Intrinsic::dbg_value);
829 Value *Args[] = { MDNode::get(V->getContext(), V),
830 ConstantInt::get(Type::getInt64Ty(V->getContext()), Offset),
832 return CallInst::Create(ValueFn, Args, Args+3, "", InsertAtEnd);