blob: fddd23b4e9c3c6884c542cad0501dc18a4f36afd [file] [log] [blame]
Daniel Dunbara290ded2008-10-31 03:54:29 +00001//===--- CGDebugInfo.h - DebugInfo for LLVM CodeGen -------------*- C++ -*-===//
Sanjiv Gupta15cb6692008-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 Stump11289f42009-09-09 15:08:12 +000010// This is the source level debug info generator for llvm translation.
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000011//
12//===----------------------------------------------------------------------===//
13
14#ifndef CLANG_CODEGEN_CGDEBUGINFO_H
15#define CLANG_CODEGEN_CGDEBUGINFO_H
16
Sanjiv Gupta98070572008-05-25 05:15:42 +000017#include "clang/AST/Type.h"
Mike Stump2e722b92009-09-30 02:43:10 +000018#include "clang/AST/Expr.h"
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000019#include "clang/Basic/SourceLocation.h"
Chris Lattneraffb3732008-11-10 06:08:34 +000020#include "llvm/ADT/DenseMap.h"
21#include "llvm/Analysis/DebugInfo.h"
Daniel Dunbar1cbaae52009-09-19 19:27:24 +000022#include "llvm/Support/ValueHandle.h"
Devang Patel934661e2010-01-14 00:36:21 +000023#include "llvm/Support/Allocator.h"
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000024#include <map>
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000025
Daniel Dunbarcb463852008-11-01 01:53:16 +000026#include "CGBuilder.h"
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000027
Daniel Dunbar1cbaae52009-09-19 19:27:24 +000028namespace llvm {
29 class MDNode;
30}
31
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000032namespace clang {
Sanjiv Gupta18de6242008-05-30 10:30:31 +000033 class VarDecl;
Devang Patelf4c205b2009-02-26 21:10:26 +000034 class ObjCInterfaceDecl;
Daniel Dunbarcb463852008-11-01 01:53:16 +000035
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000036namespace CodeGen {
37 class CodeGenModule;
Mike Stump2e722b92009-09-30 02:43:10 +000038 class CodeGenFunction;
Devang Patel934661e2010-01-14 00:36:21 +000039 class GlobalDecl;
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000040
Mike Stump11289f42009-09-09 15:08:12 +000041/// CGDebugInfo - This class gathers all debug information during compilation
42/// and is responsible for emitting to llvm globals or pass directly to
Sanjiv Gupta98070572008-05-25 05:15:42 +000043/// the backend.
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000044class CGDebugInfo {
Anders Carlsson3efc6e62009-12-06 18:00:51 +000045 CodeGenModule &CGM;
Devang Patela6acb392009-04-23 18:09:16 +000046 bool isMainCompileUnitCreated;
Chris Lattneraffb3732008-11-10 06:08:34 +000047 llvm::DIFactory DebugFactory;
Mike Stump11289f42009-09-09 15:08:12 +000048
Chris Lattneraffb3732008-11-10 06:08:34 +000049 SourceLocation CurLoc, PrevLoc;
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000050
51 /// CompileUnitCache - Cache of previously constructed CompileUnits.
Devang Patel75009452009-04-17 21:06:59 +000052 llvm::DenseMap<unsigned, llvm::DICompileUnit> CompileUnitCache;
Sanjiv Gupta98070572008-05-25 05:15:42 +000053
54 /// TypeCache - Cache of previously constructed Types.
Chris Lattneraffb3732008-11-10 06:08:34 +000055 // FIXME: Eliminate this map. Be careful of iterator invalidation.
Daniel Dunbar99961382009-09-19 20:17:48 +000056 std::map<void *, llvm::WeakVH> TypeCache;
Mike Stump11289f42009-09-09 15:08:12 +000057
Mike Stump31f099c2009-05-14 02:03:51 +000058 bool BlockLiteralGenericSet;
59 llvm::DIType BlockLiteralGeneric;
60
Devang Patelb40f2952009-11-13 19:10:24 +000061 std::vector<llvm::TrackingVH<llvm::MDNode> > RegionStack;
Eli Friedman17630752008-05-22 01:40:10 +000062
Devang Patel934661e2010-01-14 00:36:21 +000063 /// FunctionNames - This is a storage for function names that are
64 /// constructed on demand. For example, C++ destructors, C++ operators etc..
65 llvm::BumpPtrAllocator FunctionNames;
66
Devang Patel7a12ad02010-01-19 01:54:44 +000067 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH> SPCache;
68
Sanjiv Gupta98070572008-05-25 05:15:42 +000069 /// Helper functions for getOrCreateType.
Chris Lattneraffb3732008-11-10 06:08:34 +000070 llvm::DIType CreateType(const BuiltinType *Ty, llvm::DICompileUnit U);
Chris Lattner7b0344f2009-04-23 06:13:01 +000071 llvm::DIType CreateType(const ComplexType *Ty, llvm::DICompileUnit U);
John McCall0cf15512009-09-25 01:40:47 +000072 llvm::DIType CreateQualifiedType(QualType Ty, llvm::DICompileUnit U);
Chris Lattneraffb3732008-11-10 06:08:34 +000073 llvm::DIType CreateType(const TypedefType *Ty, llvm::DICompileUnit U);
Mike Stump11289f42009-09-09 15:08:12 +000074 llvm::DIType CreateType(const ObjCObjectPointerType *Ty,
Daniel Dunbarf5c79702009-07-14 01:20:56 +000075 llvm::DICompileUnit Unit);
Chris Lattneraffb3732008-11-10 06:08:34 +000076 llvm::DIType CreateType(const PointerType *Ty, llvm::DICompileUnit U);
Mike Stump31f099c2009-05-14 02:03:51 +000077 llvm::DIType CreateType(const BlockPointerType *Ty, llvm::DICompileUnit U);
Chris Lattneraffb3732008-11-10 06:08:34 +000078 llvm::DIType CreateType(const FunctionType *Ty, llvm::DICompileUnit U);
79 llvm::DIType CreateType(const TagType *Ty, llvm::DICompileUnit U);
80 llvm::DIType CreateType(const RecordType *Ty, llvm::DICompileUnit U);
Devang Patelf4c205b2009-02-26 21:10:26 +000081 llvm::DIType CreateType(const ObjCInterfaceType *Ty, llvm::DICompileUnit U);
Chris Lattneraffb3732008-11-10 06:08:34 +000082 llvm::DIType CreateType(const EnumType *Ty, llvm::DICompileUnit U);
83 llvm::DIType CreateType(const ArrayType *Ty, llvm::DICompileUnit U);
Anders Carlsson443f6772009-11-06 19:19:55 +000084 llvm::DIType CreateType(const LValueReferenceType *Ty, llvm::DICompileUnit U);
Anders Carlsson3efc6e62009-12-06 18:00:51 +000085 llvm::DIType CreateType(const MemberPointerType *Ty, llvm::DICompileUnit U);
86
Anders Carlsson443f6772009-11-06 19:19:55 +000087 llvm::DIType CreatePointerLikeType(unsigned Tag,
88 const Type *Ty, QualType PointeeTy,
89 llvm::DICompileUnit U);
Devang Patel7a12ad02010-01-19 01:54:44 +000090 void CollectCXXMemberFunctions(const CXXRecordDecl *Decl,
91 llvm::DICompileUnit U,
92 llvm::SmallVectorImpl<llvm::DIDescriptor> &E,
93 llvm::DICompositeType &T);
Devang Patel889ce762010-01-19 00:00:59 +000094 void CollectRecordFields(const RecordDecl *Decl, llvm::DICompileUnit U,
95 llvm::SmallVectorImpl<llvm::DIDescriptor> &E);
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000096public:
Anders Carlsson3efc6e62009-12-06 18:00:51 +000097 CGDebugInfo(CodeGenModule &CGM);
Sanjiv Gupta15cb6692008-05-08 08:54:20 +000098 ~CGDebugInfo();
99
Daniel Dunbarb9fd9022008-10-17 16:15:48 +0000100 /// setLocation - Update the current source location. If \arg loc is
101 /// invalid it is ignored.
Chris Lattneraffb3732008-11-10 06:08:34 +0000102 void setLocation(SourceLocation Loc);
Sanjiv Gupta15cb6692008-05-08 08:54:20 +0000103
104 /// EmitStopPoint - Emit a call to llvm.dbg.stoppoint to indicate a change of
105 /// source line.
Daniel Dunbarcb463852008-11-01 01:53:16 +0000106 void EmitStopPoint(llvm::Function *Fn, CGBuilderTy &Builder);
Sanjiv Gupta98070572008-05-25 05:15:42 +0000107
108 /// EmitFunctionStart - Emit a call to llvm.dbg.function.start to indicate
Daniel Dunbar354d2782008-10-18 18:22:23 +0000109 /// start of a new function.
Devang Patel934661e2010-01-14 00:36:21 +0000110 void EmitFunctionStart(GlobalDecl GD, QualType FnType,
Daniel Dunbarcb463852008-11-01 01:53:16 +0000111 llvm::Function *Fn, CGBuilderTy &Builder);
Mike Stump11289f42009-09-09 15:08:12 +0000112
Sanjiv Gupta98070572008-05-25 05:15:42 +0000113 /// EmitRegionStart - Emit a call to llvm.dbg.region.start to indicate start
Mike Stump11289f42009-09-09 15:08:12 +0000114 /// of a new block.
Daniel Dunbarcb463852008-11-01 01:53:16 +0000115 void EmitRegionStart(llvm::Function *Fn, CGBuilderTy &Builder);
Mike Stump11289f42009-09-09 15:08:12 +0000116
117 /// EmitRegionEnd - Emit call to llvm.dbg.region.end to indicate end of a
Sanjiv Gupta15cb6692008-05-08 08:54:20 +0000118 /// block.
Daniel Dunbarcb463852008-11-01 01:53:16 +0000119 void EmitRegionEnd(llvm::Function *Fn, CGBuilderTy &Builder);
Sanjiv Gupta18de6242008-05-30 10:30:31 +0000120
Chris Lattneraffb3732008-11-10 06:08:34 +0000121 /// EmitDeclareOfAutoVariable - Emit call to llvm.dbg.declare for an automatic
122 /// variable declaration.
123 void EmitDeclareOfAutoVariable(const VarDecl *Decl, llvm::Value *AI,
124 CGBuilderTy &Builder);
Sanjiv Gupta158143a2008-06-05 08:59:10 +0000125
Mike Stump2e722b92009-09-30 02:43:10 +0000126 /// EmitDeclareOfBlockDeclRefVariable - Emit call to llvm.dbg.declare for an
127 /// imported variable declaration in a block.
128 void EmitDeclareOfBlockDeclRefVariable(const BlockDeclRefExpr *BDRE,
129 llvm::Value *AI,
130 CGBuilderTy &Builder,
131 CodeGenFunction *CGF);
132
Chris Lattneraffb3732008-11-10 06:08:34 +0000133 /// EmitDeclareOfArgVariable - Emit call to llvm.dbg.declare for an argument
134 /// variable declaration.
135 void EmitDeclareOfArgVariable(const VarDecl *Decl, llvm::Value *AI,
136 CGBuilderTy &Builder);
Mike Stump11289f42009-09-09 15:08:12 +0000137
Sanjiv Gupta158143a2008-06-05 08:59:10 +0000138 /// EmitGlobalVariable - Emit information about a global variable.
Chris Lattneraffb3732008-11-10 06:08:34 +0000139 void EmitGlobalVariable(llvm::GlobalVariable *GV, const VarDecl *Decl);
Devang Patelf4c205b2009-02-26 21:10:26 +0000140
141 /// EmitGlobalVariable - Emit information about an objective-c interface.
142 void EmitGlobalVariable(llvm::GlobalVariable *GV, ObjCInterfaceDecl *Decl);
Mike Stump11289f42009-09-09 15:08:12 +0000143
Chris Lattner7d7fff22008-11-03 09:11:11 +0000144private:
Chris Lattneraffb3732008-11-10 06:08:34 +0000145 /// EmitDeclare - Emit call to llvm.dbg.declare for a variable declaration.
146 void EmitDeclare(const VarDecl *decl, unsigned Tag, llvm::Value *AI,
147 CGBuilderTy &Builder);
Mike Stump11289f42009-09-09 15:08:12 +0000148
Mike Stump2e722b92009-09-30 02:43:10 +0000149 /// EmitDeclare - Emit call to llvm.dbg.declare for a variable declaration.
150 void EmitDeclare(const BlockDeclRefExpr *BDRE, unsigned Tag, llvm::Value *AI,
151 CGBuilderTy &Builder, CodeGenFunction *CGF);
Mike Stump11289f42009-09-09 15:08:12 +0000152
Devang Patelfaf7e9a2009-10-06 00:35:31 +0000153 /// getContext - Get context info for the decl.
154 llvm::DIDescriptor getContext(const VarDecl *Decl,llvm::DIDescriptor &CU);
155
Sanjiv Gupta98070572008-05-25 05:15:42 +0000156 /// getOrCreateCompileUnit - Get the compile unit from the cache or create a
157 /// new one if necessary.
Chris Lattneraffb3732008-11-10 06:08:34 +0000158 llvm::DICompileUnit getOrCreateCompileUnit(SourceLocation Loc);
Sanjiv Gupta98070572008-05-25 05:15:42 +0000159
160 /// getOrCreateType - Get the type from the cache or create a new type if
161 /// necessary.
Chris Lattneraffb3732008-11-10 06:08:34 +0000162 llvm::DIType getOrCreateType(QualType Ty, llvm::DICompileUnit Unit);
Daniel Dunbarde870bd2009-09-19 19:27:14 +0000163
164 /// CreateTypeNode - Create type metadata for a source language type.
165 llvm::DIType CreateTypeNode(QualType Ty, llvm::DICompileUnit Unit);
Devang Patel934661e2010-01-14 00:36:21 +0000166
167 /// getFunctionName - Get function name for the given FunctionDecl. If the
168 /// name is constructred on demand (e.g. C++ destructor) then the name
169 /// is stored on the side.
170 llvm::StringRef getFunctionName(const FunctionDecl *FD);
Sanjiv Gupta15cb6692008-05-08 08:54:20 +0000171};
172} // namespace CodeGen
173} // namespace clang
174
Devang Patel5d90d622009-10-06 18:36:08 +0000175
Sanjiv Gupta15cb6692008-05-08 08:54:20 +0000176#endif