blob: 27d991bbee420acb24c3ed0f3d212e81661a4d58 [file] [log] [blame]
Daniel Dunbar3845f862008-10-31 03:54:29 +00001//===--- CGDebugInfo.h - DebugInfo for LLVM CodeGen -------------*- C++ -*-===//
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00002//
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//
Mike Stump1eb44332009-09-09 15:08:12 +000010// This is the source level debug info generator for llvm translation.
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000011//
12//===----------------------------------------------------------------------===//
13
14#ifndef CLANG_CODEGEN_CGDEBUGINFO_H
15#define CLANG_CODEGEN_CGDEBUGINFO_H
16
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000017#include "clang/AST/Type.h"
Mike Stumpb1a6e682009-09-30 02:43:10 +000018#include "clang/AST/Expr.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000019#include "clang/Basic/SourceLocation.h"
Chris Lattner9c85ba32008-11-10 06:08:34 +000020#include "llvm/ADT/DenseMap.h"
21#include "llvm/Analysis/DebugInfo.h"
Devang Patel823d8e92010-12-08 22:42:58 +000022#include "llvm/Analysis/DIBuilder.h"
Daniel Dunbar23e81ba2009-09-19 19:27:24 +000023#include "llvm/Support/ValueHandle.h"
Devang Patel9c6c3a02010-01-14 00:36:21 +000024#include "llvm/Support/Allocator.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000025
Daniel Dunbar45d196b2008-11-01 01:53:16 +000026#include "CGBuilder.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000027
Daniel Dunbar23e81ba2009-09-19 19:27:24 +000028namespace llvm {
29 class MDNode;
30}
31
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000032namespace clang {
Sanjiv Guptacc9b1632008-05-30 10:30:31 +000033 class VarDecl;
Devang Patel9ca36b62009-02-26 21:10:26 +000034 class ObjCInterfaceDecl;
Devang Patel9c1714b2011-04-05 17:30:54 +000035 class ClassTemplateSpecializationDecl;
Daniel Dunbar45d196b2008-11-01 01:53:16 +000036
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000037namespace CodeGen {
38 class CodeGenModule;
Mike Stumpb1a6e682009-09-30 02:43:10 +000039 class CodeGenFunction;
Devang Patel9c6c3a02010-01-14 00:36:21 +000040 class GlobalDecl;
John McCall6b5a61b2011-02-07 10:33:21 +000041 class CGBlockInfo;
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000042
Mike Stump1eb44332009-09-09 15:08:12 +000043/// CGDebugInfo - This class gathers all debug information during compilation
44/// and is responsible for emitting to llvm globals or pass directly to
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000045/// the backend.
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000046class CGDebugInfo {
Anders Carlsson20f12a22009-12-06 18:00:51 +000047 CodeGenModule &CGM;
Devang Patel823d8e92010-12-08 22:42:58 +000048 llvm::DIBuilder DBuilder;
Devang Patel17800552010-03-09 00:44:50 +000049 llvm::DICompileUnit TheCU;
Chris Lattner9c85ba32008-11-10 06:08:34 +000050 SourceLocation CurLoc, PrevLoc;
Devang Patel4ce3f202010-01-28 18:11:52 +000051 llvm::DIType VTablePtrType;
Devang Patel17800552010-03-09 00:44:50 +000052
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000053 /// TypeCache - Cache of previously constructed Types.
Ted Kremenek590838b2010-03-29 18:29:57 +000054 llvm::DenseMap<void *, llvm::WeakVH> TypeCache;
Mike Stump1eb44332009-09-09 15:08:12 +000055
Mike Stump9bc093c2009-05-14 02:03:51 +000056 bool BlockLiteralGenericSet;
57 llvm::DIType BlockLiteralGeneric;
58
Devang Patel8fae0602009-11-13 19:10:24 +000059 std::vector<llvm::TrackingVH<llvm::MDNode> > RegionStack;
Devang Patel3dd96a12010-01-29 18:11:03 +000060 llvm::DenseMap<const Decl *, llvm::WeakVH> RegionMap;
Devang Patel5a6fbcf2010-07-22 22:29:16 +000061 // FnBeginRegionCount - Keep track of RegionStack counter at the beginning
62 // of a function. This is used to pop unbalanced regions at the end of a
63 // function.
64 std::vector<unsigned> FnBeginRegionCount;
65
66 /// LineDirectiveFiles - This stack is used to keep track of
67 /// scopes introduced by #line directives.
68 std::vector<const char *> LineDirectiveFiles;
Eli Friedman3f2af102008-05-22 01:40:10 +000069
Devang Patel89f05f82010-01-28 18:21:00 +000070 /// DebugInfoNames - This is a storage for names that are
Devang Patel9c6c3a02010-01-14 00:36:21 +000071 /// constructed on demand. For example, C++ destructors, C++ operators etc..
Devang Patel89f05f82010-01-28 18:21:00 +000072 llvm::BumpPtrAllocator DebugInfoNames;
Devang Patelac4d13c2010-07-27 15:17:16 +000073 llvm::StringRef CWDName;
Devang Patel9c6c3a02010-01-14 00:36:21 +000074
Ted Kremenek9c250392010-03-30 00:27:51 +000075 llvm::DenseMap<const char *, llvm::WeakVH> DIFileCache;
Devang Patel4125fd22010-01-19 01:54:44 +000076 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH> SPCache;
Devang Patelabb485f2010-02-01 19:16:32 +000077 llvm::DenseMap<const NamespaceDecl *, llvm::WeakVH> NameSpaceCache;
Devang Patel4125fd22010-01-19 01:54:44 +000078
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000079 /// Helper functions for getOrCreateType.
Devang Patelf1d1d9a2010-11-01 16:52:40 +000080 llvm::DIType CreateType(const BuiltinType *Ty);
Devang Patel344ff5d2010-12-09 00:25:29 +000081 llvm::DIType CreateType(const ComplexType *Ty);
Devang Patel17800552010-03-09 00:44:50 +000082 llvm::DIType CreateQualifiedType(QualType Ty, llvm::DIFile F);
83 llvm::DIType CreateType(const TypedefType *Ty, llvm::DIFile F);
Mike Stump1eb44332009-09-09 15:08:12 +000084 llvm::DIType CreateType(const ObjCObjectPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +000085 llvm::DIFile F);
86 llvm::DIType CreateType(const PointerType *Ty, llvm::DIFile F);
87 llvm::DIType CreateType(const BlockPointerType *Ty, llvm::DIFile F);
88 llvm::DIType CreateType(const FunctionType *Ty, llvm::DIFile F);
Devang Patel31f7d022011-01-17 22:23:07 +000089 llvm::DIType CreateType(const TagType *Ty);
90 llvm::DIType CreateType(const RecordType *Ty);
Devang Patel17800552010-03-09 00:44:50 +000091 llvm::DIType CreateType(const ObjCInterfaceType *Ty, llvm::DIFile F);
John McCallc12c5bb2010-05-15 11:32:37 +000092 llvm::DIType CreateType(const ObjCObjectType *Ty, llvm::DIFile F);
Devang Patel17800552010-03-09 00:44:50 +000093 llvm::DIType CreateType(const VectorType *Ty, llvm::DIFile F);
94 llvm::DIType CreateType(const ArrayType *Ty, llvm::DIFile F);
95 llvm::DIType CreateType(const LValueReferenceType *Ty, llvm::DIFile F);
Douglas Gregor36b8ee62011-01-22 01:58:15 +000096 llvm::DIType CreateType(const RValueReferenceType *Ty, llvm::DIFile Unit);
Devang Patel17800552010-03-09 00:44:50 +000097 llvm::DIType CreateType(const MemberPointerType *Ty, llvm::DIFile F);
Devang Patel31f7d022011-01-17 22:23:07 +000098 llvm::DIType CreateEnumType(const EnumDecl *ED);
Devang Patela6da1922010-01-28 00:28:01 +000099 llvm::DIType getOrCreateMethodType(const CXXMethodDecl *Method,
Devang Patel17800552010-03-09 00:44:50 +0000100 llvm::DIFile F);
101 llvm::DIType getOrCreateVTablePtrType(llvm::DIFile F);
Devang Patel170cef32010-12-09 00:33:05 +0000102 llvm::DINameSpace getOrCreateNameSpace(const NamespaceDecl *N);
Devang Patelc69e1cf2010-09-30 19:05:55 +0000103 llvm::DIType CreatePointeeType(QualType PointeeTy, llvm::DIFile F);
Anders Carlssona031b352009-11-06 19:19:55 +0000104 llvm::DIType CreatePointerLikeType(unsigned Tag,
105 const Type *Ty, QualType PointeeTy,
Devang Patel17800552010-03-09 00:44:50 +0000106 llvm::DIFile F);
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000107
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000108 llvm::DISubprogram CreateCXXMemberFunction(const CXXMethodDecl *Method,
Devang Patel17800552010-03-09 00:44:50 +0000109 llvm::DIFile F,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000110 llvm::DIType RecordTy);
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000111
Devang Patel4125fd22010-01-19 01:54:44 +0000112 void CollectCXXMemberFunctions(const CXXRecordDecl *Decl,
Devang Patel17800552010-03-09 00:44:50 +0000113 llvm::DIFile F,
Devang Patel823d8e92010-12-08 22:42:58 +0000114 llvm::SmallVectorImpl<llvm::Value *> &E,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000115 llvm::DIType T);
Devang Patel2ed8f002010-08-27 17:47:47 +0000116
117 void CollectCXXFriends(const CXXRecordDecl *Decl,
118 llvm::DIFile F,
Devang Patel823d8e92010-12-08 22:42:58 +0000119 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Devang Patel2ed8f002010-08-27 17:47:47 +0000120 llvm::DIType RecordTy);
121
Devang Patela245c5b2010-01-25 23:32:18 +0000122 void CollectCXXBases(const CXXRecordDecl *Decl,
Devang Patel17800552010-03-09 00:44:50 +0000123 llvm::DIFile F,
Devang Patel823d8e92010-12-08 22:42:58 +0000124 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000125 llvm::DIType RecordTy);
Devang Patel5ecb1df2011-04-05 22:54:11 +0000126
127 llvm::DIArray
128 CollectTemplateParams(const TemplateParameterList *TPList,
129 const TemplateArgumentList &TAList,
130 llvm::DIFile Unit);
131 llvm::DIArray
132 CollectFunctionTemplateParams(const FunctionDecl *FD, llvm::DIFile Unit);
Devang Patel9c1714b2011-04-05 17:30:54 +0000133 llvm::DIArray
134 CollectCXXTemplateParams(const ClassTemplateSpecializationDecl *TS,
135 llvm::DIFile F);
136
John McCall8178df32011-02-22 22:38:33 +0000137 llvm::DIType createFieldType(llvm::StringRef name, QualType type,
138 Expr *bitWidth, SourceLocation loc,
139 AccessSpecifier AS, uint64_t offsetInBits,
140 llvm::DIFile tunit);
Devang Patel17800552010-03-09 00:44:50 +0000141 void CollectRecordFields(const RecordDecl *Decl, llvm::DIFile F,
Devang Patel823d8e92010-12-08 22:42:58 +0000142 llvm::SmallVectorImpl<llvm::Value *> &E);
Devang Patel4ce3f202010-01-28 18:11:52 +0000143
Anders Carlsson046c2942010-04-17 20:15:18 +0000144 void CollectVTableInfo(const CXXRecordDecl *Decl,
Devang Patel17800552010-03-09 00:44:50 +0000145 llvm::DIFile F,
Devang Patel823d8e92010-12-08 22:42:58 +0000146 llvm::SmallVectorImpl<llvm::Value *> &EltTys);
Devang Patel4ce3f202010-01-28 18:11:52 +0000147
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000148public:
Anders Carlsson20f12a22009-12-06 18:00:51 +0000149 CGDebugInfo(CodeGenModule &CGM);
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000150 ~CGDebugInfo();
151
Daniel Dunbar66031a52008-10-17 16:15:48 +0000152 /// setLocation - Update the current source location. If \arg loc is
153 /// invalid it is ignored.
Chris Lattner9c85ba32008-11-10 06:08:34 +0000154 void setLocation(SourceLocation Loc);
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000155
156 /// EmitStopPoint - Emit a call to llvm.dbg.stoppoint to indicate a change of
157 /// source line.
Devang Patel4d939e62010-07-20 22:20:10 +0000158 void EmitStopPoint(CGBuilderTy &Builder);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000159
160 /// EmitFunctionStart - Emit a call to llvm.dbg.function.start to indicate
Daniel Dunbar2284ac92008-10-18 18:22:23 +0000161 /// start of a new function.
Devang Patel9c6c3a02010-01-14 00:36:21 +0000162 void EmitFunctionStart(GlobalDecl GD, QualType FnType,
Daniel Dunbar45d196b2008-11-01 01:53:16 +0000163 llvm::Function *Fn, CGBuilderTy &Builder);
Mike Stump1eb44332009-09-09 15:08:12 +0000164
Devang Patel5a6fbcf2010-07-22 22:29:16 +0000165 /// EmitFunctionEnd - Constructs the debug code for exiting a function.
166 void EmitFunctionEnd(CGBuilderTy &Builder);
167
168 /// UpdateLineDirectiveRegion - Update region stack only if #line directive
169 /// has introduced scope change.
170 void UpdateLineDirectiveRegion(CGBuilderTy &Builder);
171
Devang Patele80d5672011-03-23 16:29:39 +0000172 /// UpdateCompletedType - Update type cache because the type is now
173 /// translated.
174 void UpdateCompletedType(const TagDecl *TD);
175
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000176 /// EmitRegionStart - Emit a call to llvm.dbg.region.start to indicate start
Mike Stump1eb44332009-09-09 15:08:12 +0000177 /// of a new block.
Devang Patel4d939e62010-07-20 22:20:10 +0000178 void EmitRegionStart(CGBuilderTy &Builder);
Mike Stump1eb44332009-09-09 15:08:12 +0000179
180 /// EmitRegionEnd - Emit call to llvm.dbg.region.end to indicate end of a
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000181 /// block.
Devang Patel4d939e62010-07-20 22:20:10 +0000182 void EmitRegionEnd(CGBuilderTy &Builder);
Sanjiv Guptacc9b1632008-05-30 10:30:31 +0000183
Chris Lattner9c85ba32008-11-10 06:08:34 +0000184 /// EmitDeclareOfAutoVariable - Emit call to llvm.dbg.declare for an automatic
185 /// variable declaration.
186 void EmitDeclareOfAutoVariable(const VarDecl *Decl, llvm::Value *AI,
187 CGBuilderTy &Builder);
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000188
Mike Stumpb1a6e682009-09-30 02:43:10 +0000189 /// EmitDeclareOfBlockDeclRefVariable - Emit call to llvm.dbg.declare for an
190 /// imported variable declaration in a block.
John McCall6b5a61b2011-02-07 10:33:21 +0000191 void EmitDeclareOfBlockDeclRefVariable(const VarDecl *variable,
192 llvm::Value *storage,
Mike Stumpb1a6e682009-09-30 02:43:10 +0000193 CGBuilderTy &Builder,
John McCall6b5a61b2011-02-07 10:33:21 +0000194 const CGBlockInfo &blockInfo);
Mike Stumpb1a6e682009-09-30 02:43:10 +0000195
Chris Lattner9c85ba32008-11-10 06:08:34 +0000196 /// EmitDeclareOfArgVariable - Emit call to llvm.dbg.declare for an argument
197 /// variable declaration.
198 void EmitDeclareOfArgVariable(const VarDecl *Decl, llvm::Value *AI,
Devang Patel093ac462011-03-03 20:13:15 +0000199 unsigned ArgNo, CGBuilderTy &Builder);
Mike Stump1eb44332009-09-09 15:08:12 +0000200
John McCall8178df32011-02-22 22:38:33 +0000201 /// EmitDeclareOfBlockLiteralArgVariable - Emit call to
202 /// llvm.dbg.declare for the block-literal argument to a block
203 /// invocation function.
204 void EmitDeclareOfBlockLiteralArgVariable(const CGBlockInfo &block,
205 llvm::Value *addr,
206 CGBuilderTy &Builder);
207
Sanjiv Gupta686226b2008-06-05 08:59:10 +0000208 /// EmitGlobalVariable - Emit information about a global variable.
Chris Lattner9c85ba32008-11-10 06:08:34 +0000209 void EmitGlobalVariable(llvm::GlobalVariable *GV, const VarDecl *Decl);
Devang Patel9ca36b62009-02-26 21:10:26 +0000210
211 /// EmitGlobalVariable - Emit information about an objective-c interface.
212 void EmitGlobalVariable(llvm::GlobalVariable *GV, ObjCInterfaceDecl *Decl);
Mike Stump1eb44332009-09-09 15:08:12 +0000213
Devang Patel25c2c8f2010-08-10 17:53:33 +0000214 /// EmitGlobalVariable - Emit global variable's debug info.
John McCall189d6ef2010-10-09 01:34:31 +0000215 void EmitGlobalVariable(const ValueDecl *VD, llvm::Constant *Init);
Devang Patel8d308382010-08-10 07:24:25 +0000216
Devang Patelc69e1cf2010-09-30 19:05:55 +0000217 /// getOrCreateRecordType - Emit record type's standalone debug info.
218 llvm::DIType getOrCreateRecordType(QualType Ty, SourceLocation L);
Chris Lattner86cd8af2008-11-03 09:11:11 +0000219private:
Chris Lattner9c85ba32008-11-10 06:08:34 +0000220 /// EmitDeclare - Emit call to llvm.dbg.declare for a variable declaration.
221 void EmitDeclare(const VarDecl *decl, unsigned Tag, llvm::Value *AI,
Devang Patel093ac462011-03-03 20:13:15 +0000222 unsigned ArgNo, CGBuilderTy &Builder);
Mike Stump1eb44332009-09-09 15:08:12 +0000223
Devang Patel809b9bb2010-02-10 18:49:08 +0000224 // EmitTypeForVarWithBlocksAttr - Build up structure info for the byref.
225 // See BuildByRefType.
226 llvm::DIType EmitTypeForVarWithBlocksAttr(const ValueDecl *VD,
227 uint64_t *OffSet);
228
Devang Patel33583052010-01-28 23:15:27 +0000229 /// getContextDescriptor - Get context info for the decl.
Devang Patel170cef32010-12-09 00:33:05 +0000230 llvm::DIDescriptor getContextDescriptor(const Decl *Decl);
Devang Patel979ec2e2009-10-06 00:35:31 +0000231
Devang Patelac4d13c2010-07-27 15:17:16 +0000232 /// getCurrentDirname - Return current directory name.
233 llvm::StringRef getCurrentDirname();
234
Devang Patel17800552010-03-09 00:44:50 +0000235 /// CreateCompileUnit - Create new compile unit.
236 void CreateCompileUnit();
237
238 /// getOrCreateFile - Get the file debug info descriptor for the input
239 /// location.
240 llvm::DIFile getOrCreateFile(SourceLocation Loc);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000241
Devang Patel532105f2010-10-28 22:03:20 +0000242 /// getOrCreateMainFile - Get the file info for main compile unit.
243 llvm::DIFile getOrCreateMainFile();
244
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000245 /// getOrCreateType - Get the type from the cache or create a new type if
246 /// necessary.
Devang Patel17800552010-03-09 00:44:50 +0000247 llvm::DIType getOrCreateType(QualType Ty, llvm::DIFile F);
Daniel Dunbar03faac32009-09-19 19:27:14 +0000248
249 /// CreateTypeNode - Create type metadata for a source language type.
Devang Patel17800552010-03-09 00:44:50 +0000250 llvm::DIType CreateTypeNode(QualType Ty, llvm::DIFile F);
Devang Patel9c6c3a02010-01-14 00:36:21 +0000251
Benjamin Kramerd3651cc2010-04-24 20:26:20 +0000252 /// CreateMemberType - Create new member and increase Offset by FType's size.
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000253 llvm::DIType CreateMemberType(llvm::DIFile Unit, QualType FType,
254 llvm::StringRef Name, uint64_t *Offset);
255
Devang Patel120bf322011-04-23 00:08:01 +0000256 /// getFunctionDeclaration - Return debug info descriptor to describe method
257 /// declaration for the given method definition.
258 llvm::DISubprogram getFunctionDeclaration(const Decl *D);
259
Devang Patel9c6c3a02010-01-14 00:36:21 +0000260 /// getFunctionName - Get function name for the given FunctionDecl. If the
261 /// name is constructred on demand (e.g. C++ destructor) then the name
262 /// is stored on the side.
263 llvm::StringRef getFunctionName(const FunctionDecl *FD);
Devang Patelcebbedd2010-10-12 23:24:54 +0000264
David Chisnall52044a22010-09-02 18:01:51 +0000265 /// getObjCMethodName - Returns the unmangled name of an Objective-C method.
266 /// This is the display name for the debugging info.
267 llvm::StringRef getObjCMethodName(const ObjCMethodDecl *FD);
Devang Patel4ce3f202010-01-28 18:11:52 +0000268
Devang Patel1f15c192011-04-18 17:30:25 +0000269 /// getSelectorName - Return selector name. This is used for debugging
Devang Patel90c1eed2011-04-16 00:37:51 +0000270 /// info.
271 llvm::StringRef getSelectorName(Selector S);
272
Devang Patel700a1cb2010-07-20 20:24:18 +0000273 /// getClassName - Get class name including template argument list.
274 llvm::StringRef getClassName(RecordDecl *RD);
275
Anders Carlsson046c2942010-04-17 20:15:18 +0000276 /// getVTableName - Get vtable name for the given Class.
277 llvm::StringRef getVTableName(const CXXRecordDecl *Decl);
Devang Patel4ce3f202010-01-28 18:11:52 +0000278
Devang Patel8ab870d2010-05-12 23:46:38 +0000279 /// getLineNumber - Get line number for the location. If location is invalid
280 /// then use current location.
281 unsigned getLineNumber(SourceLocation Loc);
282
283 /// getColumnNumber - Get column number for the location. If location is
284 /// invalid then use current location.
285 unsigned getColumnNumber(SourceLocation Loc);
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000286};
287} // namespace CodeGen
288} // namespace clang
289
Devang Patelbbd9fa42009-10-06 18:36:08 +0000290
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000291#endif