blob: d171fc6c5b33c40525be2fbd6ddfd4aab7eb2058 [file] [log] [blame]
Chris Lattnera45664f2008-11-10 02:56:27 +00001//===--- DebugInfo.cpp - Debug Information Helper Classes -----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the helper classes used to build and interpret debug
11// information in LLVM IR form.
12//
13//===----------------------------------------------------------------------===//
14
Bill Wendling0bcbd1d2012-06-28 00:05:13 +000015#include "llvm/DebugInfo.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000016#include "llvm/ADT/STLExtras.h"
Devang Patele4b27562009-08-28 23:24:31 +000017#include "llvm/ADT/SmallPtrSet.h"
Dan Gohman17aa92c2010-07-21 23:38:33 +000018#include "llvm/ADT/SmallString.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000019#include "llvm/Analysis/ValueTracking.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000020#include "llvm/IR/Constants.h"
21#include "llvm/IR/DerivedTypes.h"
22#include "llvm/IR/Instructions.h"
23#include "llvm/IR/IntrinsicInst.h"
24#include "llvm/IR/Intrinsics.h"
25#include "llvm/IR/Module.h"
David Greene0eb5b662009-12-23 19:45:49 +000026#include "llvm/Support/Debug.h"
Argyrios Kyrtzidis77eaa682009-05-03 08:50:41 +000027#include "llvm/Support/Dwarf.h"
David Blaikied072a162013-03-26 21:59:17 +000028#include "llvm/Support/ValueHandle.h"
Chris Lattnera81d29b2009-08-23 07:33:14 +000029#include "llvm/Support/raw_ostream.h"
Chris Lattnera45664f2008-11-10 02:56:27 +000030using namespace llvm;
Argyrios Kyrtzidis77eaa682009-05-03 08:50:41 +000031using namespace llvm::dwarf;
Chris Lattnera45664f2008-11-10 02:56:27 +000032
33//===----------------------------------------------------------------------===//
34// DIDescriptor
35//===----------------------------------------------------------------------===//
36
David Blaikiec0ec8a42013-03-11 23:39:23 +000037bool DIDescriptor::Verify() const {
38 return DbgNode &&
39 (DIDerivedType(DbgNode).Verify() ||
40 DICompositeType(DbgNode).Verify() || DIBasicType(DbgNode).Verify() ||
41 DIVariable(DbgNode).Verify() || DISubprogram(DbgNode).Verify() ||
42 DIGlobalVariable(DbgNode).Verify() || DIFile(DbgNode).Verify() ||
43 DICompileUnit(DbgNode).Verify() || DINameSpace(DbgNode).Verify() ||
44 DILexicalBlock(DbgNode).Verify() ||
45 DILexicalBlockFile(DbgNode).Verify() ||
46 DISubrange(DbgNode).Verify() || DIEnumerator(DbgNode).Verify() ||
47 DIObjCProperty(DbgNode).Verify() ||
48 DITemplateTypeParameter(DbgNode).Verify() ||
David Blaikiec462db62013-04-22 06:12:31 +000049 DITemplateValueParameter(DbgNode).Verify() ||
David Blaikie20d9e412013-05-07 21:35:53 +000050 DIImportedEntity(DbgNode).Verify());
David Blaikiec0ec8a42013-03-11 23:39:23 +000051}
52
David Blaikieb4cf0ab2013-03-17 21:13:55 +000053static Value *getField(const MDNode *DbgNode, unsigned Elt) {
54 if (DbgNode == 0 || Elt >= DbgNode->getNumOperands())
55 return 0;
56 return DbgNode->getOperand(Elt);
57}
Chris Lattnera45664f2008-11-10 02:56:27 +000058
Manman Rend2ed53c2013-07-23 20:39:32 +000059static MDNode *getNodeField(const MDNode *DbgNode, unsigned Elt) {
60 return dyn_cast_or_null<MDNode>(getField(DbgNode, Elt));
David Blaikieb4cf0ab2013-03-17 21:13:55 +000061}
Daniel Dunbarf612ff62009-09-19 20:40:05 +000062
David Blaikieb4cf0ab2013-03-17 21:13:55 +000063static StringRef getStringField(const MDNode *DbgNode, unsigned Elt) {
64 if (MDString *MDS = dyn_cast_or_null<MDString>(getField(DbgNode, Elt)))
65 return MDS->getString();
Devang Patel65dbc902009-11-25 17:36:49 +000066 return StringRef();
Chris Lattnera45664f2008-11-10 02:56:27 +000067}
68
David Blaikieb4cf0ab2013-03-17 21:13:55 +000069StringRef DIDescriptor::getStringField(unsigned Elt) const {
70 return ::getStringField(DbgNode, Elt);
71}
72
Chris Lattnera45664f2008-11-10 02:56:27 +000073uint64_t DIDescriptor::getUInt64Field(unsigned Elt) const {
Daniel Dunbarf612ff62009-09-19 20:40:05 +000074 if (DbgNode == 0)
Chris Lattnera45664f2008-11-10 02:56:27 +000075 return 0;
Bill Wendlingdc817b62009-05-14 18:26:15 +000076
Chris Lattner5d0cacd2009-12-31 01:22:29 +000077 if (Elt < DbgNode->getNumOperands())
Eric Christopher5f214ae2012-11-20 00:15:36 +000078 if (ConstantInt *CI
79 = dyn_cast_or_null<ConstantInt>(DbgNode->getOperand(Elt)))
Devang Patele4b27562009-08-28 23:24:31 +000080 return CI->getZExtValue();
Daniel Dunbarf612ff62009-09-19 20:40:05 +000081
Chris Lattnera45664f2008-11-10 02:56:27 +000082 return 0;
83}
84
Bill Wendling9127be82012-12-03 19:44:25 +000085int64_t DIDescriptor::getInt64Field(unsigned Elt) const {
86 if (DbgNode == 0)
87 return 0;
88
89 if (Elt < DbgNode->getNumOperands())
90 if (ConstantInt *CI
91 = dyn_cast_or_null<ConstantInt>(DbgNode->getOperand(Elt)))
92 return CI->getSExtValue();
93
94 return 0;
95}
96
Chris Lattnera45664f2008-11-10 02:56:27 +000097DIDescriptor DIDescriptor::getDescriptorField(unsigned Elt) const {
Manman Rend2ed53c2013-07-23 20:39:32 +000098 MDNode *Field = getNodeField(DbgNode, Elt);
99 return DIDescriptor(Field);
Chris Lattnera45664f2008-11-10 02:56:27 +0000100}
101
102GlobalVariable *DIDescriptor::getGlobalVariableField(unsigned Elt) const {
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000103 if (DbgNode == 0)
Chris Lattnera45664f2008-11-10 02:56:27 +0000104 return 0;
Bill Wendlingdc817b62009-05-14 18:26:15 +0000105
Chris Lattner5d0cacd2009-12-31 01:22:29 +0000106 if (Elt < DbgNode->getNumOperands())
107 return dyn_cast_or_null<GlobalVariable>(DbgNode->getOperand(Elt));
Devang Patele4b27562009-08-28 23:24:31 +0000108 return 0;
Chris Lattnera45664f2008-11-10 02:56:27 +0000109}
110
Devang Patel27398962010-08-09 21:39:24 +0000111Constant *DIDescriptor::getConstantField(unsigned Elt) const {
112 if (DbgNode == 0)
113 return 0;
114
115 if (Elt < DbgNode->getNumOperands())
116 return dyn_cast_or_null<Constant>(DbgNode->getOperand(Elt));
117 return 0;
118}
119
Stuart Hastings215aa152010-06-11 20:08:44 +0000120Function *DIDescriptor::getFunctionField(unsigned Elt) const {
121 if (DbgNode == 0)
122 return 0;
123
124 if (Elt < DbgNode->getNumOperands())
125 return dyn_cast_or_null<Function>(DbgNode->getOperand(Elt));
126 return 0;
127}
128
Alexey Samsonove97a3a42012-10-09 08:13:15 +0000129void DIDescriptor::replaceFunctionField(unsigned Elt, Function *F) {
130 if (DbgNode == 0)
131 return;
132
133 if (Elt < DbgNode->getNumOperands()) {
134 MDNode *Node = const_cast<MDNode*>(DbgNode);
135 Node->replaceOperandWith(Elt, F);
136 }
137}
138
Chris Lattnerf0908a32009-12-31 03:02:08 +0000139unsigned DIVariable::getNumAddrElements() const {
Devang Patel23336b42011-07-19 19:41:54 +0000140 return DbgNode->getNumOperands()-8;
Chris Lattnerf0908a32009-12-31 03:02:08 +0000141}
142
Devang Patel40c7e412011-07-20 22:18:50 +0000143/// getInlinedAt - If this variable is inlined then return inline location.
Devang Patel48d726f2011-08-09 01:03:14 +0000144MDNode *DIVariable::getInlinedAt() const {
Manman Rend2ed53c2013-07-23 20:39:32 +0000145 return getNodeField(DbgNode, 7);
Devang Patel40c7e412011-07-20 22:18:50 +0000146}
Chris Lattnerf0908a32009-12-31 03:02:08 +0000147
Chris Lattnera45664f2008-11-10 02:56:27 +0000148//===----------------------------------------------------------------------===//
Devang Patel6ceea332009-08-31 18:49:10 +0000149// Predicates
Chris Lattnera45664f2008-11-10 02:56:27 +0000150//===----------------------------------------------------------------------===//
151
Devang Patel6ceea332009-08-31 18:49:10 +0000152/// isBasicType - Return true if the specified tag is legal for
153/// DIBasicType.
154bool DIDescriptor::isBasicType() const {
Devang Patel734a67c2011-09-14 23:13:28 +0000155 if (!DbgNode) return false;
156 switch (getTag()) {
157 case dwarf::DW_TAG_base_type:
158 case dwarf::DW_TAG_unspecified_type:
159 return true;
160 default:
161 return false;
162 }
Torok Edwinb07fbd92008-12-13 08:25:29 +0000163}
Chris Lattnera45664f2008-11-10 02:56:27 +0000164
Devang Patel6ceea332009-08-31 18:49:10 +0000165/// isDerivedType - Return true if the specified tag is legal for DIDerivedType.
166bool DIDescriptor::isDerivedType() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000167 if (!DbgNode) return false;
Chris Lattner099b7792009-12-29 09:22:47 +0000168 switch (getTag()) {
Chris Lattnera45664f2008-11-10 02:56:27 +0000169 case dwarf::DW_TAG_typedef:
170 case dwarf::DW_TAG_pointer_type:
David Blaikie62fdfb52013-01-07 05:51:15 +0000171 case dwarf::DW_TAG_ptr_to_member_type:
Chris Lattnera45664f2008-11-10 02:56:27 +0000172 case dwarf::DW_TAG_reference_type:
Eric Christopher791e6292012-05-19 01:36:37 +0000173 case dwarf::DW_TAG_rvalue_reference_type:
Chris Lattnera45664f2008-11-10 02:56:27 +0000174 case dwarf::DW_TAG_const_type:
175 case dwarf::DW_TAG_volatile_type:
176 case dwarf::DW_TAG_restrict_type:
177 case dwarf::DW_TAG_member:
178 case dwarf::DW_TAG_inheritance:
Devang Patel49d96382010-08-23 23:16:25 +0000179 case dwarf::DW_TAG_friend:
Chris Lattnera45664f2008-11-10 02:56:27 +0000180 return true;
181 default:
Devang Patele4b27562009-08-28 23:24:31 +0000182 // CompositeTypes are currently modelled as DerivedTypes.
Devang Patel6ceea332009-08-31 18:49:10 +0000183 return isCompositeType();
Chris Lattnera45664f2008-11-10 02:56:27 +0000184 }
185}
186
Chris Lattnera45664f2008-11-10 02:56:27 +0000187/// isCompositeType - Return true if the specified tag is legal for
188/// DICompositeType.
Devang Patel6ceea332009-08-31 18:49:10 +0000189bool DIDescriptor::isCompositeType() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000190 if (!DbgNode) return false;
Chris Lattner099b7792009-12-29 09:22:47 +0000191 switch (getTag()) {
Chris Lattnera45664f2008-11-10 02:56:27 +0000192 case dwarf::DW_TAG_array_type:
193 case dwarf::DW_TAG_structure_type:
194 case dwarf::DW_TAG_union_type:
195 case dwarf::DW_TAG_enumeration_type:
Chris Lattnera45664f2008-11-10 02:56:27 +0000196 case dwarf::DW_TAG_subroutine_type:
Devang Patel25cb0d72009-03-25 03:52:06 +0000197 case dwarf::DW_TAG_class_type:
Chris Lattnera45664f2008-11-10 02:56:27 +0000198 return true;
199 default:
200 return false;
201 }
202}
203
Chris Lattnera45664f2008-11-10 02:56:27 +0000204/// isVariable - Return true if the specified tag is legal for DIVariable.
Devang Patel6ceea332009-08-31 18:49:10 +0000205bool DIDescriptor::isVariable() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000206 if (!DbgNode) return false;
Chris Lattner099b7792009-12-29 09:22:47 +0000207 switch (getTag()) {
Chris Lattnera45664f2008-11-10 02:56:27 +0000208 case dwarf::DW_TAG_auto_variable:
209 case dwarf::DW_TAG_arg_variable:
Chris Lattnera45664f2008-11-10 02:56:27 +0000210 return true;
211 default:
212 return false;
213 }
214}
215
Devang Patelecbeb1a2009-09-30 22:34:41 +0000216/// isType - Return true if the specified tag is legal for DIType.
217bool DIDescriptor::isType() const {
218 return isBasicType() || isCompositeType() || isDerivedType();
219}
220
Devang Patel6ceea332009-08-31 18:49:10 +0000221/// isSubprogram - Return true if the specified tag is legal for
222/// DISubprogram.
223bool DIDescriptor::isSubprogram() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000224 return DbgNode && getTag() == dwarf::DW_TAG_subprogram;
Devang Patel6ceea332009-08-31 18:49:10 +0000225}
226
227/// isGlobalVariable - Return true if the specified tag is legal for
228/// DIGlobalVariable.
229bool DIDescriptor::isGlobalVariable() const {
Devang Patel29368072010-08-10 07:11:13 +0000230 return DbgNode && (getTag() == dwarf::DW_TAG_variable ||
231 getTag() == dwarf::DW_TAG_constant);
Devang Patel6ceea332009-08-31 18:49:10 +0000232}
233
Devang Patel716a67f2011-02-03 00:13:47 +0000234/// isUnspecifiedParmeter - Return true if the specified tag is
Devang Pateld6747df2010-10-06 20:50:40 +0000235/// DW_TAG_unspecified_parameters.
236bool DIDescriptor::isUnspecifiedParameter() const {
237 return DbgNode && getTag() == dwarf::DW_TAG_unspecified_parameters;
238}
239
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000240/// isScope - Return true if the specified tag is one of the scope
Devang Patel43d98b32009-08-31 20:44:45 +0000241/// related tag.
242bool DIDescriptor::isScope() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000243 if (!DbgNode) return false;
Chris Lattner099b7792009-12-29 09:22:47 +0000244 switch (getTag()) {
245 case dwarf::DW_TAG_compile_unit:
246 case dwarf::DW_TAG_lexical_block:
247 case dwarf::DW_TAG_subprogram:
248 case dwarf::DW_TAG_namespace:
249 return true;
250 default:
251 break;
Devang Patel43d98b32009-08-31 20:44:45 +0000252 }
253 return false;
254}
Devang Patel6ceea332009-08-31 18:49:10 +0000255
Devang Patel7e2cb112011-02-02 21:38:25 +0000256/// isTemplateTypeParameter - Return true if the specified tag is
257/// DW_TAG_template_type_parameter.
258bool DIDescriptor::isTemplateTypeParameter() const {
259 return DbgNode && getTag() == dwarf::DW_TAG_template_type_parameter;
260}
261
Devang Patele7d93872011-02-02 22:35:53 +0000262/// isTemplateValueParameter - Return true if the specified tag is
263/// DW_TAG_template_value_parameter.
264bool DIDescriptor::isTemplateValueParameter() const {
David Blaikiee88939c2013-06-22 18:59:11 +0000265 return DbgNode && (getTag() == dwarf::DW_TAG_template_value_parameter ||
266 getTag() == dwarf::DW_TAG_GNU_template_template_param ||
267 getTag() == dwarf::DW_TAG_GNU_template_parameter_pack);
Devang Patele7d93872011-02-02 22:35:53 +0000268}
269
Devang Patelc9f322d2009-08-31 21:34:44 +0000270/// isCompileUnit - Return true if the specified tag is DW_TAG_compile_unit.
271bool DIDescriptor::isCompileUnit() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000272 return DbgNode && getTag() == dwarf::DW_TAG_compile_unit;
Devang Patelc9f322d2009-08-31 21:34:44 +0000273}
274
Devang Patel7aa81892010-03-08 22:27:22 +0000275/// isFile - Return true if the specified tag is DW_TAG_file_type.
276bool DIDescriptor::isFile() const {
277 return DbgNode && getTag() == dwarf::DW_TAG_file_type;
278}
279
Devang Patel6404e4e2009-12-15 19:16:48 +0000280/// isNameSpace - Return true if the specified tag is DW_TAG_namespace.
281bool DIDescriptor::isNameSpace() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000282 return DbgNode && getTag() == dwarf::DW_TAG_namespace;
Devang Patel6404e4e2009-12-15 19:16:48 +0000283}
284
Eric Christopher6618a242011-10-11 22:59:11 +0000285/// isLexicalBlockFile - Return true if the specified descriptor is a
286/// lexical block with an extra file.
287bool DIDescriptor::isLexicalBlockFile() const {
288 return DbgNode && getTag() == dwarf::DW_TAG_lexical_block &&
David Blaikie72dfb052013-03-28 02:44:59 +0000289 (DbgNode->getNumOperands() == 3);
Eric Christopher6618a242011-10-11 22:59:11 +0000290}
291
Devang Patel5e005d82009-08-31 22:00:15 +0000292/// isLexicalBlock - Return true if the specified tag is DW_TAG_lexical_block.
293bool DIDescriptor::isLexicalBlock() const {
Eric Christopher6618a242011-10-11 22:59:11 +0000294 return DbgNode && getTag() == dwarf::DW_TAG_lexical_block &&
David Blaikie72dfb052013-03-28 02:44:59 +0000295 (DbgNode->getNumOperands() > 3);
Devang Patel5e005d82009-08-31 22:00:15 +0000296}
297
Devang Patelecbeb1a2009-09-30 22:34:41 +0000298/// isSubrange - Return true if the specified tag is DW_TAG_subrange_type.
299bool DIDescriptor::isSubrange() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000300 return DbgNode && getTag() == dwarf::DW_TAG_subrange_type;
Devang Patelecbeb1a2009-09-30 22:34:41 +0000301}
302
303/// isEnumerator - Return true if the specified tag is DW_TAG_enumerator.
304bool DIDescriptor::isEnumerator() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000305 return DbgNode && getTag() == dwarf::DW_TAG_enumerator;
Devang Patelecbeb1a2009-09-30 22:34:41 +0000306}
307
David Blaikie35450432013-03-27 17:50:12 +0000308/// isObjCProperty - Return true if the specified tag is DW_TAG_APPLE_property.
Devang Patel1ea02d42012-02-04 00:59:25 +0000309bool DIDescriptor::isObjCProperty() const {
Eric Christopher6c31ee22012-03-29 21:35:05 +0000310 return DbgNode && getTag() == dwarf::DW_TAG_APPLE_property;
Devang Patel1ea02d42012-02-04 00:59:25 +0000311}
David Blaikiec462db62013-04-22 06:12:31 +0000312
David Blaikie20d9e412013-05-07 21:35:53 +0000313/// \brief Return true if the specified tag is DW_TAG_imported_module or
314/// DW_TAG_imported_declaration.
315bool DIDescriptor::isImportedEntity() const {
316 return DbgNode && (getTag() == dwarf::DW_TAG_imported_module ||
317 getTag() == dwarf::DW_TAG_imported_declaration);
David Blaikiec462db62013-04-22 06:12:31 +0000318}
319
Devang Patel6ceea332009-08-31 18:49:10 +0000320//===----------------------------------------------------------------------===//
321// Simple Descriptor Constructors and other Methods
322//===----------------------------------------------------------------------===//
323
Devang Patel68afdc32009-01-05 18:33:01 +0000324unsigned DIArray::getNumElements() const {
Devang Patel3c91b052010-03-08 20:52:55 +0000325 if (!DbgNode)
326 return 0;
Chris Lattner5d0cacd2009-12-31 01:22:29 +0000327 return DbgNode->getNumOperands();
Devang Patel68afdc32009-01-05 18:33:01 +0000328}
Chris Lattnera45664f2008-11-10 02:56:27 +0000329
Eric Christophere6f774e2013-07-24 01:51:12 +0000330/// replaceAllUsesWith - Replace all uses of the MDNode used by this
331/// type with the one in the passed descriptor.
Dan Gohman489b29b2010-08-20 22:02:26 +0000332void DIType::replaceAllUsesWith(DIDescriptor &D) {
Eric Christophere6f774e2013-07-24 01:51:12 +0000333
334 assert(DbgNode && "Trying to replace an unverified type!");
Devang Patelc4999d72009-07-22 18:23:44 +0000335
Daniel Dunbar48a097b2009-09-22 02:03:18 +0000336 // Since we use a TrackingVH for the node, its easy for clients to manufacture
337 // legitimate situations where they want to replaceAllUsesWith() on something
338 // which, due to uniquing, has merged with the source. We shield clients from
339 // this detail by allowing a value to be replaced with replaceAllUsesWith()
340 // itself.
Devang Pateled66bf52010-05-07 18:19:32 +0000341 if (DbgNode != D) {
Devang Patele9f8f5e2010-05-07 20:54:48 +0000342 MDNode *Node = const_cast<MDNode*>(DbgNode);
343 const MDNode *DN = D;
344 const Value *V = cast_or_null<Value>(DN);
345 Node->replaceAllUsesWith(const_cast<Value*>(V));
Dan Gohman489b29b2010-08-20 22:02:26 +0000346 MDNode::deleteTemporary(Node);
Daniel Dunbar48a097b2009-09-22 02:03:18 +0000347 }
Devang Patelc4999d72009-07-22 18:23:44 +0000348}
349
Eric Christophere6f774e2013-07-24 01:51:12 +0000350/// replaceAllUsesWith - Replace all uses of the MDNode used by this
351/// type with the one in D.
Devang Patel0a2551d2010-12-08 20:18:20 +0000352void DIType::replaceAllUsesWith(MDNode *D) {
Eric Christophere6f774e2013-07-24 01:51:12 +0000353
354 assert(DbgNode && "Trying to replace an unverified type!");
Devang Patel0a2551d2010-12-08 20:18:20 +0000355
356 // Since we use a TrackingVH for the node, its easy for clients to manufacture
357 // legitimate situations where they want to replaceAllUsesWith() on something
358 // which, due to uniquing, has merged with the source. We shield clients from
359 // this detail by allowing a value to be replaced with replaceAllUsesWith()
360 // itself.
361 if (DbgNode != D) {
362 MDNode *Node = const_cast<MDNode*>(DbgNode);
363 const MDNode *DN = D;
364 const Value *V = cast_or_null<Value>(DN);
365 Node->replaceAllUsesWith(const_cast<Value*>(V));
366 MDNode::deleteTemporary(Node);
367 }
368}
369
Devang Patel6f9d8ff2011-08-15 17:57:41 +0000370/// isUnsignedDIType - Return true if type encoding is unsigned.
371bool DIType::isUnsignedDIType() {
372 DIDerivedType DTy(DbgNode);
373 if (DTy.Verify())
374 return DTy.getTypeDerivedFrom().isUnsignedDIType();
375
376 DIBasicType BTy(DbgNode);
377 if (BTy.Verify()) {
378 unsigned Encoding = BTy.getEncoding();
379 if (Encoding == dwarf::DW_ATE_unsigned ||
David Blaikiefe07db32013-01-19 23:00:25 +0000380 Encoding == dwarf::DW_ATE_unsigned_char ||
381 Encoding == dwarf::DW_ATE_boolean)
Devang Patel6f9d8ff2011-08-15 17:57:41 +0000382 return true;
383 }
384 return false;
385}
386
Devang Patelb79b5352009-01-19 23:21:49 +0000387/// Verify - Verify that a compile unit is well formed.
388bool DICompileUnit::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000389 if (!isCompileUnit())
Devang Patelb79b5352009-01-19 23:21:49 +0000390 return false;
Eric Christopher78ac65f2013-07-24 00:54:39 +0000391
392 // Don't bother verifying the compilation directory or producer string
393 // as those could be empty.
394 if (getFilename().empty())
Bill Wendling0582ae92009-03-13 04:39:26 +0000395 return false;
Eric Christopher78ac65f2013-07-24 00:54:39 +0000396
David Blaikiec462db62013-04-22 06:12:31 +0000397 return DbgNode->getNumOperands() == 13;
Devang Patelb79b5352009-01-19 23:21:49 +0000398}
399
Eric Christopherb8ca9882012-03-29 08:42:56 +0000400/// Verify - Verify that an ObjC property is well formed.
401bool DIObjCProperty::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000402 if (!isObjCProperty())
Eric Christopherb8ca9882012-03-29 08:42:56 +0000403 return false;
David Blaikiec0ec8a42013-03-11 23:39:23 +0000404
Eric Christopherb8ca9882012-03-29 08:42:56 +0000405 // Don't worry about the rest of the strings for now.
David Blaikiec0ec8a42013-03-11 23:39:23 +0000406 return DbgNode->getNumOperands() == 8;
Eric Christopherb8ca9882012-03-29 08:42:56 +0000407}
408
Manman Ren27ce44d2013-07-25 06:43:01 +0000409/// We allow an empty string to represent null. But we don't allow
410/// a non-empty string in a MDNode field.
411static bool fieldIsMDNode(const MDNode *DbgNode, unsigned Elt) {
412 Value *Fld = getField(DbgNode, Elt);
413 if (Fld && isa<MDString>(Fld) &&
414 !cast<MDString>(Fld)->getString().empty())
415 return false;
416 return true;
417}
418
Devang Patelb79b5352009-01-19 23:21:49 +0000419/// Verify - Verify that a type descriptor is well formed.
420bool DIType::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000421 if (!isType())
Devang Patelb79b5352009-01-19 23:21:49 +0000422 return false;
Eric Christopherbf7644a2013-07-24 00:54:36 +0000423 // FIXME: Sink this into the various subclass verifies.
Devang Patelb71bbf92010-11-02 20:41:13 +0000424 unsigned Tag = getTag();
425 if (!isBasicType() && Tag != dwarf::DW_TAG_const_type &&
426 Tag != dwarf::DW_TAG_volatile_type && Tag != dwarf::DW_TAG_pointer_type &&
David Blaikie62fdfb52013-01-07 05:51:15 +0000427 Tag != dwarf::DW_TAG_ptr_to_member_type &&
Eric Christopher791e6292012-05-19 01:36:37 +0000428 Tag != dwarf::DW_TAG_reference_type &&
429 Tag != dwarf::DW_TAG_rvalue_reference_type &&
Eric Christopherbf7644a2013-07-24 00:54:36 +0000430 Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_array_type &&
Eric Christopher791e6292012-05-19 01:36:37 +0000431 Tag != dwarf::DW_TAG_enumeration_type &&
432 Tag != dwarf::DW_TAG_subroutine_type &&
Eric Christopherbf7644a2013-07-24 00:54:36 +0000433 Tag != dwarf::DW_TAG_inheritance && Tag != dwarf::DW_TAG_friend &&
Eric Christopher791e6292012-05-19 01:36:37 +0000434 getFilename().empty())
Devang Patelb79b5352009-01-19 23:21:49 +0000435 return false;
Manman Ren9fd61782013-07-23 18:14:25 +0000436 // DIType is abstract, it should be a BasicType, a DerivedType or
437 // a CompositeType.
438 if (isBasicType())
439 DIBasicType(DbgNode).Verify();
440 else if (isCompositeType())
441 DICompositeType(DbgNode).Verify();
442 else if (isDerivedType())
443 DIDerivedType(DbgNode).Verify();
444 else
445 return false;
Devang Patelb79b5352009-01-19 23:21:49 +0000446 return true;
447}
448
Devang Patel0c4720c2010-08-23 18:25:56 +0000449/// Verify - Verify that a basic type descriptor is well formed.
450bool DIBasicType::Verify() const {
David Blaikie72dfb052013-03-28 02:44:59 +0000451 return isBasicType() && DbgNode->getNumOperands() == 10;
Devang Patel0c4720c2010-08-23 18:25:56 +0000452}
453
454/// Verify - Verify that a derived type descriptor is well formed.
455bool DIDerivedType::Verify() const {
Manman Ren27ce44d2013-07-25 06:43:01 +0000456 // Make sure DerivedFrom @ field 9 is MDNode.
457 if (!fieldIsMDNode(DbgNode, 9))
458 return false;
459 if (getTag() == dwarf::DW_TAG_ptr_to_member_type)
460 // Make sure ClassType @ field 10 is MDNode.
461 if (!fieldIsMDNode(DbgNode, 10))
462 return false;
463
David Blaikie72dfb052013-03-28 02:44:59 +0000464 return isDerivedType() && DbgNode->getNumOperands() >= 10 &&
465 DbgNode->getNumOperands() <= 14;
Devang Patel0c4720c2010-08-23 18:25:56 +0000466}
467
Devang Patelb79b5352009-01-19 23:21:49 +0000468/// Verify - Verify that a composite type descriptor is well formed.
469bool DICompositeType::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000470 if (!isCompositeType())
Devang Patelb79b5352009-01-19 23:21:49 +0000471 return false;
Devang Patelb79b5352009-01-19 23:21:49 +0000472
Manman Ren27ce44d2013-07-25 06:43:01 +0000473 // Make sure DerivedFrom @ field 9 and ContainingType @ field 12 are MDNodes.
474 if (!fieldIsMDNode(DbgNode, 9))
475 return false;
476 if (!fieldIsMDNode(DbgNode, 12))
477 return false;
478
David Blaikie72dfb052013-03-28 02:44:59 +0000479 return DbgNode->getNumOperands() >= 10 && DbgNode->getNumOperands() <= 14;
Devang Patelb79b5352009-01-19 23:21:49 +0000480}
481
482/// Verify - Verify that a subprogram descriptor is well formed.
483bool DISubprogram::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000484 if (!isSubprogram())
Devang Patelb79b5352009-01-19 23:21:49 +0000485 return false;
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000486
Manman Ren27ce44d2013-07-25 06:43:01 +0000487 // Make sure context @ field 2 and type @ field 7 are MDNodes.
488 if (!fieldIsMDNode(DbgNode, 2))
489 return false;
490 if (!fieldIsMDNode(DbgNode, 7))
491 return false;
492 // Containing type @ field 12.
493 if (!fieldIsMDNode(DbgNode, 12))
494 return false;
David Blaikie72dfb052013-03-28 02:44:59 +0000495 return DbgNode->getNumOperands() == 20;
Devang Patelb79b5352009-01-19 23:21:49 +0000496}
497
498/// Verify - Verify that a global variable descriptor is well formed.
499bool DIGlobalVariable::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000500 if (!isGlobalVariable())
Devang Patelb79b5352009-01-19 23:21:49 +0000501 return false;
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000502
Devang Patel65dbc902009-11-25 17:36:49 +0000503 if (getDisplayName().empty())
Devang Patel84c73e92009-11-06 17:58:12 +0000504 return false;
Manman Ren27ce44d2013-07-25 06:43:01 +0000505 // Make sure context @ field 2 and type @ field 8 are MDNodes.
506 if (!fieldIsMDNode(DbgNode, 2))
507 return false;
508 if (!fieldIsMDNode(DbgNode, 8))
509 return false;
510 // Make sure StaticDataMemberDeclaration @ field 12 is MDNode.
511 if (!fieldIsMDNode(DbgNode, 12))
512 return false;
Devang Patel84c73e92009-11-06 17:58:12 +0000513
David Blaikiec0ec8a42013-03-11 23:39:23 +0000514 return DbgNode->getNumOperands() == 13;
Devang Patelb79b5352009-01-19 23:21:49 +0000515}
516
517/// Verify - Verify that a variable descriptor is well formed.
518bool DIVariable::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000519 if (!isVariable())
Devang Patelb79b5352009-01-19 23:21:49 +0000520 return false;
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000521
Manman Ren27ce44d2013-07-25 06:43:01 +0000522 // Make sure context @ field 1 and type @ field 5 are MDNodes.
523 if (!fieldIsMDNode(DbgNode, 1))
524 return false;
525 if (!fieldIsMDNode(DbgNode, 5))
526 return false;
David Blaikiec0ec8a42013-03-11 23:39:23 +0000527 return DbgNode->getNumOperands() >= 8;
Devang Patelb79b5352009-01-19 23:21:49 +0000528}
529
Devang Patel3c91b052010-03-08 20:52:55 +0000530/// Verify - Verify that a location descriptor is well formed.
531bool DILocation::Verify() const {
532 if (!DbgNode)
533 return false;
Jim Grosbache62b6902010-07-21 21:36:25 +0000534
Devang Patel3c91b052010-03-08 20:52:55 +0000535 return DbgNode->getNumOperands() == 4;
536}
537
Devang Patel47e22652010-05-07 23:04:32 +0000538/// Verify - Verify that a namespace descriptor is well formed.
539bool DINameSpace::Verify() const {
David Blaikiec0ec8a42013-03-11 23:39:23 +0000540 if (!isNameSpace())
Devang Patel47e22652010-05-07 23:04:32 +0000541 return false;
David Blaikie72dfb052013-03-28 02:44:59 +0000542 return DbgNode->getNumOperands() == 5;
David Blaikiec0ec8a42013-03-11 23:39:23 +0000543}
544
David Blaikie4776bce2013-03-20 00:26:26 +0000545/// \brief Retrieve the MDNode for the directory/file pair.
546MDNode *DIFile::getFileNode() const {
Manman Rend2ed53c2013-07-23 20:39:32 +0000547 return getNodeField(DbgNode, 1);
David Blaikie4776bce2013-03-20 00:26:26 +0000548}
549
David Blaikiec0ec8a42013-03-11 23:39:23 +0000550/// \brief Verify that the file descriptor is well formed.
551bool DIFile::Verify() const {
David Blaikie72dfb052013-03-28 02:44:59 +0000552 return isFile() && DbgNode->getNumOperands() == 2;
David Blaikiec0ec8a42013-03-11 23:39:23 +0000553}
554
555/// \brief Verify that the enumerator descriptor is well formed.
556bool DIEnumerator::Verify() const {
557 return isEnumerator() && DbgNode->getNumOperands() == 3;
558}
559
560/// \brief Verify that the subrange descriptor is well formed.
561bool DISubrange::Verify() const {
562 return isSubrange() && DbgNode->getNumOperands() == 3;
563}
564
565/// \brief Verify that the lexical block descriptor is well formed.
566bool DILexicalBlock::Verify() const {
David Blaikie72dfb052013-03-28 02:44:59 +0000567 return isLexicalBlock() && DbgNode->getNumOperands() == 6;
David Blaikiec0ec8a42013-03-11 23:39:23 +0000568}
569
570/// \brief Verify that the file-scoped lexical block descriptor is well formed.
571bool DILexicalBlockFile::Verify() const {
David Blaikie72dfb052013-03-28 02:44:59 +0000572 return isLexicalBlockFile() && DbgNode->getNumOperands() == 3;
David Blaikiec0ec8a42013-03-11 23:39:23 +0000573}
574
575/// \brief Verify that the template type parameter descriptor is well formed.
576bool DITemplateTypeParameter::Verify() const {
577 return isTemplateTypeParameter() && DbgNode->getNumOperands() == 7;
578}
579
580/// \brief Verify that the template value parameter descriptor is well formed.
581bool DITemplateValueParameter::Verify() const {
582 return isTemplateValueParameter() && DbgNode->getNumOperands() == 8;
Devang Patel47e22652010-05-07 23:04:32 +0000583}
584
David Blaikiec462db62013-04-22 06:12:31 +0000585/// \brief Verify that the imported module descriptor is well formed.
David Blaikie20d9e412013-05-07 21:35:53 +0000586bool DIImportedEntity::Verify() const {
David Blaikie7b72cc72013-05-20 22:50:35 +0000587 return isImportedEntity() &&
588 (DbgNode->getNumOperands() == 4 || DbgNode->getNumOperands() == 5);
David Blaikiec462db62013-04-22 06:12:31 +0000589}
590
Devang Patel36375ee2009-02-17 21:23:59 +0000591/// getOriginalTypeSize - If this type is derived from a base type then
592/// return base type size.
593uint64_t DIDerivedType::getOriginalTypeSize() const {
Devang Patel61ecbd12009-11-04 23:48:00 +0000594 unsigned Tag = getTag();
Eric Christopher2e1b0c02011-12-16 23:42:45 +0000595
Bill Wendlinge8778242012-06-26 23:22:18 +0000596 if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
597 Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
598 Tag != dwarf::DW_TAG_restrict_type)
599 return getSizeInBits();
Jim Grosbache62b6902010-07-21 21:36:25 +0000600
Bill Wendlinge8778242012-06-26 23:22:18 +0000601 DIType BaseType = getTypeDerivedFrom();
602
603 // If this type is not derived from any type then take conservative approach.
604 if (!BaseType.isValid())
605 return getSizeInBits();
606
607 // If this is a derived type, go ahead and get the base type, unless it's a
608 // reference then it's just the size of the field. Pointer types have no need
609 // of this since they're a different type of qualification on the type.
610 if (BaseType.getTag() == dwarf::DW_TAG_reference_type ||
611 BaseType.getTag() == dwarf::DW_TAG_rvalue_reference_type)
612 return getSizeInBits();
613
614 if (BaseType.isDerivedType())
615 return DIDerivedType(BaseType).getOriginalTypeSize();
616
617 return BaseType.getSizeInBits();
Devang Patel36375ee2009-02-17 21:23:59 +0000618}
Devang Patelb79b5352009-01-19 23:21:49 +0000619
Devang Patel6588abf2012-02-06 17:49:43 +0000620/// getObjCProperty - Return property node, if this ivar is associated with one.
621MDNode *DIDerivedType::getObjCProperty() const {
Manman Rend2ed53c2013-07-23 20:39:32 +0000622 return getNodeField(DbgNode, 10);
Devang Patel6588abf2012-02-06 17:49:43 +0000623}
624
David Blaikief34ea642013-03-26 23:46:36 +0000625/// \brief Set the array of member DITypes.
David Blaikied072a162013-03-26 21:59:17 +0000626void DICompositeType::setTypeArray(DIArray Elements, DIArray TParams) {
David Blaikie72dfb052013-03-28 02:44:59 +0000627 assert((!TParams || DbgNode->getNumOperands() == 14) &&
Benjamin Kramer2b393fb2013-03-27 15:03:14 +0000628 "If you're setting the template parameters this should include a slot "
629 "for that!");
David Blaikied072a162013-03-26 21:59:17 +0000630 TrackingVH<MDNode> N(*this);
David Blaikie72dfb052013-03-28 02:44:59 +0000631 N->replaceOperandWith(10, Elements);
David Blaikied072a162013-03-26 21:59:17 +0000632 if (TParams)
David Blaikie72dfb052013-03-28 02:44:59 +0000633 N->replaceOperandWith(13, TParams);
David Blaikied072a162013-03-26 21:59:17 +0000634 DbgNode = N;
635}
636
David Blaikief34ea642013-03-26 23:46:36 +0000637/// \brief Set the containing type.
638void DICompositeType::setContainingType(DICompositeType ContainingType) {
639 TrackingVH<MDNode> N(*this);
David Blaikie72dfb052013-03-28 02:44:59 +0000640 N->replaceOperandWith(12, ContainingType);
David Blaikief34ea642013-03-26 23:46:36 +0000641 DbgNode = N;
642}
643
Jim Grosbache62b6902010-07-21 21:36:25 +0000644/// isInlinedFnArgument - Return true if this variable provides debugging
Devang Patel719f6a92010-04-29 20:40:36 +0000645/// information for an inlined function arguments.
646bool DIVariable::isInlinedFnArgument(const Function *CurFn) {
647 assert(CurFn && "Invalid function");
648 if (!getContext().isSubprogram())
649 return false;
Jim Grosbache62b6902010-07-21 21:36:25 +0000650 // This variable is not inlined function argument if its scope
Devang Patel719f6a92010-04-29 20:40:36 +0000651 // does not describe current function.
Bill Wendlinge8778242012-06-26 23:22:18 +0000652 return !DISubprogram(getContext()).describes(CurFn);
Devang Patel719f6a92010-04-29 20:40:36 +0000653}
654
Devang Patelaf5b6bb2009-04-15 00:06:07 +0000655/// describes - Return true if this subprogram provides debugging
656/// information for the function F.
657bool DISubprogram::describes(const Function *F) {
Chris Lattner099b7792009-12-29 09:22:47 +0000658 assert(F && "Invalid function");
Devang Patelffd33cd2010-06-16 06:42:02 +0000659 if (F == getFunction())
660 return true;
Devang Patel65dbc902009-11-25 17:36:49 +0000661 StringRef Name = getLinkageName();
662 if (Name.empty())
Devang Patel5ccdd102009-09-29 18:40:58 +0000663 Name = getName();
Devang Patel65dbc902009-11-25 17:36:49 +0000664 if (F->getName() == Name)
Devang Patelaf5b6bb2009-04-15 00:06:07 +0000665 return true;
666 return false;
667}
668
Jim Grosbache62b6902010-07-21 21:36:25 +0000669unsigned DISubprogram::isOptimized() const {
Devang Patelccff8122010-04-30 19:38:23 +0000670 assert (DbgNode && "Invalid subprogram descriptor!");
David Blaikie72dfb052013-03-28 02:44:59 +0000671 if (DbgNode->getNumOperands() == 15)
672 return getUnsignedField(14);
Devang Patelccff8122010-04-30 19:38:23 +0000673 return 0;
674}
675
Devang Patel93d39be2011-08-19 23:28:12 +0000676MDNode *DISubprogram::getVariablesNodes() const {
Manman Rend2ed53c2013-07-23 20:39:32 +0000677 return getNodeField(DbgNode, 18);
Devang Patel93d39be2011-08-19 23:28:12 +0000678}
679
680DIArray DISubprogram::getVariables() const {
Manman Ren4f2c2972013-07-23 23:07:38 +0000681 return DIArray(getNodeField(DbgNode, 18));
Devang Patel93d39be2011-08-19 23:28:12 +0000682}
683
David Blaikie4de9d722013-05-10 21:52:07 +0000684Value *DITemplateValueParameter::getValue() const {
685 return getField(DbgNode, 4);
686}
687
Devang Patel65dbc902009-11-25 17:36:49 +0000688StringRef DIScope::getFilename() const {
Devang Patel77bf2952010-03-08 22:02:50 +0000689 if (!DbgNode)
690 return StringRef();
David Blaikieb4cf0ab2013-03-17 21:13:55 +0000691 return ::getStringField(getNodeField(DbgNode, 1), 0);
Devang Patelecbeb1a2009-09-30 22:34:41 +0000692}
693
Devang Patel65dbc902009-11-25 17:36:49 +0000694StringRef DIScope::getDirectory() const {
Devang Patel77bf2952010-03-08 22:02:50 +0000695 if (!DbgNode)
696 return StringRef();
David Blaikieb4cf0ab2013-03-17 21:13:55 +0000697 return ::getStringField(getNodeField(DbgNode, 1), 1);
Devang Patelecbeb1a2009-09-30 22:34:41 +0000698}
699
Devang Patel94c7ddb2011-08-16 22:09:43 +0000700DIArray DICompileUnit::getEnumTypes() const {
David Blaikiec462db62013-04-22 06:12:31 +0000701 if (!DbgNode || DbgNode->getNumOperands() < 13)
David Blaikie72dfb052013-03-28 02:44:59 +0000702 return DIArray();
703
Manman Ren4f2c2972013-07-23 23:07:38 +0000704 return DIArray(getNodeField(DbgNode, 7));
David Blaikie72dfb052013-03-28 02:44:59 +0000705}
706
707DIArray DICompileUnit::getRetainedTypes() const {
David Blaikiec462db62013-04-22 06:12:31 +0000708 if (!DbgNode || DbgNode->getNumOperands() < 13)
David Blaikiede3077a2013-03-13 00:01:35 +0000709 return DIArray();
710
Manman Ren4f2c2972013-07-23 23:07:38 +0000711 return DIArray(getNodeField(DbgNode, 8));
David Blaikiede3077a2013-03-13 00:01:35 +0000712}
713
David Blaikie72dfb052013-03-28 02:44:59 +0000714DIArray DICompileUnit::getSubprograms() const {
David Blaikiec462db62013-04-22 06:12:31 +0000715 if (!DbgNode || DbgNode->getNumOperands() < 13)
David Blaikie46561ce2013-03-12 22:43:04 +0000716 return DIArray();
717
Manman Ren4f2c2972013-07-23 23:07:38 +0000718 return DIArray(getNodeField(DbgNode, 9));
David Blaikie46561ce2013-03-12 22:43:04 +0000719}
720
David Blaikie72dfb052013-03-28 02:44:59 +0000721
722DIArray DICompileUnit::getGlobalVariables() const {
David Blaikiec462db62013-04-22 06:12:31 +0000723 if (!DbgNode || DbgNode->getNumOperands() < 13)
Devang Patel94c7ddb2011-08-16 22:09:43 +0000724 return DIArray();
725
Manman Ren4f2c2972013-07-23 23:07:38 +0000726 return DIArray(getNodeField(DbgNode, 10));
Devang Patel94c7ddb2011-08-16 22:09:43 +0000727}
728
David Blaikie20d9e412013-05-07 21:35:53 +0000729DIArray DICompileUnit::getImportedEntities() const {
David Blaikiec462db62013-04-22 06:12:31 +0000730 if (!DbgNode || DbgNode->getNumOperands() < 13)
731 return DIArray();
732
Manman Ren4f2c2972013-07-23 23:07:38 +0000733 return DIArray(getNodeField(DbgNode, 11));
David Blaikiec462db62013-04-22 06:12:31 +0000734}
735
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +0000736/// fixupSubprogramName - Replace contains special characters used
Devang Patel62367042010-11-10 22:19:21 +0000737/// in a typical Objective-C names with '.' in a given string.
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +0000738static void fixupSubprogramName(DISubprogram Fn, SmallVectorImpl<char> &Out) {
739 StringRef FName =
740 Fn.getFunction() ? Fn.getFunction()->getName() : Fn.getName();
741 FName = Function::getRealLinkageName(FName);
742
743 StringRef Prefix("llvm.dbg.lv.");
744 Out.reserve(FName.size() + Prefix.size());
745 Out.append(Prefix.begin(), Prefix.end());
746
Benjamin Kramer1a81d482011-06-18 14:42:42 +0000747 bool isObjCLike = false;
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +0000748 for (size_t i = 0, e = FName.size(); i < e; ++i) {
749 char C = FName[i];
Benjamin Kramer1a81d482011-06-18 14:42:42 +0000750 if (C == '[')
751 isObjCLike = true;
752
753 if (isObjCLike && (C == '[' || C == ']' || C == ' ' || C == ':' ||
754 C == '+' || C == '(' || C == ')'))
755 Out.push_back('.');
756 else
757 Out.push_back(C);
Devang Patel62367042010-11-10 22:19:21 +0000758 }
759}
760
Eric Christopher5f214ae2012-11-20 00:15:36 +0000761/// getFnSpecificMDNode - Return a NameMDNode, if available, that is
Devang Patel62367042010-11-10 22:19:21 +0000762/// suitable to hold function specific information.
Devang Patel93d39be2011-08-19 23:28:12 +0000763NamedMDNode *llvm::getFnSpecificMDNode(const Module &M, DISubprogram Fn) {
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +0000764 SmallString<32> Name;
765 fixupSubprogramName(Fn, Name);
Benjamin Kramer1a81d482011-06-18 14:42:42 +0000766 return M.getNamedMetadata(Name.str());
Devang Patel62367042010-11-10 22:19:21 +0000767}
768
Duncan Sands291bb702011-03-02 20:30:37 +0000769/// getOrInsertFnSpecificMDNode - Return a NameMDNode that is suitable
770/// to hold function specific information.
Devang Patel93d39be2011-08-19 23:28:12 +0000771NamedMDNode *llvm::getOrInsertFnSpecificMDNode(Module &M, DISubprogram Fn) {
Benjamin Kramer7c2b4be2013-06-01 17:51:14 +0000772 SmallString<32> Name;
773 fixupSubprogramName(Fn, Name);
Benjamin Kramer1a81d482011-06-18 14:42:42 +0000774 return M.getOrInsertNamedMetadata(Name.str());
Devang Patel1a7ca032010-09-28 18:08:20 +0000775}
776
Devang Patel23336b42011-07-19 19:41:54 +0000777/// createInlinedVariable - Create a new inlined variable based on current
778/// variable.
779/// @param DV Current Variable.
780/// @param InlinedScope Location at current variable is inlined.
781DIVariable llvm::createInlinedVariable(MDNode *DV, MDNode *InlinedScope,
782 LLVMContext &VMContext) {
783 SmallVector<Value *, 16> Elts;
784 // Insert inlined scope as 7th element.
785 for (unsigned i = 0, e = DV->getNumOperands(); i != e; ++i)
786 i == 7 ? Elts.push_back(InlinedScope) :
787 Elts.push_back(DV->getOperand(i));
788 return DIVariable(MDNode::get(VMContext, Elts));
789}
Devang Patel1a7ca032010-09-28 18:08:20 +0000790
Devang Patelb549bcf2011-08-10 21:50:54 +0000791/// cleanseInlinedVariable - Remove inlined scope from the variable.
792DIVariable llvm::cleanseInlinedVariable(MDNode *DV, LLVMContext &VMContext) {
793 SmallVector<Value *, 16> Elts;
794 // Insert inlined scope as 7th element.
795 for (unsigned i = 0, e = DV->getNumOperands(); i != e; ++i)
Eric Christopher5f214ae2012-11-20 00:15:36 +0000796 i == 7 ?
Bill Wendling0735e812012-07-06 17:46:28 +0000797 Elts.push_back(Constant::getNullValue(Type::getInt32Ty(VMContext))):
Devang Patelb549bcf2011-08-10 21:50:54 +0000798 Elts.push_back(DV->getOperand(i));
799 return DIVariable(MDNode::get(VMContext, Elts));
800}
801
Bill Wendling0bcbd1d2012-06-28 00:05:13 +0000802/// getDISubprogram - Find subprogram that is enclosing this scope.
803DISubprogram llvm::getDISubprogram(const MDNode *Scope) {
804 DIDescriptor D(Scope);
805 if (D.isSubprogram())
806 return DISubprogram(Scope);
807
808 if (D.isLexicalBlockFile())
809 return getDISubprogram(DILexicalBlockFile(Scope).getContext());
Eric Christopher5f214ae2012-11-20 00:15:36 +0000810
Bill Wendling0bcbd1d2012-06-28 00:05:13 +0000811 if (D.isLexicalBlock())
812 return getDISubprogram(DILexicalBlock(Scope).getContext());
813
814 return DISubprogram();
815}
816
Eric Christopher7bb386a2013-07-09 00:16:56 +0000817/// getDICompositeType - Find underlying composite type.
818DICompositeType llvm::getDICompositeType(DIType T) {
819 if (T.isCompositeType())
820 return DICompositeType(T);
821
822 if (T.isDerivedType())
823 return getDICompositeType(DIDerivedType(T).getTypeDerivedFrom());
824
825 return DICompositeType();
826}
827
Bill Wendling0bcbd1d2012-06-28 00:05:13 +0000828/// isSubprogramContext - Return true if Context is either a subprogram
829/// or another context nested inside a subprogram.
830bool llvm::isSubprogramContext(const MDNode *Context) {
831 if (!Context)
832 return false;
833 DIDescriptor D(Context);
834 if (D.isSubprogram())
835 return true;
836 if (D.isType())
837 return isSubprogramContext(DIType(Context).getContext());
838 return false;
839}
840
Devang Pateld2f79a12009-07-28 19:55:13 +0000841//===----------------------------------------------------------------------===//
Devang Patel98c65172009-07-30 18:25:15 +0000842// DebugInfoFinder implementations.
Devang Pateld2f79a12009-07-28 19:55:13 +0000843//===----------------------------------------------------------------------===//
844
Manman Ren0e29eee2013-07-23 00:22:51 +0000845void DebugInfoFinder::reset() {
846 CUs.clear();
847 SPs.clear();
848 GVs.clear();
849 TYs.clear();
850 Scopes.clear();
851 NodesSeen.clear();
852}
853
Devang Patel98c65172009-07-30 18:25:15 +0000854/// processModule - Process entire module and collect debug info.
Eric Christopherc4639d62012-11-19 22:42:15 +0000855void DebugInfoFinder::processModule(const Module &M) {
Devang Patelcd2db162011-10-17 22:30:34 +0000856 if (NamedMDNode *CU_Nodes = M.getNamedMetadata("llvm.dbg.cu")) {
857 for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) {
858 DICompileUnit CU(CU_Nodes->getOperand(i));
859 addCompileUnit(CU);
David Blaikiec0ec8a42013-03-11 23:39:23 +0000860 DIArray GVs = CU.getGlobalVariables();
861 for (unsigned i = 0, e = GVs.getNumElements(); i != e; ++i) {
862 DIGlobalVariable DIG(GVs.getElement(i));
Manman Ren96ea0382013-07-20 00:38:46 +0000863 if (addGlobalVariable(DIG)) {
Manman Renfdd16bb2013-07-22 20:28:53 +0000864 processScope(DIG.getContext());
David Blaikiec0ec8a42013-03-11 23:39:23 +0000865 processType(DIG.getType());
Manman Ren96ea0382013-07-20 00:38:46 +0000866 }
Devang Patelcd2db162011-10-17 22:30:34 +0000867 }
David Blaikiec0ec8a42013-03-11 23:39:23 +0000868 DIArray SPs = CU.getSubprograms();
869 for (unsigned i = 0, e = SPs.getNumElements(); i != e; ++i)
870 processSubprogram(DISubprogram(SPs.getElement(i)));
871 DIArray EnumTypes = CU.getEnumTypes();
872 for (unsigned i = 0, e = EnumTypes.getNumElements(); i != e; ++i)
873 processType(DIType(EnumTypes.getElement(i)));
874 DIArray RetainedTypes = CU.getRetainedTypes();
875 for (unsigned i = 0, e = RetainedTypes.getNumElements(); i != e; ++i)
876 processType(DIType(RetainedTypes.getElement(i)));
877 // FIXME: We really shouldn't be bailing out after visiting just one CU
878 return;
Devang Patelcd2db162011-10-17 22:30:34 +0000879 }
880 }
Devang Pateld2f79a12009-07-28 19:55:13 +0000881}
Daniel Dunbarf612ff62009-09-19 20:40:05 +0000882
Devang Patel6daf99b2009-11-10 22:05:35 +0000883/// processLocation - Process DILocation.
884void DebugInfoFinder::processLocation(DILocation Loc) {
Devang Patel3c91b052010-03-08 20:52:55 +0000885 if (!Loc.Verify()) return;
Devang Patel2db49d72010-05-07 18:11:54 +0000886 DIDescriptor S(Loc.getScope());
Devang Patel6daf99b2009-11-10 22:05:35 +0000887 if (S.isCompileUnit())
Devang Patel2db49d72010-05-07 18:11:54 +0000888 addCompileUnit(DICompileUnit(S));
Devang Patel6daf99b2009-11-10 22:05:35 +0000889 else if (S.isSubprogram())
Devang Patel2db49d72010-05-07 18:11:54 +0000890 processSubprogram(DISubprogram(S));
Devang Patel6daf99b2009-11-10 22:05:35 +0000891 else if (S.isLexicalBlock())
Devang Patel2db49d72010-05-07 18:11:54 +0000892 processLexicalBlock(DILexicalBlock(S));
Eric Christopher6618a242011-10-11 22:59:11 +0000893 else if (S.isLexicalBlockFile()) {
894 DILexicalBlockFile DBF = DILexicalBlockFile(S);
895 processLexicalBlock(DILexicalBlock(DBF.getScope()));
896 }
Devang Patel6daf99b2009-11-10 22:05:35 +0000897 processLocation(Loc.getOrigLocation());
898}
899
Devang Patel98c65172009-07-30 18:25:15 +0000900/// processType - Process DIType.
901void DebugInfoFinder::processType(DIType DT) {
Devang Patel72bcdb62009-08-10 22:09:58 +0000902 if (!addType(DT))
Devang Pateld2f79a12009-07-28 19:55:13 +0000903 return;
Manman Renfdd16bb2013-07-22 20:28:53 +0000904 processScope(DT.getContext());
Devang Patel6ceea332009-08-31 18:49:10 +0000905 if (DT.isCompositeType()) {
Devang Patel2db49d72010-05-07 18:11:54 +0000906 DICompositeType DCT(DT);
Devang Patel98c65172009-07-30 18:25:15 +0000907 processType(DCT.getTypeDerivedFrom());
Devang Pateld2f79a12009-07-28 19:55:13 +0000908 DIArray DA = DCT.getTypeArray();
Devang Patel3c91b052010-03-08 20:52:55 +0000909 for (unsigned i = 0, e = DA.getNumElements(); i != e; ++i) {
910 DIDescriptor D = DA.getElement(i);
911 if (D.isType())
Devang Patel2db49d72010-05-07 18:11:54 +0000912 processType(DIType(D));
Devang Patel3c91b052010-03-08 20:52:55 +0000913 else if (D.isSubprogram())
Devang Patel2db49d72010-05-07 18:11:54 +0000914 processSubprogram(DISubprogram(D));
Devang Patel3c91b052010-03-08 20:52:55 +0000915 }
Devang Patel6ceea332009-08-31 18:49:10 +0000916 } else if (DT.isDerivedType()) {
Devang Patel2db49d72010-05-07 18:11:54 +0000917 DIDerivedType DDT(DT);
Devang Patel3c91b052010-03-08 20:52:55 +0000918 processType(DDT.getTypeDerivedFrom());
Devang Pateld2f79a12009-07-28 19:55:13 +0000919 }
920}
921
Manman Renfdd16bb2013-07-22 20:28:53 +0000922void DebugInfoFinder::processScope(DIScope Scope) {
923 if (Scope.isType()) {
924 DIType Ty(Scope);
925 processType(Ty);
926 return;
927 }
Manman Ren7894ffd2013-07-23 23:10:00 +0000928 if (Scope.isCompileUnit()) {
929 addCompileUnit(DICompileUnit(Scope));
930 return;
931 }
932 if (Scope.isSubprogram()) {
933 processSubprogram(DISubprogram(Scope));
934 return;
935 }
Manman Renfdd16bb2013-07-22 20:28:53 +0000936 if (!addScope(Scope))
937 return;
938 if (Scope.isLexicalBlock()) {
939 DILexicalBlock LB(Scope);
940 processScope(LB.getContext());
941 } else if (Scope.isLexicalBlockFile()) {
942 DILexicalBlockFile LBF = DILexicalBlockFile(Scope);
943 processScope(LBF.getScope());
944 } else if (Scope.isNameSpace()) {
945 DINameSpace NS(Scope);
946 processScope(NS.getContext());
947 }
948}
949
Devang Patelbeab41b2009-10-07 22:04:08 +0000950/// processLexicalBlock
951void DebugInfoFinder::processLexicalBlock(DILexicalBlock LB) {
Devang Patelbeab41b2009-10-07 22:04:08 +0000952 DIScope Context = LB.getContext();
953 if (Context.isLexicalBlock())
Devang Patel2db49d72010-05-07 18:11:54 +0000954 return processLexicalBlock(DILexicalBlock(Context));
Eric Christopher6618a242011-10-11 22:59:11 +0000955 else if (Context.isLexicalBlockFile()) {
956 DILexicalBlockFile DBF = DILexicalBlockFile(Context);
957 return processLexicalBlock(DILexicalBlock(DBF.getScope()));
958 }
Devang Patelbeab41b2009-10-07 22:04:08 +0000959 else
Devang Patel2db49d72010-05-07 18:11:54 +0000960 return processSubprogram(DISubprogram(Context));
Devang Patelbeab41b2009-10-07 22:04:08 +0000961}
962
Devang Patel98c65172009-07-30 18:25:15 +0000963/// processSubprogram - Process DISubprogram.
964void DebugInfoFinder::processSubprogram(DISubprogram SP) {
Devang Pateld2f79a12009-07-28 19:55:13 +0000965 if (!addSubprogram(SP))
966 return;
Manman Renfdd16bb2013-07-22 20:28:53 +0000967 processScope(SP.getContext());
Devang Patel98c65172009-07-30 18:25:15 +0000968 processType(SP.getType());
Devang Pateld2f79a12009-07-28 19:55:13 +0000969}
970
Devang Patelb4d31302009-07-31 18:18:52 +0000971/// processDeclare - Process DbgDeclareInst.
Eric Christopherc4639d62012-11-19 22:42:15 +0000972void DebugInfoFinder::processDeclare(const DbgDeclareInst *DDI) {
Devang Patel3c91b052010-03-08 20:52:55 +0000973 MDNode *N = dyn_cast<MDNode>(DDI->getVariable());
974 if (!N) return;
975
976 DIDescriptor DV(N);
977 if (!DV.isVariable())
Devang Patelb4d31302009-07-31 18:18:52 +0000978 return;
979
Devang Patel2db49d72010-05-07 18:11:54 +0000980 if (!NodesSeen.insert(DV))
Devang Patelb4d31302009-07-31 18:18:52 +0000981 return;
Manman Ren7894ffd2013-07-23 23:10:00 +0000982 processScope(DIVariable(N).getContext());
Devang Patel3c91b052010-03-08 20:52:55 +0000983 processType(DIVariable(N).getType());
Devang Patelb4d31302009-07-31 18:18:52 +0000984}
985
Manman Ren0e29eee2013-07-23 00:22:51 +0000986void DebugInfoFinder::processValue(const DbgValueInst *DVI) {
987 MDNode *N = dyn_cast<MDNode>(DVI->getVariable());
988 if (!N) return;
989
990 DIDescriptor DV(N);
991 if (!DV.isVariable())
992 return;
993
994 if (!NodesSeen.insert(DV))
995 return;
Manman Ren504a7fb2013-07-24 17:10:09 +0000996 processScope(DIVariable(N).getContext());
Manman Ren0e29eee2013-07-23 00:22:51 +0000997 processType(DIVariable(N).getType());
998}
999
Devang Patel72bcdb62009-08-10 22:09:58 +00001000/// addType - Add type into Tys.
1001bool DebugInfoFinder::addType(DIType DT) {
Devang Patel3c91b052010-03-08 20:52:55 +00001002 if (!DT.isValid())
Devang Patel72bcdb62009-08-10 22:09:58 +00001003 return false;
1004
Devang Patel2db49d72010-05-07 18:11:54 +00001005 if (!NodesSeen.insert(DT))
Devang Patel72bcdb62009-08-10 22:09:58 +00001006 return false;
1007
Devang Patel2db49d72010-05-07 18:11:54 +00001008 TYs.push_back(DT);
Devang Patel72bcdb62009-08-10 22:09:58 +00001009 return true;
1010}
1011
Devang Pateld2f79a12009-07-28 19:55:13 +00001012/// addCompileUnit - Add compile unit into CUs.
Devang Patel98c65172009-07-30 18:25:15 +00001013bool DebugInfoFinder::addCompileUnit(DICompileUnit CU) {
Devang Patel3c91b052010-03-08 20:52:55 +00001014 if (!CU.Verify())
Devang Pateld2f79a12009-07-28 19:55:13 +00001015 return false;
1016
Devang Patel2db49d72010-05-07 18:11:54 +00001017 if (!NodesSeen.insert(CU))
Devang Pateld2f79a12009-07-28 19:55:13 +00001018 return false;
1019
Devang Patel2db49d72010-05-07 18:11:54 +00001020 CUs.push_back(CU);
Devang Pateld2f79a12009-07-28 19:55:13 +00001021 return true;
1022}
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001023
Devang Pateld2f79a12009-07-28 19:55:13 +00001024/// addGlobalVariable - Add global variable into GVs.
Devang Patel98c65172009-07-30 18:25:15 +00001025bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) {
Devang Patel2db49d72010-05-07 18:11:54 +00001026 if (!DIDescriptor(DIG).isGlobalVariable())
Devang Pateld2f79a12009-07-28 19:55:13 +00001027 return false;
1028
Devang Patel2db49d72010-05-07 18:11:54 +00001029 if (!NodesSeen.insert(DIG))
Devang Pateld2f79a12009-07-28 19:55:13 +00001030 return false;
1031
Devang Patel2db49d72010-05-07 18:11:54 +00001032 GVs.push_back(DIG);
Devang Pateld2f79a12009-07-28 19:55:13 +00001033 return true;
1034}
1035
1036// addSubprogram - Add subprgoram into SPs.
Devang Patel98c65172009-07-30 18:25:15 +00001037bool DebugInfoFinder::addSubprogram(DISubprogram SP) {
Devang Patel2db49d72010-05-07 18:11:54 +00001038 if (!DIDescriptor(SP).isSubprogram())
Devang Pateld2f79a12009-07-28 19:55:13 +00001039 return false;
Daniel Dunbarf612ff62009-09-19 20:40:05 +00001040
Devang Patel2db49d72010-05-07 18:11:54 +00001041 if (!NodesSeen.insert(SP))
Devang Pateld2f79a12009-07-28 19:55:13 +00001042 return false;
1043
Devang Patel2db49d72010-05-07 18:11:54 +00001044 SPs.push_back(SP);
Devang Pateld2f79a12009-07-28 19:55:13 +00001045 return true;
1046}
1047
Manman Ren96ea0382013-07-20 00:38:46 +00001048bool DebugInfoFinder::addScope(DIScope Scope) {
1049 if (!Scope)
1050 return false;
1051 if (!NodesSeen.insert(Scope))
1052 return false;
1053 Scopes.push_back(Scope);
1054 return true;
1055}
1056
Bill Wendlinge8778242012-06-26 23:22:18 +00001057//===----------------------------------------------------------------------===//
1058// DIDescriptor: dump routines for all descriptors.
1059//===----------------------------------------------------------------------===//
1060
1061/// dump - Print descriptor to dbgs() with a newline.
1062void DIDescriptor::dump() const {
1063 print(dbgs()); dbgs() << '\n';
1064}
1065
1066/// print - Print descriptor.
1067void DIDescriptor::print(raw_ostream &OS) const {
1068 if (!DbgNode) return;
1069
Bill Wendling97a75922012-06-28 02:17:58 +00001070 if (const char *Tag = dwarf::TagString(getTag()))
1071 OS << "[ " << Tag << " ]";
Bill Wendlinge8778242012-06-26 23:22:18 +00001072
1073 if (this->isSubrange()) {
1074 DISubrange(DbgNode).printInternal(OS);
Bill Wendlinge8778242012-06-26 23:22:18 +00001075 } else if (this->isCompileUnit()) {
1076 DICompileUnit(DbgNode).printInternal(OS);
1077 } else if (this->isFile()) {
1078 DIFile(DbgNode).printInternal(OS);
1079 } else if (this->isEnumerator()) {
1080 DIEnumerator(DbgNode).printInternal(OS);
1081 } else if (this->isBasicType()) {
1082 DIType(DbgNode).printInternal(OS);
1083 } else if (this->isDerivedType()) {
1084 DIDerivedType(DbgNode).printInternal(OS);
1085 } else if (this->isCompositeType()) {
1086 DICompositeType(DbgNode).printInternal(OS);
1087 } else if (this->isSubprogram()) {
1088 DISubprogram(DbgNode).printInternal(OS);
1089 } else if (this->isGlobalVariable()) {
1090 DIGlobalVariable(DbgNode).printInternal(OS);
1091 } else if (this->isVariable()) {
1092 DIVariable(DbgNode).printInternal(OS);
Bill Wendling2da1a162012-07-06 19:12:31 +00001093 } else if (this->isObjCProperty()) {
1094 DIObjCProperty(DbgNode).printInternal(OS);
David Blaikie1cd30fd2013-03-20 05:14:14 +00001095 } else if (this->isNameSpace()) {
1096 DINameSpace(DbgNode).printInternal(OS);
Bill Wendling625252f2012-07-06 23:06:16 +00001097 } else if (this->isScope()) {
1098 DIScope(DbgNode).printInternal(OS);
Bill Wendlinge8778242012-06-26 23:22:18 +00001099 }
1100}
1101
1102void DISubrange::printInternal(raw_ostream &OS) const {
Bill Wendling9493dae2012-12-04 21:34:03 +00001103 int64_t Count = getCount();
1104 if (Count != -1)
1105 OS << " [" << getLo() << ", " << Count - 1 << ']';
1106 else
Bill Wendling46defa52012-12-05 21:43:30 +00001107 OS << " [unbounded]";
Bill Wendlinge8778242012-06-26 23:22:18 +00001108}
1109
1110void DIScope::printInternal(raw_ostream &OS) const {
1111 OS << " [" << getDirectory() << "/" << getFilename() << ']';
1112}
1113
1114void DICompileUnit::printInternal(raw_ostream &OS) const {
1115 DIScope::printInternal(OS);
David Blaikie2ca02c62013-04-17 03:41:36 +00001116 OS << " [";
1117 unsigned Lang = getLanguage();
1118 if (const char *LangStr = dwarf::LanguageString(Lang))
1119 OS << LangStr;
1120 else
1121 (OS << "lang 0x").write_hex(Lang);
1122 OS << ']';
Bill Wendlinge8778242012-06-26 23:22:18 +00001123}
1124
1125void DIEnumerator::printInternal(raw_ostream &OS) const {
1126 OS << " [" << getName() << " :: " << getEnumValue() << ']';
1127}
1128
1129void DIType::printInternal(raw_ostream &OS) const {
1130 if (!DbgNode) return;
1131
1132 StringRef Res = getName();
1133 if (!Res.empty())
1134 OS << " [" << Res << "]";
1135
1136 // TODO: Print context?
1137
1138 OS << " [line " << getLineNumber()
1139 << ", size " << getSizeInBits()
1140 << ", align " << getAlignInBits()
1141 << ", offset " << getOffsetInBits();
1142 if (isBasicType())
Eric Christopher5f214ae2012-11-20 00:15:36 +00001143 if (const char *Enc =
Bill Wendlingfc1c70a2012-06-28 02:12:20 +00001144 dwarf::AttributeEncodingString(DIBasicType(DbgNode).getEncoding()))
1145 OS << ", enc " << Enc;
Bill Wendlinge8778242012-06-26 23:22:18 +00001146 OS << "]";
1147
1148 if (isPrivate())
1149 OS << " [private]";
1150 else if (isProtected())
1151 OS << " [protected]";
1152
David Blaikie0fecdfb2013-01-08 00:31:02 +00001153 if (isArtificial())
1154 OS << " [artificial]";
1155
Bill Wendlinge8778242012-06-26 23:22:18 +00001156 if (isForwardDecl())
David Blaikiee954d982013-06-21 03:41:54 +00001157 OS << " [decl]";
1158 else if (getTag() == dwarf::DW_TAG_structure_type ||
1159 getTag() == dwarf::DW_TAG_union_type ||
1160 getTag() == dwarf::DW_TAG_enumeration_type ||
1161 getTag() == dwarf::DW_TAG_class_type)
1162 OS << " [def]";
Eric Christopher9a1e0e22013-01-08 01:53:52 +00001163 if (isVector())
1164 OS << " [vector]";
Eric Christopher6b6061f2013-01-16 01:22:23 +00001165 if (isStaticMember())
1166 OS << " [static]";
Bill Wendlinge8778242012-06-26 23:22:18 +00001167}
1168
1169void DIDerivedType::printInternal(raw_ostream &OS) const {
1170 DIType::printInternal(OS);
1171 OS << " [from " << getTypeDerivedFrom().getName() << ']';
1172}
1173
1174void DICompositeType::printInternal(raw_ostream &OS) const {
1175 DIType::printInternal(OS);
1176 DIArray A = getTypeArray();
1177 OS << " [" << A.getNumElements() << " elements]";
1178}
1179
David Blaikie1cd30fd2013-03-20 05:14:14 +00001180void DINameSpace::printInternal(raw_ostream &OS) const {
1181 StringRef Name = getName();
1182 if (!Name.empty())
1183 OS << " [" << Name << ']';
1184
1185 OS << " [line " << getLineNumber() << ']';
1186}
1187
Bill Wendlinge8778242012-06-26 23:22:18 +00001188void DISubprogram::printInternal(raw_ostream &OS) const {
Bill Wendlinge8778242012-06-26 23:22:18 +00001189 // TODO : Print context
Bill Wendlinge8778242012-06-26 23:22:18 +00001190 OS << " [line " << getLineNumber() << ']';
1191
1192 if (isLocalToUnit())
1193 OS << " [local]";
1194
1195 if (isDefinition())
1196 OS << " [def]";
1197
1198 if (getScopeLineNumber() != getLineNumber())
1199 OS << " [scope " << getScopeLineNumber() << "]";
Bill Wendlingee17cee2012-07-06 23:43:12 +00001200
David Blaikiee302b6c2013-01-05 21:39:33 +00001201 if (isPrivate())
1202 OS << " [private]";
1203 else if (isProtected())
1204 OS << " [protected]";
1205
Bill Wendlingee17cee2012-07-06 23:43:12 +00001206 StringRef Res = getName();
1207 if (!Res.empty())
1208 OS << " [" << Res << ']';
Bill Wendlinge8778242012-06-26 23:22:18 +00001209}
1210
1211void DIGlobalVariable::printInternal(raw_ostream &OS) const {
1212 StringRef Res = getName();
1213 if (!Res.empty())
1214 OS << " [" << Res << ']';
1215
1216 OS << " [line " << getLineNumber() << ']';
1217
1218 // TODO : Print context
1219
1220 if (isLocalToUnit())
1221 OS << " [local]";
1222
1223 if (isDefinition())
1224 OS << " [def]";
1225}
1226
1227void DIVariable::printInternal(raw_ostream &OS) const {
1228 StringRef Res = getName();
1229 if (!Res.empty())
1230 OS << " [" << Res << ']';
1231
1232 OS << " [line " << getLineNumber() << ']';
1233}
1234
Bill Wendling2da1a162012-07-06 19:12:31 +00001235void DIObjCProperty::printInternal(raw_ostream &OS) const {
1236 StringRef Name = getObjCPropertyName();
1237 if (!Name.empty())
1238 OS << " [" << Name << ']';
1239
1240 OS << " [line " << getLineNumber()
1241 << ", properties " << getUnsignedField(6) << ']';
1242}
1243
Bill Wendlinge8778242012-06-26 23:22:18 +00001244static void printDebugLoc(DebugLoc DL, raw_ostream &CommentOS,
1245 const LLVMContext &Ctx) {
1246 if (!DL.isUnknown()) { // Print source line info.
1247 DIScope Scope(DL.getScope(Ctx));
Manman Renc7b61c62013-07-01 18:20:30 +00001248 assert(Scope.isScope() &&
1249 "Scope of a DebugLoc should be a DIScope.");
Bill Wendlinge8778242012-06-26 23:22:18 +00001250 // Omit the directory, because it's likely to be long and uninteresting.
Manman Renc7b61c62013-07-01 18:20:30 +00001251 CommentOS << Scope.getFilename();
Bill Wendlinge8778242012-06-26 23:22:18 +00001252 CommentOS << ':' << DL.getLine();
1253 if (DL.getCol() != 0)
1254 CommentOS << ':' << DL.getCol();
1255 DebugLoc InlinedAtDL = DebugLoc::getFromDILocation(DL.getInlinedAt(Ctx));
1256 if (!InlinedAtDL.isUnknown()) {
1257 CommentOS << " @[ ";
1258 printDebugLoc(InlinedAtDL, CommentOS, Ctx);
1259 CommentOS << " ]";
1260 }
1261 }
1262}
1263
1264void DIVariable::printExtendedName(raw_ostream &OS) const {
1265 const LLVMContext &Ctx = DbgNode->getContext();
1266 StringRef Res = getName();
1267 if (!Res.empty())
1268 OS << Res << "," << getLineNumber();
1269 if (MDNode *InlinedAt = getInlinedAt()) {
1270 DebugLoc InlinedAtDL = DebugLoc::getFromDILocation(InlinedAt);
1271 if (!InlinedAtDL.isUnknown()) {
1272 OS << " @[";
1273 printDebugLoc(InlinedAtDL, OS, Ctx);
1274 OS << "]";
1275 }
1276 }
1277}