blob: 4b2b9085169006ea1f22c0406ec775f8681243e8 [file] [log] [blame]
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001//===--- CGDebugInfo.cpp - Emit Debug Information for a Module ------------===//
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 coordinates the debug information generation while generating code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CGDebugInfo.h"
Mike Stumpb1a6e682009-09-30 02:43:10 +000015#include "CodeGenFunction.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000016#include "CodeGenModule.h"
John McCalld16c2cf2011-02-08 08:22:06 +000017#include "CGBlocks.h"
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000018#include "clang/AST/ASTContext.h"
Devang Patel2ed8f002010-08-27 17:47:47 +000019#include "clang/AST/DeclFriend.h"
Devang Patel9ca36b62009-02-26 21:10:26 +000020#include "clang/AST/DeclObjC.h"
Devang Patel700a1cb2010-07-20 20:24:18 +000021#include "clang/AST/DeclTemplate.h"
Chris Lattner3cc5c402008-11-11 07:01:36 +000022#include "clang/AST/Expr.h"
Anders Carlsson19cc4ab2009-07-18 19:43:29 +000023#include "clang/AST/RecordLayout.h"
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000024#include "clang/Basic/SourceManager.h"
25#include "clang/Basic/FileManager.h"
Mike Stump5a862172009-09-15 21:48:34 +000026#include "clang/Basic/Version.h"
Chandler Carruth06057ce2010-06-15 23:19:56 +000027#include "clang/Frontend/CodeGenOptions.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000028#include "llvm/Constants.h"
29#include "llvm/DerivedTypes.h"
30#include "llvm/Instructions.h"
31#include "llvm/Intrinsics.h"
32#include "llvm/Module.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000033#include "llvm/ADT/StringExtras.h"
34#include "llvm/ADT/SmallVector.h"
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000035#include "llvm/Support/Dwarf.h"
Michael J. Spencer03013fa2010-11-29 18:12:39 +000036#include "llvm/Support/Path.h"
John McCall6b5a61b2011-02-07 10:33:21 +000037#include "llvm/Target/TargetData.h"
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000038#include "llvm/Target/TargetMachine.h"
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000039using namespace clang;
40using namespace clang::CodeGen;
41
Anders Carlsson20f12a22009-12-06 18:00:51 +000042CGDebugInfo::CGDebugInfo(CodeGenModule &CGM)
Devang Patel823d8e92010-12-08 22:42:58 +000043 : CGM(CGM), DBuilder(CGM.getModule()),
Dan Gohman4cac5b42010-08-20 22:02:57 +000044 BlockLiteralGenericSet(false) {
Devang Patel17800552010-03-09 00:44:50 +000045 CreateCompileUnit();
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000046}
47
Chris Lattner9c85ba32008-11-10 06:08:34 +000048CGDebugInfo::~CGDebugInfo() {
Daniel Dunbar66031a52008-10-17 16:15:48 +000049 assert(RegionStack.empty() && "Region stack mismatch, stack not empty!");
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000050}
51
Chris Lattner9c85ba32008-11-10 06:08:34 +000052void CGDebugInfo::setLocation(SourceLocation Loc) {
53 if (Loc.isValid())
Anders Carlsson20f12a22009-12-06 18:00:51 +000054 CurLoc = CGM.getContext().getSourceManager().getInstantiationLoc(Loc);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +000055}
56
Devang Patel33583052010-01-28 23:15:27 +000057/// getContextDescriptor - Get context info for the decl.
Devang Patel170cef32010-12-09 00:33:05 +000058llvm::DIDescriptor CGDebugInfo::getContextDescriptor(const Decl *Context) {
Devang Pateleb6d79b2010-02-01 21:34:11 +000059 if (!Context)
Devang Patel170cef32010-12-09 00:33:05 +000060 return TheCU;
Devang Pateleb6d79b2010-02-01 21:34:11 +000061
62 llvm::DenseMap<const Decl *, llvm::WeakVH>::iterator
63 I = RegionMap.find(Context);
64 if (I != RegionMap.end())
Gabor Greif38c9b172010-09-18 13:00:17 +000065 return llvm::DIDescriptor(dyn_cast_or_null<llvm::MDNode>(&*I->second));
Devang Patel411894b2010-02-01 22:40:08 +000066
Devang Pateleb6d79b2010-02-01 21:34:11 +000067 // Check namespace.
68 if (const NamespaceDecl *NSDecl = dyn_cast<NamespaceDecl>(Context))
Devang Patel170cef32010-12-09 00:33:05 +000069 return llvm::DIDescriptor(getOrCreateNameSpace(NSDecl));
Devang Patel8b90a782010-05-13 23:52:37 +000070
71 if (const RecordDecl *RDecl = dyn_cast<RecordDecl>(Context)) {
72 if (!RDecl->isDependentType()) {
Devang Patela2e57692010-10-28 17:27:32 +000073 llvm::DIType Ty = getOrCreateType(CGM.getContext().getTypeDeclType(RDecl),
Devang Patel170cef32010-12-09 00:33:05 +000074 getOrCreateMainFile());
Devang Patel8b90a782010-05-13 23:52:37 +000075 return llvm::DIDescriptor(Ty);
76 }
77 }
Devang Patel170cef32010-12-09 00:33:05 +000078 return TheCU;
Devang Patel979ec2e2009-10-06 00:35:31 +000079}
80
Devang Patel9c6c3a02010-01-14 00:36:21 +000081/// getFunctionName - Get function name for the given FunctionDecl. If the
82/// name is constructred on demand (e.g. C++ destructor) then the name
83/// is stored on the side.
84llvm::StringRef CGDebugInfo::getFunctionName(const FunctionDecl *FD) {
85 assert (FD && "Invalid FunctionDecl!");
86 IdentifierInfo *FII = FD->getIdentifier();
87 if (FII)
88 return FII->getName();
89
90 // Otherwise construct human readable name for debug info.
91 std::string NS = FD->getNameAsString();
92
93 // Copy this name on the side and use its reference.
Devang Patel89f05f82010-01-28 18:21:00 +000094 char *StrPtr = DebugInfoNames.Allocate<char>(NS.length());
Benjamin Kramer1b627dc2010-01-23 18:16:07 +000095 memcpy(StrPtr, NS.data(), NS.length());
96 return llvm::StringRef(StrPtr, NS.length());
Devang Patel9c6c3a02010-01-14 00:36:21 +000097}
98
David Chisnall52044a22010-09-02 18:01:51 +000099llvm::StringRef CGDebugInfo::getObjCMethodName(const ObjCMethodDecl *OMD) {
100 llvm::SmallString<256> MethodName;
101 llvm::raw_svector_ostream OS(MethodName);
102 OS << (OMD->isInstanceMethod() ? '-' : '+') << '[';
103 const DeclContext *DC = OMD->getDeclContext();
Devang Patela2e57692010-10-28 17:27:32 +0000104 if (const ObjCImplementationDecl *OID =
105 dyn_cast<const ObjCImplementationDecl>(DC)) {
David Chisnall52044a22010-09-02 18:01:51 +0000106 OS << OID->getName();
Devang Patela2e57692010-10-28 17:27:32 +0000107 } else if (const ObjCInterfaceDecl *OID =
108 dyn_cast<const ObjCInterfaceDecl>(DC)) {
Fariborz Jahanian1a4c9372010-10-18 17:51:06 +0000109 OS << OID->getName();
Devang Patela2e57692010-10-28 17:27:32 +0000110 } else if (const ObjCCategoryImplDecl *OCD =
111 dyn_cast<const ObjCCategoryImplDecl>(DC)){
David Chisnall52044a22010-09-02 18:01:51 +0000112 OS << ((NamedDecl *)OCD)->getIdentifier()->getNameStart() << '(' <<
113 OCD->getIdentifier()->getNameStart() << ')';
114 }
115 OS << ' ' << OMD->getSelector().getAsString() << ']';
116
117 char *StrPtr = DebugInfoNames.Allocate<char>(OS.tell());
118 memcpy(StrPtr, MethodName.begin(), OS.tell());
119 return llvm::StringRef(StrPtr, OS.tell());
120}
121
Devang Patel1f15c192011-04-18 17:30:25 +0000122/// getSelectorName - Return selector name. This is used for debugging
Devang Patel90c1eed2011-04-16 00:37:51 +0000123/// info.
124llvm::StringRef CGDebugInfo::getSelectorName(Selector S) {
125 llvm::SmallString<256> SName;
126 llvm::raw_svector_ostream OS(SName);
127 OS << S.getAsString();
128 char *StrPtr = DebugInfoNames.Allocate<char>(OS.tell());
129 memcpy(StrPtr, SName.begin(), OS.tell());
130 return llvm::StringRef(StrPtr, OS.tell());
131}
132
Devang Patel700a1cb2010-07-20 20:24:18 +0000133/// getClassName - Get class name including template argument list.
134llvm::StringRef
135CGDebugInfo::getClassName(RecordDecl *RD) {
136 ClassTemplateSpecializationDecl *Spec
137 = dyn_cast<ClassTemplateSpecializationDecl>(RD);
138 if (!Spec)
139 return RD->getName();
140
141 const TemplateArgument *Args;
142 unsigned NumArgs;
143 std::string Buffer;
144 if (TypeSourceInfo *TAW = Spec->getTypeAsWritten()) {
145 const TemplateSpecializationType *TST =
146 cast<TemplateSpecializationType>(TAW->getType());
147 Args = TST->getArgs();
148 NumArgs = TST->getNumArgs();
149 } else {
150 const TemplateArgumentList &TemplateArgs = Spec->getTemplateArgs();
Douglas Gregor910f8002010-11-07 23:05:16 +0000151 Args = TemplateArgs.data();
152 NumArgs = TemplateArgs.size();
Devang Patel700a1cb2010-07-20 20:24:18 +0000153 }
154 Buffer = RD->getIdentifier()->getNameStart();
155 PrintingPolicy Policy(CGM.getLangOptions());
156 Buffer += TemplateSpecializationType::PrintTemplateArgumentList(Args,
157 NumArgs,
158 Policy);
159
160 // Copy this name on the side and use its reference.
161 char *StrPtr = DebugInfoNames.Allocate<char>(Buffer.length());
162 memcpy(StrPtr, Buffer.data(), Buffer.length());
163 return llvm::StringRef(StrPtr, Buffer.length());
Devang Patel700a1cb2010-07-20 20:24:18 +0000164}
165
Devang Patel17800552010-03-09 00:44:50 +0000166/// getOrCreateFile - Get the file debug info descriptor for the input location.
167llvm::DIFile CGDebugInfo::getOrCreateFile(SourceLocation Loc) {
Devang Patel823d8e92010-12-08 22:42:58 +0000168 if (!Loc.isValid())
169 // If Location is not valid then use main input file.
Devang Patel16674e82011-02-22 18:56:36 +0000170 return DBuilder.createFile(TheCU.getFilename(), TheCU.getDirectory());
Devang Patel823d8e92010-12-08 22:42:58 +0000171
Anders Carlsson20f12a22009-12-06 18:00:51 +0000172 SourceManager &SM = CGM.getContext().getSourceManager();
Devang Patel17800552010-03-09 00:44:50 +0000173 PresumedLoc PLoc = SM.getPresumedLoc(Loc);
Ted Kremenek9c250392010-03-30 00:27:51 +0000174
Devang Patelbb6f5482011-02-16 18:40:36 +0000175 if (PLoc.isInvalid() || llvm::StringRef(PLoc.getFilename()).empty())
Douglas Gregor8c457a82010-11-11 20:45:16 +0000176 // If the location is not valid then use main input file.
Devang Patel16674e82011-02-22 18:56:36 +0000177 return DBuilder.createFile(TheCU.getFilename(), TheCU.getDirectory());
Douglas Gregor8c457a82010-11-11 20:45:16 +0000178
Ted Kremenek9c250392010-03-30 00:27:51 +0000179 // Cache the results.
180 const char *fname = PLoc.getFilename();
181 llvm::DenseMap<const char *, llvm::WeakVH>::iterator it =
182 DIFileCache.find(fname);
183
184 if (it != DIFileCache.end()) {
185 // Verify that the information still exists.
186 if (&*it->second)
187 return llvm::DIFile(cast<llvm::MDNode>(it->second));
188 }
189
Devang Patel16674e82011-02-22 18:56:36 +0000190 llvm::DIFile F = DBuilder.createFile(PLoc.getFilename(), getCurrentDirname());
Ted Kremenek9c250392010-03-30 00:27:51 +0000191
Devang Patelab699792010-05-07 18:12:35 +0000192 DIFileCache[fname] = F;
Ted Kremenek9c250392010-03-30 00:27:51 +0000193 return F;
194
Devang Patel17800552010-03-09 00:44:50 +0000195}
Devang Patel8ab870d2010-05-12 23:46:38 +0000196
Devang Patel532105f2010-10-28 22:03:20 +0000197/// getOrCreateMainFile - Get the file info for main compile unit.
198llvm::DIFile CGDebugInfo::getOrCreateMainFile() {
Devang Patel16674e82011-02-22 18:56:36 +0000199 return DBuilder.createFile(TheCU.getFilename(), TheCU.getDirectory());
Devang Patel532105f2010-10-28 22:03:20 +0000200}
201
Devang Patel8ab870d2010-05-12 23:46:38 +0000202/// getLineNumber - Get line number for the location. If location is invalid
203/// then use current location.
204unsigned CGDebugInfo::getLineNumber(SourceLocation Loc) {
205 assert (CurLoc.isValid() && "Invalid current location!");
206 SourceManager &SM = CGM.getContext().getSourceManager();
207 PresumedLoc PLoc = SM.getPresumedLoc(Loc.isValid() ? Loc : CurLoc);
Douglas Gregor8c457a82010-11-11 20:45:16 +0000208 return PLoc.isValid()? PLoc.getLine() : 0;
Devang Patel8ab870d2010-05-12 23:46:38 +0000209}
210
211/// getColumnNumber - Get column number for the location. If location is
212/// invalid then use current location.
213unsigned CGDebugInfo::getColumnNumber(SourceLocation Loc) {
214 assert (CurLoc.isValid() && "Invalid current location!");
215 SourceManager &SM = CGM.getContext().getSourceManager();
216 PresumedLoc PLoc = SM.getPresumedLoc(Loc.isValid() ? Loc : CurLoc);
Douglas Gregor8c457a82010-11-11 20:45:16 +0000217 return PLoc.isValid()? PLoc.getColumn() : 0;
Devang Patel8ab870d2010-05-12 23:46:38 +0000218}
219
Devang Patelac4d13c2010-07-27 15:17:16 +0000220llvm::StringRef CGDebugInfo::getCurrentDirname() {
221 if (!CWDName.empty())
222 return CWDName;
223 char *CompDirnamePtr = NULL;
224 llvm::sys::Path CWD = llvm::sys::Path::GetCurrentDirectory();
225 CompDirnamePtr = DebugInfoNames.Allocate<char>(CWD.size());
226 memcpy(CompDirnamePtr, CWD.c_str(), CWD.size());
227 return CWDName = llvm::StringRef(CompDirnamePtr, CWD.size());
228}
229
Devang Patel17800552010-03-09 00:44:50 +0000230/// CreateCompileUnit - Create new compile unit.
231void CGDebugInfo::CreateCompileUnit() {
232
233 // Get absolute path name.
Douglas Gregorac91b4c2010-03-18 23:46:43 +0000234 SourceManager &SM = CGM.getContext().getSourceManager();
Douglas Gregorf7ad5002010-03-19 14:49:09 +0000235 std::string MainFileName = CGM.getCodeGenOpts().MainFileName;
236 if (MainFileName.empty())
Devang Patel22fe5852010-03-12 21:04:27 +0000237 MainFileName = "<unknown>";
Douglas Gregorf7ad5002010-03-19 14:49:09 +0000238
Douglas Gregorf6728fc2010-03-22 21:28:29 +0000239 // The main file name provided via the "-main-file-name" option contains just
240 // the file name itself with no path information. This file name may have had
241 // a relative path, so we look into the actual file entry for the main
242 // file to determine the real absolute path for the file.
Devang Patel6e6bc392010-07-23 23:04:28 +0000243 std::string MainFileDir;
Devang Patelac4d13c2010-07-27 15:17:16 +0000244 if (const FileEntry *MainFile = SM.getFileEntryForID(SM.getMainFileID())) {
Douglas Gregorf7ad5002010-03-19 14:49:09 +0000245 MainFileDir = MainFile->getDir()->getName();
Devang Patelac4d13c2010-07-27 15:17:16 +0000246 if (MainFileDir != ".")
247 MainFileName = MainFileDir + "/" + MainFileName;
248 }
Douglas Gregorf7ad5002010-03-19 14:49:09 +0000249
Devang Patelac4d13c2010-07-27 15:17:16 +0000250 // Save filename string.
251 char *FilenamePtr = DebugInfoNames.Allocate<char>(MainFileName.length());
252 memcpy(FilenamePtr, MainFileName.c_str(), MainFileName.length());
253 llvm::StringRef Filename(FilenamePtr, MainFileName.length());
254
Chris Lattner515455a2009-03-25 03:28:08 +0000255 unsigned LangTag;
Devang Patel17800552010-03-09 00:44:50 +0000256 const LangOptions &LO = CGM.getLangOptions();
Chris Lattner515455a2009-03-25 03:28:08 +0000257 if (LO.CPlusPlus) {
258 if (LO.ObjC1)
259 LangTag = llvm::dwarf::DW_LANG_ObjC_plus_plus;
260 else
261 LangTag = llvm::dwarf::DW_LANG_C_plus_plus;
262 } else if (LO.ObjC1) {
Devang Patel8d9aefc2009-03-24 20:35:51 +0000263 LangTag = llvm::dwarf::DW_LANG_ObjC;
Chris Lattner515455a2009-03-25 03:28:08 +0000264 } else if (LO.C99) {
Devang Patel8d9aefc2009-03-24 20:35:51 +0000265 LangTag = llvm::dwarf::DW_LANG_C99;
Chris Lattner515455a2009-03-25 03:28:08 +0000266 } else {
267 LangTag = llvm::dwarf::DW_LANG_C89;
268 }
Devang Patel446c6192009-04-17 21:06:59 +0000269
Daniel Dunbar19f19832010-08-24 17:41:09 +0000270 std::string Producer = getClangFullVersion();
Chris Lattner4c2577a2009-05-02 01:00:04 +0000271
272 // Figure out which version of the ObjC runtime we have.
273 unsigned RuntimeVers = 0;
274 if (LO.ObjC1)
275 RuntimeVers = LO.ObjCNonFragileABI ? 2 : 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000276
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000277 // Create new compile unit.
Devang Patel16674e82011-02-22 18:56:36 +0000278 DBuilder.createCompileUnit(
Devang Patel58115002010-07-27 20:49:59 +0000279 LangTag, Filename, getCurrentDirname(),
Devang Patel823d8e92010-12-08 22:42:58 +0000280 Producer,
Daniel Dunbarf2d8b9f2009-12-18 02:43:17 +0000281 LO.Optimize, CGM.getCodeGenOpts().DwarfDebugFlags, RuntimeVers);
Devang Patel823d8e92010-12-08 22:42:58 +0000282 // FIXME - Eliminate TheCU.
283 TheCU = llvm::DICompileUnit(DBuilder.getCU());
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000284}
285
Devang Patel65e99f22009-02-25 01:36:11 +0000286/// CreateType - Get the Basic type from the cache or create a new
Chris Lattner9c85ba32008-11-10 06:08:34 +0000287/// one if necessary.
Devang Patelf1d1d9a2010-11-01 16:52:40 +0000288llvm::DIType CGDebugInfo::CreateType(const BuiltinType *BT) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000289 unsigned Encoding = 0;
Devang Patel05127ca2010-07-28 23:23:29 +0000290 const char *BTName = NULL;
Chris Lattner9c85ba32008-11-10 06:08:34 +0000291 switch (BT->getKind()) {
292 default:
293 case BuiltinType::Void:
294 return llvm::DIType();
Devang Patelc8972c62010-07-28 01:33:15 +0000295 case BuiltinType::ObjCClass:
Devang Patel16674e82011-02-22 18:56:36 +0000296 return DBuilder.createStructType(TheCU, "objc_class",
Devang Patel823d8e92010-12-08 22:42:58 +0000297 getOrCreateMainFile(), 0, 0, 0,
298 llvm::DIDescriptor::FlagFwdDecl,
299 llvm::DIArray());
Devang Patelc8972c62010-07-28 01:33:15 +0000300 case BuiltinType::ObjCId: {
301 // typedef struct objc_class *Class;
302 // typedef struct objc_object {
303 // Class isa;
304 // } *id;
305
306 llvm::DIType OCTy =
Devang Patel16674e82011-02-22 18:56:36 +0000307 DBuilder.createStructType(TheCU, "objc_class",
Devang Patel823d8e92010-12-08 22:42:58 +0000308 getOrCreateMainFile(), 0, 0, 0,
309 llvm::DIDescriptor::FlagFwdDecl,
310 llvm::DIArray());
Devang Patelc8972c62010-07-28 01:33:15 +0000311 unsigned Size = CGM.getContext().getTypeSize(CGM.getContext().VoidPtrTy);
312
Devang Patel16674e82011-02-22 18:56:36 +0000313 llvm::DIType ISATy = DBuilder.createPointerType(OCTy, Size);
Devang Patelc8972c62010-07-28 01:33:15 +0000314
Devang Patel823d8e92010-12-08 22:42:58 +0000315 llvm::SmallVector<llvm::Value *, 16> EltTys;
Devang Patelc8972c62010-07-28 01:33:15 +0000316 llvm::DIType FieldTy =
Devang Patel16674e82011-02-22 18:56:36 +0000317 DBuilder.createMemberType("isa", getOrCreateMainFile(),
Devang Patel823d8e92010-12-08 22:42:58 +0000318 0,Size, 0, 0, 0, ISATy);
Devang Patelc8972c62010-07-28 01:33:15 +0000319 EltTys.push_back(FieldTy);
Jay Foadc556ef22011-04-24 10:11:03 +0000320 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patelc8972c62010-07-28 01:33:15 +0000321
Devang Patel16674e82011-02-22 18:56:36 +0000322 return DBuilder.createStructType(TheCU, "objc_object",
Devang Patel823d8e92010-12-08 22:42:58 +0000323 getOrCreateMainFile(),
324 0, 0, 0, 0, Elements);
Devang Patelc8972c62010-07-28 01:33:15 +0000325 }
Devang Patel6e108ce2011-02-09 03:15:05 +0000326 case BuiltinType::ObjCSel: {
Devang Patel16674e82011-02-22 18:56:36 +0000327 return DBuilder.createStructType(TheCU, "objc_selector",
Devang Patel6e108ce2011-02-09 03:15:05 +0000328 getOrCreateMainFile(), 0, 0, 0,
329 llvm::DIDescriptor::FlagFwdDecl,
330 llvm::DIArray());
331 }
Chris Lattner9c85ba32008-11-10 06:08:34 +0000332 case BuiltinType::UChar:
333 case BuiltinType::Char_U: Encoding = llvm::dwarf::DW_ATE_unsigned_char; break;
334 case BuiltinType::Char_S:
335 case BuiltinType::SChar: Encoding = llvm::dwarf::DW_ATE_signed_char; break;
336 case BuiltinType::UShort:
337 case BuiltinType::UInt:
338 case BuiltinType::ULong:
339 case BuiltinType::ULongLong: Encoding = llvm::dwarf::DW_ATE_unsigned; break;
340 case BuiltinType::Short:
341 case BuiltinType::Int:
342 case BuiltinType::Long:
343 case BuiltinType::LongLong: Encoding = llvm::dwarf::DW_ATE_signed; break;
344 case BuiltinType::Bool: Encoding = llvm::dwarf::DW_ATE_boolean; break;
345 case BuiltinType::Float:
Devang Patel7c173cb2009-10-12 22:28:31 +0000346 case BuiltinType::LongDouble:
Chris Lattner9c85ba32008-11-10 06:08:34 +0000347 case BuiltinType::Double: Encoding = llvm::dwarf::DW_ATE_float; break;
Mike Stump1eb44332009-09-09 15:08:12 +0000348 }
Devang Patel05127ca2010-07-28 23:23:29 +0000349
350 switch (BT->getKind()) {
351 case BuiltinType::Long: BTName = "long int"; break;
352 case BuiltinType::LongLong: BTName = "long long int"; break;
353 case BuiltinType::ULong: BTName = "long unsigned int"; break;
354 case BuiltinType::ULongLong: BTName = "long long unsigned int"; break;
355 default:
356 BTName = BT->getName(CGM.getContext().getLangOptions());
357 break;
358 }
Chris Lattner9c85ba32008-11-10 06:08:34 +0000359 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +0000360 uint64_t Size = CGM.getContext().getTypeSize(BT);
361 uint64_t Align = CGM.getContext().getTypeAlign(BT);
Devang Patelca80a5f2009-10-20 19:55:01 +0000362 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +0000363 DBuilder.createBasicType(BTName, Size, Align, Encoding);
Devang Patelca80a5f2009-10-20 19:55:01 +0000364 return DbgTy;
Chris Lattner9c85ba32008-11-10 06:08:34 +0000365}
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000366
Devang Patel344ff5d2010-12-09 00:25:29 +0000367llvm::DIType CGDebugInfo::CreateType(const ComplexType *Ty) {
Chris Lattnerb7003772009-04-23 06:13:01 +0000368 // Bit size, align and offset of the type.
369 unsigned Encoding = llvm::dwarf::DW_ATE_complex_float;
370 if (Ty->isComplexIntegerType())
371 Encoding = llvm::dwarf::DW_ATE_lo_user;
Mike Stump1eb44332009-09-09 15:08:12 +0000372
Anders Carlsson20f12a22009-12-06 18:00:51 +0000373 uint64_t Size = CGM.getContext().getTypeSize(Ty);
374 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Devang Patelca80a5f2009-10-20 19:55:01 +0000375 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +0000376 DBuilder.createBasicType("complex", Size, Align, Encoding);
Devang Patel823d8e92010-12-08 22:42:58 +0000377
Devang Patelca80a5f2009-10-20 19:55:01 +0000378 return DbgTy;
Chris Lattnerb7003772009-04-23 06:13:01 +0000379}
380
John McCalla1805292009-09-25 01:40:47 +0000381/// CreateCVRType - Get the qualified type from the cache or create
Sanjiv Guptaf58c27a2008-06-07 04:46:53 +0000382/// a new one if necessary.
Devang Patel17800552010-03-09 00:44:50 +0000383llvm::DIType CGDebugInfo::CreateQualifiedType(QualType Ty, llvm::DIFile Unit) {
John McCalla1805292009-09-25 01:40:47 +0000384 QualifierCollector Qc;
385 const Type *T = Qc.strip(Ty);
386
387 // Ignore these qualifiers for now.
388 Qc.removeObjCGCAttr();
389 Qc.removeAddressSpace();
390
Chris Lattner9c85ba32008-11-10 06:08:34 +0000391 // We will create one Derived type for one qualifier and recurse to handle any
392 // additional ones.
Chris Lattner9c85ba32008-11-10 06:08:34 +0000393 unsigned Tag;
John McCalla1805292009-09-25 01:40:47 +0000394 if (Qc.hasConst()) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000395 Tag = llvm::dwarf::DW_TAG_const_type;
John McCalla1805292009-09-25 01:40:47 +0000396 Qc.removeConst();
397 } else if (Qc.hasVolatile()) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000398 Tag = llvm::dwarf::DW_TAG_volatile_type;
John McCalla1805292009-09-25 01:40:47 +0000399 Qc.removeVolatile();
400 } else if (Qc.hasRestrict()) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000401 Tag = llvm::dwarf::DW_TAG_restrict_type;
John McCalla1805292009-09-25 01:40:47 +0000402 Qc.removeRestrict();
403 } else {
404 assert(Qc.empty() && "Unknown type qualifier for debug info");
405 return getOrCreateType(QualType(T, 0), Unit);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000406 }
Mike Stump1eb44332009-09-09 15:08:12 +0000407
John McCall49f4e1c2010-12-10 11:01:00 +0000408 llvm::DIType FromTy = getOrCreateType(Qc.apply(CGM.getContext(), T), Unit);
John McCalla1805292009-09-25 01:40:47 +0000409
Daniel Dunbar3845f862008-10-31 03:54:29 +0000410 // No need to fill in the Name, Line, Size, Alignment, Offset in case of
411 // CVR derived types.
Devang Patel16674e82011-02-22 18:56:36 +0000412 llvm::DIType DbgTy = DBuilder.createQualifiedType(Tag, FromTy);
Devang Patel823d8e92010-12-08 22:42:58 +0000413
Devang Patelca80a5f2009-10-20 19:55:01 +0000414 return DbgTy;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000415}
416
Daniel Dunbar9df4bb32009-07-14 01:20:56 +0000417llvm::DIType CGDebugInfo::CreateType(const ObjCObjectPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000418 llvm::DIFile Unit) {
Devang Patelca80a5f2009-10-20 19:55:01 +0000419 llvm::DIType DbgTy =
Anders Carlssona031b352009-11-06 19:19:55 +0000420 CreatePointerLikeType(llvm::dwarf::DW_TAG_pointer_type, Ty,
421 Ty->getPointeeType(), Unit);
Devang Patelca80a5f2009-10-20 19:55:01 +0000422 return DbgTy;
Daniel Dunbar9df4bb32009-07-14 01:20:56 +0000423}
424
Chris Lattner9c85ba32008-11-10 06:08:34 +0000425llvm::DIType CGDebugInfo::CreateType(const PointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000426 llvm::DIFile Unit) {
Anders Carlssona031b352009-11-06 19:19:55 +0000427 return CreatePointerLikeType(llvm::dwarf::DW_TAG_pointer_type, Ty,
428 Ty->getPointeeType(), Unit);
429}
430
Devang Patelc69e1cf2010-09-30 19:05:55 +0000431/// CreatePointeeType - Create PointTee type. If Pointee is a record
432/// then emit record's fwd if debug info size reduction is enabled.
433llvm::DIType CGDebugInfo::CreatePointeeType(QualType PointeeTy,
434 llvm::DIFile Unit) {
435 if (!CGM.getCodeGenOpts().LimitDebugInfo)
436 return getOrCreateType(PointeeTy, Unit);
437
438 if (const RecordType *RTy = dyn_cast<RecordType>(PointeeTy)) {
439 RecordDecl *RD = RTy->getDecl();
Devang Patelc69e1cf2010-09-30 19:05:55 +0000440 llvm::DIFile DefUnit = getOrCreateFile(RD->getLocation());
441 unsigned Line = getLineNumber(RD->getLocation());
442 llvm::DIDescriptor FDContext =
John McCall8178df32011-02-22 22:38:33 +0000443 getContextDescriptor(cast<Decl>(RD->getDeclContext()));
Devang Patel823d8e92010-12-08 22:42:58 +0000444
445 if (RD->isStruct())
Devang Patel16674e82011-02-22 18:56:36 +0000446 return DBuilder.createStructType(FDContext, RD->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +0000447 Line, 0, 0, llvm::DIType::FlagFwdDecl,
448 llvm::DIArray());
449 else if (RD->isUnion())
Devang Patel16674e82011-02-22 18:56:36 +0000450 return DBuilder.createUnionType(FDContext, RD->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +0000451 Line, 0, 0, llvm::DIType::FlagFwdDecl,
452 llvm::DIArray());
453 else {
454 assert(RD->isClass() && "Unknown RecordType!");
Devang Patel16674e82011-02-22 18:56:36 +0000455 return DBuilder.createClassType(FDContext, RD->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +0000456 Line, 0, 0, 0, llvm::DIType::FlagFwdDecl,
457 llvm::DIType(), llvm::DIArray());
458 }
Devang Patelc69e1cf2010-09-30 19:05:55 +0000459 }
460 return getOrCreateType(PointeeTy, Unit);
461
462}
463
Anders Carlssona031b352009-11-06 19:19:55 +0000464llvm::DIType CGDebugInfo::CreatePointerLikeType(unsigned Tag,
465 const Type *Ty,
466 QualType PointeeTy,
Devang Patel17800552010-03-09 00:44:50 +0000467 llvm::DIFile Unit) {
Devang Patel823d8e92010-12-08 22:42:58 +0000468
469 if (Tag == llvm::dwarf::DW_TAG_reference_type)
Devang Patel16674e82011-02-22 18:56:36 +0000470 return DBuilder.createReferenceType(CreatePointeeType(PointeeTy, Unit));
Devang Patel823d8e92010-12-08 22:42:58 +0000471
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000472 // Bit size, align and offset of the type.
Anders Carlssona031b352009-11-06 19:19:55 +0000473 // Size is always the size of a pointer. We can't use getTypeSize here
474 // because that does not return the correct value for references.
Peter Collingbourne207f4d82011-03-18 22:38:29 +0000475 unsigned AS = CGM.getContext().getTargetAddressSpace(PointeeTy);
476 uint64_t Size = CGM.getContext().Target.getPointerWidth(AS);
Anders Carlsson20f12a22009-12-06 18:00:51 +0000477 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +0000478
Devang Patel823d8e92010-12-08 22:42:58 +0000479 return
Devang Patel16674e82011-02-22 18:56:36 +0000480 DBuilder.createPointerType(CreatePointeeType(PointeeTy, Unit), Size, Align);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000481}
482
Mike Stump9bc093c2009-05-14 02:03:51 +0000483llvm::DIType CGDebugInfo::CreateType(const BlockPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000484 llvm::DIFile Unit) {
Mike Stump9bc093c2009-05-14 02:03:51 +0000485 if (BlockLiteralGenericSet)
486 return BlockLiteralGeneric;
487
Devang Patel823d8e92010-12-08 22:42:58 +0000488 llvm::SmallVector<llvm::Value *, 8> EltTys;
Mike Stump9bc093c2009-05-14 02:03:51 +0000489 llvm::DIType FieldTy;
Mike Stump9bc093c2009-05-14 02:03:51 +0000490 QualType FType;
491 uint64_t FieldSize, FieldOffset;
492 unsigned FieldAlign;
Mike Stump9bc093c2009-05-14 02:03:51 +0000493 llvm::DIArray Elements;
494 llvm::DIType EltTy, DescTy;
495
496 FieldOffset = 0;
Anders Carlsson20f12a22009-12-06 18:00:51 +0000497 FType = CGM.getContext().UnsignedLongTy;
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000498 EltTys.push_back(CreateMemberType(Unit, FType, "reserved", &FieldOffset));
499 EltTys.push_back(CreateMemberType(Unit, FType, "Size", &FieldOffset));
Mike Stump9bc093c2009-05-14 02:03:51 +0000500
Jay Foadc556ef22011-04-24 10:11:03 +0000501 Elements = DBuilder.getOrCreateArray(EltTys);
Mike Stump9bc093c2009-05-14 02:03:51 +0000502 EltTys.clear();
503
Devang Patele2472482010-09-29 21:05:52 +0000504 unsigned Flags = llvm::DIDescriptor::FlagAppleBlock;
Devang Patel8ab870d2010-05-12 23:46:38 +0000505 unsigned LineNo = getLineNumber(CurLoc);
Mike Stump3d363c52009-10-02 02:30:50 +0000506
Devang Patel16674e82011-02-22 18:56:36 +0000507 EltTy = DBuilder.createStructType(Unit, "__block_descriptor",
Devang Patel823d8e92010-12-08 22:42:58 +0000508 Unit, LineNo, FieldOffset, 0,
509 Flags, Elements);
Mike Stump1eb44332009-09-09 15:08:12 +0000510
Mike Stump9bc093c2009-05-14 02:03:51 +0000511 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +0000512 uint64_t Size = CGM.getContext().getTypeSize(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +0000513
Devang Patel16674e82011-02-22 18:56:36 +0000514 DescTy = DBuilder.createPointerType(EltTy, Size);
Mike Stump9bc093c2009-05-14 02:03:51 +0000515
516 FieldOffset = 0;
Anders Carlsson20f12a22009-12-06 18:00:51 +0000517 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000518 EltTys.push_back(CreateMemberType(Unit, FType, "__isa", &FieldOffset));
Anders Carlsson20f12a22009-12-06 18:00:51 +0000519 FType = CGM.getContext().IntTy;
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000520 EltTys.push_back(CreateMemberType(Unit, FType, "__flags", &FieldOffset));
521 EltTys.push_back(CreateMemberType(Unit, FType, "__reserved", &FieldOffset));
Benjamin Kramerd3651cc2010-04-24 20:26:20 +0000522 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000523 EltTys.push_back(CreateMemberType(Unit, FType, "__FuncPtr", &FieldOffset));
Mike Stump9bc093c2009-05-14 02:03:51 +0000524
Anders Carlsson20f12a22009-12-06 18:00:51 +0000525 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Mike Stump9bc093c2009-05-14 02:03:51 +0000526 FieldTy = DescTy;
Anders Carlsson20f12a22009-12-06 18:00:51 +0000527 FieldSize = CGM.getContext().getTypeSize(Ty);
528 FieldAlign = CGM.getContext().getTypeAlign(Ty);
Devang Patel16674e82011-02-22 18:56:36 +0000529 FieldTy = DBuilder.createMemberType("__descriptor", Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000530 LineNo, FieldSize, FieldAlign,
531 FieldOffset, 0, FieldTy);
Mike Stump9bc093c2009-05-14 02:03:51 +0000532 EltTys.push_back(FieldTy);
533
534 FieldOffset += FieldSize;
Jay Foadc556ef22011-04-24 10:11:03 +0000535 Elements = DBuilder.getOrCreateArray(EltTys);
Mike Stump9bc093c2009-05-14 02:03:51 +0000536
Devang Patel16674e82011-02-22 18:56:36 +0000537 EltTy = DBuilder.createStructType(Unit, "__block_literal_generic",
Devang Patel823d8e92010-12-08 22:42:58 +0000538 Unit, LineNo, FieldOffset, 0,
539 Flags, Elements);
Mike Stump1eb44332009-09-09 15:08:12 +0000540
Mike Stump9bc093c2009-05-14 02:03:51 +0000541 BlockLiteralGenericSet = true;
Devang Patel16674e82011-02-22 18:56:36 +0000542 BlockLiteralGeneric = DBuilder.createPointerType(EltTy, Size);
Mike Stump9bc093c2009-05-14 02:03:51 +0000543 return BlockLiteralGeneric;
544}
545
Chris Lattner9c85ba32008-11-10 06:08:34 +0000546llvm::DIType CGDebugInfo::CreateType(const TypedefType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000547 llvm::DIFile Unit) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000548 // Typedefs are derived from some other type. If we have a typedef of a
549 // typedef, make sure to emit the whole chain.
550 llvm::DIType Src = getOrCreateType(Ty->getDecl()->getUnderlyingType(), Unit);
Devang Patel823d8e92010-12-08 22:42:58 +0000551 if (!Src.Verify())
552 return llvm::DIType();
Chris Lattner9c85ba32008-11-10 06:08:34 +0000553 // We don't set size information, but do specify where the typedef was
554 // declared.
Devang Patel8ab870d2010-05-12 23:46:38 +0000555 unsigned Line = getLineNumber(Ty->getDecl()->getLocation());
Devang Patel16674e82011-02-22 18:56:36 +0000556 llvm::DIType DbgTy = DBuilder.createTypedef(Src, Ty->getDecl()->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +0000557 Unit, Line);
Devang Patelca80a5f2009-10-20 19:55:01 +0000558 return DbgTy;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000559}
560
Chris Lattner9c85ba32008-11-10 06:08:34 +0000561llvm::DIType CGDebugInfo::CreateType(const FunctionType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000562 llvm::DIFile Unit) {
Devang Patel823d8e92010-12-08 22:42:58 +0000563 llvm::SmallVector<llvm::Value *, 16> EltTys;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000564
Chris Lattner9c85ba32008-11-10 06:08:34 +0000565 // Add the result type at least.
566 EltTys.push_back(getOrCreateType(Ty->getResultType(), Unit));
Mike Stump1eb44332009-09-09 15:08:12 +0000567
Chris Lattner9c85ba32008-11-10 06:08:34 +0000568 // Set up remainder of arguments if there is a prototype.
569 // FIXME: IF NOT, HOW IS THIS REPRESENTED? llvm-gcc doesn't represent '...'!
Devang Patelaf164bb2010-10-06 20:51:45 +0000570 if (isa<FunctionNoProtoType>(Ty))
Devang Patel16674e82011-02-22 18:56:36 +0000571 EltTys.push_back(DBuilder.createUnspecifiedParameter());
Devang Patelaf164bb2010-10-06 20:51:45 +0000572 else if (const FunctionProtoType *FTP = dyn_cast<FunctionProtoType>(Ty)) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000573 for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i)
574 EltTys.push_back(getOrCreateType(FTP->getArgType(i), Unit));
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000575 }
576
Jay Foadc556ef22011-04-24 10:11:03 +0000577 llvm::DIArray EltTypeArray = DBuilder.getOrCreateArray(EltTys);
Mike Stump1eb44332009-09-09 15:08:12 +0000578
Devang Patel16674e82011-02-22 18:56:36 +0000579 llvm::DIType DbgTy = DBuilder.createSubroutineType(Unit, EltTypeArray);
Devang Patelca80a5f2009-10-20 19:55:01 +0000580 return DbgTy;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000581}
582
John McCall8178df32011-02-22 22:38:33 +0000583llvm::DIType CGDebugInfo::createFieldType(llvm::StringRef name,
584 QualType type,
585 Expr *bitWidth,
586 SourceLocation loc,
587 AccessSpecifier AS,
588 uint64_t offsetInBits,
589 llvm::DIFile tunit) {
590 llvm::DIType debugType = getOrCreateType(type, tunit);
591
592 // Get the location for the field.
593 llvm::DIFile file = getOrCreateFile(loc);
594 unsigned line = getLineNumber(loc);
595
596 uint64_t sizeInBits = 0;
597 unsigned alignInBits = 0;
598 if (!type->isIncompleteArrayType()) {
599 llvm::tie(sizeInBits, alignInBits) = CGM.getContext().getTypeInfo(type);
600
601 if (bitWidth)
602 sizeInBits = bitWidth->EvaluateAsInt(CGM.getContext()).getZExtValue();
603 }
604
605 unsigned flags = 0;
606 if (AS == clang::AS_private)
607 flags |= llvm::DIDescriptor::FlagPrivate;
608 else if (AS == clang::AS_protected)
609 flags |= llvm::DIDescriptor::FlagProtected;
610
611 return DBuilder.createMemberType(name, file, line, sizeInBits, alignInBits,
612 offsetInBits, flags, debugType);
613}
614
Devang Patel428deb52010-01-19 00:00:59 +0000615/// CollectRecordFields - A helper function to collect debug info for
616/// record fields. This is used while creating debug info entry for a Record.
617void CGDebugInfo::
John McCall8178df32011-02-22 22:38:33 +0000618CollectRecordFields(const RecordDecl *record, llvm::DIFile tunit,
619 llvm::SmallVectorImpl<llvm::Value *> &elements) {
620 unsigned fieldNo = 0;
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000621 const FieldDecl *LastFD = 0;
622 bool IsMsStruct = record->hasAttr<MsStructAttr>();
623
John McCall8178df32011-02-22 22:38:33 +0000624 const ASTRecordLayout &layout = CGM.getContext().getASTRecordLayout(record);
625 for (RecordDecl::field_iterator I = record->field_begin(),
626 E = record->field_end();
627 I != E; ++I, ++fieldNo) {
628 FieldDecl *field = *I;
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000629 if (IsMsStruct) {
630 // Zero-length bitfields following non-bitfield members are ignored
631 if (CGM.getContext().ZeroBitfieldFollowsNonBitfield((field), LastFD)) {
632 --fieldNo;
633 continue;
634 }
635 LastFD = field;
636 }
Devang Patel428deb52010-01-19 00:00:59 +0000637
John McCall8178df32011-02-22 22:38:33 +0000638 llvm::StringRef name = field->getName();
639 QualType type = field->getType();
640
641 // Ignore unnamed fields unless they're anonymous structs/unions.
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000642 if (name.empty() && !type->isRecordType()) {
643 LastFD = field;
Devang Patel428deb52010-01-19 00:00:59 +0000644 continue;
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000645 }
Devang Patel428deb52010-01-19 00:00:59 +0000646
John McCall8178df32011-02-22 22:38:33 +0000647 llvm::DIType fieldType
648 = createFieldType(name, type, field->getBitWidth(),
649 field->getLocation(), field->getAccess(),
650 layout.getFieldOffset(fieldNo), tunit);
Devang Patel428deb52010-01-19 00:00:59 +0000651
John McCall8178df32011-02-22 22:38:33 +0000652 elements.push_back(fieldType);
Devang Patel428deb52010-01-19 00:00:59 +0000653 }
654}
655
Devang Patela6da1922010-01-28 00:28:01 +0000656/// getOrCreateMethodType - CXXMethodDecl's type is a FunctionType. This
657/// function type is not updated to include implicit "this" pointer. Use this
658/// routine to get a method type which includes "this" pointer.
659llvm::DIType
660CGDebugInfo::getOrCreateMethodType(const CXXMethodDecl *Method,
Devang Patel17800552010-03-09 00:44:50 +0000661 llvm::DIFile Unit) {
Douglas Gregor5f970ee2010-05-04 18:18:31 +0000662 llvm::DIType FnTy
663 = getOrCreateType(QualType(Method->getType()->getAs<FunctionProtoType>(),
664 0),
665 Unit);
Devang Pateld774d1e2010-01-28 21:43:50 +0000666
Devang Patela6da1922010-01-28 00:28:01 +0000667 // Add "this" pointer.
668
Devang Patelab699792010-05-07 18:12:35 +0000669 llvm::DIArray Args = llvm::DICompositeType(FnTy).getTypeArray();
Devang Patela6da1922010-01-28 00:28:01 +0000670 assert (Args.getNumElements() && "Invalid number of arguments!");
671
Devang Patel823d8e92010-12-08 22:42:58 +0000672 llvm::SmallVector<llvm::Value *, 16> Elts;
Devang Patela6da1922010-01-28 00:28:01 +0000673
674 // First element is always return type. For 'void' functions it is NULL.
675 Elts.push_back(Args.getElement(0));
676
Devang Patel2ed8f002010-08-27 17:47:47 +0000677 if (!Method->isStatic())
678 {
679 // "this" pointer is always first argument.
Devang Patelddd72ac2011-04-05 23:26:36 +0000680 QualType ThisPtr = Method->getThisType(CGM.getContext());
Devang Patel2ed8f002010-08-27 17:47:47 +0000681 llvm::DIType ThisPtrType =
Devang Patel16674e82011-02-22 18:56:36 +0000682 DBuilder.createArtificialType(getOrCreateType(ThisPtr, Unit));
Devang Patel769640e2010-07-13 00:24:30 +0000683
Devang Patel2ed8f002010-08-27 17:47:47 +0000684 TypeCache[ThisPtr.getAsOpaquePtr()] = ThisPtrType;
685 Elts.push_back(ThisPtrType);
686 }
Devang Patela6da1922010-01-28 00:28:01 +0000687
688 // Copy rest of the arguments.
689 for (unsigned i = 1, e = Args.getNumElements(); i != e; ++i)
690 Elts.push_back(Args.getElement(i));
691
Jay Foadc556ef22011-04-24 10:11:03 +0000692 llvm::DIArray EltTypeArray = DBuilder.getOrCreateArray(Elts);
Devang Patela6da1922010-01-28 00:28:01 +0000693
Devang Patel16674e82011-02-22 18:56:36 +0000694 return DBuilder.createSubroutineType(Unit, EltTypeArray);
Devang Patela6da1922010-01-28 00:28:01 +0000695}
696
Devang Patel58faf202010-10-22 17:11:50 +0000697/// isFunctionLocalClass - Return true if CXXRecordDecl is defined
698/// inside a function.
699static bool isFunctionLocalClass(const CXXRecordDecl *RD) {
700 if (const CXXRecordDecl *NRD =
701 dyn_cast<CXXRecordDecl>(RD->getDeclContext()))
702 return isFunctionLocalClass(NRD);
703 else if (isa<FunctionDecl>(RD->getDeclContext()))
704 return true;
705 return false;
706
707}
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000708/// CreateCXXMemberFunction - A helper function to create a DISubprogram for
709/// a single member function GlobalDecl.
710llvm::DISubprogram
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000711CGDebugInfo::CreateCXXMemberFunction(const CXXMethodDecl *Method,
Devang Patel17800552010-03-09 00:44:50 +0000712 llvm::DIFile Unit,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000713 llvm::DIType RecordTy) {
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000714 bool IsCtorOrDtor =
715 isa<CXXConstructorDecl>(Method) || isa<CXXDestructorDecl>(Method);
716
717 llvm::StringRef MethodName = getFunctionName(Method);
Devang Patela6da1922010-01-28 00:28:01 +0000718 llvm::DIType MethodTy = getOrCreateMethodType(Method, Unit);
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000719
720 // Since a single ctor/dtor corresponds to multiple functions, it doesn't
721 // make sense to give a single ctor/dtor a linkage name.
Anders Carlsson9a20d552010-06-22 16:16:50 +0000722 llvm::StringRef MethodLinkageName;
Devang Patel58faf202010-10-22 17:11:50 +0000723 if (!IsCtorOrDtor && !isFunctionLocalClass(Method->getParent()))
Anders Carlsson9a20d552010-06-22 16:16:50 +0000724 MethodLinkageName = CGM.getMangledName(Method);
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000725
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000726 // Get the location for the method.
Devang Patel8ab870d2010-05-12 23:46:38 +0000727 llvm::DIFile MethodDefUnit = getOrCreateFile(Method->getLocation());
728 unsigned MethodLine = getLineNumber(Method->getLocation());
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000729
730 // Collect virtual method info.
731 llvm::DIType ContainingType;
732 unsigned Virtuality = 0;
733 unsigned VIndex = 0;
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000734
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000735 if (Method->isVirtual()) {
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000736 if (Method->isPure())
737 Virtuality = llvm::dwarf::DW_VIRTUALITY_pure_virtual;
738 else
739 Virtuality = llvm::dwarf::DW_VIRTUALITY_virtual;
740
741 // It doesn't make sense to give a virtual destructor a vtable index,
742 // since a single destructor has two entries in the vtable.
743 if (!isa<CXXDestructorDecl>(Method))
Anders Carlsson046c2942010-04-17 20:15:18 +0000744 VIndex = CGM.getVTables().getMethodVTableIndex(Method);
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000745 ContainingType = RecordTy;
746 }
747
Devang Patele2472482010-09-29 21:05:52 +0000748 unsigned Flags = 0;
749 if (Method->isImplicit())
750 Flags |= llvm::DIDescriptor::FlagArtificial;
Devang Patel10a7a6a2010-09-29 21:46:16 +0000751 AccessSpecifier Access = Method->getAccess();
752 if (Access == clang::AS_private)
753 Flags |= llvm::DIDescriptor::FlagPrivate;
754 else if (Access == clang::AS_protected)
755 Flags |= llvm::DIDescriptor::FlagProtected;
Devang Pateld78a0192010-10-01 23:32:17 +0000756 if (const CXXConstructorDecl *CXXC = dyn_cast<CXXConstructorDecl>(Method)) {
757 if (CXXC->isExplicit())
758 Flags |= llvm::DIDescriptor::FlagExplicit;
759 } else if (const CXXConversionDecl *CXXC =
760 dyn_cast<CXXConversionDecl>(Method)) {
761 if (CXXC->isExplicit())
762 Flags |= llvm::DIDescriptor::FlagExplicit;
763 }
Devang Patel3951e712010-10-07 22:03:49 +0000764 if (Method->hasPrototype())
765 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Pateld78a0192010-10-01 23:32:17 +0000766
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000767 llvm::DISubprogram SP =
Devang Patel16674e82011-02-22 18:56:36 +0000768 DBuilder.createMethod(RecordTy , MethodName, MethodLinkageName,
Devang Patel823d8e92010-12-08 22:42:58 +0000769 MethodDefUnit, MethodLine,
770 MethodTy, /*isLocalToUnit=*/false,
771 /* isDefinition=*/ false,
772 Virtuality, VIndex, ContainingType,
773 Flags, CGM.getLangOptions().Optimize);
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000774
775 // Don't cache ctors or dtors since we have to emit multiple functions for
776 // a single ctor or dtor.
Devang Patel120bf322011-04-23 00:08:01 +0000777 if (!IsCtorOrDtor)
Devang Patelab699792010-05-07 18:12:35 +0000778 SPCache[Method] = llvm::WeakVH(SP);
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000779
780 return SP;
781}
782
Devang Patel4125fd22010-01-19 01:54:44 +0000783/// CollectCXXMemberFunctions - A helper function to collect debug info for
784/// C++ member functions.This is used while creating debug info entry for
785/// a Record.
786void CGDebugInfo::
Devang Patel17800552010-03-09 00:44:50 +0000787CollectCXXMemberFunctions(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000788 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000789 llvm::DIType RecordTy) {
Devang Patel239cec62010-02-01 21:39:52 +0000790 for(CXXRecordDecl::method_iterator I = RD->method_begin(),
791 E = RD->method_end(); I != E; ++I) {
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000792 const CXXMethodDecl *Method = *I;
Anders Carlssonbea9b232010-01-26 04:40:11 +0000793
Devang Pateld5322da2010-02-09 19:09:28 +0000794 if (Method->isImplicit() && !Method->isUsed())
Anders Carlssonbea9b232010-01-26 04:40:11 +0000795 continue;
Devang Patel4125fd22010-01-19 01:54:44 +0000796
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000797 EltTys.push_back(CreateCXXMemberFunction(Method, Unit, RecordTy));
Devang Patel4125fd22010-01-19 01:54:44 +0000798 }
799}
800
Devang Patel2ed8f002010-08-27 17:47:47 +0000801/// CollectCXXFriends - A helper function to collect debug info for
802/// C++ base classes. This is used while creating debug info entry for
803/// a Record.
804void CGDebugInfo::
805CollectCXXFriends(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000806 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Devang Patel2ed8f002010-08-27 17:47:47 +0000807 llvm::DIType RecordTy) {
808
809 for (CXXRecordDecl::friend_iterator BI = RD->friend_begin(),
810 BE = RD->friend_end(); BI != BE; ++BI) {
Devang Patel823d8e92010-12-08 22:42:58 +0000811 if (TypeSourceInfo *TInfo = (*BI)->getFriendType())
Devang Patel16674e82011-02-22 18:56:36 +0000812 EltTys.push_back(DBuilder.createFriend(RecordTy,
Devang Patel823d8e92010-12-08 22:42:58 +0000813 getOrCreateType(TInfo->getType(),
814 Unit)));
Devang Patel2ed8f002010-08-27 17:47:47 +0000815 }
816}
817
Devang Patela245c5b2010-01-25 23:32:18 +0000818/// CollectCXXBases - A helper function to collect debug info for
819/// C++ base classes. This is used while creating debug info entry for
820/// a Record.
821void CGDebugInfo::
Devang Patel17800552010-03-09 00:44:50 +0000822CollectCXXBases(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000823 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000824 llvm::DIType RecordTy) {
Devang Patela245c5b2010-01-25 23:32:18 +0000825
Devang Patel239cec62010-02-01 21:39:52 +0000826 const ASTRecordLayout &RL = CGM.getContext().getASTRecordLayout(RD);
827 for (CXXRecordDecl::base_class_const_iterator BI = RD->bases_begin(),
828 BE = RD->bases_end(); BI != BE; ++BI) {
Devang Patelca7daed2010-01-28 21:54:15 +0000829 unsigned BFlags = 0;
Devang Patel62c117d2011-04-04 20:36:06 +0000830 uint64_t BaseOffset;
Devang Patelca7daed2010-01-28 21:54:15 +0000831
832 const CXXRecordDecl *Base =
833 cast<CXXRecordDecl>(BI->getType()->getAs<RecordType>()->getDecl());
834
835 if (BI->isVirtual()) {
Anders Carlssonbba16072010-03-11 07:15:17 +0000836 // virtual base offset offset is -ve. The code generator emits dwarf
Devang Pateld5322da2010-02-09 19:09:28 +0000837 // expression where it expects +ve number.
Ken Dyck14c65ca2011-04-07 12:37:09 +0000838 BaseOffset =
839 0 - CGM.getVTables().getVirtualBaseOffsetOffset(RD, Base).getQuantity();
Devang Patele2472482010-09-29 21:05:52 +0000840 BFlags = llvm::DIDescriptor::FlagVirtual;
Devang Patelca7daed2010-01-28 21:54:15 +0000841 } else
Devang Patel62c117d2011-04-04 20:36:06 +0000842 BaseOffset = RL.getBaseClassOffsetInBits(Base);
Ken Dyck14c65ca2011-04-07 12:37:09 +0000843 // FIXME: Inconsistent units for BaseOffset. It is in bytes when
844 // BI->isVirtual() and bits when not.
Devang Patelca7daed2010-01-28 21:54:15 +0000845
846 AccessSpecifier Access = BI->getAccessSpecifier();
847 if (Access == clang::AS_private)
Devang Patele2472482010-09-29 21:05:52 +0000848 BFlags |= llvm::DIDescriptor::FlagPrivate;
Devang Patelca7daed2010-01-28 21:54:15 +0000849 else if (Access == clang::AS_protected)
Devang Patele2472482010-09-29 21:05:52 +0000850 BFlags |= llvm::DIDescriptor::FlagProtected;
Devang Patelca7daed2010-01-28 21:54:15 +0000851
Devang Patel823d8e92010-12-08 22:42:58 +0000852 llvm::DIType DTy =
Devang Patel16674e82011-02-22 18:56:36 +0000853 DBuilder.createInheritance(RecordTy,
Devang Patel823d8e92010-12-08 22:42:58 +0000854 getOrCreateType(BI->getType(), Unit),
Devang Patel62c117d2011-04-04 20:36:06 +0000855 BaseOffset, BFlags);
Devang Patelca7daed2010-01-28 21:54:15 +0000856 EltTys.push_back(DTy);
857 }
Devang Patela245c5b2010-01-25 23:32:18 +0000858}
859
Devang Patel5ecb1df2011-04-05 22:54:11 +0000860/// CollectTemplateParams - A helper function to collect template parameters.
Devang Patel9c1714b2011-04-05 17:30:54 +0000861llvm::DIArray CGDebugInfo::
Devang Patel5ecb1df2011-04-05 22:54:11 +0000862CollectTemplateParams(const TemplateParameterList *TPList,
863 const TemplateArgumentList &TAList,
864 llvm::DIFile Unit) {
Devang Patelc5ce2972011-04-05 20:15:06 +0000865 llvm::SmallVector<llvm::Value *, 16> TemplateParams;
866 for (unsigned i = 0, e = TAList.size(); i != e; ++i) {
867 const TemplateArgument &TA = TAList[i];
Devang Patel5ecb1df2011-04-05 22:54:11 +0000868 const NamedDecl *ND = TPList->getParam(i);
Devang Patel9c1714b2011-04-05 17:30:54 +0000869 if (TA.getKind() == TemplateArgument::Type) {
870 llvm::DIType TTy = getOrCreateType(TA.getAsType(), Unit);
871 llvm::DITemplateTypeParameter TTP =
Devang Patelc5ce2972011-04-05 20:15:06 +0000872 DBuilder.createTemplateTypeParameter(TheCU, ND->getName(), TTy);
Devang Patel9c1714b2011-04-05 17:30:54 +0000873 TemplateParams.push_back(TTP);
874 } else if (TA.getKind() == TemplateArgument::Integral) {
875 llvm::DIType TTy = getOrCreateType(TA.getIntegralType(), Unit);
Devang Patel9c1714b2011-04-05 17:30:54 +0000876 llvm::DITemplateValueParameter TVP =
Devang Patelc5ce2972011-04-05 20:15:06 +0000877 DBuilder.createTemplateValueParameter(TheCU, ND->getName(), TTy,
878 TA.getAsIntegral()->getZExtValue());
Devang Patel9c1714b2011-04-05 17:30:54 +0000879 TemplateParams.push_back(TVP);
880 }
881 }
Jay Foadc556ef22011-04-24 10:11:03 +0000882 return DBuilder.getOrCreateArray(TemplateParams);
Devang Patel9c1714b2011-04-05 17:30:54 +0000883}
884
Devang Patel5ecb1df2011-04-05 22:54:11 +0000885/// CollectFunctionTemplateParams - A helper function to collect debug
886/// info for function template parameters.
887llvm::DIArray CGDebugInfo::
888CollectFunctionTemplateParams(const FunctionDecl *FD, llvm::DIFile Unit) {
889 if (FD->getTemplatedKind() == FunctionDecl::TK_FunctionTemplateSpecialization){
890 const TemplateParameterList *TList =
891 FD->getTemplateSpecializationInfo()->getTemplate()->getTemplateParameters();
892 return
893 CollectTemplateParams(TList, *FD->getTemplateSpecializationArgs(), Unit);
894 }
895 return llvm::DIArray();
896}
897
898/// CollectCXXTemplateParams - A helper function to collect debug info for
899/// template parameters.
900llvm::DIArray CGDebugInfo::
901CollectCXXTemplateParams(const ClassTemplateSpecializationDecl *TSpecial,
902 llvm::DIFile Unit) {
903 llvm::PointerUnion<ClassTemplateDecl *,
904 ClassTemplatePartialSpecializationDecl *>
905 PU = TSpecial->getSpecializedTemplateOrPartial();
906
907 TemplateParameterList *TPList = PU.is<ClassTemplateDecl *>() ?
908 PU.get<ClassTemplateDecl *>()->getTemplateParameters() :
909 PU.get<ClassTemplatePartialSpecializationDecl *>()->getTemplateParameters();
910 const TemplateArgumentList &TAList = TSpecial->getTemplateInstantiationArgs();
911 return CollectTemplateParams(TPList, TAList, Unit);
912}
913
Devang Patel4ce3f202010-01-28 18:11:52 +0000914/// getOrCreateVTablePtrType - Return debug info descriptor for vtable.
Devang Patel17800552010-03-09 00:44:50 +0000915llvm::DIType CGDebugInfo::getOrCreateVTablePtrType(llvm::DIFile Unit) {
Devang Patel0804e6e2010-03-08 20:53:17 +0000916 if (VTablePtrType.isValid())
Devang Patel4ce3f202010-01-28 18:11:52 +0000917 return VTablePtrType;
918
919 ASTContext &Context = CGM.getContext();
920
921 /* Function type */
Devang Patel823d8e92010-12-08 22:42:58 +0000922 llvm::Value *STy = getOrCreateType(Context.IntTy, Unit);
Jay Foadc556ef22011-04-24 10:11:03 +0000923 llvm::DIArray SElements = DBuilder.getOrCreateArray(STy);
Devang Patel16674e82011-02-22 18:56:36 +0000924 llvm::DIType SubTy = DBuilder.createSubroutineType(Unit, SElements);
Devang Patel4ce3f202010-01-28 18:11:52 +0000925 unsigned Size = Context.getTypeSize(Context.VoidPtrTy);
Devang Patel16674e82011-02-22 18:56:36 +0000926 llvm::DIType vtbl_ptr_type = DBuilder.createPointerType(SubTy, Size, 0,
Devang Patel823d8e92010-12-08 22:42:58 +0000927 "__vtbl_ptr_type");
Devang Patel16674e82011-02-22 18:56:36 +0000928 VTablePtrType = DBuilder.createPointerType(vtbl_ptr_type, Size);
Devang Patel4ce3f202010-01-28 18:11:52 +0000929 return VTablePtrType;
930}
931
Anders Carlsson046c2942010-04-17 20:15:18 +0000932/// getVTableName - Get vtable name for the given Class.
933llvm::StringRef CGDebugInfo::getVTableName(const CXXRecordDecl *RD) {
Devang Patel4ce3f202010-01-28 18:11:52 +0000934 // Otherwise construct gdb compatible name name.
Devang Patel239cec62010-02-01 21:39:52 +0000935 std::string Name = "_vptr$" + RD->getNameAsString();
Devang Patel4ce3f202010-01-28 18:11:52 +0000936
937 // Copy this name on the side and use its reference.
Devang Patel89f05f82010-01-28 18:21:00 +0000938 char *StrPtr = DebugInfoNames.Allocate<char>(Name.length());
Devang Patel4ce3f202010-01-28 18:11:52 +0000939 memcpy(StrPtr, Name.data(), Name.length());
940 return llvm::StringRef(StrPtr, Name.length());
941}
942
943
Anders Carlsson046c2942010-04-17 20:15:18 +0000944/// CollectVTableInfo - If the C++ class has vtable info then insert appropriate
Devang Patel4ce3f202010-01-28 18:11:52 +0000945/// debug info entry in EltTys vector.
946void CGDebugInfo::
Anders Carlsson046c2942010-04-17 20:15:18 +0000947CollectVTableInfo(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000948 llvm::SmallVectorImpl<llvm::Value *> &EltTys) {
Devang Patel239cec62010-02-01 21:39:52 +0000949 const ASTRecordLayout &RL = CGM.getContext().getASTRecordLayout(RD);
Devang Patel4ce3f202010-01-28 18:11:52 +0000950
951 // If there is a primary base then it will hold vtable info.
952 if (RL.getPrimaryBase())
953 return;
954
955 // If this class is not dynamic then there is not any vtable info to collect.
Devang Patel239cec62010-02-01 21:39:52 +0000956 if (!RD->isDynamicClass())
Devang Patel4ce3f202010-01-28 18:11:52 +0000957 return;
958
959 unsigned Size = CGM.getContext().getTypeSize(CGM.getContext().VoidPtrTy);
960 llvm::DIType VPTR
Devang Patel16674e82011-02-22 18:56:36 +0000961 = DBuilder.createMemberType(getVTableName(RD), Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000962 0, Size, 0, 0, 0,
963 getOrCreateVTablePtrType(Unit));
Devang Patel4ce3f202010-01-28 18:11:52 +0000964 EltTys.push_back(VPTR);
965}
966
Devang Patelc69e1cf2010-09-30 19:05:55 +0000967/// getOrCreateRecordType - Emit record type's standalone debug info.
968llvm::DIType CGDebugInfo::getOrCreateRecordType(QualType RTy,
969 SourceLocation Loc) {
970 llvm::DIType T = getOrCreateType(RTy, getOrCreateFile(Loc));
Devang Patel16674e82011-02-22 18:56:36 +0000971 DBuilder.retainType(T);
Devang Patelc69e1cf2010-09-30 19:05:55 +0000972 return T;
973}
974
Devang Patel65e99f22009-02-25 01:36:11 +0000975/// CreateType - get structure or union type.
Devang Patel31f7d022011-01-17 22:23:07 +0000976llvm::DIType CGDebugInfo::CreateType(const RecordType *Ty) {
Devang Pateld6c5a262010-02-01 21:52:22 +0000977 RecordDecl *RD = Ty->getDecl();
Devang Patel31f7d022011-01-17 22:23:07 +0000978 llvm::DIFile Unit = getOrCreateFile(RD->getLocation());
Mike Stump1eb44332009-09-09 15:08:12 +0000979
Chris Lattner9c85ba32008-11-10 06:08:34 +0000980 // Get overall information about the record type for the debug info.
Devang Patel8ab870d2010-05-12 23:46:38 +0000981 llvm::DIFile DefUnit = getOrCreateFile(RD->getLocation());
982 unsigned Line = getLineNumber(RD->getLocation());
Mike Stump1eb44332009-09-09 15:08:12 +0000983
Chris Lattner9c85ba32008-11-10 06:08:34 +0000984 // Records and classes and unions can all be recursive. To handle them, we
985 // first generate a debug descriptor for the struct as a forward declaration.
986 // Then (if it is a definition) we go through and get debug info for all of
987 // its members. Finally, we create a descriptor for the complete type (which
988 // may refer to the forward decl if the struct is recursive) and replace all
989 // uses of the forward declaration with the final definition.
Devang Patel0b897992010-07-08 19:56:29 +0000990 llvm::DIDescriptor FDContext =
John McCall8178df32011-02-22 22:38:33 +0000991 getContextDescriptor(cast<Decl>(RD->getDeclContext()));
Devang Patel0b897992010-07-08 19:56:29 +0000992
993 // If this is just a forward declaration, construct an appropriately
994 // marked node and just return it.
995 if (!RD->getDefinition()) {
Devang Patel823d8e92010-12-08 22:42:58 +0000996 llvm::DIType FwdDecl =
Devang Patel16674e82011-02-22 18:56:36 +0000997 DBuilder.createStructType(FDContext, RD->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +0000998 DefUnit, Line, 0, 0,
999 llvm::DIDescriptor::FlagFwdDecl,
1000 llvm::DIArray());
Devang Patel0b897992010-07-08 19:56:29 +00001001
1002 return FwdDecl;
1003 }
Devang Pateld0f251b2010-01-20 23:56:40 +00001004
Devang Patel16674e82011-02-22 18:56:36 +00001005 llvm::DIType FwdDecl = DBuilder.createTemporaryType(DefUnit);
Mike Stump1eb44332009-09-09 15:08:12 +00001006
Devang Patelab699792010-05-07 18:12:35 +00001007 llvm::MDNode *MN = FwdDecl;
1008 llvm::TrackingVH<llvm::MDNode> FwdDeclNode = MN;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001009 // Otherwise, insert it into the TypeCache so that recursive uses will find
1010 // it.
Devang Patelab699792010-05-07 18:12:35 +00001011 TypeCache[QualType(Ty, 0).getAsOpaquePtr()] = FwdDecl;
Devang Patele4c1ea02010-03-11 20:01:48 +00001012 // Push the struct on region stack.
Devang Patelab699792010-05-07 18:12:35 +00001013 RegionStack.push_back(FwdDeclNode);
1014 RegionMap[Ty->getDecl()] = llvm::WeakVH(FwdDecl);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001015
1016 // Convert all the elements.
Devang Patel823d8e92010-12-08 22:42:58 +00001017 llvm::SmallVector<llvm::Value *, 16> EltTys;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001018
Devang Pateld6c5a262010-02-01 21:52:22 +00001019 const CXXRecordDecl *CXXDecl = dyn_cast<CXXRecordDecl>(RD);
Devang Patel3064afe2010-01-28 21:41:35 +00001020 if (CXXDecl) {
1021 CollectCXXBases(CXXDecl, Unit, EltTys, FwdDecl);
Anders Carlsson046c2942010-04-17 20:15:18 +00001022 CollectVTableInfo(CXXDecl, Unit, EltTys);
Devang Patel3064afe2010-01-28 21:41:35 +00001023 }
Devang Pateldabc3e92010-08-12 00:02:44 +00001024
1025 // Collect static variables with initializers.
1026 for (RecordDecl::decl_iterator I = RD->decls_begin(), E = RD->decls_end();
1027 I != E; ++I)
1028 if (const VarDecl *V = dyn_cast<VarDecl>(*I)) {
1029 if (const Expr *Init = V->getInit()) {
1030 Expr::EvalResult Result;
1031 if (Init->Evaluate(Result, CGM.getContext()) && Result.Val.isInt()) {
1032 llvm::ConstantInt *CI
1033 = llvm::ConstantInt::get(CGM.getLLVMContext(), Result.Val.getInt());
1034
1035 // Create the descriptor for static variable.
1036 llvm::DIFile VUnit = getOrCreateFile(V->getLocation());
1037 llvm::StringRef VName = V->getName();
1038 llvm::DIType VTy = getOrCreateType(V->getType(), VUnit);
1039 // Do not use DIGlobalVariable for enums.
1040 if (VTy.getTag() != llvm::dwarf::DW_TAG_enumeration_type) {
Devang Patel16674e82011-02-22 18:56:36 +00001041 DBuilder.createStaticVariable(FwdDecl, VName, VName, VUnit,
Devang Patel823d8e92010-12-08 22:42:58 +00001042 getLineNumber(V->getLocation()),
1043 VTy, true, CI);
Devang Pateldabc3e92010-08-12 00:02:44 +00001044 }
1045 }
1046 }
1047 }
1048
Devang Pateld6c5a262010-02-01 21:52:22 +00001049 CollectRecordFields(RD, Unit, EltTys);
Devang Patel9c1714b2011-04-05 17:30:54 +00001050 llvm::DIArray TParamsArray;
Devang Patel4ce3f202010-01-28 18:11:52 +00001051 if (CXXDecl) {
Devang Patel4125fd22010-01-19 01:54:44 +00001052 CollectCXXMemberFunctions(CXXDecl, Unit, EltTys, FwdDecl);
Devang Patel2ed8f002010-08-27 17:47:47 +00001053 CollectCXXFriends(CXXDecl, Unit, EltTys, FwdDecl);
Devang Patel9c1714b2011-04-05 17:30:54 +00001054 if (const ClassTemplateSpecializationDecl *TSpecial
1055 = dyn_cast<ClassTemplateSpecializationDecl>(RD))
1056 TParamsArray = CollectCXXTemplateParams(TSpecial, Unit);
Devang Patel823d8e92010-12-08 22:42:58 +00001057 }
Devang Patel0ac8f312010-01-28 00:54:21 +00001058
Devang Patel823d8e92010-12-08 22:42:58 +00001059 RegionStack.pop_back();
1060 llvm::DenseMap<const Decl *, llvm::WeakVH>::iterator RI =
1061 RegionMap.find(Ty->getDecl());
1062 if (RI != RegionMap.end())
1063 RegionMap.erase(RI);
1064
1065 llvm::DIDescriptor RDContext =
John McCall8178df32011-02-22 22:38:33 +00001066 getContextDescriptor(cast<Decl>(RD->getDeclContext()));
Devang Patel823d8e92010-12-08 22:42:58 +00001067 llvm::StringRef RDName = RD->getName();
1068 uint64_t Size = CGM.getContext().getTypeSize(Ty);
1069 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Jay Foadc556ef22011-04-24 10:11:03 +00001070 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patel823d8e92010-12-08 22:42:58 +00001071 llvm::MDNode *RealDecl = NULL;
1072
Devang Patel5c5b5872011-02-28 22:32:45 +00001073 if (RD->isUnion())
Devang Patel16674e82011-02-22 18:56:36 +00001074 RealDecl = DBuilder.createUnionType(RDContext, RDName, DefUnit, Line,
Devang Patel5c5b5872011-02-28 22:32:45 +00001075 Size, Align, 0, Elements);
1076 else if (CXXDecl) {
Devang Patel823d8e92010-12-08 22:42:58 +00001077 RDName = getClassName(RD);
1078 // A class's primary base or the class itself contains the vtable.
1079 llvm::MDNode *ContainingType = NULL;
Devang Pateld6c5a262010-02-01 21:52:22 +00001080 const ASTRecordLayout &RL = CGM.getContext().getASTRecordLayout(RD);
Devang Patel5bc794f2010-10-14 22:59:23 +00001081 if (const CXXRecordDecl *PBase = RL.getPrimaryBase()) {
1082 // Seek non virtual primary base root.
1083 while (1) {
1084 const ASTRecordLayout &BRL = CGM.getContext().getASTRecordLayout(PBase);
1085 const CXXRecordDecl *PBT = BRL.getPrimaryBase();
Anders Carlssonc9e814b2010-11-24 23:12:57 +00001086 if (PBT && !BRL.isPrimaryBaseVirtual())
Devang Patel5bc794f2010-10-14 22:59:23 +00001087 PBase = PBT;
1088 else
1089 break;
1090 }
Devang Patel0ac8f312010-01-28 00:54:21 +00001091 ContainingType =
Devang Patelab699792010-05-07 18:12:35 +00001092 getOrCreateType(QualType(PBase->getTypeForDecl(), 0), Unit);
Devang Patel5bc794f2010-10-14 22:59:23 +00001093 }
Devang Patel0ac8f312010-01-28 00:54:21 +00001094 else if (CXXDecl->isDynamicClass())
Devang Patelab699792010-05-07 18:12:35 +00001095 ContainingType = FwdDecl;
Devang Patel9c1714b2011-04-05 17:30:54 +00001096
Devang Patel16674e82011-02-22 18:56:36 +00001097 RealDecl = DBuilder.createClassType(RDContext, RDName, DefUnit, Line,
Devang Patel823d8e92010-12-08 22:42:58 +00001098 Size, Align, 0, 0, llvm::DIType(),
Devang Patelfa275df2011-02-02 21:38:49 +00001099 Elements, ContainingType,
1100 TParamsArray);
Devang Patel5c5b5872011-02-28 22:32:45 +00001101 } else
1102 RealDecl = DBuilder.createStructType(RDContext, RDName, DefUnit, Line,
1103 Size, Align, 0, Elements);
Mike Stump1eb44332009-09-09 15:08:12 +00001104
Chris Lattner9c85ba32008-11-10 06:08:34 +00001105 // Now that we have a real decl for the struct, replace anything using the
1106 // old decl with the new one. This will recursively update the debug info.
Dan Gohman4cac5b42010-08-20 22:02:57 +00001107 llvm::DIType(FwdDeclNode).replaceAllUsesWith(RealDecl);
Devang Patelab699792010-05-07 18:12:35 +00001108 RegionMap[RD] = llvm::WeakVH(RealDecl);
Devang Patel823d8e92010-12-08 22:42:58 +00001109 return llvm::DIType(RealDecl);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001110}
1111
John McCallc12c5bb2010-05-15 11:32:37 +00001112/// CreateType - get objective-c object type.
1113llvm::DIType CGDebugInfo::CreateType(const ObjCObjectType *Ty,
1114 llvm::DIFile Unit) {
1115 // Ignore protocols.
1116 return getOrCreateType(Ty->getBaseType(), Unit);
1117}
1118
Devang Patel9ca36b62009-02-26 21:10:26 +00001119/// CreateType - get objective-c interface type.
1120llvm::DIType CGDebugInfo::CreateType(const ObjCInterfaceType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001121 llvm::DIFile Unit) {
Devang Pateld6c5a262010-02-01 21:52:22 +00001122 ObjCInterfaceDecl *ID = Ty->getDecl();
Douglas Gregora6a28972010-11-30 06:38:09 +00001123 if (!ID)
1124 return llvm::DIType();
Devang Patel9ca36b62009-02-26 21:10:26 +00001125
1126 // Get overall information about the record type for the debug info.
Devang Patel17800552010-03-09 00:44:50 +00001127 llvm::DIFile DefUnit = getOrCreateFile(ID->getLocation());
Devang Patel8ab870d2010-05-12 23:46:38 +00001128 unsigned Line = getLineNumber(ID->getLocation());
Devang Patel17800552010-03-09 00:44:50 +00001129 unsigned RuntimeLang = TheCU.getLanguage();
Chris Lattnerac7c8142009-05-02 01:13:16 +00001130
Dan Gohman45f7c782010-08-23 21:15:56 +00001131 // If this is just a forward declaration, return a special forward-declaration
1132 // debug type.
1133 if (ID->isForwardDecl()) {
Devang Patel823d8e92010-12-08 22:42:58 +00001134 llvm::DIType FwdDecl =
Devang Patel16674e82011-02-22 18:56:36 +00001135 DBuilder.createStructType(Unit, ID->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +00001136 DefUnit, Line, 0, 0, 0,
1137 llvm::DIArray(), RuntimeLang);
Dan Gohman45f7c782010-08-23 21:15:56 +00001138 return FwdDecl;
1139 }
1140
Devang Patel9ca36b62009-02-26 21:10:26 +00001141 // To handle recursive interface, we
1142 // first generate a debug descriptor for the struct as a forward declaration.
1143 // Then (if it is a definition) we go through and get debug info for all of
1144 // its members. Finally, we create a descriptor for the complete type (which
1145 // may refer to the forward decl if the struct is recursive) and replace all
1146 // uses of the forward declaration with the final definition.
Devang Patel16674e82011-02-22 18:56:36 +00001147 llvm::DIType FwdDecl = DBuilder.createTemporaryType(DefUnit);
Mike Stump1eb44332009-09-09 15:08:12 +00001148
Devang Patelab699792010-05-07 18:12:35 +00001149 llvm::MDNode *MN = FwdDecl;
1150 llvm::TrackingVH<llvm::MDNode> FwdDeclNode = MN;
Devang Patel9ca36b62009-02-26 21:10:26 +00001151 // Otherwise, insert it into the TypeCache so that recursive uses will find
1152 // it.
Devang Patelab699792010-05-07 18:12:35 +00001153 TypeCache[QualType(Ty, 0).getAsOpaquePtr()] = FwdDecl;
Devang Patele4c1ea02010-03-11 20:01:48 +00001154 // Push the struct on region stack.
Devang Patelab699792010-05-07 18:12:35 +00001155 RegionStack.push_back(FwdDeclNode);
1156 RegionMap[Ty->getDecl()] = llvm::WeakVH(FwdDecl);
Devang Patel9ca36b62009-02-26 21:10:26 +00001157
1158 // Convert all the elements.
Devang Patel823d8e92010-12-08 22:42:58 +00001159 llvm::SmallVector<llvm::Value *, 16> EltTys;
Devang Patel9ca36b62009-02-26 21:10:26 +00001160
Devang Pateld6c5a262010-02-01 21:52:22 +00001161 ObjCInterfaceDecl *SClass = ID->getSuperClass();
Devang Patelfbe899f2009-03-10 21:30:26 +00001162 if (SClass) {
Mike Stump1eb44332009-09-09 15:08:12 +00001163 llvm::DIType SClassTy =
Anders Carlsson20f12a22009-12-06 18:00:51 +00001164 getOrCreateType(CGM.getContext().getObjCInterfaceType(SClass), Unit);
Douglas Gregora6a28972010-11-30 06:38:09 +00001165 if (!SClassTy.isValid())
1166 return llvm::DIType();
1167
Mike Stump1eb44332009-09-09 15:08:12 +00001168 llvm::DIType InhTag =
Devang Patel16674e82011-02-22 18:56:36 +00001169 DBuilder.createInheritance(FwdDecl, SClassTy, 0, 0);
Devang Patelfbe899f2009-03-10 21:30:26 +00001170 EltTys.push_back(InhTag);
1171 }
1172
Devang Pateld6c5a262010-02-01 21:52:22 +00001173 const ASTRecordLayout &RL = CGM.getContext().getASTObjCInterfaceLayout(ID);
Devang Patel9ca36b62009-02-26 21:10:26 +00001174
1175 unsigned FieldNo = 0;
Fariborz Jahanian97477392010-10-01 00:01:53 +00001176 for (ObjCIvarDecl *Field = ID->all_declared_ivar_begin(); Field;
Fariborz Jahanianfe8fdba2010-10-11 23:55:47 +00001177 Field = Field->getNextIvar(), ++FieldNo) {
Devang Patel9ca36b62009-02-26 21:10:26 +00001178 llvm::DIType FieldTy = getOrCreateType(Field->getType(), Unit);
Douglas Gregora6a28972010-11-30 06:38:09 +00001179 if (!FieldTy.isValid())
1180 return llvm::DIType();
1181
Devang Patel73621622009-11-25 17:37:31 +00001182 llvm::StringRef FieldName = Field->getName();
Devang Patel9ca36b62009-02-26 21:10:26 +00001183
Devang Patelde135022009-04-27 22:40:36 +00001184 // Ignore unnamed fields.
Devang Patel73621622009-11-25 17:37:31 +00001185 if (FieldName.empty())
Devang Patelde135022009-04-27 22:40:36 +00001186 continue;
1187
Devang Patel9ca36b62009-02-26 21:10:26 +00001188 // Get the location for the field.
Devang Patel8ab870d2010-05-12 23:46:38 +00001189 llvm::DIFile FieldDefUnit = getOrCreateFile(Field->getLocation());
1190 unsigned FieldLine = getLineNumber(Field->getLocation());
Devang Patel99c20eb2009-03-20 18:24:39 +00001191 QualType FType = Field->getType();
1192 uint64_t FieldSize = 0;
1193 unsigned FieldAlign = 0;
Devang Patelc20482b2009-03-19 00:23:53 +00001194
Devang Patel99c20eb2009-03-20 18:24:39 +00001195 if (!FType->isIncompleteArrayType()) {
Mike Stump1eb44332009-09-09 15:08:12 +00001196
Devang Patel99c20eb2009-03-20 18:24:39 +00001197 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001198 FieldSize = CGM.getContext().getTypeSize(FType);
Devang Patel99c20eb2009-03-20 18:24:39 +00001199 Expr *BitWidth = Field->getBitWidth();
1200 if (BitWidth)
Anders Carlsson20f12a22009-12-06 18:00:51 +00001201 FieldSize = BitWidth->EvaluateAsInt(CGM.getContext()).getZExtValue();
Eli Friedman9a901bb2009-04-26 19:19:15 +00001202
Anders Carlsson20f12a22009-12-06 18:00:51 +00001203 FieldAlign = CGM.getContext().getTypeAlign(FType);
Devang Patel99c20eb2009-03-20 18:24:39 +00001204 }
1205
Mike Stump1eb44332009-09-09 15:08:12 +00001206 uint64_t FieldOffset = RL.getFieldOffset(FieldNo);
1207
Devang Patelc20482b2009-03-19 00:23:53 +00001208 unsigned Flags = 0;
1209 if (Field->getAccessControl() == ObjCIvarDecl::Protected)
Devang Patele2472482010-09-29 21:05:52 +00001210 Flags = llvm::DIDescriptor::FlagProtected;
Devang Patelc20482b2009-03-19 00:23:53 +00001211 else if (Field->getAccessControl() == ObjCIvarDecl::Private)
Devang Patele2472482010-09-29 21:05:52 +00001212 Flags = llvm::DIDescriptor::FlagPrivate;
Mike Stump1eb44332009-09-09 15:08:12 +00001213
Devang Patelfa936d82011-04-16 00:12:55 +00001214 llvm::StringRef PropertyName;
1215 llvm::StringRef PropertyGetter;
1216 llvm::StringRef PropertySetter;
Eli Friedman10292cc2011-04-17 06:40:15 +00001217 unsigned PropertyAttributes = 0;
Devang Patelfa936d82011-04-16 00:12:55 +00001218 if (ObjCPropertyDecl *PD =
1219 ID->FindPropertyVisibleInPrimaryClass(Field->getIdentifier())) {
1220 PropertyName = PD->getName();
Devang Patel90c1eed2011-04-16 00:37:51 +00001221 PropertyGetter = getSelectorName(PD->getGetterName());
1222 PropertySetter = getSelectorName(PD->getSetterName());
Devang Patelfa936d82011-04-16 00:12:55 +00001223 PropertyAttributes = PD->getPropertyAttributes();
1224 }
1225 FieldTy = DBuilder.createObjCIVar(FieldName, FieldDefUnit,
1226 FieldLine, FieldSize, FieldAlign,
1227 FieldOffset, Flags, FieldTy,
1228 PropertyName, PropertyGetter,
1229 PropertySetter, PropertyAttributes);
Devang Patel9ca36b62009-02-26 21:10:26 +00001230 EltTys.push_back(FieldTy);
1231 }
Mike Stump1eb44332009-09-09 15:08:12 +00001232
Jay Foadc556ef22011-04-24 10:11:03 +00001233 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patel9ca36b62009-02-26 21:10:26 +00001234
Devang Patele4c1ea02010-03-11 20:01:48 +00001235 RegionStack.pop_back();
1236 llvm::DenseMap<const Decl *, llvm::WeakVH>::iterator RI =
1237 RegionMap.find(Ty->getDecl());
1238 if (RI != RegionMap.end())
1239 RegionMap.erase(RI);
1240
Devang Patel9ca36b62009-02-26 21:10:26 +00001241 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001242 uint64_t Size = CGM.getContext().getTypeSize(Ty);
1243 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +00001244
Devang Patel823d8e92010-12-08 22:42:58 +00001245 llvm::DIType RealDecl =
Devang Patel16674e82011-02-22 18:56:36 +00001246 DBuilder.createStructType(Unit, ID->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +00001247 Line, Size, Align, 0,
1248 Elements, RuntimeLang);
Devang Patel9ca36b62009-02-26 21:10:26 +00001249
1250 // Now that we have a real decl for the struct, replace anything using the
1251 // old decl with the new one. This will recursively update the debug info.
Dan Gohman4cac5b42010-08-20 22:02:57 +00001252 llvm::DIType(FwdDeclNode).replaceAllUsesWith(RealDecl);
Devang Patelab699792010-05-07 18:12:35 +00001253 RegionMap[ID] = llvm::WeakVH(RealDecl);
Devang Patelfe09eab2009-07-13 17:03:14 +00001254
Devang Patel9ca36b62009-02-26 21:10:26 +00001255 return RealDecl;
1256}
1257
Devang Patel31f7d022011-01-17 22:23:07 +00001258llvm::DIType CGDebugInfo::CreateType(const TagType *Ty) {
Chris Lattner9c85ba32008-11-10 06:08:34 +00001259 if (const RecordType *RT = dyn_cast<RecordType>(Ty))
Devang Patel31f7d022011-01-17 22:23:07 +00001260 return CreateType(RT);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001261 else if (const EnumType *ET = dyn_cast<EnumType>(Ty))
Devang Patel31f7d022011-01-17 22:23:07 +00001262 return CreateEnumType(ET->getDecl());
Mike Stump1eb44332009-09-09 15:08:12 +00001263
Chris Lattner9c85ba32008-11-10 06:08:34 +00001264 return llvm::DIType();
1265}
1266
Devang Patel70c23cd2010-02-23 22:59:39 +00001267llvm::DIType CGDebugInfo::CreateType(const VectorType *Ty,
Eli Friedmana7e68452010-08-22 01:00:03 +00001268 llvm::DIFile Unit) {
Devang Patel70c23cd2010-02-23 22:59:39 +00001269 llvm::DIType ElementTy = getOrCreateType(Ty->getElementType(), Unit);
Devang Patel6cf37dd2011-04-08 21:56:52 +00001270 int64_t NumElems = Ty->getNumElements();
1271 int64_t LowerBound = 0;
1272 if (NumElems == 0)
1273 // If number of elements are not known then this is an unbounded array.
1274 // Use Low = 1, Hi = 0 to express such arrays.
1275 LowerBound = 1;
1276 else
Devang Patel70c23cd2010-02-23 22:59:39 +00001277 --NumElems;
Devang Patel70c23cd2010-02-23 22:59:39 +00001278
Devang Patel6cf37dd2011-04-08 21:56:52 +00001279 llvm::Value *Subscript = DBuilder.getOrCreateSubrange(LowerBound, NumElems);
Jay Foadc556ef22011-04-24 10:11:03 +00001280 llvm::DIArray SubscriptArray = DBuilder.getOrCreateArray(Subscript);
Devang Patel70c23cd2010-02-23 22:59:39 +00001281
1282 uint64_t Size = CGM.getContext().getTypeSize(Ty);
1283 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
1284
1285 return
Devang Patel16674e82011-02-22 18:56:36 +00001286 DBuilder.createVectorType(Size, Align, ElementTy, SubscriptArray);
Devang Patel70c23cd2010-02-23 22:59:39 +00001287}
1288
Chris Lattner9c85ba32008-11-10 06:08:34 +00001289llvm::DIType CGDebugInfo::CreateType(const ArrayType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001290 llvm::DIFile Unit) {
Anders Carlsson835c9092009-01-05 01:23:29 +00001291 uint64_t Size;
1292 uint64_t Align;
Mike Stump1eb44332009-09-09 15:08:12 +00001293
1294
Nuno Lopes010d5142009-01-28 00:35:17 +00001295 // FIXME: make getTypeAlign() aware of VLAs and incomplete array types
Anders Carlsson835c9092009-01-05 01:23:29 +00001296 if (const VariableArrayType *VAT = dyn_cast<VariableArrayType>(Ty)) {
Anders Carlsson835c9092009-01-05 01:23:29 +00001297 Size = 0;
1298 Align =
Anders Carlsson20f12a22009-12-06 18:00:51 +00001299 CGM.getContext().getTypeAlign(CGM.getContext().getBaseElementType(VAT));
Nuno Lopes010d5142009-01-28 00:35:17 +00001300 } else if (Ty->isIncompleteArrayType()) {
1301 Size = 0;
Anders Carlsson20f12a22009-12-06 18:00:51 +00001302 Align = CGM.getContext().getTypeAlign(Ty->getElementType());
Devang Patelba690a42011-04-04 23:18:38 +00001303 } else if (Ty->isDependentSizedArrayType() || Ty->isIncompleteType()) {
Devang Patelae503df2011-04-01 19:02:33 +00001304 Size = 0;
1305 Align = 0;
Anders Carlsson835c9092009-01-05 01:23:29 +00001306 } else {
1307 // Size and align of the whole array, not the element type.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001308 Size = CGM.getContext().getTypeSize(Ty);
1309 Align = CGM.getContext().getTypeAlign(Ty);
Anders Carlsson835c9092009-01-05 01:23:29 +00001310 }
Mike Stump1eb44332009-09-09 15:08:12 +00001311
Chris Lattner9c85ba32008-11-10 06:08:34 +00001312 // Add the dimensions of the array. FIXME: This loses CV qualifiers from
1313 // interior arrays, do we care? Why aren't nested arrays represented the
1314 // obvious/recursive way?
Devang Patel823d8e92010-12-08 22:42:58 +00001315 llvm::SmallVector<llvm::Value *, 8> Subscripts;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001316 QualType EltTy(Ty, 0);
Devang Patelcdf523c2010-10-06 18:30:00 +00001317 if (Ty->isIncompleteArrayType())
Chris Lattner9c85ba32008-11-10 06:08:34 +00001318 EltTy = Ty->getElementType();
Devang Patelcdf523c2010-10-06 18:30:00 +00001319 else {
1320 while ((Ty = dyn_cast<ArrayType>(EltTy))) {
Devang Patel6cf37dd2011-04-08 21:56:52 +00001321 int64_t UpperBound = 0;
1322 int64_t LowerBound = 0;
Nick Lewycky3894c072011-04-09 00:25:15 +00001323 if (const ConstantArrayType *CAT = dyn_cast<ConstantArrayType>(Ty)) {
Devang Patelcdf523c2010-10-06 18:30:00 +00001324 if (CAT->getSize().getZExtValue())
Devang Patel6cf37dd2011-04-08 21:56:52 +00001325 UpperBound = CAT->getSize().getZExtValue() - 1;
Nick Lewycky3894c072011-04-09 00:25:15 +00001326 } else
Devang Patel6cf37dd2011-04-08 21:56:52 +00001327 // This is an unbounded array. Use Low = 1, Hi = 0 to express such
1328 // arrays.
1329 LowerBound = 1;
1330
Devang Patelcdf523c2010-10-06 18:30:00 +00001331 // FIXME: Verify this is right for VLAs.
Devang Patel6cf37dd2011-04-08 21:56:52 +00001332 Subscripts.push_back(DBuilder.getOrCreateSubrange(LowerBound, UpperBound));
Devang Patelcdf523c2010-10-06 18:30:00 +00001333 EltTy = Ty->getElementType();
1334 }
Sanjiv Gupta507de852008-06-09 10:47:41 +00001335 }
Mike Stump1eb44332009-09-09 15:08:12 +00001336
Jay Foadc556ef22011-04-24 10:11:03 +00001337 llvm::DIArray SubscriptArray = DBuilder.getOrCreateArray(Subscripts);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001338
Devang Patelca80a5f2009-10-20 19:55:01 +00001339 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +00001340 DBuilder.createArrayType(Size, Align, getOrCreateType(EltTy, Unit),
Devang Patel823d8e92010-12-08 22:42:58 +00001341 SubscriptArray);
Devang Patelca80a5f2009-10-20 19:55:01 +00001342 return DbgTy;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001343}
1344
Anders Carlssona031b352009-11-06 19:19:55 +00001345llvm::DIType CGDebugInfo::CreateType(const LValueReferenceType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001346 llvm::DIFile Unit) {
Anders Carlssona031b352009-11-06 19:19:55 +00001347 return CreatePointerLikeType(llvm::dwarf::DW_TAG_reference_type,
1348 Ty, Ty->getPointeeType(), Unit);
1349}
Chris Lattner9c85ba32008-11-10 06:08:34 +00001350
Douglas Gregor36b8ee62011-01-22 01:58:15 +00001351llvm::DIType CGDebugInfo::CreateType(const RValueReferenceType *Ty,
1352 llvm::DIFile Unit) {
1353 return CreatePointerLikeType(llvm::dwarf::DW_TAG_rvalue_reference_type,
1354 Ty, Ty->getPointeeType(), Unit);
1355}
1356
Anders Carlsson20f12a22009-12-06 18:00:51 +00001357llvm::DIType CGDebugInfo::CreateType(const MemberPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001358 llvm::DIFile U) {
Anders Carlsson20f12a22009-12-06 18:00:51 +00001359 QualType PointerDiffTy = CGM.getContext().getPointerDiffType();
1360 llvm::DIType PointerDiffDITy = getOrCreateType(PointerDiffTy, U);
1361
1362 if (!Ty->getPointeeType()->isFunctionType()) {
1363 // We have a data member pointer type.
1364 return PointerDiffDITy;
1365 }
1366
1367 // We have a member function pointer type. Treat it as a struct with two
1368 // ptrdiff_t members.
1369 std::pair<uint64_t, unsigned> Info = CGM.getContext().getTypeInfo(Ty);
1370
1371 uint64_t FieldOffset = 0;
Devang Patel823d8e92010-12-08 22:42:58 +00001372 llvm::Value *ElementTypes[2];
Anders Carlsson20f12a22009-12-06 18:00:51 +00001373
1374 // FIXME: This should probably be a function type instead.
1375 ElementTypes[0] =
Devang Patel16674e82011-02-22 18:56:36 +00001376 DBuilder.createMemberType("ptr", U, 0,
Devang Patel823d8e92010-12-08 22:42:58 +00001377 Info.first, Info.second, FieldOffset, 0,
1378 PointerDiffDITy);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001379 FieldOffset += Info.first;
1380
1381 ElementTypes[1] =
Devang Patel16674e82011-02-22 18:56:36 +00001382 DBuilder.createMemberType("ptr", U, 0,
Devang Patel823d8e92010-12-08 22:42:58 +00001383 Info.first, Info.second, FieldOffset, 0,
1384 PointerDiffDITy);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001385
Jay Foadc556ef22011-04-24 10:11:03 +00001386 llvm::DIArray Elements = DBuilder.getOrCreateArray(ElementTypes);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001387
Devang Patel16674e82011-02-22 18:56:36 +00001388 return DBuilder.createStructType(U, llvm::StringRef("test"),
Devang Patel823d8e92010-12-08 22:42:58 +00001389 U, 0, FieldOffset,
1390 0, 0, Elements);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001391}
1392
Devang Patel6237cea2010-08-23 22:07:25 +00001393/// CreateEnumType - get enumeration type.
Devang Patel31f7d022011-01-17 22:23:07 +00001394llvm::DIType CGDebugInfo::CreateEnumType(const EnumDecl *ED) {
1395 llvm::DIFile Unit = getOrCreateFile(ED->getLocation());
Devang Patel823d8e92010-12-08 22:42:58 +00001396 llvm::SmallVector<llvm::Value *, 16> Enumerators;
Devang Patel6237cea2010-08-23 22:07:25 +00001397
1398 // Create DIEnumerator elements for each enumerator.
1399 for (EnumDecl::enumerator_iterator
1400 Enum = ED->enumerator_begin(), EnumEnd = ED->enumerator_end();
1401 Enum != EnumEnd; ++Enum) {
Devang Patel823d8e92010-12-08 22:42:58 +00001402 Enumerators.push_back(
Devang Patel16674e82011-02-22 18:56:36 +00001403 DBuilder.createEnumerator(Enum->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +00001404 Enum->getInitVal().getZExtValue()));
Devang Patel6237cea2010-08-23 22:07:25 +00001405 }
1406
1407 // Return a CompositeType for the enum itself.
Jay Foadc556ef22011-04-24 10:11:03 +00001408 llvm::DIArray EltArray = DBuilder.getOrCreateArray(Enumerators);
Devang Patel6237cea2010-08-23 22:07:25 +00001409
1410 llvm::DIFile DefUnit = getOrCreateFile(ED->getLocation());
1411 unsigned Line = getLineNumber(ED->getLocation());
1412 uint64_t Size = 0;
Devang Patelffc52e72010-08-24 18:14:06 +00001413 uint64_t Align = 0;
1414 if (!ED->getTypeForDecl()->isIncompleteType()) {
1415 Size = CGM.getContext().getTypeSize(ED->getTypeForDecl());
1416 Align = CGM.getContext().getTypeAlign(ED->getTypeForDecl());
1417 }
Devang Patel4bc48872010-10-27 23:23:58 +00001418 llvm::DIDescriptor EnumContext =
John McCall8178df32011-02-22 22:38:33 +00001419 getContextDescriptor(cast<Decl>(ED->getDeclContext()));
Devang Patel6237cea2010-08-23 22:07:25 +00001420 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +00001421 DBuilder.createEnumerationType(EnumContext, ED->getName(), DefUnit, Line,
Devang Patel823d8e92010-12-08 22:42:58 +00001422 Size, Align, EltArray);
Devang Patel6237cea2010-08-23 22:07:25 +00001423 return DbgTy;
1424}
1425
Douglas Gregor840943d2009-12-21 20:18:30 +00001426static QualType UnwrapTypeForDebugInfo(QualType T) {
1427 do {
1428 QualType LastT = T;
1429 switch (T->getTypeClass()) {
1430 default:
1431 return T;
1432 case Type::TemplateSpecialization:
1433 T = cast<TemplateSpecializationType>(T)->desugar();
1434 break;
John McCallf4c73712011-01-19 06:33:43 +00001435 case Type::TypeOfExpr:
1436 T = cast<TypeOfExprType>(T)->getUnderlyingExpr()->getType();
Douglas Gregor840943d2009-12-21 20:18:30 +00001437 break;
Douglas Gregor840943d2009-12-21 20:18:30 +00001438 case Type::TypeOf:
1439 T = cast<TypeOfType>(T)->getUnderlyingType();
1440 break;
1441 case Type::Decltype:
1442 T = cast<DecltypeType>(T)->getUnderlyingType();
1443 break;
John McCall9d156a72011-01-06 01:58:22 +00001444 case Type::Attributed:
1445 T = cast<AttributedType>(T)->getEquivalentType();
John McCall14aa2172011-03-04 04:00:19 +00001446 break;
Abramo Bagnara465d41b2010-05-11 21:36:43 +00001447 case Type::Elaborated:
1448 T = cast<ElaboratedType>(T)->getNamedType();
Douglas Gregor840943d2009-12-21 20:18:30 +00001449 break;
Abramo Bagnara075f8f12010-12-10 16:29:40 +00001450 case Type::Paren:
1451 T = cast<ParenType>(T)->getInnerType();
1452 break;
Douglas Gregor840943d2009-12-21 20:18:30 +00001453 case Type::SubstTemplateTypeParm:
1454 T = cast<SubstTemplateTypeParmType>(T)->getReplacementType();
1455 break;
Anders Carlssonebc32792011-03-06 16:43:04 +00001456 case Type::Auto:
1457 T = cast<AutoType>(T)->getDeducedType();
1458 break;
Douglas Gregor840943d2009-12-21 20:18:30 +00001459 }
1460
1461 assert(T != LastT && "Type unwrapping failed to unwrap!");
1462 if (T == LastT)
1463 return T;
1464 } while (true);
1465
1466 return T;
Anders Carlsson5b6117a2009-11-14 21:08:12 +00001467}
1468
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001469/// getOrCreateType - Get the type from the cache or create a new
1470/// one if necessary.
Chris Lattner9c85ba32008-11-10 06:08:34 +00001471llvm::DIType CGDebugInfo::getOrCreateType(QualType Ty,
Devang Patel17800552010-03-09 00:44:50 +00001472 llvm::DIFile Unit) {
Chris Lattner9c85ba32008-11-10 06:08:34 +00001473 if (Ty.isNull())
1474 return llvm::DIType();
Mike Stump1eb44332009-09-09 15:08:12 +00001475
Douglas Gregor840943d2009-12-21 20:18:30 +00001476 // Unwrap the type as needed for debug information.
1477 Ty = UnwrapTypeForDebugInfo(Ty);
Devang Patele80d5672011-03-23 16:29:39 +00001478
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001479 // Check for existing entry.
Ted Kremenek590838b2010-03-29 18:29:57 +00001480 llvm::DenseMap<void *, llvm::WeakVH>::iterator it =
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001481 TypeCache.find(Ty.getAsOpaquePtr());
Daniel Dunbar65f13c32009-09-19 20:17:48 +00001482 if (it != TypeCache.end()) {
1483 // Verify that the debug info still exists.
1484 if (&*it->second)
1485 return llvm::DIType(cast<llvm::MDNode>(it->second));
1486 }
Daniel Dunbar03faac32009-09-19 19:27:14 +00001487
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001488 // Otherwise create the type.
1489 llvm::DIType Res = CreateTypeNode(Ty, Unit);
Anders Carlsson0dd57c62009-11-14 20:52:05 +00001490
1491 // And update the type cache.
Devang Patelab699792010-05-07 18:12:35 +00001492 TypeCache[Ty.getAsOpaquePtr()] = Res;
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001493 return Res;
Daniel Dunbar03faac32009-09-19 19:27:14 +00001494}
1495
Anders Carlsson0dd57c62009-11-14 20:52:05 +00001496/// CreateTypeNode - Create a new debug type node.
Daniel Dunbar03faac32009-09-19 19:27:14 +00001497llvm::DIType CGDebugInfo::CreateTypeNode(QualType Ty,
Devang Patel17800552010-03-09 00:44:50 +00001498 llvm::DIFile Unit) {
John McCalla1805292009-09-25 01:40:47 +00001499 // Handle qualifiers, which recursively handles what they refer to.
Douglas Gregora4923eb2009-11-16 21:35:15 +00001500 if (Ty.hasLocalQualifiers())
John McCalla1805292009-09-25 01:40:47 +00001501 return CreateQualifiedType(Ty, Unit);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001502
Douglas Gregor2101a822009-12-21 19:57:21 +00001503 const char *Diag = 0;
1504
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001505 // Work out details of type.
Chris Lattner9c85ba32008-11-10 06:08:34 +00001506 switch (Ty->getTypeClass()) {
Douglas Gregor72564e72009-02-26 23:50:07 +00001507#define TYPE(Class, Base)
1508#define ABSTRACT_TYPE(Class, Base)
1509#define NON_CANONICAL_TYPE(Class, Base)
1510#define DEPENDENT_TYPE(Class, Base) case Type::Class:
1511#include "clang/AST/TypeNodes.def"
1512 assert(false && "Dependent types cannot show up in debug information");
Argyrios Kyrtzidis1bb8a452009-08-19 01:28:17 +00001513
Anders Carlssonbfe69952009-11-06 18:24:04 +00001514 // FIXME: Handle these.
1515 case Type::ExtVector:
Anders Carlssonbfe69952009-11-06 18:24:04 +00001516 return llvm::DIType();
Devang Patel70c23cd2010-02-23 22:59:39 +00001517
1518 case Type::Vector:
1519 return CreateType(cast<VectorType>(Ty), Unit);
Daniel Dunbar9df4bb32009-07-14 01:20:56 +00001520 case Type::ObjCObjectPointer:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001521 return CreateType(cast<ObjCObjectPointerType>(Ty), Unit);
John McCallc12c5bb2010-05-15 11:32:37 +00001522 case Type::ObjCObject:
1523 return CreateType(cast<ObjCObjectType>(Ty), Unit);
Mike Stump1eb44332009-09-09 15:08:12 +00001524 case Type::ObjCInterface:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001525 return CreateType(cast<ObjCInterfaceType>(Ty), Unit);
Devang Patelf1d1d9a2010-11-01 16:52:40 +00001526 case Type::Builtin: return CreateType(cast<BuiltinType>(Ty));
Devang Patel344ff5d2010-12-09 00:25:29 +00001527 case Type::Complex: return CreateType(cast<ComplexType>(Ty));
Daniel Dunbar03faac32009-09-19 19:27:14 +00001528 case Type::Pointer: return CreateType(cast<PointerType>(Ty), Unit);
Mike Stump9bc093c2009-05-14 02:03:51 +00001529 case Type::BlockPointer:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001530 return CreateType(cast<BlockPointerType>(Ty), Unit);
1531 case Type::Typedef: return CreateType(cast<TypedefType>(Ty), Unit);
Douglas Gregor72564e72009-02-26 23:50:07 +00001532 case Type::Record:
Douglas Gregor72564e72009-02-26 23:50:07 +00001533 case Type::Enum:
Devang Patel31f7d022011-01-17 22:23:07 +00001534 return CreateType(cast<TagType>(Ty));
Chris Lattner9c85ba32008-11-10 06:08:34 +00001535 case Type::FunctionProto:
1536 case Type::FunctionNoProto:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001537 return CreateType(cast<FunctionType>(Ty), Unit);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001538 case Type::ConstantArray:
1539 case Type::VariableArray:
1540 case Type::IncompleteArray:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001541 return CreateType(cast<ArrayType>(Ty), Unit);
Anders Carlssona031b352009-11-06 19:19:55 +00001542
1543 case Type::LValueReference:
1544 return CreateType(cast<LValueReferenceType>(Ty), Unit);
Douglas Gregor36b8ee62011-01-22 01:58:15 +00001545 case Type::RValueReference:
1546 return CreateType(cast<RValueReferenceType>(Ty), Unit);
Anders Carlssona031b352009-11-06 19:19:55 +00001547
Anders Carlsson20f12a22009-12-06 18:00:51 +00001548 case Type::MemberPointer:
1549 return CreateType(cast<MemberPointerType>(Ty), Unit);
Douglas Gregor2101a822009-12-21 19:57:21 +00001550
John McCall9d156a72011-01-06 01:58:22 +00001551 case Type::Attributed:
Douglas Gregor2101a822009-12-21 19:57:21 +00001552 case Type::TemplateSpecialization:
Douglas Gregor2101a822009-12-21 19:57:21 +00001553 case Type::Elaborated:
Abramo Bagnara075f8f12010-12-10 16:29:40 +00001554 case Type::Paren:
Douglas Gregor2101a822009-12-21 19:57:21 +00001555 case Type::SubstTemplateTypeParm:
Douglas Gregor2101a822009-12-21 19:57:21 +00001556 case Type::TypeOfExpr:
1557 case Type::TypeOf:
Douglas Gregor840943d2009-12-21 20:18:30 +00001558 case Type::Decltype:
Richard Smith34b41d92011-02-20 03:19:35 +00001559 case Type::Auto:
Douglas Gregor840943d2009-12-21 20:18:30 +00001560 llvm_unreachable("type should have been unwrapped!");
Douglas Gregor36b8ee62011-01-22 01:58:15 +00001561 return llvm::DIType();
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001562 }
Douglas Gregor2101a822009-12-21 19:57:21 +00001563
1564 assert(Diag && "Fall through without a diagnostic?");
1565 unsigned DiagID = CGM.getDiags().getCustomDiagID(Diagnostic::Error,
1566 "debug information for %0 is not yet supported");
Argyrios Kyrtzidis33e4e702010-11-18 20:06:41 +00001567 CGM.getDiags().Report(DiagID)
Douglas Gregor2101a822009-12-21 19:57:21 +00001568 << Diag;
1569 return llvm::DIType();
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001570}
1571
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001572/// CreateMemberType - Create new member and increase Offset by FType's size.
1573llvm::DIType CGDebugInfo::CreateMemberType(llvm::DIFile Unit, QualType FType,
1574 llvm::StringRef Name,
1575 uint64_t *Offset) {
1576 llvm::DIType FieldTy = CGDebugInfo::getOrCreateType(FType, Unit);
1577 uint64_t FieldSize = CGM.getContext().getTypeSize(FType);
1578 unsigned FieldAlign = CGM.getContext().getTypeAlign(FType);
Devang Patel16674e82011-02-22 18:56:36 +00001579 llvm::DIType Ty = DBuilder.createMemberType(Name, Unit, 0,
Devang Patel823d8e92010-12-08 22:42:58 +00001580 FieldSize, FieldAlign,
1581 *Offset, 0, FieldTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001582 *Offset += FieldSize;
1583 return Ty;
1584}
1585
Devang Patel120bf322011-04-23 00:08:01 +00001586/// getFunctionDeclaration - Return debug info descriptor to describe method
1587/// declaration for the given method definition.
1588llvm::DISubprogram CGDebugInfo::getFunctionDeclaration(const Decl *D) {
1589 const FunctionDecl *FD = dyn_cast<FunctionDecl>(D);
1590 if (!FD) return llvm::DISubprogram();
1591
1592 // Setup context.
1593 getContextDescriptor(cast<Decl>(D->getDeclContext()));
1594
1595 for (FunctionDecl::redecl_iterator I = FD->redecls_begin(),
1596 E = FD->redecls_end(); I != E; ++I) {
1597 const FunctionDecl *NextFD = *I;
1598 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH>::iterator
1599 MI = SPCache.find(NextFD);
1600 if (MI != SPCache.end()) {
1601 llvm::DISubprogram SP(dyn_cast_or_null<llvm::MDNode>(&*MI->second));
1602 if (SP.isSubprogram() && !llvm::DISubprogram(SP).isDefinition())
1603 return SP;
1604 }
1605 }
1606 return llvm::DISubprogram();
1607}
1608
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001609/// EmitFunctionStart - Constructs the debug code for entering a function -
1610/// "llvm.dbg.func.start.".
Devang Patel9c6c3a02010-01-14 00:36:21 +00001611void CGDebugInfo::EmitFunctionStart(GlobalDecl GD, QualType FnType,
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001612 llvm::Function *Fn,
Chris Lattner9c85ba32008-11-10 06:08:34 +00001613 CGBuilderTy &Builder) {
Mike Stump1eb44332009-09-09 15:08:12 +00001614
Devang Patel9c6c3a02010-01-14 00:36:21 +00001615 llvm::StringRef Name;
Anders Carlsson9a20d552010-06-22 16:16:50 +00001616 llvm::StringRef LinkageName;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001617
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001618 FnBeginRegionCount.push_back(RegionStack.size());
1619
Devang Patel9c6c3a02010-01-14 00:36:21 +00001620 const Decl *D = GD.getDecl();
Devang Patel12e6d832011-04-05 20:28:21 +00001621
Devang Patel3951e712010-10-07 22:03:49 +00001622 unsigned Flags = 0;
Devang Patel0692f832010-10-11 21:58:41 +00001623 llvm::DIFile Unit = getOrCreateFile(CurLoc);
1624 llvm::DIDescriptor FDContext(Unit);
Devang Patel5ecb1df2011-04-05 22:54:11 +00001625 llvm::DIArray TParamsArray;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001626 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Devang Patel4125fd22010-01-19 01:54:44 +00001627 // If there is a DISubprogram for this function available then use it.
1628 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH>::iterator
1629 FI = SPCache.find(FD);
1630 if (FI != SPCache.end()) {
Gabor Greif38c9b172010-09-18 13:00:17 +00001631 llvm::DIDescriptor SP(dyn_cast_or_null<llvm::MDNode>(&*FI->second));
Devang Patelab699792010-05-07 18:12:35 +00001632 if (SP.isSubprogram() && llvm::DISubprogram(SP).isDefinition()) {
1633 llvm::MDNode *SPN = SP;
1634 RegionStack.push_back(SPN);
1635 RegionMap[D] = llvm::WeakVH(SP);
Devang Patel4125fd22010-01-19 01:54:44 +00001636 return;
1637 }
1638 }
Devang Patel9c6c3a02010-01-14 00:36:21 +00001639 Name = getFunctionName(FD);
1640 // Use mangled name as linkage name for c/c++ functions.
Anders Carlsson9a20d552010-06-22 16:16:50 +00001641 LinkageName = CGM.getMangledName(GD);
Devang Patel58faf202010-10-22 17:11:50 +00001642 if (LinkageName == Name)
1643 LinkageName = llvm::StringRef();
Devang Patel3951e712010-10-07 22:03:49 +00001644 if (FD->hasPrototype())
1645 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Patel0692f832010-10-11 21:58:41 +00001646 if (const NamespaceDecl *NSDecl =
1647 dyn_cast_or_null<NamespaceDecl>(FD->getDeclContext()))
Devang Patel170cef32010-12-09 00:33:05 +00001648 FDContext = getOrCreateNameSpace(NSDecl);
Devang Patel5ecb1df2011-04-05 22:54:11 +00001649
1650 // Collect template parameters.
1651 TParamsArray = CollectFunctionTemplateParams(FD, Unit);
David Chisnall70b9b442010-09-02 17:16:32 +00001652 } else if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D)) {
David Chisnall52044a22010-09-02 18:01:51 +00001653 Name = getObjCMethodName(OMD);
Devang Patel3951e712010-10-07 22:03:49 +00001654 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001655 } else {
Devang Patel58faf202010-10-22 17:11:50 +00001656 // Use llvm function name.
Devang Patel9c6c3a02010-01-14 00:36:21 +00001657 Name = Fn->getName();
Devang Patel3951e712010-10-07 22:03:49 +00001658 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001659 }
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001660 if (!Name.empty() && Name[0] == '\01')
1661 Name = Name.substr(1);
Mike Stump1eb44332009-09-09 15:08:12 +00001662
Devang Patel970c6182010-04-24 00:49:16 +00001663 // It is expected that CurLoc is set before using EmitFunctionStart.
1664 // Usually, CurLoc points to the left bracket location of compound
1665 // statement representing function body.
Devang Patel8ab870d2010-05-12 23:46:38 +00001666 unsigned LineNo = getLineNumber(CurLoc);
Devang Patele2472482010-09-29 21:05:52 +00001667 if (D->isImplicit())
1668 Flags |= llvm::DIDescriptor::FlagArtificial;
Devang Patel120bf322011-04-23 00:08:01 +00001669 llvm::DIType SPTy = getOrCreateType(FnType, Unit);
1670 llvm::DISubprogram SPDecl = getFunctionDeclaration(D);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001671 llvm::DISubprogram SP =
Devang Patel16674e82011-02-22 18:56:36 +00001672 DBuilder.createFunction(FDContext, Name, LinkageName, Unit,
Devang Patel120bf322011-04-23 00:08:01 +00001673 LineNo, SPTy,
Devang Patel823d8e92010-12-08 22:42:58 +00001674 Fn->hasInternalLinkage(), true/*definition*/,
Devang Patel5ecb1df2011-04-05 22:54:11 +00001675 Flags, CGM.getLangOptions().Optimize, Fn,
Devang Patel120bf322011-04-23 00:08:01 +00001676 TParamsArray, SPDecl);
Mike Stump1eb44332009-09-09 15:08:12 +00001677
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001678 // Push function on region stack.
Devang Patelab699792010-05-07 18:12:35 +00001679 llvm::MDNode *SPN = SP;
1680 RegionStack.push_back(SPN);
1681 RegionMap[D] = llvm::WeakVH(SP);
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001682
1683 // Clear stack used to keep track of #line directives.
1684 LineDirectiveFiles.clear();
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001685}
1686
1687
Devang Patel4d939e62010-07-20 22:20:10 +00001688void CGDebugInfo::EmitStopPoint(CGBuilderTy &Builder) {
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001689 if (CurLoc.isInvalid() || CurLoc.isMacroID()) return;
Mike Stump1eb44332009-09-09 15:08:12 +00001690
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001691 // Don't bother if things are the same as last time.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001692 SourceManager &SM = CGM.getContext().getSourceManager();
Mike Stump1eb44332009-09-09 15:08:12 +00001693 if (CurLoc == PrevLoc
Chris Lattner30fc9332009-02-04 01:06:56 +00001694 || (SM.getInstantiationLineNumber(CurLoc) ==
1695 SM.getInstantiationLineNumber(PrevLoc)
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001696 && SM.isFromSameFile(CurLoc, PrevLoc)))
Devang Patel4800ea62010-04-05 21:09:15 +00001697 // New Builder may not be in sync with CGDebugInfo.
1698 if (!Builder.getCurrentDebugLocation().isUnknown())
1699 return;
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001700
1701 // Update last state.
1702 PrevLoc = CurLoc;
1703
Chris Lattnerc6034632010-04-01 06:31:43 +00001704 llvm::MDNode *Scope = RegionStack.back();
Devang Patel8ab870d2010-05-12 23:46:38 +00001705 Builder.SetCurrentDebugLocation(llvm::DebugLoc::get(getLineNumber(CurLoc),
1706 getColumnNumber(CurLoc),
Chris Lattnere541d012010-04-02 20:21:43 +00001707 Scope));
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001708}
1709
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001710/// UpdateLineDirectiveRegion - Update region stack only if #line directive
1711/// has introduced scope change.
1712void CGDebugInfo::UpdateLineDirectiveRegion(CGBuilderTy &Builder) {
1713 if (CurLoc.isInvalid() || CurLoc.isMacroID() ||
1714 PrevLoc.isInvalid() || PrevLoc.isMacroID())
1715 return;
1716 SourceManager &SM = CGM.getContext().getSourceManager();
1717 PresumedLoc PCLoc = SM.getPresumedLoc(CurLoc);
1718 PresumedLoc PPLoc = SM.getPresumedLoc(PrevLoc);
1719
Douglas Gregor8c457a82010-11-11 20:45:16 +00001720 if (PCLoc.isInvalid() || PPLoc.isInvalid() ||
1721 !strcmp(PPLoc.getFilename(), PCLoc.getFilename()))
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001722 return;
1723
1724 // If #line directive stack is empty then we are entering a new scope.
1725 if (LineDirectiveFiles.empty()) {
1726 EmitRegionStart(Builder);
1727 LineDirectiveFiles.push_back(PCLoc.getFilename());
1728 return;
1729 }
1730
1731 assert (RegionStack.size() >= LineDirectiveFiles.size()
1732 && "error handling #line regions!");
1733
1734 bool SeenThisFile = false;
Devang Patel424a5c62010-09-15 20:50:40 +00001735 // Chek if current file is already seen earlier.
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001736 for(std::vector<const char *>::iterator I = LineDirectiveFiles.begin(),
1737 E = LineDirectiveFiles.end(); I != E; ++I)
Devang Patel424a5c62010-09-15 20:50:40 +00001738 if (!strcmp(PCLoc.getFilename(), *I)) {
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001739 SeenThisFile = true;
1740 break;
1741 }
1742
1743 // If #line for this file is seen earlier then pop out #line regions.
1744 if (SeenThisFile) {
1745 while (!LineDirectiveFiles.empty()) {
1746 const char *LastFile = LineDirectiveFiles.back();
1747 RegionStack.pop_back();
1748 LineDirectiveFiles.pop_back();
1749 if (!strcmp(PPLoc.getFilename(), LastFile))
1750 break;
1751 }
1752 return;
1753 }
1754
1755 // .. otherwise insert new #line region.
1756 EmitRegionStart(Builder);
1757 LineDirectiveFiles.push_back(PCLoc.getFilename());
1758
1759 return;
1760}
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001761/// EmitRegionStart- Constructs the debug code for entering a declarative
1762/// region - "llvm.dbg.region.start.".
Devang Patel4d939e62010-07-20 22:20:10 +00001763void CGDebugInfo::EmitRegionStart(CGBuilderTy &Builder) {
Devang Patel8fae0602009-11-13 19:10:24 +00001764 llvm::DIDescriptor D =
Devang Patel16674e82011-02-22 18:56:36 +00001765 DBuilder.createLexicalBlock(RegionStack.empty() ?
Devang Patel823d8e92010-12-08 22:42:58 +00001766 llvm::DIDescriptor() :
1767 llvm::DIDescriptor(RegionStack.back()),
1768 getOrCreateFile(CurLoc),
1769 getLineNumber(CurLoc),
1770 getColumnNumber(CurLoc));
Devang Patelab699792010-05-07 18:12:35 +00001771 llvm::MDNode *DN = D;
1772 RegionStack.push_back(DN);
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001773}
1774
1775/// EmitRegionEnd - Constructs the debug code for exiting a declarative
1776/// region - "llvm.dbg.region.end."
Devang Patel4d939e62010-07-20 22:20:10 +00001777void CGDebugInfo::EmitRegionEnd(CGBuilderTy &Builder) {
Daniel Dunbar5273f512008-10-17 01:07:56 +00001778 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1779
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001780 // Provide an region stop point.
Devang Patel4d939e62010-07-20 22:20:10 +00001781 EmitStopPoint(Builder);
Mike Stump1eb44332009-09-09 15:08:12 +00001782
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001783 RegionStack.pop_back();
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001784}
1785
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001786/// EmitFunctionEnd - Constructs the debug code for exiting a function.
1787void CGDebugInfo::EmitFunctionEnd(CGBuilderTy &Builder) {
1788 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1789 unsigned RCount = FnBeginRegionCount.back();
1790 assert(RCount <= RegionStack.size() && "Region stack mismatch");
1791
1792 // Pop all regions for this function.
1793 while (RegionStack.size() != RCount)
1794 EmitRegionEnd(Builder);
1795 FnBeginRegionCount.pop_back();
1796}
1797
Devang Patel809b9bb2010-02-10 18:49:08 +00001798// EmitTypeForVarWithBlocksAttr - Build up structure info for the byref.
1799// See BuildByRefType.
1800llvm::DIType CGDebugInfo::EmitTypeForVarWithBlocksAttr(const ValueDecl *VD,
1801 uint64_t *XOffset) {
1802
Devang Patel823d8e92010-12-08 22:42:58 +00001803 llvm::SmallVector<llvm::Value *, 5> EltTys;
Devang Patel809b9bb2010-02-10 18:49:08 +00001804 QualType FType;
1805 uint64_t FieldSize, FieldOffset;
1806 unsigned FieldAlign;
1807
Devang Patel17800552010-03-09 00:44:50 +00001808 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
Devang Patel809b9bb2010-02-10 18:49:08 +00001809 QualType Type = VD->getType();
1810
1811 FieldOffset = 0;
1812 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001813 EltTys.push_back(CreateMemberType(Unit, FType, "__isa", &FieldOffset));
1814 EltTys.push_back(CreateMemberType(Unit, FType, "__forwarding", &FieldOffset));
Devang Patel809b9bb2010-02-10 18:49:08 +00001815 FType = CGM.getContext().IntTy;
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001816 EltTys.push_back(CreateMemberType(Unit, FType, "__flags", &FieldOffset));
1817 EltTys.push_back(CreateMemberType(Unit, FType, "__size", &FieldOffset));
1818
John McCall6b5a61b2011-02-07 10:33:21 +00001819 bool HasCopyAndDispose = CGM.getContext().BlockRequiresCopying(Type);
Devang Patel809b9bb2010-02-10 18:49:08 +00001820 if (HasCopyAndDispose) {
1821 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001822 EltTys.push_back(CreateMemberType(Unit, FType, "__copy_helper",
1823 &FieldOffset));
1824 EltTys.push_back(CreateMemberType(Unit, FType, "__destroy_helper",
1825 &FieldOffset));
Devang Patel809b9bb2010-02-10 18:49:08 +00001826 }
1827
1828 CharUnits Align = CGM.getContext().getDeclAlign(VD);
Ken Dyck573be632011-04-22 17:34:18 +00001829 if (Align > CGM.getContext().toCharUnitsFromBits(
1830 CGM.getContext().Target.getPointerAlign(0))) {
1831 CharUnits FieldOffsetInBytes
1832 = CGM.getContext().toCharUnitsFromBits(FieldOffset);
1833 CharUnits AlignedOffsetInBytes
1834 = FieldOffsetInBytes.RoundUpToAlignment(Align);
1835 CharUnits NumPaddingBytes
1836 = AlignedOffsetInBytes - FieldOffsetInBytes;
Devang Patel809b9bb2010-02-10 18:49:08 +00001837
Ken Dyck573be632011-04-22 17:34:18 +00001838 if (NumPaddingBytes.isPositive()) {
1839 llvm::APInt pad(32, NumPaddingBytes.getQuantity());
Devang Patel809b9bb2010-02-10 18:49:08 +00001840 FType = CGM.getContext().getConstantArrayType(CGM.getContext().CharTy,
1841 pad, ArrayType::Normal, 0);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001842 EltTys.push_back(CreateMemberType(Unit, FType, "", &FieldOffset));
Devang Patel809b9bb2010-02-10 18:49:08 +00001843 }
1844 }
1845
1846 FType = Type;
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001847 llvm::DIType FieldTy = CGDebugInfo::getOrCreateType(FType, Unit);
Devang Patel809b9bb2010-02-10 18:49:08 +00001848 FieldSize = CGM.getContext().getTypeSize(FType);
Ken Dyck573be632011-04-22 17:34:18 +00001849 FieldAlign = CGM.getContext().toBits(Align);
Devang Patel809b9bb2010-02-10 18:49:08 +00001850
1851 *XOffset = FieldOffset;
Devang Patel16674e82011-02-22 18:56:36 +00001852 FieldTy = DBuilder.createMemberType(VD->getName(), Unit,
Devang Patel823d8e92010-12-08 22:42:58 +00001853 0, FieldSize, FieldAlign,
1854 FieldOffset, 0, FieldTy);
Devang Patel809b9bb2010-02-10 18:49:08 +00001855 EltTys.push_back(FieldTy);
1856 FieldOffset += FieldSize;
1857
Jay Foadc556ef22011-04-24 10:11:03 +00001858 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patel809b9bb2010-02-10 18:49:08 +00001859
Devang Patele2472482010-09-29 21:05:52 +00001860 unsigned Flags = llvm::DIDescriptor::FlagBlockByrefStruct;
Devang Patel809b9bb2010-02-10 18:49:08 +00001861
Devang Patel16674e82011-02-22 18:56:36 +00001862 return DBuilder.createStructType(Unit, "", Unit, 0, FieldOffset, 0, Flags,
Devang Patel823d8e92010-12-08 22:42:58 +00001863 Elements);
Devang Patel809b9bb2010-02-10 18:49:08 +00001864}
Devang Patel823d8e92010-12-08 22:42:58 +00001865
Sanjiv Guptacc9b1632008-05-30 10:30:31 +00001866/// EmitDeclare - Emit local variable declaration debug info.
Devang Patel239cec62010-02-01 21:39:52 +00001867void CGDebugInfo::EmitDeclare(const VarDecl *VD, unsigned Tag,
Devang Patel093ac462011-03-03 20:13:15 +00001868 llvm::Value *Storage,
1869 unsigned ArgNo, CGBuilderTy &Builder) {
Daniel Dunbar5273f512008-10-17 01:07:56 +00001870 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1871
Devang Patel17800552010-03-09 00:44:50 +00001872 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
Devang Patel809b9bb2010-02-10 18:49:08 +00001873 llvm::DIType Ty;
1874 uint64_t XOffset = 0;
1875 if (VD->hasAttr<BlocksAttr>())
1876 Ty = EmitTypeForVarWithBlocksAttr(VD, &XOffset);
1877 else
1878 Ty = getOrCreateType(VD->getType(), Unit);
Chris Lattner650cea92009-05-05 04:57:08 +00001879
Devang Patelf4e54a22010-05-07 23:05:55 +00001880 // If there is not any debug info for type then do not emit debug info
1881 // for this variable.
1882 if (!Ty)
1883 return;
1884
Devang Patel34753802011-02-16 01:11:51 +00001885 if (llvm::Argument *Arg = dyn_cast<llvm::Argument>(Storage)) {
1886 // If Storage is an aggregate returned as 'sret' then let debugger know
1887 // about this.
Devang Patel0691f932011-02-10 00:40:52 +00001888 if (Arg->hasStructRetAttr())
Devang Patel16674e82011-02-22 18:56:36 +00001889 Ty = DBuilder.createReferenceType(Ty);
Devang Patel34753802011-02-16 01:11:51 +00001890 else if (CXXRecordDecl *Record = VD->getType()->getAsCXXRecordDecl()) {
1891 // If an aggregate variable has non trivial destructor or non trivial copy
1892 // constructor than it is pass indirectly. Let debug info know about this
1893 // by using reference of the aggregate type as a argument type.
1894 if (!Record->hasTrivialCopyConstructor() || !Record->hasTrivialDestructor())
Devang Patel16674e82011-02-22 18:56:36 +00001895 Ty = DBuilder.createReferenceType(Ty);
Devang Patel34753802011-02-16 01:11:51 +00001896 }
1897 }
Devang Patel0691f932011-02-10 00:40:52 +00001898
Chris Lattner9c85ba32008-11-10 06:08:34 +00001899 // Get location information.
Devang Patel8ab870d2010-05-12 23:46:38 +00001900 unsigned Line = getLineNumber(VD->getLocation());
1901 unsigned Column = getColumnNumber(VD->getLocation());
Devang Patelaca745b2010-09-29 23:09:21 +00001902 unsigned Flags = 0;
1903 if (VD->isImplicit())
1904 Flags |= llvm::DIDescriptor::FlagArtificial;
Chris Lattnerc6034632010-04-01 06:31:43 +00001905 llvm::MDNode *Scope = RegionStack.back();
Devang Patelcebbedd2010-10-12 23:24:54 +00001906
1907 llvm::StringRef Name = VD->getName();
1908 if (!Name.empty()) {
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001909 if (VD->hasAttr<BlocksAttr>()) {
1910 CharUnits offset = CharUnits::fromQuantity(32);
1911 llvm::SmallVector<llvm::Value *, 9> addr;
1912 const llvm::Type *Int64Ty = llvm::Type::getInt64Ty(CGM.getLLVMContext());
Devang Patel4a4e2ef2011-02-18 23:29:22 +00001913 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001914 // offset of __forwarding field
Ken Dyck0ebce0e2011-04-22 17:41:34 +00001915 offset = CGM.getContext().toCharUnitsFromBits(
1916 CGM.getContext().Target.getPointerWidth(0));
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001917 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
Devang Patel4a4e2ef2011-02-18 23:29:22 +00001918 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpDeref));
1919 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001920 // offset of x field
Ken Dyck0ebce0e2011-04-22 17:41:34 +00001921 offset = CGM.getContext().toCharUnitsFromBits(XOffset);
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001922 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
1923
1924 // Create the descriptor for the variable.
1925 llvm::DIVariable D =
Devang Patel16674e82011-02-22 18:56:36 +00001926 DBuilder.createComplexVariable(Tag,
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001927 llvm::DIDescriptor(RegionStack.back()),
1928 VD->getName(), Unit, Line, Ty,
Jay Foadc556ef22011-04-24 10:11:03 +00001929 addr, ArgNo);
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001930
1931 // Insert an llvm.dbg.declare into the current block.
1932 llvm::Instruction *Call =
Devang Patel16674e82011-02-22 18:56:36 +00001933 DBuilder.insertDeclare(Storage, D, Builder.GetInsertBlock());
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001934
1935 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
1936 return;
1937 }
1938 // Create the descriptor for the variable.
Devang Patelcebbedd2010-10-12 23:24:54 +00001939 llvm::DIVariable D =
Devang Patel16674e82011-02-22 18:56:36 +00001940 DBuilder.createLocalVariable(Tag, llvm::DIDescriptor(Scope),
Devang Patel823d8e92010-12-08 22:42:58 +00001941 Name, Unit, Line, Ty,
Devang Patel093ac462011-03-03 20:13:15 +00001942 CGM.getLangOptions().Optimize, Flags, ArgNo);
Devang Patelcebbedd2010-10-12 23:24:54 +00001943
1944 // Insert an llvm.dbg.declare into the current block.
1945 llvm::Instruction *Call =
Devang Patel16674e82011-02-22 18:56:36 +00001946 DBuilder.insertDeclare(Storage, D, Builder.GetInsertBlock());
Devang Patelcebbedd2010-10-12 23:24:54 +00001947
1948 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
Devang Patelf4dd9622010-10-29 16:21:19 +00001949 return;
Devang Patelcebbedd2010-10-12 23:24:54 +00001950 }
1951
1952 // If VD is an anonymous union then Storage represents value for
1953 // all union fields.
John McCall8178df32011-02-22 22:38:33 +00001954 if (const RecordType *RT = dyn_cast<RecordType>(VD->getType())) {
1955 const RecordDecl *RD = cast<RecordDecl>(RT->getDecl());
1956 if (RD->isUnion()) {
1957 for (RecordDecl::field_iterator I = RD->field_begin(),
1958 E = RD->field_end();
1959 I != E; ++I) {
1960 FieldDecl *Field = *I;
1961 llvm::DIType FieldTy = getOrCreateType(Field->getType(), Unit);
1962 llvm::StringRef FieldName = Field->getName();
Devang Patelcebbedd2010-10-12 23:24:54 +00001963
John McCall8178df32011-02-22 22:38:33 +00001964 // Ignore unnamed fields. Do not ignore unnamed records.
1965 if (FieldName.empty() && !isa<RecordType>(Field->getType()))
1966 continue;
Devang Patelcebbedd2010-10-12 23:24:54 +00001967
John McCall8178df32011-02-22 22:38:33 +00001968 // Use VarDecl's Tag, Scope and Line number.
1969 llvm::DIVariable D =
1970 DBuilder.createLocalVariable(Tag, llvm::DIDescriptor(Scope),
1971 FieldName, Unit, Line, FieldTy,
Devang Patel093ac462011-03-03 20:13:15 +00001972 CGM.getLangOptions().Optimize, Flags,
1973 ArgNo);
Devang Patelcebbedd2010-10-12 23:24:54 +00001974
John McCall8178df32011-02-22 22:38:33 +00001975 // Insert an llvm.dbg.declare into the current block.
1976 llvm::Instruction *Call =
1977 DBuilder.insertDeclare(Storage, D, Builder.GetInsertBlock());
Devang Patelcebbedd2010-10-12 23:24:54 +00001978
John McCall8178df32011-02-22 22:38:33 +00001979 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
Devang Patelcebbedd2010-10-12 23:24:54 +00001980 }
John McCall8178df32011-02-22 22:38:33 +00001981 }
1982 }
Sanjiv Guptacc9b1632008-05-30 10:30:31 +00001983}
1984
Devang Patele2d01912011-04-25 23:43:36 +00001985void CGDebugInfo::EmitDeclareOfAutoVariable(const VarDecl *VD,
1986 llvm::Value *Storage,
1987 CGBuilderTy &Builder) {
1988 EmitDeclare(VD, llvm::dwarf::DW_TAG_auto_variable, Storage, 0, Builder);
1989}
Mike Stumpb1a6e682009-09-30 02:43:10 +00001990
Devang Patele2d01912011-04-25 23:43:36 +00001991void CGDebugInfo::EmitDeclareOfBlockDeclRefVariable(
1992 const VarDecl *VD, llvm::Value *Storage, CGBuilderTy &Builder,
1993 const CGBlockInfo &blockInfo) {
1994 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1995
Devang Patel2b594b92010-04-26 23:28:46 +00001996 if (Builder.GetInsertBlock() == 0)
Mike Stumpb1a6e682009-09-30 02:43:10 +00001997 return;
Devang Patele2d01912011-04-25 23:43:36 +00001998
John McCall6b5a61b2011-02-07 10:33:21 +00001999 bool isByRef = VD->hasAttr<BlocksAttr>();
Devang Patele2d01912011-04-25 23:43:36 +00002000
Mike Stumpb1a6e682009-09-30 02:43:10 +00002001 uint64_t XOffset = 0;
Devang Patel17800552010-03-09 00:44:50 +00002002 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
Devang Patel809b9bb2010-02-10 18:49:08 +00002003 llvm::DIType Ty;
John McCall6b5a61b2011-02-07 10:33:21 +00002004 if (isByRef)
Devang Patel809b9bb2010-02-10 18:49:08 +00002005 Ty = EmitTypeForVarWithBlocksAttr(VD, &XOffset);
2006 else
2007 Ty = getOrCreateType(VD->getType(), Unit);
Mike Stumpb1a6e682009-09-30 02:43:10 +00002008
2009 // Get location information.
Devang Patel8ab870d2010-05-12 23:46:38 +00002010 unsigned Line = getLineNumber(VD->getLocation());
2011 unsigned Column = getColumnNumber(VD->getLocation());
Mike Stumpb1a6e682009-09-30 02:43:10 +00002012
John McCall6b5a61b2011-02-07 10:33:21 +00002013 const llvm::TargetData &target = CGM.getTargetData();
2014
2015 CharUnits offset = CharUnits::fromQuantity(
2016 target.getStructLayout(blockInfo.StructureType)
2017 ->getElementOffset(blockInfo.getCapture(VD).getIndex()));
2018
Mike Stumpb1a6e682009-09-30 02:43:10 +00002019 llvm::SmallVector<llvm::Value *, 9> addr;
Chris Lattner14b1a362010-01-25 03:29:35 +00002020 const llvm::Type *Int64Ty = llvm::Type::getInt64Ty(CGM.getLLVMContext());
Devang Patel4a4e2ef2011-02-18 23:29:22 +00002021 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Chris Lattner14b1a362010-01-25 03:29:35 +00002022 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
John McCall6b5a61b2011-02-07 10:33:21 +00002023 if (isByRef) {
Devang Patel4a4e2ef2011-02-18 23:29:22 +00002024 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpDeref));
2025 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Ken Dyck199c3d62010-01-11 17:06:35 +00002026 // offset of __forwarding field
Devang Patel37833b02011-04-26 21:16:49 +00002027 offset = CGM.getContext().toCharUnitsFromBits(target.getPointerSizeInBits());
Chris Lattner14b1a362010-01-25 03:29:35 +00002028 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
Devang Patel4a4e2ef2011-02-18 23:29:22 +00002029 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpDeref));
2030 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Ken Dyck199c3d62010-01-11 17:06:35 +00002031 // offset of x field
Ken Dyck0ebce0e2011-04-22 17:41:34 +00002032 offset = CGM.getContext().toCharUnitsFromBits(XOffset);
Chris Lattner14b1a362010-01-25 03:29:35 +00002033 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
Mike Stumpb1a6e682009-09-30 02:43:10 +00002034 }
2035
2036 // Create the descriptor for the variable.
2037 llvm::DIVariable D =
Devang Patele2d01912011-04-25 23:43:36 +00002038 DBuilder.createComplexVariable(llvm::dwarf::DW_TAG_auto_variable,
2039 llvm::DIDescriptor(RegionStack.back()),
Jay Foadc556ef22011-04-24 10:11:03 +00002040 VD->getName(), Unit, Line, Ty, addr);
Mike Stumpb1a6e682009-09-30 02:43:10 +00002041 // Insert an llvm.dbg.declare into the current block.
Devang Patelebf16e82009-11-11 19:10:19 +00002042 llvm::Instruction *Call =
Devang Patel50811d22011-04-25 23:52:27 +00002043 DBuilder.insertDeclare(Storage, D, Builder.GetInsertPoint());
Chris Lattnerd5b89022009-12-28 21:44:41 +00002044
Chris Lattnerc6034632010-04-01 06:31:43 +00002045 llvm::MDNode *Scope = RegionStack.back();
Devang Patelf8e10a52010-05-10 23:48:38 +00002046 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
Mike Stumpb1a6e682009-09-30 02:43:10 +00002047}
2048
Chris Lattner9c85ba32008-11-10 06:08:34 +00002049/// EmitDeclareOfArgVariable - Emit call to llvm.dbg.declare for an argument
2050/// variable declaration.
Devang Pateld6c5a262010-02-01 21:52:22 +00002051void CGDebugInfo::EmitDeclareOfArgVariable(const VarDecl *VD, llvm::Value *AI,
Devang Patel093ac462011-03-03 20:13:15 +00002052 unsigned ArgNo,
Devang Patel34753802011-02-16 01:11:51 +00002053 CGBuilderTy &Builder) {
Devang Patel093ac462011-03-03 20:13:15 +00002054 EmitDeclare(VD, llvm::dwarf::DW_TAG_arg_variable, AI, ArgNo, Builder);
Chris Lattner9c85ba32008-11-10 06:08:34 +00002055}
2056
John McCall8178df32011-02-22 22:38:33 +00002057namespace {
2058 struct BlockLayoutChunk {
2059 uint64_t OffsetInBits;
2060 const BlockDecl::Capture *Capture;
2061 };
2062 bool operator<(const BlockLayoutChunk &l, const BlockLayoutChunk &r) {
2063 return l.OffsetInBits < r.OffsetInBits;
2064 }
2065}
Chris Lattner9c85ba32008-11-10 06:08:34 +00002066
John McCall8178df32011-02-22 22:38:33 +00002067void CGDebugInfo::EmitDeclareOfBlockLiteralArgVariable(const CGBlockInfo &block,
2068 llvm::Value *addr,
2069 CGBuilderTy &Builder) {
2070 ASTContext &C = CGM.getContext();
2071 const BlockDecl *blockDecl = block.getBlockDecl();
2072
2073 // Collect some general information about the block's location.
2074 SourceLocation loc = blockDecl->getCaretLocation();
2075 llvm::DIFile tunit = getOrCreateFile(loc);
2076 unsigned line = getLineNumber(loc);
2077 unsigned column = getColumnNumber(loc);
2078
2079 // Build the debug-info type for the block literal.
2080 llvm::DIDescriptor enclosingContext =
2081 getContextDescriptor(cast<Decl>(blockDecl->getDeclContext()));
2082
2083 const llvm::StructLayout *blockLayout =
2084 CGM.getTargetData().getStructLayout(block.StructureType);
2085
2086 llvm::SmallVector<llvm::Value*, 16> fields;
2087 fields.push_back(createFieldType("__isa", C.VoidPtrTy, 0, loc, AS_public,
2088 blockLayout->getElementOffsetInBits(0),
2089 tunit));
2090 fields.push_back(createFieldType("__flags", C.IntTy, 0, loc, AS_public,
2091 blockLayout->getElementOffsetInBits(1),
2092 tunit));
2093 fields.push_back(createFieldType("__reserved", C.IntTy, 0, loc, AS_public,
2094 blockLayout->getElementOffsetInBits(2),
2095 tunit));
2096 fields.push_back(createFieldType("__FuncPtr", C.VoidPtrTy, 0, loc, AS_public,
2097 blockLayout->getElementOffsetInBits(3),
2098 tunit));
2099 fields.push_back(createFieldType("__descriptor",
2100 C.getPointerType(block.NeedsCopyDispose ?
2101 C.getBlockDescriptorExtendedType() :
2102 C.getBlockDescriptorType()),
2103 0, loc, AS_public,
2104 blockLayout->getElementOffsetInBits(4),
2105 tunit));
2106
2107 // We want to sort the captures by offset, not because DWARF
2108 // requires this, but because we're paranoid about debuggers.
2109 llvm::SmallVector<BlockLayoutChunk, 8> chunks;
2110
2111 // 'this' capture.
2112 if (blockDecl->capturesCXXThis()) {
2113 BlockLayoutChunk chunk;
2114 chunk.OffsetInBits =
2115 blockLayout->getElementOffsetInBits(block.CXXThisIndex);
2116 chunk.Capture = 0;
2117 chunks.push_back(chunk);
2118 }
2119
2120 // Variable captures.
2121 for (BlockDecl::capture_const_iterator
2122 i = blockDecl->capture_begin(), e = blockDecl->capture_end();
2123 i != e; ++i) {
2124 const BlockDecl::Capture &capture = *i;
2125 const VarDecl *variable = capture.getVariable();
2126 const CGBlockInfo::Capture &captureInfo = block.getCapture(variable);
2127
2128 // Ignore constant captures.
2129 if (captureInfo.isConstant())
2130 continue;
2131
2132 BlockLayoutChunk chunk;
2133 chunk.OffsetInBits =
2134 blockLayout->getElementOffsetInBits(captureInfo.getIndex());
2135 chunk.Capture = &capture;
2136 chunks.push_back(chunk);
2137 }
2138
2139 // Sort by offset.
2140 llvm::array_pod_sort(chunks.begin(), chunks.end());
2141
2142 for (llvm::SmallVectorImpl<BlockLayoutChunk>::iterator
2143 i = chunks.begin(), e = chunks.end(); i != e; ++i) {
2144 uint64_t offsetInBits = i->OffsetInBits;
2145 const BlockDecl::Capture *capture = i->Capture;
2146
2147 // If we have a null capture, this must be the C++ 'this' capture.
2148 if (!capture) {
2149 const CXXMethodDecl *method =
2150 cast<CXXMethodDecl>(blockDecl->getNonClosureContext());
2151 QualType type = method->getThisType(C);
2152
2153 fields.push_back(createFieldType("this", type, 0, loc, AS_public,
2154 offsetInBits, tunit));
2155 continue;
2156 }
2157
2158 const VarDecl *variable = capture->getVariable();
John McCall8178df32011-02-22 22:38:33 +00002159 llvm::StringRef name = variable->getName();
John McCalld113a6f2011-03-02 06:57:14 +00002160
2161 llvm::DIType fieldType;
2162 if (capture->isByRef()) {
2163 std::pair<uint64_t,unsigned> ptrInfo = C.getTypeInfo(C.VoidPtrTy);
2164
2165 // FIXME: this creates a second copy of this type!
2166 uint64_t xoffset;
2167 fieldType = EmitTypeForVarWithBlocksAttr(variable, &xoffset);
2168 fieldType = DBuilder.createPointerType(fieldType, ptrInfo.first);
2169 fieldType = DBuilder.createMemberType(name, tunit, line,
2170 ptrInfo.first, ptrInfo.second,
2171 offsetInBits, 0, fieldType);
2172 } else {
2173 fieldType = createFieldType(name, variable->getType(), 0,
2174 loc, AS_public, offsetInBits, tunit);
2175 }
2176 fields.push_back(fieldType);
John McCall8178df32011-02-22 22:38:33 +00002177 }
2178
2179 llvm::SmallString<36> typeName;
2180 llvm::raw_svector_ostream(typeName)
2181 << "__block_literal_" << CGM.getUniqueBlockCount();
2182
Jay Foadc556ef22011-04-24 10:11:03 +00002183 llvm::DIArray fieldsArray = DBuilder.getOrCreateArray(fields);
John McCall8178df32011-02-22 22:38:33 +00002184
2185 llvm::DIType type =
2186 DBuilder.createStructType(tunit, typeName.str(), tunit, line,
2187 CGM.getContext().toBits(block.BlockSize),
2188 CGM.getContext().toBits(block.BlockAlign),
2189 0, fieldsArray);
2190 type = DBuilder.createPointerType(type, CGM.PointerWidthInBits);
2191
2192 // Get overall information about the block.
2193 unsigned flags = llvm::DIDescriptor::FlagArtificial;
2194 llvm::MDNode *scope = RegionStack.back();
2195 llvm::StringRef name = ".block_descriptor";
2196
2197 // Create the descriptor for the parameter.
2198 llvm::DIVariable debugVar =
2199 DBuilder.createLocalVariable(llvm::dwarf::DW_TAG_arg_variable,
2200 llvm::DIDescriptor(scope),
2201 name, tunit, line, type,
Devang Patel093ac462011-03-03 20:13:15 +00002202 CGM.getLangOptions().Optimize, flags,
2203 cast<llvm::Argument>(addr)->getArgNo() + 1);
John McCall8178df32011-02-22 22:38:33 +00002204
2205 // Insert an llvm.dbg.value into the current block.
2206 llvm::Instruction *declare =
2207 DBuilder.insertDbgValueIntrinsic(addr, 0, debugVar,
2208 Builder.GetInsertBlock());
2209 declare->setDebugLoc(llvm::DebugLoc::get(line, column, scope));
2210}
Chris Lattner9c85ba32008-11-10 06:08:34 +00002211
Sanjiv Gupta686226b2008-06-05 08:59:10 +00002212/// EmitGlobalVariable - Emit information about a global variable.
Mike Stump1eb44332009-09-09 15:08:12 +00002213void CGDebugInfo::EmitGlobalVariable(llvm::GlobalVariable *Var,
Devang Pateleb6d79b2010-02-01 21:34:11 +00002214 const VarDecl *D) {
2215
Sanjiv Gupta686226b2008-06-05 08:59:10 +00002216 // Create global variable debug descriptor.
Devang Patel17800552010-03-09 00:44:50 +00002217 llvm::DIFile Unit = getOrCreateFile(D->getLocation());
Devang Patel8ab870d2010-05-12 23:46:38 +00002218 unsigned LineNo = getLineNumber(D->getLocation());
Chris Lattner8ec03f52008-11-24 03:54:41 +00002219
Devang Pateleb6d79b2010-02-01 21:34:11 +00002220 QualType T = D->getType();
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002221 if (T->isIncompleteArrayType()) {
Mike Stump1eb44332009-09-09 15:08:12 +00002222
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002223 // CodeGen turns int[] into int[1] so we'll do the same here.
2224 llvm::APSInt ConstVal(32);
Mike Stump1eb44332009-09-09 15:08:12 +00002225
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002226 ConstVal = 1;
Anders Carlsson20f12a22009-12-06 18:00:51 +00002227 QualType ET = CGM.getContext().getAsArrayType(T)->getElementType();
Mike Stump1eb44332009-09-09 15:08:12 +00002228
Anders Carlsson20f12a22009-12-06 18:00:51 +00002229 T = CGM.getContext().getConstantArrayType(ET, ConstVal,
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002230 ArrayType::Normal, 0);
2231 }
Devang Patel5d822f02010-04-29 17:48:37 +00002232 llvm::StringRef DeclName = D->getName();
Devang Patel8b90a782010-05-13 23:52:37 +00002233 llvm::StringRef LinkageName;
Devang Pateleb4c45b2011-02-09 19:16:38 +00002234 if (D->getDeclContext() && !isa<FunctionDecl>(D->getDeclContext())
2235 && !isa<ObjCMethodDecl>(D->getDeclContext()))
Devang Patel8b90a782010-05-13 23:52:37 +00002236 LinkageName = Var->getName();
Devang Patel58faf202010-10-22 17:11:50 +00002237 if (LinkageName == DeclName)
2238 LinkageName = llvm::StringRef();
Devang Pateleb6d79b2010-02-01 21:34:11 +00002239 llvm::DIDescriptor DContext =
Devang Patel170cef32010-12-09 00:33:05 +00002240 getContextDescriptor(dyn_cast<Decl>(D->getDeclContext()));
Devang Patel16674e82011-02-22 18:56:36 +00002241 DBuilder.createStaticVariable(DContext, DeclName, LinkageName,
Devang Patel823d8e92010-12-08 22:42:58 +00002242 Unit, LineNo, getOrCreateType(T, Unit),
2243 Var->hasInternalLinkage(), Var);
Sanjiv Gupta686226b2008-06-05 08:59:10 +00002244}
2245
Devang Patel9ca36b62009-02-26 21:10:26 +00002246/// EmitGlobalVariable - Emit information about an objective-c interface.
Mike Stump1eb44332009-09-09 15:08:12 +00002247void CGDebugInfo::EmitGlobalVariable(llvm::GlobalVariable *Var,
Devang Pateld6c5a262010-02-01 21:52:22 +00002248 ObjCInterfaceDecl *ID) {
Devang Patel9ca36b62009-02-26 21:10:26 +00002249 // Create global variable debug descriptor.
Devang Patel17800552010-03-09 00:44:50 +00002250 llvm::DIFile Unit = getOrCreateFile(ID->getLocation());
Devang Patel8ab870d2010-05-12 23:46:38 +00002251 unsigned LineNo = getLineNumber(ID->getLocation());
Devang Patel9ca36b62009-02-26 21:10:26 +00002252
Devang Pateld6c5a262010-02-01 21:52:22 +00002253 llvm::StringRef Name = ID->getName();
Devang Patel9ca36b62009-02-26 21:10:26 +00002254
Devang Pateld6c5a262010-02-01 21:52:22 +00002255 QualType T = CGM.getContext().getObjCInterfaceType(ID);
Devang Patel9ca36b62009-02-26 21:10:26 +00002256 if (T->isIncompleteArrayType()) {
Mike Stump1eb44332009-09-09 15:08:12 +00002257
Devang Patel9ca36b62009-02-26 21:10:26 +00002258 // CodeGen turns int[] into int[1] so we'll do the same here.
2259 llvm::APSInt ConstVal(32);
Mike Stump1eb44332009-09-09 15:08:12 +00002260
Devang Patel9ca36b62009-02-26 21:10:26 +00002261 ConstVal = 1;
Anders Carlsson20f12a22009-12-06 18:00:51 +00002262 QualType ET = CGM.getContext().getAsArrayType(T)->getElementType();
Mike Stump1eb44332009-09-09 15:08:12 +00002263
Anders Carlsson20f12a22009-12-06 18:00:51 +00002264 T = CGM.getContext().getConstantArrayType(ET, ConstVal,
Devang Patel9ca36b62009-02-26 21:10:26 +00002265 ArrayType::Normal, 0);
2266 }
2267
Devang Patel16674e82011-02-22 18:56:36 +00002268 DBuilder.createGlobalVariable(Name, Unit, LineNo,
Devang Patel823d8e92010-12-08 22:42:58 +00002269 getOrCreateType(T, Unit),
2270 Var->hasInternalLinkage(), Var);
Devang Patel9ca36b62009-02-26 21:10:26 +00002271}
Devang Patelabb485f2010-02-01 19:16:32 +00002272
Devang Patel25c2c8f2010-08-10 17:53:33 +00002273/// EmitGlobalVariable - Emit global variable's debug info.
2274void CGDebugInfo::EmitGlobalVariable(const ValueDecl *VD,
John McCall189d6ef2010-10-09 01:34:31 +00002275 llvm::Constant *Init) {
Devang Patel8d308382010-08-10 07:24:25 +00002276 // Create the descriptor for the variable.
2277 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
2278 llvm::StringRef Name = VD->getName();
Devang Patel0317ab02010-08-10 18:27:15 +00002279 llvm::DIType Ty = getOrCreateType(VD->getType(), Unit);
Devang Patel6237cea2010-08-23 22:07:25 +00002280 if (const EnumConstantDecl *ECD = dyn_cast<EnumConstantDecl>(VD)) {
2281 if (const EnumDecl *ED = dyn_cast<EnumDecl>(ECD->getDeclContext()))
Devang Patel31f7d022011-01-17 22:23:07 +00002282 Ty = CreateEnumType(ED);
Devang Patel6237cea2010-08-23 22:07:25 +00002283 }
Devang Patel0317ab02010-08-10 18:27:15 +00002284 // Do not use DIGlobalVariable for enums.
2285 if (Ty.getTag() == llvm::dwarf::DW_TAG_enumeration_type)
2286 return;
Devang Patel16674e82011-02-22 18:56:36 +00002287 DBuilder.createStaticVariable(Unit, Name, Name, Unit,
Devang Patel823d8e92010-12-08 22:42:58 +00002288 getLineNumber(VD->getLocation()),
2289 Ty, true, Init);
Devang Patel8d308382010-08-10 07:24:25 +00002290}
2291
Devang Patelabb485f2010-02-01 19:16:32 +00002292/// getOrCreateNamesSpace - Return namespace descriptor for the given
2293/// namespace decl.
2294llvm::DINameSpace
Devang Patel170cef32010-12-09 00:33:05 +00002295CGDebugInfo::getOrCreateNameSpace(const NamespaceDecl *NSDecl) {
Devang Patelabb485f2010-02-01 19:16:32 +00002296 llvm::DenseMap<const NamespaceDecl *, llvm::WeakVH>::iterator I =
2297 NameSpaceCache.find(NSDecl);
2298 if (I != NameSpaceCache.end())
2299 return llvm::DINameSpace(cast<llvm::MDNode>(I->second));
2300
Devang Patel8ab870d2010-05-12 23:46:38 +00002301 unsigned LineNo = getLineNumber(NSDecl->getLocation());
Devang Patel8c376682010-10-28 19:12:46 +00002302 llvm::DIFile FileD = getOrCreateFile(NSDecl->getLocation());
Devang Patelabb485f2010-02-01 19:16:32 +00002303 llvm::DIDescriptor Context =
Devang Patel170cef32010-12-09 00:33:05 +00002304 getContextDescriptor(dyn_cast<Decl>(NSDecl->getDeclContext()));
Devang Patelabb485f2010-02-01 19:16:32 +00002305 llvm::DINameSpace NS =
Devang Patel16674e82011-02-22 18:56:36 +00002306 DBuilder.createNameSpace(Context, NSDecl->getName(), FileD, LineNo);
Devang Patelab699792010-05-07 18:12:35 +00002307 NameSpaceCache[NSDecl] = llvm::WeakVH(NS);
Devang Patelabb485f2010-02-01 19:16:32 +00002308 return NS;
2309}
Devang Patele80d5672011-03-23 16:29:39 +00002310
2311/// UpdateCompletedType - Update type cache because the type is now
2312/// translated.
2313void CGDebugInfo::UpdateCompletedType(const TagDecl *TD) {
2314 QualType Ty = CGM.getContext().getTagDeclType(TD);
2315
2316 // If the type exist in type cache then remove it from the cache.
2317 // There is no need to prepare debug info for the completed type
2318 // right now. It will be generated on demand lazily.
2319 llvm::DenseMap<void *, llvm::WeakVH>::iterator it =
2320 TypeCache.find(Ty.getAsOpaquePtr());
2321 if (it != TypeCache.end())
2322 TypeCache.erase(it);
2323}