blob: 1c9d91a2e31d9446341845e9cd93825d43d49fdd [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:
Devang Patel31c79b42011-05-05 17:06:30 +0000338 case BuiltinType::UInt128:
Chris Lattner9c85ba32008-11-10 06:08:34 +0000339 case BuiltinType::ULong:
340 case BuiltinType::ULongLong: Encoding = llvm::dwarf::DW_ATE_unsigned; break;
341 case BuiltinType::Short:
342 case BuiltinType::Int:
Devang Patel31c79b42011-05-05 17:06:30 +0000343 case BuiltinType::Int128:
Chris Lattner9c85ba32008-11-10 06:08:34 +0000344 case BuiltinType::Long:
345 case BuiltinType::LongLong: Encoding = llvm::dwarf::DW_ATE_signed; break;
346 case BuiltinType::Bool: Encoding = llvm::dwarf::DW_ATE_boolean; break;
347 case BuiltinType::Float:
Devang Patel7c173cb2009-10-12 22:28:31 +0000348 case BuiltinType::LongDouble:
Chris Lattner9c85ba32008-11-10 06:08:34 +0000349 case BuiltinType::Double: Encoding = llvm::dwarf::DW_ATE_float; break;
Mike Stump1eb44332009-09-09 15:08:12 +0000350 }
Devang Patel05127ca2010-07-28 23:23:29 +0000351
352 switch (BT->getKind()) {
353 case BuiltinType::Long: BTName = "long int"; break;
354 case BuiltinType::LongLong: BTName = "long long int"; break;
355 case BuiltinType::ULong: BTName = "long unsigned int"; break;
356 case BuiltinType::ULongLong: BTName = "long long unsigned int"; break;
357 default:
358 BTName = BT->getName(CGM.getContext().getLangOptions());
359 break;
360 }
Chris Lattner9c85ba32008-11-10 06:08:34 +0000361 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +0000362 uint64_t Size = CGM.getContext().getTypeSize(BT);
363 uint64_t Align = CGM.getContext().getTypeAlign(BT);
Devang Patelca80a5f2009-10-20 19:55:01 +0000364 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +0000365 DBuilder.createBasicType(BTName, Size, Align, Encoding);
Devang Patelca80a5f2009-10-20 19:55:01 +0000366 return DbgTy;
Chris Lattner9c85ba32008-11-10 06:08:34 +0000367}
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000368
Devang Patel344ff5d2010-12-09 00:25:29 +0000369llvm::DIType CGDebugInfo::CreateType(const ComplexType *Ty) {
Chris Lattnerb7003772009-04-23 06:13:01 +0000370 // Bit size, align and offset of the type.
371 unsigned Encoding = llvm::dwarf::DW_ATE_complex_float;
372 if (Ty->isComplexIntegerType())
373 Encoding = llvm::dwarf::DW_ATE_lo_user;
Mike Stump1eb44332009-09-09 15:08:12 +0000374
Anders Carlsson20f12a22009-12-06 18:00:51 +0000375 uint64_t Size = CGM.getContext().getTypeSize(Ty);
376 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Devang Patelca80a5f2009-10-20 19:55:01 +0000377 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +0000378 DBuilder.createBasicType("complex", Size, Align, Encoding);
Devang Patel823d8e92010-12-08 22:42:58 +0000379
Devang Patelca80a5f2009-10-20 19:55:01 +0000380 return DbgTy;
Chris Lattnerb7003772009-04-23 06:13:01 +0000381}
382
John McCalla1805292009-09-25 01:40:47 +0000383/// CreateCVRType - Get the qualified type from the cache or create
Sanjiv Guptaf58c27a2008-06-07 04:46:53 +0000384/// a new one if necessary.
Devang Patel17800552010-03-09 00:44:50 +0000385llvm::DIType CGDebugInfo::CreateQualifiedType(QualType Ty, llvm::DIFile Unit) {
John McCalla1805292009-09-25 01:40:47 +0000386 QualifierCollector Qc;
387 const Type *T = Qc.strip(Ty);
388
389 // Ignore these qualifiers for now.
390 Qc.removeObjCGCAttr();
391 Qc.removeAddressSpace();
392
Chris Lattner9c85ba32008-11-10 06:08:34 +0000393 // We will create one Derived type for one qualifier and recurse to handle any
394 // additional ones.
Chris Lattner9c85ba32008-11-10 06:08:34 +0000395 unsigned Tag;
John McCalla1805292009-09-25 01:40:47 +0000396 if (Qc.hasConst()) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000397 Tag = llvm::dwarf::DW_TAG_const_type;
John McCalla1805292009-09-25 01:40:47 +0000398 Qc.removeConst();
399 } else if (Qc.hasVolatile()) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000400 Tag = llvm::dwarf::DW_TAG_volatile_type;
John McCalla1805292009-09-25 01:40:47 +0000401 Qc.removeVolatile();
402 } else if (Qc.hasRestrict()) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000403 Tag = llvm::dwarf::DW_TAG_restrict_type;
John McCalla1805292009-09-25 01:40:47 +0000404 Qc.removeRestrict();
405 } else {
406 assert(Qc.empty() && "Unknown type qualifier for debug info");
407 return getOrCreateType(QualType(T, 0), Unit);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000408 }
Mike Stump1eb44332009-09-09 15:08:12 +0000409
John McCall49f4e1c2010-12-10 11:01:00 +0000410 llvm::DIType FromTy = getOrCreateType(Qc.apply(CGM.getContext(), T), Unit);
John McCalla1805292009-09-25 01:40:47 +0000411
Daniel Dunbar3845f862008-10-31 03:54:29 +0000412 // No need to fill in the Name, Line, Size, Alignment, Offset in case of
413 // CVR derived types.
Devang Patel16674e82011-02-22 18:56:36 +0000414 llvm::DIType DbgTy = DBuilder.createQualifiedType(Tag, FromTy);
Devang Patel823d8e92010-12-08 22:42:58 +0000415
Devang Patelca80a5f2009-10-20 19:55:01 +0000416 return DbgTy;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000417}
418
Daniel Dunbar9df4bb32009-07-14 01:20:56 +0000419llvm::DIType CGDebugInfo::CreateType(const ObjCObjectPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000420 llvm::DIFile Unit) {
Devang Patelca80a5f2009-10-20 19:55:01 +0000421 llvm::DIType DbgTy =
Anders Carlssona031b352009-11-06 19:19:55 +0000422 CreatePointerLikeType(llvm::dwarf::DW_TAG_pointer_type, Ty,
423 Ty->getPointeeType(), Unit);
Devang Patelca80a5f2009-10-20 19:55:01 +0000424 return DbgTy;
Daniel Dunbar9df4bb32009-07-14 01:20:56 +0000425}
426
Chris Lattner9c85ba32008-11-10 06:08:34 +0000427llvm::DIType CGDebugInfo::CreateType(const PointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000428 llvm::DIFile Unit) {
Anders Carlssona031b352009-11-06 19:19:55 +0000429 return CreatePointerLikeType(llvm::dwarf::DW_TAG_pointer_type, Ty,
430 Ty->getPointeeType(), Unit);
431}
432
Devang Patelc69e1cf2010-09-30 19:05:55 +0000433/// CreatePointeeType - Create PointTee type. If Pointee is a record
434/// then emit record's fwd if debug info size reduction is enabled.
435llvm::DIType CGDebugInfo::CreatePointeeType(QualType PointeeTy,
436 llvm::DIFile Unit) {
437 if (!CGM.getCodeGenOpts().LimitDebugInfo)
438 return getOrCreateType(PointeeTy, Unit);
439
440 if (const RecordType *RTy = dyn_cast<RecordType>(PointeeTy)) {
441 RecordDecl *RD = RTy->getDecl();
Devang Patelc69e1cf2010-09-30 19:05:55 +0000442 llvm::DIFile DefUnit = getOrCreateFile(RD->getLocation());
443 unsigned Line = getLineNumber(RD->getLocation());
444 llvm::DIDescriptor FDContext =
John McCall8178df32011-02-22 22:38:33 +0000445 getContextDescriptor(cast<Decl>(RD->getDeclContext()));
Devang Patel823d8e92010-12-08 22:42:58 +0000446
447 if (RD->isStruct())
Devang Patel16674e82011-02-22 18:56:36 +0000448 return DBuilder.createStructType(FDContext, RD->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +0000449 Line, 0, 0, llvm::DIType::FlagFwdDecl,
450 llvm::DIArray());
451 else if (RD->isUnion())
Devang Patel16674e82011-02-22 18:56:36 +0000452 return DBuilder.createUnionType(FDContext, RD->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +0000453 Line, 0, 0, llvm::DIType::FlagFwdDecl,
454 llvm::DIArray());
455 else {
456 assert(RD->isClass() && "Unknown RecordType!");
Devang Patel16674e82011-02-22 18:56:36 +0000457 return DBuilder.createClassType(FDContext, RD->getName(), DefUnit,
Devang Patel823d8e92010-12-08 22:42:58 +0000458 Line, 0, 0, 0, llvm::DIType::FlagFwdDecl,
459 llvm::DIType(), llvm::DIArray());
460 }
Devang Patelc69e1cf2010-09-30 19:05:55 +0000461 }
462 return getOrCreateType(PointeeTy, Unit);
463
464}
465
Anders Carlssona031b352009-11-06 19:19:55 +0000466llvm::DIType CGDebugInfo::CreatePointerLikeType(unsigned Tag,
467 const Type *Ty,
468 QualType PointeeTy,
Devang Patel17800552010-03-09 00:44:50 +0000469 llvm::DIFile Unit) {
Devang Patel823d8e92010-12-08 22:42:58 +0000470
471 if (Tag == llvm::dwarf::DW_TAG_reference_type)
Devang Patel16674e82011-02-22 18:56:36 +0000472 return DBuilder.createReferenceType(CreatePointeeType(PointeeTy, Unit));
Devang Patel823d8e92010-12-08 22:42:58 +0000473
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000474 // Bit size, align and offset of the type.
Anders Carlssona031b352009-11-06 19:19:55 +0000475 // Size is always the size of a pointer. We can't use getTypeSize here
476 // because that does not return the correct value for references.
Peter Collingbourne207f4d82011-03-18 22:38:29 +0000477 unsigned AS = CGM.getContext().getTargetAddressSpace(PointeeTy);
478 uint64_t Size = CGM.getContext().Target.getPointerWidth(AS);
Anders Carlsson20f12a22009-12-06 18:00:51 +0000479 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +0000480
Devang Patel823d8e92010-12-08 22:42:58 +0000481 return
Devang Patel16674e82011-02-22 18:56:36 +0000482 DBuilder.createPointerType(CreatePointeeType(PointeeTy, Unit), Size, Align);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000483}
484
Mike Stump9bc093c2009-05-14 02:03:51 +0000485llvm::DIType CGDebugInfo::CreateType(const BlockPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000486 llvm::DIFile Unit) {
Mike Stump9bc093c2009-05-14 02:03:51 +0000487 if (BlockLiteralGenericSet)
488 return BlockLiteralGeneric;
489
Devang Patel823d8e92010-12-08 22:42:58 +0000490 llvm::SmallVector<llvm::Value *, 8> EltTys;
Mike Stump9bc093c2009-05-14 02:03:51 +0000491 llvm::DIType FieldTy;
Mike Stump9bc093c2009-05-14 02:03:51 +0000492 QualType FType;
493 uint64_t FieldSize, FieldOffset;
494 unsigned FieldAlign;
Mike Stump9bc093c2009-05-14 02:03:51 +0000495 llvm::DIArray Elements;
496 llvm::DIType EltTy, DescTy;
497
498 FieldOffset = 0;
Anders Carlsson20f12a22009-12-06 18:00:51 +0000499 FType = CGM.getContext().UnsignedLongTy;
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000500 EltTys.push_back(CreateMemberType(Unit, FType, "reserved", &FieldOffset));
501 EltTys.push_back(CreateMemberType(Unit, FType, "Size", &FieldOffset));
Mike Stump9bc093c2009-05-14 02:03:51 +0000502
Jay Foadc556ef22011-04-24 10:11:03 +0000503 Elements = DBuilder.getOrCreateArray(EltTys);
Mike Stump9bc093c2009-05-14 02:03:51 +0000504 EltTys.clear();
505
Devang Patele2472482010-09-29 21:05:52 +0000506 unsigned Flags = llvm::DIDescriptor::FlagAppleBlock;
Devang Patel8ab870d2010-05-12 23:46:38 +0000507 unsigned LineNo = getLineNumber(CurLoc);
Mike Stump3d363c52009-10-02 02:30:50 +0000508
Devang Patel16674e82011-02-22 18:56:36 +0000509 EltTy = DBuilder.createStructType(Unit, "__block_descriptor",
Devang Patel823d8e92010-12-08 22:42:58 +0000510 Unit, LineNo, FieldOffset, 0,
511 Flags, Elements);
Mike Stump1eb44332009-09-09 15:08:12 +0000512
Mike Stump9bc093c2009-05-14 02:03:51 +0000513 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +0000514 uint64_t Size = CGM.getContext().getTypeSize(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +0000515
Devang Patel16674e82011-02-22 18:56:36 +0000516 DescTy = DBuilder.createPointerType(EltTy, Size);
Mike Stump9bc093c2009-05-14 02:03:51 +0000517
518 FieldOffset = 0;
Anders Carlsson20f12a22009-12-06 18:00:51 +0000519 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000520 EltTys.push_back(CreateMemberType(Unit, FType, "__isa", &FieldOffset));
Anders Carlsson20f12a22009-12-06 18:00:51 +0000521 FType = CGM.getContext().IntTy;
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000522 EltTys.push_back(CreateMemberType(Unit, FType, "__flags", &FieldOffset));
523 EltTys.push_back(CreateMemberType(Unit, FType, "__reserved", &FieldOffset));
Benjamin Kramerd3651cc2010-04-24 20:26:20 +0000524 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +0000525 EltTys.push_back(CreateMemberType(Unit, FType, "__FuncPtr", &FieldOffset));
Mike Stump9bc093c2009-05-14 02:03:51 +0000526
Anders Carlsson20f12a22009-12-06 18:00:51 +0000527 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Mike Stump9bc093c2009-05-14 02:03:51 +0000528 FieldTy = DescTy;
Anders Carlsson20f12a22009-12-06 18:00:51 +0000529 FieldSize = CGM.getContext().getTypeSize(Ty);
530 FieldAlign = CGM.getContext().getTypeAlign(Ty);
Devang Patel16674e82011-02-22 18:56:36 +0000531 FieldTy = DBuilder.createMemberType("__descriptor", Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000532 LineNo, FieldSize, FieldAlign,
533 FieldOffset, 0, FieldTy);
Mike Stump9bc093c2009-05-14 02:03:51 +0000534 EltTys.push_back(FieldTy);
535
536 FieldOffset += FieldSize;
Jay Foadc556ef22011-04-24 10:11:03 +0000537 Elements = DBuilder.getOrCreateArray(EltTys);
Mike Stump9bc093c2009-05-14 02:03:51 +0000538
Devang Patel16674e82011-02-22 18:56:36 +0000539 EltTy = DBuilder.createStructType(Unit, "__block_literal_generic",
Devang Patel823d8e92010-12-08 22:42:58 +0000540 Unit, LineNo, FieldOffset, 0,
541 Flags, Elements);
Mike Stump1eb44332009-09-09 15:08:12 +0000542
Mike Stump9bc093c2009-05-14 02:03:51 +0000543 BlockLiteralGenericSet = true;
Devang Patel16674e82011-02-22 18:56:36 +0000544 BlockLiteralGeneric = DBuilder.createPointerType(EltTy, Size);
Mike Stump9bc093c2009-05-14 02:03:51 +0000545 return BlockLiteralGeneric;
546}
547
Chris Lattner9c85ba32008-11-10 06:08:34 +0000548llvm::DIType CGDebugInfo::CreateType(const TypedefType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000549 llvm::DIFile Unit) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000550 // Typedefs are derived from some other type. If we have a typedef of a
551 // typedef, make sure to emit the whole chain.
552 llvm::DIType Src = getOrCreateType(Ty->getDecl()->getUnderlyingType(), Unit);
Devang Patel823d8e92010-12-08 22:42:58 +0000553 if (!Src.Verify())
554 return llvm::DIType();
Chris Lattner9c85ba32008-11-10 06:08:34 +0000555 // We don't set size information, but do specify where the typedef was
556 // declared.
Devang Patel8ab870d2010-05-12 23:46:38 +0000557 unsigned Line = getLineNumber(Ty->getDecl()->getLocation());
Devang Patel16674e82011-02-22 18:56:36 +0000558 llvm::DIType DbgTy = DBuilder.createTypedef(Src, Ty->getDecl()->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +0000559 Unit, Line);
Devang Patelca80a5f2009-10-20 19:55:01 +0000560 return DbgTy;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000561}
562
Chris Lattner9c85ba32008-11-10 06:08:34 +0000563llvm::DIType CGDebugInfo::CreateType(const FunctionType *Ty,
Devang Patel17800552010-03-09 00:44:50 +0000564 llvm::DIFile Unit) {
Devang Patel823d8e92010-12-08 22:42:58 +0000565 llvm::SmallVector<llvm::Value *, 16> EltTys;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000566
Chris Lattner9c85ba32008-11-10 06:08:34 +0000567 // Add the result type at least.
568 EltTys.push_back(getOrCreateType(Ty->getResultType(), Unit));
Mike Stump1eb44332009-09-09 15:08:12 +0000569
Chris Lattner9c85ba32008-11-10 06:08:34 +0000570 // Set up remainder of arguments if there is a prototype.
571 // FIXME: IF NOT, HOW IS THIS REPRESENTED? llvm-gcc doesn't represent '...'!
Devang Patelaf164bb2010-10-06 20:51:45 +0000572 if (isa<FunctionNoProtoType>(Ty))
Devang Patel16674e82011-02-22 18:56:36 +0000573 EltTys.push_back(DBuilder.createUnspecifiedParameter());
Devang Patelaf164bb2010-10-06 20:51:45 +0000574 else if (const FunctionProtoType *FTP = dyn_cast<FunctionProtoType>(Ty)) {
Chris Lattner9c85ba32008-11-10 06:08:34 +0000575 for (unsigned i = 0, e = FTP->getNumArgs(); i != e; ++i)
576 EltTys.push_back(getOrCreateType(FTP->getArgType(i), Unit));
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000577 }
578
Jay Foadc556ef22011-04-24 10:11:03 +0000579 llvm::DIArray EltTypeArray = DBuilder.getOrCreateArray(EltTys);
Mike Stump1eb44332009-09-09 15:08:12 +0000580
Devang Patel16674e82011-02-22 18:56:36 +0000581 llvm::DIType DbgTy = DBuilder.createSubroutineType(Unit, EltTypeArray);
Devang Patelca80a5f2009-10-20 19:55:01 +0000582 return DbgTy;
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +0000583}
584
John McCall8178df32011-02-22 22:38:33 +0000585llvm::DIType CGDebugInfo::createFieldType(llvm::StringRef name,
586 QualType type,
587 Expr *bitWidth,
588 SourceLocation loc,
589 AccessSpecifier AS,
590 uint64_t offsetInBits,
591 llvm::DIFile tunit) {
592 llvm::DIType debugType = getOrCreateType(type, tunit);
593
594 // Get the location for the field.
595 llvm::DIFile file = getOrCreateFile(loc);
596 unsigned line = getLineNumber(loc);
597
598 uint64_t sizeInBits = 0;
599 unsigned alignInBits = 0;
600 if (!type->isIncompleteArrayType()) {
601 llvm::tie(sizeInBits, alignInBits) = CGM.getContext().getTypeInfo(type);
602
603 if (bitWidth)
604 sizeInBits = bitWidth->EvaluateAsInt(CGM.getContext()).getZExtValue();
605 }
606
607 unsigned flags = 0;
608 if (AS == clang::AS_private)
609 flags |= llvm::DIDescriptor::FlagPrivate;
610 else if (AS == clang::AS_protected)
611 flags |= llvm::DIDescriptor::FlagProtected;
612
613 return DBuilder.createMemberType(name, file, line, sizeInBits, alignInBits,
614 offsetInBits, flags, debugType);
615}
616
Devang Patel428deb52010-01-19 00:00:59 +0000617/// CollectRecordFields - A helper function to collect debug info for
618/// record fields. This is used while creating debug info entry for a Record.
619void CGDebugInfo::
John McCall8178df32011-02-22 22:38:33 +0000620CollectRecordFields(const RecordDecl *record, llvm::DIFile tunit,
621 llvm::SmallVectorImpl<llvm::Value *> &elements) {
622 unsigned fieldNo = 0;
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000623 const FieldDecl *LastFD = 0;
624 bool IsMsStruct = record->hasAttr<MsStructAttr>();
625
John McCall8178df32011-02-22 22:38:33 +0000626 const ASTRecordLayout &layout = CGM.getContext().getASTRecordLayout(record);
627 for (RecordDecl::field_iterator I = record->field_begin(),
628 E = record->field_end();
629 I != E; ++I, ++fieldNo) {
630 FieldDecl *field = *I;
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000631 if (IsMsStruct) {
632 // Zero-length bitfields following non-bitfield members are ignored
Fariborz Jahanian855a8e72011-05-03 20:21:04 +0000633 if (CGM.getContext().ZeroBitfieldFollowsNonBitfield((field), LastFD)) {
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000634 --fieldNo;
635 continue;
636 }
637 LastFD = field;
638 }
Devang Patel428deb52010-01-19 00:00:59 +0000639
John McCall8178df32011-02-22 22:38:33 +0000640 llvm::StringRef name = field->getName();
641 QualType type = field->getType();
642
643 // Ignore unnamed fields unless they're anonymous structs/unions.
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000644 if (name.empty() && !type->isRecordType()) {
645 LastFD = field;
Devang Patel428deb52010-01-19 00:00:59 +0000646 continue;
Fariborz Jahanianfbc3cc62011-04-28 23:43:23 +0000647 }
Devang Patel428deb52010-01-19 00:00:59 +0000648
John McCall8178df32011-02-22 22:38:33 +0000649 llvm::DIType fieldType
650 = createFieldType(name, type, field->getBitWidth(),
651 field->getLocation(), field->getAccess(),
652 layout.getFieldOffset(fieldNo), tunit);
Devang Patel428deb52010-01-19 00:00:59 +0000653
John McCall8178df32011-02-22 22:38:33 +0000654 elements.push_back(fieldType);
Devang Patel428deb52010-01-19 00:00:59 +0000655 }
656}
657
Devang Patela6da1922010-01-28 00:28:01 +0000658/// getOrCreateMethodType - CXXMethodDecl's type is a FunctionType. This
659/// function type is not updated to include implicit "this" pointer. Use this
660/// routine to get a method type which includes "this" pointer.
661llvm::DIType
662CGDebugInfo::getOrCreateMethodType(const CXXMethodDecl *Method,
Devang Patel17800552010-03-09 00:44:50 +0000663 llvm::DIFile Unit) {
Douglas Gregor5f970ee2010-05-04 18:18:31 +0000664 llvm::DIType FnTy
665 = getOrCreateType(QualType(Method->getType()->getAs<FunctionProtoType>(),
666 0),
667 Unit);
Devang Pateld774d1e2010-01-28 21:43:50 +0000668
Devang Patela6da1922010-01-28 00:28:01 +0000669 // Add "this" pointer.
670
Devang Patelab699792010-05-07 18:12:35 +0000671 llvm::DIArray Args = llvm::DICompositeType(FnTy).getTypeArray();
Devang Patela6da1922010-01-28 00:28:01 +0000672 assert (Args.getNumElements() && "Invalid number of arguments!");
673
Devang Patel823d8e92010-12-08 22:42:58 +0000674 llvm::SmallVector<llvm::Value *, 16> Elts;
Devang Patela6da1922010-01-28 00:28:01 +0000675
676 // First element is always return type. For 'void' functions it is NULL.
677 Elts.push_back(Args.getElement(0));
678
Devang Patel2ed8f002010-08-27 17:47:47 +0000679 if (!Method->isStatic())
680 {
681 // "this" pointer is always first argument.
Devang Patelddd72ac2011-04-05 23:26:36 +0000682 QualType ThisPtr = Method->getThisType(CGM.getContext());
Devang Patel2ed8f002010-08-27 17:47:47 +0000683 llvm::DIType ThisPtrType =
Devang Patel16674e82011-02-22 18:56:36 +0000684 DBuilder.createArtificialType(getOrCreateType(ThisPtr, Unit));
Devang Patel769640e2010-07-13 00:24:30 +0000685
Devang Patel2ed8f002010-08-27 17:47:47 +0000686 TypeCache[ThisPtr.getAsOpaquePtr()] = ThisPtrType;
687 Elts.push_back(ThisPtrType);
688 }
Devang Patela6da1922010-01-28 00:28:01 +0000689
690 // Copy rest of the arguments.
691 for (unsigned i = 1, e = Args.getNumElements(); i != e; ++i)
692 Elts.push_back(Args.getElement(i));
693
Jay Foadc556ef22011-04-24 10:11:03 +0000694 llvm::DIArray EltTypeArray = DBuilder.getOrCreateArray(Elts);
Devang Patela6da1922010-01-28 00:28:01 +0000695
Devang Patel16674e82011-02-22 18:56:36 +0000696 return DBuilder.createSubroutineType(Unit, EltTypeArray);
Devang Patela6da1922010-01-28 00:28:01 +0000697}
698
Devang Patel58faf202010-10-22 17:11:50 +0000699/// isFunctionLocalClass - Return true if CXXRecordDecl is defined
700/// inside a function.
701static bool isFunctionLocalClass(const CXXRecordDecl *RD) {
702 if (const CXXRecordDecl *NRD =
703 dyn_cast<CXXRecordDecl>(RD->getDeclContext()))
704 return isFunctionLocalClass(NRD);
705 else if (isa<FunctionDecl>(RD->getDeclContext()))
706 return true;
707 return false;
708
709}
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000710/// CreateCXXMemberFunction - A helper function to create a DISubprogram for
711/// a single member function GlobalDecl.
712llvm::DISubprogram
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000713CGDebugInfo::CreateCXXMemberFunction(const CXXMethodDecl *Method,
Devang Patel17800552010-03-09 00:44:50 +0000714 llvm::DIFile Unit,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000715 llvm::DIType RecordTy) {
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000716 bool IsCtorOrDtor =
717 isa<CXXConstructorDecl>(Method) || isa<CXXDestructorDecl>(Method);
718
719 llvm::StringRef MethodName = getFunctionName(Method);
Devang Patela6da1922010-01-28 00:28:01 +0000720 llvm::DIType MethodTy = getOrCreateMethodType(Method, Unit);
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000721
722 // Since a single ctor/dtor corresponds to multiple functions, it doesn't
723 // make sense to give a single ctor/dtor a linkage name.
Anders Carlsson9a20d552010-06-22 16:16:50 +0000724 llvm::StringRef MethodLinkageName;
Devang Patel58faf202010-10-22 17:11:50 +0000725 if (!IsCtorOrDtor && !isFunctionLocalClass(Method->getParent()))
Anders Carlsson9a20d552010-06-22 16:16:50 +0000726 MethodLinkageName = CGM.getMangledName(Method);
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000727
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000728 // Get the location for the method.
Devang Patel8ab870d2010-05-12 23:46:38 +0000729 llvm::DIFile MethodDefUnit = getOrCreateFile(Method->getLocation());
730 unsigned MethodLine = getLineNumber(Method->getLocation());
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000731
732 // Collect virtual method info.
733 llvm::DIType ContainingType;
734 unsigned Virtuality = 0;
735 unsigned VIndex = 0;
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000736
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000737 if (Method->isVirtual()) {
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000738 if (Method->isPure())
739 Virtuality = llvm::dwarf::DW_VIRTUALITY_pure_virtual;
740 else
741 Virtuality = llvm::dwarf::DW_VIRTUALITY_virtual;
742
743 // It doesn't make sense to give a virtual destructor a vtable index,
744 // since a single destructor has two entries in the vtable.
745 if (!isa<CXXDestructorDecl>(Method))
Anders Carlsson046c2942010-04-17 20:15:18 +0000746 VIndex = CGM.getVTables().getMethodVTableIndex(Method);
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000747 ContainingType = RecordTy;
748 }
749
Devang Patele2472482010-09-29 21:05:52 +0000750 unsigned Flags = 0;
751 if (Method->isImplicit())
752 Flags |= llvm::DIDescriptor::FlagArtificial;
Devang Patel10a7a6a2010-09-29 21:46:16 +0000753 AccessSpecifier Access = Method->getAccess();
754 if (Access == clang::AS_private)
755 Flags |= llvm::DIDescriptor::FlagPrivate;
756 else if (Access == clang::AS_protected)
757 Flags |= llvm::DIDescriptor::FlagProtected;
Devang Pateld78a0192010-10-01 23:32:17 +0000758 if (const CXXConstructorDecl *CXXC = dyn_cast<CXXConstructorDecl>(Method)) {
759 if (CXXC->isExplicit())
760 Flags |= llvm::DIDescriptor::FlagExplicit;
761 } else if (const CXXConversionDecl *CXXC =
762 dyn_cast<CXXConversionDecl>(Method)) {
763 if (CXXC->isExplicit())
764 Flags |= llvm::DIDescriptor::FlagExplicit;
765 }
Devang Patel3951e712010-10-07 22:03:49 +0000766 if (Method->hasPrototype())
767 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Pateld78a0192010-10-01 23:32:17 +0000768
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000769 llvm::DISubprogram SP =
Devang Patel16674e82011-02-22 18:56:36 +0000770 DBuilder.createMethod(RecordTy , MethodName, MethodLinkageName,
Devang Patel823d8e92010-12-08 22:42:58 +0000771 MethodDefUnit, MethodLine,
772 MethodTy, /*isLocalToUnit=*/false,
773 /* isDefinition=*/ false,
774 Virtuality, VIndex, ContainingType,
775 Flags, CGM.getLangOptions().Optimize);
Anders Carlsson4433f1c2010-01-26 05:19:50 +0000776
Devang Patel22a5cdf2011-04-29 23:42:32 +0000777 SPCache[Method] = llvm::WeakVH(SP);
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000778
779 return SP;
780}
781
Devang Patel4125fd22010-01-19 01:54:44 +0000782/// CollectCXXMemberFunctions - A helper function to collect debug info for
783/// C++ member functions.This is used while creating debug info entry for
784/// a Record.
785void CGDebugInfo::
Devang Patel17800552010-03-09 00:44:50 +0000786CollectCXXMemberFunctions(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000787 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000788 llvm::DIType RecordTy) {
Devang Patel239cec62010-02-01 21:39:52 +0000789 for(CXXRecordDecl::method_iterator I = RD->method_begin(),
790 E = RD->method_end(); I != E; ++I) {
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000791 const CXXMethodDecl *Method = *I;
Anders Carlssonbea9b232010-01-26 04:40:11 +0000792
Devang Pateld5322da2010-02-09 19:09:28 +0000793 if (Method->isImplicit() && !Method->isUsed())
Anders Carlssonbea9b232010-01-26 04:40:11 +0000794 continue;
Devang Patel4125fd22010-01-19 01:54:44 +0000795
Anders Carlssond6f9a0d2010-01-26 04:49:33 +0000796 EltTys.push_back(CreateCXXMemberFunction(Method, Unit, RecordTy));
Devang Patel4125fd22010-01-19 01:54:44 +0000797 }
798}
799
Devang Patel2ed8f002010-08-27 17:47:47 +0000800/// CollectCXXFriends - A helper function to collect debug info for
801/// C++ base classes. This is used while creating debug info entry for
802/// a Record.
803void CGDebugInfo::
804CollectCXXFriends(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000805 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Devang Patel2ed8f002010-08-27 17:47:47 +0000806 llvm::DIType RecordTy) {
807
808 for (CXXRecordDecl::friend_iterator BI = RD->friend_begin(),
809 BE = RD->friend_end(); BI != BE; ++BI) {
Devang Patel823d8e92010-12-08 22:42:58 +0000810 if (TypeSourceInfo *TInfo = (*BI)->getFriendType())
Devang Patel16674e82011-02-22 18:56:36 +0000811 EltTys.push_back(DBuilder.createFriend(RecordTy,
Devang Patel823d8e92010-12-08 22:42:58 +0000812 getOrCreateType(TInfo->getType(),
813 Unit)));
Devang Patel2ed8f002010-08-27 17:47:47 +0000814 }
815}
816
Devang Patela245c5b2010-01-25 23:32:18 +0000817/// CollectCXXBases - A helper function to collect debug info for
818/// C++ base classes. This is used while creating debug info entry for
819/// a Record.
820void CGDebugInfo::
Devang Patel17800552010-03-09 00:44:50 +0000821CollectCXXBases(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000822 llvm::SmallVectorImpl<llvm::Value *> &EltTys,
Dan Gohman4cac5b42010-08-20 22:02:57 +0000823 llvm::DIType RecordTy) {
Devang Patela245c5b2010-01-25 23:32:18 +0000824
Devang Patel239cec62010-02-01 21:39:52 +0000825 const ASTRecordLayout &RL = CGM.getContext().getASTRecordLayout(RD);
826 for (CXXRecordDecl::base_class_const_iterator BI = RD->bases_begin(),
827 BE = RD->bases_end(); BI != BE; ++BI) {
Devang Patelca7daed2010-01-28 21:54:15 +0000828 unsigned BFlags = 0;
Devang Patel62c117d2011-04-04 20:36:06 +0000829 uint64_t BaseOffset;
Devang Patelca7daed2010-01-28 21:54:15 +0000830
831 const CXXRecordDecl *Base =
832 cast<CXXRecordDecl>(BI->getType()->getAs<RecordType>()->getDecl());
833
834 if (BI->isVirtual()) {
Anders Carlssonbba16072010-03-11 07:15:17 +0000835 // virtual base offset offset is -ve. The code generator emits dwarf
Devang Pateld5322da2010-02-09 19:09:28 +0000836 // expression where it expects +ve number.
Ken Dyck14c65ca2011-04-07 12:37:09 +0000837 BaseOffset =
838 0 - CGM.getVTables().getVirtualBaseOffsetOffset(RD, Base).getQuantity();
Devang Patele2472482010-09-29 21:05:52 +0000839 BFlags = llvm::DIDescriptor::FlagVirtual;
Devang Patelca7daed2010-01-28 21:54:15 +0000840 } else
Devang Patel62c117d2011-04-04 20:36:06 +0000841 BaseOffset = RL.getBaseClassOffsetInBits(Base);
Ken Dyck14c65ca2011-04-07 12:37:09 +0000842 // FIXME: Inconsistent units for BaseOffset. It is in bytes when
843 // BI->isVirtual() and bits when not.
Devang Patelca7daed2010-01-28 21:54:15 +0000844
845 AccessSpecifier Access = BI->getAccessSpecifier();
846 if (Access == clang::AS_private)
Devang Patele2472482010-09-29 21:05:52 +0000847 BFlags |= llvm::DIDescriptor::FlagPrivate;
Devang Patelca7daed2010-01-28 21:54:15 +0000848 else if (Access == clang::AS_protected)
Devang Patele2472482010-09-29 21:05:52 +0000849 BFlags |= llvm::DIDescriptor::FlagProtected;
Devang Patelca7daed2010-01-28 21:54:15 +0000850
Devang Patel823d8e92010-12-08 22:42:58 +0000851 llvm::DIType DTy =
Devang Patel16674e82011-02-22 18:56:36 +0000852 DBuilder.createInheritance(RecordTy,
Devang Patel823d8e92010-12-08 22:42:58 +0000853 getOrCreateType(BI->getType(), Unit),
Devang Patel62c117d2011-04-04 20:36:06 +0000854 BaseOffset, BFlags);
Devang Patelca7daed2010-01-28 21:54:15 +0000855 EltTys.push_back(DTy);
856 }
Devang Patela245c5b2010-01-25 23:32:18 +0000857}
858
Devang Patel5ecb1df2011-04-05 22:54:11 +0000859/// CollectTemplateParams - A helper function to collect template parameters.
Devang Patel9c1714b2011-04-05 17:30:54 +0000860llvm::DIArray CGDebugInfo::
Devang Patel5ecb1df2011-04-05 22:54:11 +0000861CollectTemplateParams(const TemplateParameterList *TPList,
862 const TemplateArgumentList &TAList,
863 llvm::DIFile Unit) {
Devang Patelc5ce2972011-04-05 20:15:06 +0000864 llvm::SmallVector<llvm::Value *, 16> TemplateParams;
865 for (unsigned i = 0, e = TAList.size(); i != e; ++i) {
866 const TemplateArgument &TA = TAList[i];
Devang Patel5ecb1df2011-04-05 22:54:11 +0000867 const NamedDecl *ND = TPList->getParam(i);
Devang Patel9c1714b2011-04-05 17:30:54 +0000868 if (TA.getKind() == TemplateArgument::Type) {
869 llvm::DIType TTy = getOrCreateType(TA.getAsType(), Unit);
870 llvm::DITemplateTypeParameter TTP =
Devang Patelc5ce2972011-04-05 20:15:06 +0000871 DBuilder.createTemplateTypeParameter(TheCU, ND->getName(), TTy);
Devang Patel9c1714b2011-04-05 17:30:54 +0000872 TemplateParams.push_back(TTP);
873 } else if (TA.getKind() == TemplateArgument::Integral) {
874 llvm::DIType TTy = getOrCreateType(TA.getIntegralType(), Unit);
Devang Patel9c1714b2011-04-05 17:30:54 +0000875 llvm::DITemplateValueParameter TVP =
Devang Patelc5ce2972011-04-05 20:15:06 +0000876 DBuilder.createTemplateValueParameter(TheCU, ND->getName(), TTy,
877 TA.getAsIntegral()->getZExtValue());
Devang Patel9c1714b2011-04-05 17:30:54 +0000878 TemplateParams.push_back(TVP);
879 }
880 }
Jay Foadc556ef22011-04-24 10:11:03 +0000881 return DBuilder.getOrCreateArray(TemplateParams);
Devang Patel9c1714b2011-04-05 17:30:54 +0000882}
883
Devang Patel5ecb1df2011-04-05 22:54:11 +0000884/// CollectFunctionTemplateParams - A helper function to collect debug
885/// info for function template parameters.
886llvm::DIArray CGDebugInfo::
887CollectFunctionTemplateParams(const FunctionDecl *FD, llvm::DIFile Unit) {
888 if (FD->getTemplatedKind() == FunctionDecl::TK_FunctionTemplateSpecialization){
889 const TemplateParameterList *TList =
890 FD->getTemplateSpecializationInfo()->getTemplate()->getTemplateParameters();
891 return
892 CollectTemplateParams(TList, *FD->getTemplateSpecializationArgs(), Unit);
893 }
894 return llvm::DIArray();
895}
896
897/// CollectCXXTemplateParams - A helper function to collect debug info for
898/// template parameters.
899llvm::DIArray CGDebugInfo::
900CollectCXXTemplateParams(const ClassTemplateSpecializationDecl *TSpecial,
901 llvm::DIFile Unit) {
902 llvm::PointerUnion<ClassTemplateDecl *,
903 ClassTemplatePartialSpecializationDecl *>
904 PU = TSpecial->getSpecializedTemplateOrPartial();
905
906 TemplateParameterList *TPList = PU.is<ClassTemplateDecl *>() ?
907 PU.get<ClassTemplateDecl *>()->getTemplateParameters() :
908 PU.get<ClassTemplatePartialSpecializationDecl *>()->getTemplateParameters();
909 const TemplateArgumentList &TAList = TSpecial->getTemplateInstantiationArgs();
910 return CollectTemplateParams(TPList, TAList, Unit);
911}
912
Devang Patel4ce3f202010-01-28 18:11:52 +0000913/// getOrCreateVTablePtrType - Return debug info descriptor for vtable.
Devang Patel17800552010-03-09 00:44:50 +0000914llvm::DIType CGDebugInfo::getOrCreateVTablePtrType(llvm::DIFile Unit) {
Devang Patel0804e6e2010-03-08 20:53:17 +0000915 if (VTablePtrType.isValid())
Devang Patel4ce3f202010-01-28 18:11:52 +0000916 return VTablePtrType;
917
918 ASTContext &Context = CGM.getContext();
919
920 /* Function type */
Devang Patel823d8e92010-12-08 22:42:58 +0000921 llvm::Value *STy = getOrCreateType(Context.IntTy, Unit);
Jay Foadc556ef22011-04-24 10:11:03 +0000922 llvm::DIArray SElements = DBuilder.getOrCreateArray(STy);
Devang Patel16674e82011-02-22 18:56:36 +0000923 llvm::DIType SubTy = DBuilder.createSubroutineType(Unit, SElements);
Devang Patel4ce3f202010-01-28 18:11:52 +0000924 unsigned Size = Context.getTypeSize(Context.VoidPtrTy);
Devang Patel16674e82011-02-22 18:56:36 +0000925 llvm::DIType vtbl_ptr_type = DBuilder.createPointerType(SubTy, Size, 0,
Devang Patel823d8e92010-12-08 22:42:58 +0000926 "__vtbl_ptr_type");
Devang Patel16674e82011-02-22 18:56:36 +0000927 VTablePtrType = DBuilder.createPointerType(vtbl_ptr_type, Size);
Devang Patel4ce3f202010-01-28 18:11:52 +0000928 return VTablePtrType;
929}
930
Anders Carlsson046c2942010-04-17 20:15:18 +0000931/// getVTableName - Get vtable name for the given Class.
932llvm::StringRef CGDebugInfo::getVTableName(const CXXRecordDecl *RD) {
Devang Patel4ce3f202010-01-28 18:11:52 +0000933 // Otherwise construct gdb compatible name name.
Devang Patel239cec62010-02-01 21:39:52 +0000934 std::string Name = "_vptr$" + RD->getNameAsString();
Devang Patel4ce3f202010-01-28 18:11:52 +0000935
936 // Copy this name on the side and use its reference.
Devang Patel89f05f82010-01-28 18:21:00 +0000937 char *StrPtr = DebugInfoNames.Allocate<char>(Name.length());
Devang Patel4ce3f202010-01-28 18:11:52 +0000938 memcpy(StrPtr, Name.data(), Name.length());
939 return llvm::StringRef(StrPtr, Name.length());
940}
941
942
Anders Carlsson046c2942010-04-17 20:15:18 +0000943/// CollectVTableInfo - If the C++ class has vtable info then insert appropriate
Devang Patel4ce3f202010-01-28 18:11:52 +0000944/// debug info entry in EltTys vector.
945void CGDebugInfo::
Anders Carlsson046c2942010-04-17 20:15:18 +0000946CollectVTableInfo(const CXXRecordDecl *RD, llvm::DIFile Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000947 llvm::SmallVectorImpl<llvm::Value *> &EltTys) {
Devang Patel239cec62010-02-01 21:39:52 +0000948 const ASTRecordLayout &RL = CGM.getContext().getASTRecordLayout(RD);
Devang Patel4ce3f202010-01-28 18:11:52 +0000949
950 // If there is a primary base then it will hold vtable info.
951 if (RL.getPrimaryBase())
952 return;
953
954 // If this class is not dynamic then there is not any vtable info to collect.
Devang Patel239cec62010-02-01 21:39:52 +0000955 if (!RD->isDynamicClass())
Devang Patel4ce3f202010-01-28 18:11:52 +0000956 return;
957
958 unsigned Size = CGM.getContext().getTypeSize(CGM.getContext().VoidPtrTy);
959 llvm::DIType VPTR
Devang Patel16674e82011-02-22 18:56:36 +0000960 = DBuilder.createMemberType(getVTableName(RD), Unit,
Devang Patel823d8e92010-12-08 22:42:58 +0000961 0, Size, 0, 0, 0,
962 getOrCreateVTablePtrType(Unit));
Devang Patel4ce3f202010-01-28 18:11:52 +0000963 EltTys.push_back(VPTR);
964}
965
Devang Patelc69e1cf2010-09-30 19:05:55 +0000966/// getOrCreateRecordType - Emit record type's standalone debug info.
967llvm::DIType CGDebugInfo::getOrCreateRecordType(QualType RTy,
968 SourceLocation Loc) {
969 llvm::DIType T = getOrCreateType(RTy, getOrCreateFile(Loc));
Devang Patel16674e82011-02-22 18:56:36 +0000970 DBuilder.retainType(T);
Devang Patelc69e1cf2010-09-30 19:05:55 +0000971 return T;
972}
973
Devang Patel65e99f22009-02-25 01:36:11 +0000974/// CreateType - get structure or union type.
Devang Patel31f7d022011-01-17 22:23:07 +0000975llvm::DIType CGDebugInfo::CreateType(const RecordType *Ty) {
Devang Pateld6c5a262010-02-01 21:52:22 +0000976 RecordDecl *RD = Ty->getDecl();
Devang Patel31f7d022011-01-17 22:23:07 +0000977 llvm::DIFile Unit = getOrCreateFile(RD->getLocation());
Mike Stump1eb44332009-09-09 15:08:12 +0000978
Chris Lattner9c85ba32008-11-10 06:08:34 +0000979 // Get overall information about the record type for the debug info.
Devang Patel8ab870d2010-05-12 23:46:38 +0000980 llvm::DIFile DefUnit = getOrCreateFile(RD->getLocation());
981 unsigned Line = getLineNumber(RD->getLocation());
Mike Stump1eb44332009-09-09 15:08:12 +0000982
Chris Lattner9c85ba32008-11-10 06:08:34 +0000983 // Records and classes and unions can all be recursive. To handle them, we
984 // first generate a debug descriptor for the struct as a forward declaration.
985 // Then (if it is a definition) we go through and get debug info for all of
986 // its members. Finally, we create a descriptor for the complete type (which
987 // may refer to the forward decl if the struct is recursive) and replace all
988 // uses of the forward declaration with the final definition.
Devang Patel0b897992010-07-08 19:56:29 +0000989 llvm::DIDescriptor FDContext =
John McCall8178df32011-02-22 22:38:33 +0000990 getContextDescriptor(cast<Decl>(RD->getDeclContext()));
Devang Patel0b897992010-07-08 19:56:29 +0000991
992 // If this is just a forward declaration, construct an appropriately
993 // marked node and just return it.
994 if (!RD->getDefinition()) {
Devang Patel823d8e92010-12-08 22:42:58 +0000995 llvm::DIType FwdDecl =
Devang Patel16674e82011-02-22 18:56:36 +0000996 DBuilder.createStructType(FDContext, RD->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +0000997 DefUnit, Line, 0, 0,
998 llvm::DIDescriptor::FlagFwdDecl,
999 llvm::DIArray());
Devang Patel0b897992010-07-08 19:56:29 +00001000
1001 return FwdDecl;
1002 }
Devang Pateld0f251b2010-01-20 23:56:40 +00001003
Devang Patel16674e82011-02-22 18:56:36 +00001004 llvm::DIType FwdDecl = DBuilder.createTemporaryType(DefUnit);
Mike Stump1eb44332009-09-09 15:08:12 +00001005
Devang Patelab699792010-05-07 18:12:35 +00001006 llvm::MDNode *MN = FwdDecl;
1007 llvm::TrackingVH<llvm::MDNode> FwdDeclNode = MN;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001008 // Otherwise, insert it into the TypeCache so that recursive uses will find
1009 // it.
Devang Patelab699792010-05-07 18:12:35 +00001010 TypeCache[QualType(Ty, 0).getAsOpaquePtr()] = FwdDecl;
Devang Patele4c1ea02010-03-11 20:01:48 +00001011 // Push the struct on region stack.
Devang Patelab699792010-05-07 18:12:35 +00001012 RegionStack.push_back(FwdDeclNode);
1013 RegionMap[Ty->getDecl()] = llvm::WeakVH(FwdDecl);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001014
1015 // Convert all the elements.
Devang Patel823d8e92010-12-08 22:42:58 +00001016 llvm::SmallVector<llvm::Value *, 16> EltTys;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001017
Devang Pateld6c5a262010-02-01 21:52:22 +00001018 const CXXRecordDecl *CXXDecl = dyn_cast<CXXRecordDecl>(RD);
Devang Patel3064afe2010-01-28 21:41:35 +00001019 if (CXXDecl) {
1020 CollectCXXBases(CXXDecl, Unit, EltTys, FwdDecl);
Anders Carlsson046c2942010-04-17 20:15:18 +00001021 CollectVTableInfo(CXXDecl, Unit, EltTys);
Devang Patel3064afe2010-01-28 21:41:35 +00001022 }
Devang Pateldabc3e92010-08-12 00:02:44 +00001023
1024 // Collect static variables with initializers.
1025 for (RecordDecl::decl_iterator I = RD->decls_begin(), E = RD->decls_end();
1026 I != E; ++I)
1027 if (const VarDecl *V = dyn_cast<VarDecl>(*I)) {
1028 if (const Expr *Init = V->getInit()) {
1029 Expr::EvalResult Result;
1030 if (Init->Evaluate(Result, CGM.getContext()) && Result.Val.isInt()) {
1031 llvm::ConstantInt *CI
1032 = llvm::ConstantInt::get(CGM.getLLVMContext(), Result.Val.getInt());
1033
1034 // Create the descriptor for static variable.
1035 llvm::DIFile VUnit = getOrCreateFile(V->getLocation());
1036 llvm::StringRef VName = V->getName();
1037 llvm::DIType VTy = getOrCreateType(V->getType(), VUnit);
1038 // Do not use DIGlobalVariable for enums.
1039 if (VTy.getTag() != llvm::dwarf::DW_TAG_enumeration_type) {
Devang Patel16674e82011-02-22 18:56:36 +00001040 DBuilder.createStaticVariable(FwdDecl, VName, VName, VUnit,
Devang Patel823d8e92010-12-08 22:42:58 +00001041 getLineNumber(V->getLocation()),
1042 VTy, true, CI);
Devang Pateldabc3e92010-08-12 00:02:44 +00001043 }
1044 }
1045 }
1046 }
1047
Devang Pateld6c5a262010-02-01 21:52:22 +00001048 CollectRecordFields(RD, Unit, EltTys);
Devang Patel9c1714b2011-04-05 17:30:54 +00001049 llvm::DIArray TParamsArray;
Devang Patel4ce3f202010-01-28 18:11:52 +00001050 if (CXXDecl) {
Devang Patel4125fd22010-01-19 01:54:44 +00001051 CollectCXXMemberFunctions(CXXDecl, Unit, EltTys, FwdDecl);
Devang Patel2ed8f002010-08-27 17:47:47 +00001052 CollectCXXFriends(CXXDecl, Unit, EltTys, FwdDecl);
Devang Patel9c1714b2011-04-05 17:30:54 +00001053 if (const ClassTemplateSpecializationDecl *TSpecial
1054 = dyn_cast<ClassTemplateSpecializationDecl>(RD))
1055 TParamsArray = CollectCXXTemplateParams(TSpecial, Unit);
Devang Patel823d8e92010-12-08 22:42:58 +00001056 }
Devang Patel0ac8f312010-01-28 00:54:21 +00001057
Devang Patel823d8e92010-12-08 22:42:58 +00001058 RegionStack.pop_back();
1059 llvm::DenseMap<const Decl *, llvm::WeakVH>::iterator RI =
1060 RegionMap.find(Ty->getDecl());
1061 if (RI != RegionMap.end())
1062 RegionMap.erase(RI);
1063
1064 llvm::DIDescriptor RDContext =
John McCall8178df32011-02-22 22:38:33 +00001065 getContextDescriptor(cast<Decl>(RD->getDeclContext()));
Devang Patel823d8e92010-12-08 22:42:58 +00001066 llvm::StringRef RDName = RD->getName();
1067 uint64_t Size = CGM.getContext().getTypeSize(Ty);
1068 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Jay Foadc556ef22011-04-24 10:11:03 +00001069 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patel823d8e92010-12-08 22:42:58 +00001070 llvm::MDNode *RealDecl = NULL;
1071
Devang Patel5c5b5872011-02-28 22:32:45 +00001072 if (RD->isUnion())
Devang Patel16674e82011-02-22 18:56:36 +00001073 RealDecl = DBuilder.createUnionType(RDContext, RDName, DefUnit, Line,
Devang Patel5c5b5872011-02-28 22:32:45 +00001074 Size, Align, 0, Elements);
1075 else if (CXXDecl) {
Devang Patel823d8e92010-12-08 22:42:58 +00001076 RDName = getClassName(RD);
1077 // A class's primary base or the class itself contains the vtable.
1078 llvm::MDNode *ContainingType = NULL;
Devang Pateld6c5a262010-02-01 21:52:22 +00001079 const ASTRecordLayout &RL = CGM.getContext().getASTRecordLayout(RD);
Devang Patel5bc794f2010-10-14 22:59:23 +00001080 if (const CXXRecordDecl *PBase = RL.getPrimaryBase()) {
1081 // Seek non virtual primary base root.
1082 while (1) {
1083 const ASTRecordLayout &BRL = CGM.getContext().getASTRecordLayout(PBase);
1084 const CXXRecordDecl *PBT = BRL.getPrimaryBase();
Anders Carlssonc9e814b2010-11-24 23:12:57 +00001085 if (PBT && !BRL.isPrimaryBaseVirtual())
Devang Patel5bc794f2010-10-14 22:59:23 +00001086 PBase = PBT;
1087 else
1088 break;
1089 }
Devang Patel0ac8f312010-01-28 00:54:21 +00001090 ContainingType =
Devang Patelab699792010-05-07 18:12:35 +00001091 getOrCreateType(QualType(PBase->getTypeForDecl(), 0), Unit);
Devang Patel5bc794f2010-10-14 22:59:23 +00001092 }
Devang Patel0ac8f312010-01-28 00:54:21 +00001093 else if (CXXDecl->isDynamicClass())
Devang Patelab699792010-05-07 18:12:35 +00001094 ContainingType = FwdDecl;
Devang Patel9c1714b2011-04-05 17:30:54 +00001095
Devang Patel16674e82011-02-22 18:56:36 +00001096 RealDecl = DBuilder.createClassType(RDContext, RDName, DefUnit, Line,
Devang Patel823d8e92010-12-08 22:42:58 +00001097 Size, Align, 0, 0, llvm::DIType(),
Devang Patelfa275df2011-02-02 21:38:49 +00001098 Elements, ContainingType,
1099 TParamsArray);
Devang Patel5c5b5872011-02-28 22:32:45 +00001100 } else
1101 RealDecl = DBuilder.createStructType(RDContext, RDName, DefUnit, Line,
1102 Size, Align, 0, Elements);
Mike Stump1eb44332009-09-09 15:08:12 +00001103
Chris Lattner9c85ba32008-11-10 06:08:34 +00001104 // Now that we have a real decl for the struct, replace anything using the
1105 // old decl with the new one. This will recursively update the debug info.
Dan Gohman4cac5b42010-08-20 22:02:57 +00001106 llvm::DIType(FwdDeclNode).replaceAllUsesWith(RealDecl);
Devang Patelab699792010-05-07 18:12:35 +00001107 RegionMap[RD] = llvm::WeakVH(RealDecl);
Devang Patel823d8e92010-12-08 22:42:58 +00001108 return llvm::DIType(RealDecl);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001109}
1110
John McCallc12c5bb2010-05-15 11:32:37 +00001111/// CreateType - get objective-c object type.
1112llvm::DIType CGDebugInfo::CreateType(const ObjCObjectType *Ty,
1113 llvm::DIFile Unit) {
1114 // Ignore protocols.
1115 return getOrCreateType(Ty->getBaseType(), Unit);
1116}
1117
Devang Patel9ca36b62009-02-26 21:10:26 +00001118/// CreateType - get objective-c interface type.
1119llvm::DIType CGDebugInfo::CreateType(const ObjCInterfaceType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001120 llvm::DIFile Unit) {
Devang Pateld6c5a262010-02-01 21:52:22 +00001121 ObjCInterfaceDecl *ID = Ty->getDecl();
Douglas Gregora6a28972010-11-30 06:38:09 +00001122 if (!ID)
1123 return llvm::DIType();
Devang Patel9ca36b62009-02-26 21:10:26 +00001124
1125 // Get overall information about the record type for the debug info.
Devang Patel17800552010-03-09 00:44:50 +00001126 llvm::DIFile DefUnit = getOrCreateFile(ID->getLocation());
Devang Patel8ab870d2010-05-12 23:46:38 +00001127 unsigned Line = getLineNumber(ID->getLocation());
Devang Patel17800552010-03-09 00:44:50 +00001128 unsigned RuntimeLang = TheCU.getLanguage();
Chris Lattnerac7c8142009-05-02 01:13:16 +00001129
Dan Gohman45f7c782010-08-23 21:15:56 +00001130 // If this is just a forward declaration, return a special forward-declaration
1131 // debug type.
1132 if (ID->isForwardDecl()) {
Devang Patel823d8e92010-12-08 22:42:58 +00001133 llvm::DIType FwdDecl =
Devang Patel16674e82011-02-22 18:56:36 +00001134 DBuilder.createStructType(Unit, ID->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +00001135 DefUnit, Line, 0, 0, 0,
1136 llvm::DIArray(), RuntimeLang);
Dan Gohman45f7c782010-08-23 21:15:56 +00001137 return FwdDecl;
1138 }
1139
Devang Patel9ca36b62009-02-26 21:10:26 +00001140 // To handle recursive interface, we
1141 // first generate a debug descriptor for the struct as a forward declaration.
1142 // Then (if it is a definition) we go through and get debug info for all of
1143 // its members. Finally, we create a descriptor for the complete type (which
1144 // may refer to the forward decl if the struct is recursive) and replace all
1145 // uses of the forward declaration with the final definition.
Devang Patel16674e82011-02-22 18:56:36 +00001146 llvm::DIType FwdDecl = DBuilder.createTemporaryType(DefUnit);
Mike Stump1eb44332009-09-09 15:08:12 +00001147
Devang Patelab699792010-05-07 18:12:35 +00001148 llvm::MDNode *MN = FwdDecl;
1149 llvm::TrackingVH<llvm::MDNode> FwdDeclNode = MN;
Devang Patel9ca36b62009-02-26 21:10:26 +00001150 // Otherwise, insert it into the TypeCache so that recursive uses will find
1151 // it.
Devang Patelab699792010-05-07 18:12:35 +00001152 TypeCache[QualType(Ty, 0).getAsOpaquePtr()] = FwdDecl;
Devang Patele4c1ea02010-03-11 20:01:48 +00001153 // Push the struct on region stack.
Devang Patelab699792010-05-07 18:12:35 +00001154 RegionStack.push_back(FwdDeclNode);
1155 RegionMap[Ty->getDecl()] = llvm::WeakVH(FwdDecl);
Devang Patel9ca36b62009-02-26 21:10:26 +00001156
1157 // Convert all the elements.
Devang Patel823d8e92010-12-08 22:42:58 +00001158 llvm::SmallVector<llvm::Value *, 16> EltTys;
Devang Patel9ca36b62009-02-26 21:10:26 +00001159
Devang Pateld6c5a262010-02-01 21:52:22 +00001160 ObjCInterfaceDecl *SClass = ID->getSuperClass();
Devang Patelfbe899f2009-03-10 21:30:26 +00001161 if (SClass) {
Mike Stump1eb44332009-09-09 15:08:12 +00001162 llvm::DIType SClassTy =
Anders Carlsson20f12a22009-12-06 18:00:51 +00001163 getOrCreateType(CGM.getContext().getObjCInterfaceType(SClass), Unit);
Douglas Gregora6a28972010-11-30 06:38:09 +00001164 if (!SClassTy.isValid())
1165 return llvm::DIType();
1166
Mike Stump1eb44332009-09-09 15:08:12 +00001167 llvm::DIType InhTag =
Devang Patel16674e82011-02-22 18:56:36 +00001168 DBuilder.createInheritance(FwdDecl, SClassTy, 0, 0);
Devang Patelfbe899f2009-03-10 21:30:26 +00001169 EltTys.push_back(InhTag);
1170 }
1171
Devang Pateld6c5a262010-02-01 21:52:22 +00001172 const ASTRecordLayout &RL = CGM.getContext().getASTObjCInterfaceLayout(ID);
Devang Patel9ca36b62009-02-26 21:10:26 +00001173
1174 unsigned FieldNo = 0;
Fariborz Jahanian97477392010-10-01 00:01:53 +00001175 for (ObjCIvarDecl *Field = ID->all_declared_ivar_begin(); Field;
Fariborz Jahanianfe8fdba2010-10-11 23:55:47 +00001176 Field = Field->getNextIvar(), ++FieldNo) {
Devang Patel9ca36b62009-02-26 21:10:26 +00001177 llvm::DIType FieldTy = getOrCreateType(Field->getType(), Unit);
Douglas Gregora6a28972010-11-30 06:38:09 +00001178 if (!FieldTy.isValid())
1179 return llvm::DIType();
1180
Devang Patel73621622009-11-25 17:37:31 +00001181 llvm::StringRef FieldName = Field->getName();
Devang Patel9ca36b62009-02-26 21:10:26 +00001182
Devang Patelde135022009-04-27 22:40:36 +00001183 // Ignore unnamed fields.
Devang Patel73621622009-11-25 17:37:31 +00001184 if (FieldName.empty())
Devang Patelde135022009-04-27 22:40:36 +00001185 continue;
1186
Devang Patel9ca36b62009-02-26 21:10:26 +00001187 // Get the location for the field.
Devang Patel8ab870d2010-05-12 23:46:38 +00001188 llvm::DIFile FieldDefUnit = getOrCreateFile(Field->getLocation());
1189 unsigned FieldLine = getLineNumber(Field->getLocation());
Devang Patel99c20eb2009-03-20 18:24:39 +00001190 QualType FType = Field->getType();
1191 uint64_t FieldSize = 0;
1192 unsigned FieldAlign = 0;
Devang Patelc20482b2009-03-19 00:23:53 +00001193
Devang Patel99c20eb2009-03-20 18:24:39 +00001194 if (!FType->isIncompleteArrayType()) {
Mike Stump1eb44332009-09-09 15:08:12 +00001195
Devang Patel99c20eb2009-03-20 18:24:39 +00001196 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001197 FieldSize = CGM.getContext().getTypeSize(FType);
Devang Patel99c20eb2009-03-20 18:24:39 +00001198 Expr *BitWidth = Field->getBitWidth();
1199 if (BitWidth)
Anders Carlsson20f12a22009-12-06 18:00:51 +00001200 FieldSize = BitWidth->EvaluateAsInt(CGM.getContext()).getZExtValue();
Eli Friedman9a901bb2009-04-26 19:19:15 +00001201
Anders Carlsson20f12a22009-12-06 18:00:51 +00001202 FieldAlign = CGM.getContext().getTypeAlign(FType);
Devang Patel99c20eb2009-03-20 18:24:39 +00001203 }
1204
Mike Stump1eb44332009-09-09 15:08:12 +00001205 uint64_t FieldOffset = RL.getFieldOffset(FieldNo);
1206
Devang Patelc20482b2009-03-19 00:23:53 +00001207 unsigned Flags = 0;
1208 if (Field->getAccessControl() == ObjCIvarDecl::Protected)
Devang Patele2472482010-09-29 21:05:52 +00001209 Flags = llvm::DIDescriptor::FlagProtected;
Devang Patelc20482b2009-03-19 00:23:53 +00001210 else if (Field->getAccessControl() == ObjCIvarDecl::Private)
Devang Patele2472482010-09-29 21:05:52 +00001211 Flags = llvm::DIDescriptor::FlagPrivate;
Mike Stump1eb44332009-09-09 15:08:12 +00001212
Devang Patelfa936d82011-04-16 00:12:55 +00001213 llvm::StringRef PropertyName;
1214 llvm::StringRef PropertyGetter;
1215 llvm::StringRef PropertySetter;
Eli Friedman10292cc2011-04-17 06:40:15 +00001216 unsigned PropertyAttributes = 0;
Devang Patelfa936d82011-04-16 00:12:55 +00001217 if (ObjCPropertyDecl *PD =
1218 ID->FindPropertyVisibleInPrimaryClass(Field->getIdentifier())) {
1219 PropertyName = PD->getName();
Devang Patel90c1eed2011-04-16 00:37:51 +00001220 PropertyGetter = getSelectorName(PD->getGetterName());
1221 PropertySetter = getSelectorName(PD->getSetterName());
Devang Patelfa936d82011-04-16 00:12:55 +00001222 PropertyAttributes = PD->getPropertyAttributes();
1223 }
1224 FieldTy = DBuilder.createObjCIVar(FieldName, FieldDefUnit,
1225 FieldLine, FieldSize, FieldAlign,
1226 FieldOffset, Flags, FieldTy,
1227 PropertyName, PropertyGetter,
1228 PropertySetter, PropertyAttributes);
Devang Patel9ca36b62009-02-26 21:10:26 +00001229 EltTys.push_back(FieldTy);
1230 }
Mike Stump1eb44332009-09-09 15:08:12 +00001231
Jay Foadc556ef22011-04-24 10:11:03 +00001232 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patel9ca36b62009-02-26 21:10:26 +00001233
Devang Patele4c1ea02010-03-11 20:01:48 +00001234 RegionStack.pop_back();
1235 llvm::DenseMap<const Decl *, llvm::WeakVH>::iterator RI =
1236 RegionMap.find(Ty->getDecl());
1237 if (RI != RegionMap.end())
1238 RegionMap.erase(RI);
1239
Devang Patel9ca36b62009-02-26 21:10:26 +00001240 // Bit size, align and offset of the type.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001241 uint64_t Size = CGM.getContext().getTypeSize(Ty);
1242 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +00001243
Devang Patel707b1e92011-05-12 19:07:41 +00001244 unsigned Flags = 0;
Devang Patelf568b642011-05-12 21:14:54 +00001245 if (ID->getImplementation())
Devang Patelaad16092011-05-12 21:29:57 +00001246 Flags |= llvm::DIDescriptor::FlagObjcClassComplete;
Devang Patel707b1e92011-05-12 19:07:41 +00001247
Devang Patel823d8e92010-12-08 22:42:58 +00001248 llvm::DIType RealDecl =
Devang Patel16674e82011-02-22 18:56:36 +00001249 DBuilder.createStructType(Unit, ID->getName(), DefUnit,
Devang Patel707b1e92011-05-12 19:07:41 +00001250 Line, Size, Align, Flags,
Devang Patel823d8e92010-12-08 22:42:58 +00001251 Elements, RuntimeLang);
Devang Patel9ca36b62009-02-26 21:10:26 +00001252
1253 // Now that we have a real decl for the struct, replace anything using the
1254 // old decl with the new one. This will recursively update the debug info.
Dan Gohman4cac5b42010-08-20 22:02:57 +00001255 llvm::DIType(FwdDeclNode).replaceAllUsesWith(RealDecl);
Devang Patelab699792010-05-07 18:12:35 +00001256 RegionMap[ID] = llvm::WeakVH(RealDecl);
Devang Patelfe09eab2009-07-13 17:03:14 +00001257
Devang Patel9ca36b62009-02-26 21:10:26 +00001258 return RealDecl;
1259}
1260
Devang Patel31f7d022011-01-17 22:23:07 +00001261llvm::DIType CGDebugInfo::CreateType(const TagType *Ty) {
Chris Lattner9c85ba32008-11-10 06:08:34 +00001262 if (const RecordType *RT = dyn_cast<RecordType>(Ty))
Devang Patel31f7d022011-01-17 22:23:07 +00001263 return CreateType(RT);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001264 else if (const EnumType *ET = dyn_cast<EnumType>(Ty))
Devang Patel31f7d022011-01-17 22:23:07 +00001265 return CreateEnumType(ET->getDecl());
Mike Stump1eb44332009-09-09 15:08:12 +00001266
Chris Lattner9c85ba32008-11-10 06:08:34 +00001267 return llvm::DIType();
1268}
1269
Devang Patel70c23cd2010-02-23 22:59:39 +00001270llvm::DIType CGDebugInfo::CreateType(const VectorType *Ty,
Eli Friedmana7e68452010-08-22 01:00:03 +00001271 llvm::DIFile Unit) {
Devang Patel70c23cd2010-02-23 22:59:39 +00001272 llvm::DIType ElementTy = getOrCreateType(Ty->getElementType(), Unit);
Devang Patel6cf37dd2011-04-08 21:56:52 +00001273 int64_t NumElems = Ty->getNumElements();
1274 int64_t LowerBound = 0;
1275 if (NumElems == 0)
1276 // If number of elements are not known then this is an unbounded array.
1277 // Use Low = 1, Hi = 0 to express such arrays.
1278 LowerBound = 1;
1279 else
Devang Patel70c23cd2010-02-23 22:59:39 +00001280 --NumElems;
Devang Patel70c23cd2010-02-23 22:59:39 +00001281
Devang Patel6cf37dd2011-04-08 21:56:52 +00001282 llvm::Value *Subscript = DBuilder.getOrCreateSubrange(LowerBound, NumElems);
Jay Foadc556ef22011-04-24 10:11:03 +00001283 llvm::DIArray SubscriptArray = DBuilder.getOrCreateArray(Subscript);
Devang Patel70c23cd2010-02-23 22:59:39 +00001284
1285 uint64_t Size = CGM.getContext().getTypeSize(Ty);
1286 uint64_t Align = CGM.getContext().getTypeAlign(Ty);
1287
1288 return
Devang Patel16674e82011-02-22 18:56:36 +00001289 DBuilder.createVectorType(Size, Align, ElementTy, SubscriptArray);
Devang Patel70c23cd2010-02-23 22:59:39 +00001290}
1291
Chris Lattner9c85ba32008-11-10 06:08:34 +00001292llvm::DIType CGDebugInfo::CreateType(const ArrayType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001293 llvm::DIFile Unit) {
Anders Carlsson835c9092009-01-05 01:23:29 +00001294 uint64_t Size;
1295 uint64_t Align;
Mike Stump1eb44332009-09-09 15:08:12 +00001296
1297
Nuno Lopes010d5142009-01-28 00:35:17 +00001298 // FIXME: make getTypeAlign() aware of VLAs and incomplete array types
Anders Carlsson835c9092009-01-05 01:23:29 +00001299 if (const VariableArrayType *VAT = dyn_cast<VariableArrayType>(Ty)) {
Anders Carlsson835c9092009-01-05 01:23:29 +00001300 Size = 0;
1301 Align =
Anders Carlsson20f12a22009-12-06 18:00:51 +00001302 CGM.getContext().getTypeAlign(CGM.getContext().getBaseElementType(VAT));
Nuno Lopes010d5142009-01-28 00:35:17 +00001303 } else if (Ty->isIncompleteArrayType()) {
1304 Size = 0;
Anders Carlsson20f12a22009-12-06 18:00:51 +00001305 Align = CGM.getContext().getTypeAlign(Ty->getElementType());
Devang Patelba690a42011-04-04 23:18:38 +00001306 } else if (Ty->isDependentSizedArrayType() || Ty->isIncompleteType()) {
Devang Patelae503df2011-04-01 19:02:33 +00001307 Size = 0;
1308 Align = 0;
Anders Carlsson835c9092009-01-05 01:23:29 +00001309 } else {
1310 // Size and align of the whole array, not the element type.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001311 Size = CGM.getContext().getTypeSize(Ty);
1312 Align = CGM.getContext().getTypeAlign(Ty);
Anders Carlsson835c9092009-01-05 01:23:29 +00001313 }
Mike Stump1eb44332009-09-09 15:08:12 +00001314
Chris Lattner9c85ba32008-11-10 06:08:34 +00001315 // Add the dimensions of the array. FIXME: This loses CV qualifiers from
1316 // interior arrays, do we care? Why aren't nested arrays represented the
1317 // obvious/recursive way?
Devang Patel823d8e92010-12-08 22:42:58 +00001318 llvm::SmallVector<llvm::Value *, 8> Subscripts;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001319 QualType EltTy(Ty, 0);
Devang Patelcdf523c2010-10-06 18:30:00 +00001320 if (Ty->isIncompleteArrayType())
Chris Lattner9c85ba32008-11-10 06:08:34 +00001321 EltTy = Ty->getElementType();
Devang Patelcdf523c2010-10-06 18:30:00 +00001322 else {
1323 while ((Ty = dyn_cast<ArrayType>(EltTy))) {
Devang Patel6cf37dd2011-04-08 21:56:52 +00001324 int64_t UpperBound = 0;
1325 int64_t LowerBound = 0;
Nick Lewycky3894c072011-04-09 00:25:15 +00001326 if (const ConstantArrayType *CAT = dyn_cast<ConstantArrayType>(Ty)) {
Devang Patelcdf523c2010-10-06 18:30:00 +00001327 if (CAT->getSize().getZExtValue())
Devang Patel6cf37dd2011-04-08 21:56:52 +00001328 UpperBound = CAT->getSize().getZExtValue() - 1;
Nick Lewycky3894c072011-04-09 00:25:15 +00001329 } else
Devang Patel6cf37dd2011-04-08 21:56:52 +00001330 // This is an unbounded array. Use Low = 1, Hi = 0 to express such
1331 // arrays.
1332 LowerBound = 1;
1333
Devang Patelcdf523c2010-10-06 18:30:00 +00001334 // FIXME: Verify this is right for VLAs.
Devang Patel6cf37dd2011-04-08 21:56:52 +00001335 Subscripts.push_back(DBuilder.getOrCreateSubrange(LowerBound, UpperBound));
Devang Patelcdf523c2010-10-06 18:30:00 +00001336 EltTy = Ty->getElementType();
1337 }
Sanjiv Gupta507de852008-06-09 10:47:41 +00001338 }
Mike Stump1eb44332009-09-09 15:08:12 +00001339
Jay Foadc556ef22011-04-24 10:11:03 +00001340 llvm::DIArray SubscriptArray = DBuilder.getOrCreateArray(Subscripts);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001341
Devang Patelca80a5f2009-10-20 19:55:01 +00001342 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +00001343 DBuilder.createArrayType(Size, Align, getOrCreateType(EltTy, Unit),
Devang Patel823d8e92010-12-08 22:42:58 +00001344 SubscriptArray);
Devang Patelca80a5f2009-10-20 19:55:01 +00001345 return DbgTy;
Chris Lattner9c85ba32008-11-10 06:08:34 +00001346}
1347
Anders Carlssona031b352009-11-06 19:19:55 +00001348llvm::DIType CGDebugInfo::CreateType(const LValueReferenceType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001349 llvm::DIFile Unit) {
Anders Carlssona031b352009-11-06 19:19:55 +00001350 return CreatePointerLikeType(llvm::dwarf::DW_TAG_reference_type,
1351 Ty, Ty->getPointeeType(), Unit);
1352}
Chris Lattner9c85ba32008-11-10 06:08:34 +00001353
Douglas Gregor36b8ee62011-01-22 01:58:15 +00001354llvm::DIType CGDebugInfo::CreateType(const RValueReferenceType *Ty,
1355 llvm::DIFile Unit) {
1356 return CreatePointerLikeType(llvm::dwarf::DW_TAG_rvalue_reference_type,
1357 Ty, Ty->getPointeeType(), Unit);
1358}
1359
Anders Carlsson20f12a22009-12-06 18:00:51 +00001360llvm::DIType CGDebugInfo::CreateType(const MemberPointerType *Ty,
Devang Patel17800552010-03-09 00:44:50 +00001361 llvm::DIFile U) {
Anders Carlsson20f12a22009-12-06 18:00:51 +00001362 QualType PointerDiffTy = CGM.getContext().getPointerDiffType();
1363 llvm::DIType PointerDiffDITy = getOrCreateType(PointerDiffTy, U);
1364
1365 if (!Ty->getPointeeType()->isFunctionType()) {
1366 // We have a data member pointer type.
1367 return PointerDiffDITy;
1368 }
1369
1370 // We have a member function pointer type. Treat it as a struct with two
1371 // ptrdiff_t members.
1372 std::pair<uint64_t, unsigned> Info = CGM.getContext().getTypeInfo(Ty);
1373
1374 uint64_t FieldOffset = 0;
Devang Patel823d8e92010-12-08 22:42:58 +00001375 llvm::Value *ElementTypes[2];
Anders Carlsson20f12a22009-12-06 18:00:51 +00001376
1377 // FIXME: This should probably be a function type instead.
1378 ElementTypes[0] =
Devang Patel16674e82011-02-22 18:56:36 +00001379 DBuilder.createMemberType("ptr", U, 0,
Devang Patel823d8e92010-12-08 22:42:58 +00001380 Info.first, Info.second, FieldOffset, 0,
1381 PointerDiffDITy);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001382 FieldOffset += Info.first;
1383
1384 ElementTypes[1] =
Devang Patel16674e82011-02-22 18:56:36 +00001385 DBuilder.createMemberType("ptr", U, 0,
Devang Patel823d8e92010-12-08 22:42:58 +00001386 Info.first, Info.second, FieldOffset, 0,
1387 PointerDiffDITy);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001388
Jay Foadc556ef22011-04-24 10:11:03 +00001389 llvm::DIArray Elements = DBuilder.getOrCreateArray(ElementTypes);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001390
Devang Patel16674e82011-02-22 18:56:36 +00001391 return DBuilder.createStructType(U, llvm::StringRef("test"),
Devang Patel823d8e92010-12-08 22:42:58 +00001392 U, 0, FieldOffset,
1393 0, 0, Elements);
Anders Carlsson20f12a22009-12-06 18:00:51 +00001394}
1395
Devang Patel6237cea2010-08-23 22:07:25 +00001396/// CreateEnumType - get enumeration type.
Devang Patel31f7d022011-01-17 22:23:07 +00001397llvm::DIType CGDebugInfo::CreateEnumType(const EnumDecl *ED) {
1398 llvm::DIFile Unit = getOrCreateFile(ED->getLocation());
Devang Patel823d8e92010-12-08 22:42:58 +00001399 llvm::SmallVector<llvm::Value *, 16> Enumerators;
Devang Patel6237cea2010-08-23 22:07:25 +00001400
1401 // Create DIEnumerator elements for each enumerator.
1402 for (EnumDecl::enumerator_iterator
1403 Enum = ED->enumerator_begin(), EnumEnd = ED->enumerator_end();
1404 Enum != EnumEnd; ++Enum) {
Devang Patel823d8e92010-12-08 22:42:58 +00001405 Enumerators.push_back(
Devang Patel16674e82011-02-22 18:56:36 +00001406 DBuilder.createEnumerator(Enum->getName(),
Devang Patel823d8e92010-12-08 22:42:58 +00001407 Enum->getInitVal().getZExtValue()));
Devang Patel6237cea2010-08-23 22:07:25 +00001408 }
1409
1410 // Return a CompositeType for the enum itself.
Jay Foadc556ef22011-04-24 10:11:03 +00001411 llvm::DIArray EltArray = DBuilder.getOrCreateArray(Enumerators);
Devang Patel6237cea2010-08-23 22:07:25 +00001412
1413 llvm::DIFile DefUnit = getOrCreateFile(ED->getLocation());
1414 unsigned Line = getLineNumber(ED->getLocation());
1415 uint64_t Size = 0;
Devang Patelffc52e72010-08-24 18:14:06 +00001416 uint64_t Align = 0;
1417 if (!ED->getTypeForDecl()->isIncompleteType()) {
1418 Size = CGM.getContext().getTypeSize(ED->getTypeForDecl());
1419 Align = CGM.getContext().getTypeAlign(ED->getTypeForDecl());
1420 }
Devang Patel4bc48872010-10-27 23:23:58 +00001421 llvm::DIDescriptor EnumContext =
John McCall8178df32011-02-22 22:38:33 +00001422 getContextDescriptor(cast<Decl>(ED->getDeclContext()));
Devang Patel6237cea2010-08-23 22:07:25 +00001423 llvm::DIType DbgTy =
Devang Patel16674e82011-02-22 18:56:36 +00001424 DBuilder.createEnumerationType(EnumContext, ED->getName(), DefUnit, Line,
Devang Patel823d8e92010-12-08 22:42:58 +00001425 Size, Align, EltArray);
Devang Patel6237cea2010-08-23 22:07:25 +00001426 return DbgTy;
1427}
1428
Douglas Gregor840943d2009-12-21 20:18:30 +00001429static QualType UnwrapTypeForDebugInfo(QualType T) {
1430 do {
1431 QualType LastT = T;
1432 switch (T->getTypeClass()) {
1433 default:
1434 return T;
1435 case Type::TemplateSpecialization:
1436 T = cast<TemplateSpecializationType>(T)->desugar();
1437 break;
John McCallf4c73712011-01-19 06:33:43 +00001438 case Type::TypeOfExpr:
1439 T = cast<TypeOfExprType>(T)->getUnderlyingExpr()->getType();
Douglas Gregor840943d2009-12-21 20:18:30 +00001440 break;
Douglas Gregor840943d2009-12-21 20:18:30 +00001441 case Type::TypeOf:
1442 T = cast<TypeOfType>(T)->getUnderlyingType();
1443 break;
1444 case Type::Decltype:
1445 T = cast<DecltypeType>(T)->getUnderlyingType();
1446 break;
John McCall9d156a72011-01-06 01:58:22 +00001447 case Type::Attributed:
1448 T = cast<AttributedType>(T)->getEquivalentType();
John McCall14aa2172011-03-04 04:00:19 +00001449 break;
Abramo Bagnara465d41b2010-05-11 21:36:43 +00001450 case Type::Elaborated:
1451 T = cast<ElaboratedType>(T)->getNamedType();
Douglas Gregor840943d2009-12-21 20:18:30 +00001452 break;
Abramo Bagnara075f8f12010-12-10 16:29:40 +00001453 case Type::Paren:
1454 T = cast<ParenType>(T)->getInnerType();
1455 break;
Douglas Gregor840943d2009-12-21 20:18:30 +00001456 case Type::SubstTemplateTypeParm:
1457 T = cast<SubstTemplateTypeParmType>(T)->getReplacementType();
1458 break;
Anders Carlssonebc32792011-03-06 16:43:04 +00001459 case Type::Auto:
1460 T = cast<AutoType>(T)->getDeducedType();
1461 break;
Douglas Gregor840943d2009-12-21 20:18:30 +00001462 }
1463
1464 assert(T != LastT && "Type unwrapping failed to unwrap!");
1465 if (T == LastT)
1466 return T;
1467 } while (true);
1468
1469 return T;
Anders Carlsson5b6117a2009-11-14 21:08:12 +00001470}
1471
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001472/// getOrCreateType - Get the type from the cache or create a new
1473/// one if necessary.
Chris Lattner9c85ba32008-11-10 06:08:34 +00001474llvm::DIType CGDebugInfo::getOrCreateType(QualType Ty,
Devang Patel17800552010-03-09 00:44:50 +00001475 llvm::DIFile Unit) {
Chris Lattner9c85ba32008-11-10 06:08:34 +00001476 if (Ty.isNull())
1477 return llvm::DIType();
Mike Stump1eb44332009-09-09 15:08:12 +00001478
Douglas Gregor840943d2009-12-21 20:18:30 +00001479 // Unwrap the type as needed for debug information.
1480 Ty = UnwrapTypeForDebugInfo(Ty);
Devang Patele80d5672011-03-23 16:29:39 +00001481
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001482 // Check for existing entry.
Ted Kremenek590838b2010-03-29 18:29:57 +00001483 llvm::DenseMap<void *, llvm::WeakVH>::iterator it =
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001484 TypeCache.find(Ty.getAsOpaquePtr());
Daniel Dunbar65f13c32009-09-19 20:17:48 +00001485 if (it != TypeCache.end()) {
1486 // Verify that the debug info still exists.
1487 if (&*it->second)
1488 return llvm::DIType(cast<llvm::MDNode>(it->second));
1489 }
Daniel Dunbar03faac32009-09-19 19:27:14 +00001490
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001491 // Otherwise create the type.
1492 llvm::DIType Res = CreateTypeNode(Ty, Unit);
Anders Carlsson0dd57c62009-11-14 20:52:05 +00001493
1494 // And update the type cache.
Devang Patelab699792010-05-07 18:12:35 +00001495 TypeCache[Ty.getAsOpaquePtr()] = Res;
Daniel Dunbar23e81ba2009-09-19 19:27:24 +00001496 return Res;
Daniel Dunbar03faac32009-09-19 19:27:14 +00001497}
1498
Anders Carlsson0dd57c62009-11-14 20:52:05 +00001499/// CreateTypeNode - Create a new debug type node.
Daniel Dunbar03faac32009-09-19 19:27:14 +00001500llvm::DIType CGDebugInfo::CreateTypeNode(QualType Ty,
Devang Patel17800552010-03-09 00:44:50 +00001501 llvm::DIFile Unit) {
John McCalla1805292009-09-25 01:40:47 +00001502 // Handle qualifiers, which recursively handles what they refer to.
Douglas Gregora4923eb2009-11-16 21:35:15 +00001503 if (Ty.hasLocalQualifiers())
John McCalla1805292009-09-25 01:40:47 +00001504 return CreateQualifiedType(Ty, Unit);
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001505
Douglas Gregor2101a822009-12-21 19:57:21 +00001506 const char *Diag = 0;
1507
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001508 // Work out details of type.
Chris Lattner9c85ba32008-11-10 06:08:34 +00001509 switch (Ty->getTypeClass()) {
Douglas Gregor72564e72009-02-26 23:50:07 +00001510#define TYPE(Class, Base)
1511#define ABSTRACT_TYPE(Class, Base)
1512#define NON_CANONICAL_TYPE(Class, Base)
1513#define DEPENDENT_TYPE(Class, Base) case Type::Class:
1514#include "clang/AST/TypeNodes.def"
1515 assert(false && "Dependent types cannot show up in debug information");
Argyrios Kyrtzidis1bb8a452009-08-19 01:28:17 +00001516
Anders Carlssonbfe69952009-11-06 18:24:04 +00001517 // FIXME: Handle these.
1518 case Type::ExtVector:
Anders Carlssonbfe69952009-11-06 18:24:04 +00001519 return llvm::DIType();
Devang Patel70c23cd2010-02-23 22:59:39 +00001520
1521 case Type::Vector:
1522 return CreateType(cast<VectorType>(Ty), Unit);
Daniel Dunbar9df4bb32009-07-14 01:20:56 +00001523 case Type::ObjCObjectPointer:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001524 return CreateType(cast<ObjCObjectPointerType>(Ty), Unit);
John McCallc12c5bb2010-05-15 11:32:37 +00001525 case Type::ObjCObject:
1526 return CreateType(cast<ObjCObjectType>(Ty), Unit);
Mike Stump1eb44332009-09-09 15:08:12 +00001527 case Type::ObjCInterface:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001528 return CreateType(cast<ObjCInterfaceType>(Ty), Unit);
Devang Patelf1d1d9a2010-11-01 16:52:40 +00001529 case Type::Builtin: return CreateType(cast<BuiltinType>(Ty));
Devang Patel344ff5d2010-12-09 00:25:29 +00001530 case Type::Complex: return CreateType(cast<ComplexType>(Ty));
Daniel Dunbar03faac32009-09-19 19:27:14 +00001531 case Type::Pointer: return CreateType(cast<PointerType>(Ty), Unit);
Mike Stump9bc093c2009-05-14 02:03:51 +00001532 case Type::BlockPointer:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001533 return CreateType(cast<BlockPointerType>(Ty), Unit);
1534 case Type::Typedef: return CreateType(cast<TypedefType>(Ty), Unit);
Douglas Gregor72564e72009-02-26 23:50:07 +00001535 case Type::Record:
Douglas Gregor72564e72009-02-26 23:50:07 +00001536 case Type::Enum:
Devang Patel31f7d022011-01-17 22:23:07 +00001537 return CreateType(cast<TagType>(Ty));
Chris Lattner9c85ba32008-11-10 06:08:34 +00001538 case Type::FunctionProto:
1539 case Type::FunctionNoProto:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001540 return CreateType(cast<FunctionType>(Ty), Unit);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001541 case Type::ConstantArray:
1542 case Type::VariableArray:
1543 case Type::IncompleteArray:
Daniel Dunbar03faac32009-09-19 19:27:14 +00001544 return CreateType(cast<ArrayType>(Ty), Unit);
Anders Carlssona031b352009-11-06 19:19:55 +00001545
1546 case Type::LValueReference:
1547 return CreateType(cast<LValueReferenceType>(Ty), Unit);
Douglas Gregor36b8ee62011-01-22 01:58:15 +00001548 case Type::RValueReference:
1549 return CreateType(cast<RValueReferenceType>(Ty), Unit);
Anders Carlssona031b352009-11-06 19:19:55 +00001550
Anders Carlsson20f12a22009-12-06 18:00:51 +00001551 case Type::MemberPointer:
1552 return CreateType(cast<MemberPointerType>(Ty), Unit);
Douglas Gregor2101a822009-12-21 19:57:21 +00001553
John McCall9d156a72011-01-06 01:58:22 +00001554 case Type::Attributed:
Douglas Gregor2101a822009-12-21 19:57:21 +00001555 case Type::TemplateSpecialization:
Douglas Gregor2101a822009-12-21 19:57:21 +00001556 case Type::Elaborated:
Abramo Bagnara075f8f12010-12-10 16:29:40 +00001557 case Type::Paren:
Douglas Gregor2101a822009-12-21 19:57:21 +00001558 case Type::SubstTemplateTypeParm:
Douglas Gregor2101a822009-12-21 19:57:21 +00001559 case Type::TypeOfExpr:
1560 case Type::TypeOf:
Douglas Gregor840943d2009-12-21 20:18:30 +00001561 case Type::Decltype:
Richard Smith34b41d92011-02-20 03:19:35 +00001562 case Type::Auto:
Douglas Gregor840943d2009-12-21 20:18:30 +00001563 llvm_unreachable("type should have been unwrapped!");
Douglas Gregor36b8ee62011-01-22 01:58:15 +00001564 return llvm::DIType();
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001565 }
Douglas Gregor2101a822009-12-21 19:57:21 +00001566
1567 assert(Diag && "Fall through without a diagnostic?");
1568 unsigned DiagID = CGM.getDiags().getCustomDiagID(Diagnostic::Error,
1569 "debug information for %0 is not yet supported");
Argyrios Kyrtzidis33e4e702010-11-18 20:06:41 +00001570 CGM.getDiags().Report(DiagID)
Douglas Gregor2101a822009-12-21 19:57:21 +00001571 << Diag;
1572 return llvm::DIType();
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001573}
1574
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001575/// CreateMemberType - Create new member and increase Offset by FType's size.
1576llvm::DIType CGDebugInfo::CreateMemberType(llvm::DIFile Unit, QualType FType,
1577 llvm::StringRef Name,
1578 uint64_t *Offset) {
1579 llvm::DIType FieldTy = CGDebugInfo::getOrCreateType(FType, Unit);
1580 uint64_t FieldSize = CGM.getContext().getTypeSize(FType);
1581 unsigned FieldAlign = CGM.getContext().getTypeAlign(FType);
Devang Patel16674e82011-02-22 18:56:36 +00001582 llvm::DIType Ty = DBuilder.createMemberType(Name, Unit, 0,
Devang Patel823d8e92010-12-08 22:42:58 +00001583 FieldSize, FieldAlign,
1584 *Offset, 0, FieldTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001585 *Offset += FieldSize;
1586 return Ty;
1587}
1588
Devang Patel120bf322011-04-23 00:08:01 +00001589/// getFunctionDeclaration - Return debug info descriptor to describe method
1590/// declaration for the given method definition.
1591llvm::DISubprogram CGDebugInfo::getFunctionDeclaration(const Decl *D) {
1592 const FunctionDecl *FD = dyn_cast<FunctionDecl>(D);
1593 if (!FD) return llvm::DISubprogram();
1594
1595 // Setup context.
1596 getContextDescriptor(cast<Decl>(D->getDeclContext()));
1597
Devang Patel22a5cdf2011-04-29 23:42:32 +00001598 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH>::iterator
1599 MI = SPCache.find(FD);
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
Devang Patel120bf322011-04-23 00:08:01 +00001606 for (FunctionDecl::redecl_iterator I = FD->redecls_begin(),
1607 E = FD->redecls_end(); I != E; ++I) {
1608 const FunctionDecl *NextFD = *I;
1609 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH>::iterator
1610 MI = SPCache.find(NextFD);
1611 if (MI != SPCache.end()) {
1612 llvm::DISubprogram SP(dyn_cast_or_null<llvm::MDNode>(&*MI->second));
1613 if (SP.isSubprogram() && !llvm::DISubprogram(SP).isDefinition())
1614 return SP;
1615 }
1616 }
1617 return llvm::DISubprogram();
1618}
1619
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001620/// EmitFunctionStart - Constructs the debug code for entering a function -
1621/// "llvm.dbg.func.start.".
Devang Patel9c6c3a02010-01-14 00:36:21 +00001622void CGDebugInfo::EmitFunctionStart(GlobalDecl GD, QualType FnType,
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001623 llvm::Function *Fn,
Chris Lattner9c85ba32008-11-10 06:08:34 +00001624 CGBuilderTy &Builder) {
Mike Stump1eb44332009-09-09 15:08:12 +00001625
Devang Patel9c6c3a02010-01-14 00:36:21 +00001626 llvm::StringRef Name;
Anders Carlsson9a20d552010-06-22 16:16:50 +00001627 llvm::StringRef LinkageName;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001628
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001629 FnBeginRegionCount.push_back(RegionStack.size());
1630
Devang Patel9c6c3a02010-01-14 00:36:21 +00001631 const Decl *D = GD.getDecl();
Devang Patel12e6d832011-04-05 20:28:21 +00001632
Devang Patel3951e712010-10-07 22:03:49 +00001633 unsigned Flags = 0;
Devang Patel0692f832010-10-11 21:58:41 +00001634 llvm::DIFile Unit = getOrCreateFile(CurLoc);
1635 llvm::DIDescriptor FDContext(Unit);
Devang Patel5ecb1df2011-04-05 22:54:11 +00001636 llvm::DIArray TParamsArray;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001637 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Devang Patel4125fd22010-01-19 01:54:44 +00001638 // If there is a DISubprogram for this function available then use it.
1639 llvm::DenseMap<const FunctionDecl *, llvm::WeakVH>::iterator
1640 FI = SPCache.find(FD);
1641 if (FI != SPCache.end()) {
Gabor Greif38c9b172010-09-18 13:00:17 +00001642 llvm::DIDescriptor SP(dyn_cast_or_null<llvm::MDNode>(&*FI->second));
Devang Patelab699792010-05-07 18:12:35 +00001643 if (SP.isSubprogram() && llvm::DISubprogram(SP).isDefinition()) {
1644 llvm::MDNode *SPN = SP;
1645 RegionStack.push_back(SPN);
1646 RegionMap[D] = llvm::WeakVH(SP);
Devang Patel4125fd22010-01-19 01:54:44 +00001647 return;
1648 }
1649 }
Devang Patel9c6c3a02010-01-14 00:36:21 +00001650 Name = getFunctionName(FD);
1651 // Use mangled name as linkage name for c/c++ functions.
Devang Patela87a2b22011-05-02 22:49:30 +00001652 if (!Fn->hasInternalLinkage())
Devang Patel2df74c02011-05-02 22:37:48 +00001653 LinkageName = CGM.getMangledName(GD);
Devang Patel58faf202010-10-22 17:11:50 +00001654 if (LinkageName == Name)
1655 LinkageName = llvm::StringRef();
Devang Patel3951e712010-10-07 22:03:49 +00001656 if (FD->hasPrototype())
1657 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Patel0692f832010-10-11 21:58:41 +00001658 if (const NamespaceDecl *NSDecl =
1659 dyn_cast_or_null<NamespaceDecl>(FD->getDeclContext()))
Devang Patel170cef32010-12-09 00:33:05 +00001660 FDContext = getOrCreateNameSpace(NSDecl);
Devang Patelbc6a1912011-05-17 00:20:09 +00001661 else if (const RecordDecl *RDecl =
1662 dyn_cast_or_null<RecordDecl>(FD->getDeclContext()))
1663 FDContext = getContextDescriptor(cast<Decl>(RDecl->getDeclContext()));
Devang Patel5ecb1df2011-04-05 22:54:11 +00001664
1665 // Collect template parameters.
1666 TParamsArray = CollectFunctionTemplateParams(FD, Unit);
David Chisnall70b9b442010-09-02 17:16:32 +00001667 } else if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D)) {
David Chisnall52044a22010-09-02 18:01:51 +00001668 Name = getObjCMethodName(OMD);
Devang Patel3951e712010-10-07 22:03:49 +00001669 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001670 } else {
Devang Patel58faf202010-10-22 17:11:50 +00001671 // Use llvm function name.
Devang Patel9c6c3a02010-01-14 00:36:21 +00001672 Name = Fn->getName();
Devang Patel3951e712010-10-07 22:03:49 +00001673 Flags |= llvm::DIDescriptor::FlagPrototyped;
Devang Patel9c6c3a02010-01-14 00:36:21 +00001674 }
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001675 if (!Name.empty() && Name[0] == '\01')
1676 Name = Name.substr(1);
Mike Stump1eb44332009-09-09 15:08:12 +00001677
Devang Patel970c6182010-04-24 00:49:16 +00001678 // It is expected that CurLoc is set before using EmitFunctionStart.
1679 // Usually, CurLoc points to the left bracket location of compound
1680 // statement representing function body.
Devang Patel8ab870d2010-05-12 23:46:38 +00001681 unsigned LineNo = getLineNumber(CurLoc);
Devang Patele2472482010-09-29 21:05:52 +00001682 if (D->isImplicit())
1683 Flags |= llvm::DIDescriptor::FlagArtificial;
Devang Patel120bf322011-04-23 00:08:01 +00001684 llvm::DIType SPTy = getOrCreateType(FnType, Unit);
1685 llvm::DISubprogram SPDecl = getFunctionDeclaration(D);
Chris Lattner9c85ba32008-11-10 06:08:34 +00001686 llvm::DISubprogram SP =
Devang Patel16674e82011-02-22 18:56:36 +00001687 DBuilder.createFunction(FDContext, Name, LinkageName, Unit,
Devang Patel120bf322011-04-23 00:08:01 +00001688 LineNo, SPTy,
Devang Patel823d8e92010-12-08 22:42:58 +00001689 Fn->hasInternalLinkage(), true/*definition*/,
Devang Patel5ecb1df2011-04-05 22:54:11 +00001690 Flags, CGM.getLangOptions().Optimize, Fn,
Devang Patel120bf322011-04-23 00:08:01 +00001691 TParamsArray, SPDecl);
Mike Stump1eb44332009-09-09 15:08:12 +00001692
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001693 // Push function on region stack.
Devang Patelab699792010-05-07 18:12:35 +00001694 llvm::MDNode *SPN = SP;
1695 RegionStack.push_back(SPN);
1696 RegionMap[D] = llvm::WeakVH(SP);
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001697
1698 // Clear stack used to keep track of #line directives.
1699 LineDirectiveFiles.clear();
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001700}
1701
1702
Devang Patel4d939e62010-07-20 22:20:10 +00001703void CGDebugInfo::EmitStopPoint(CGBuilderTy &Builder) {
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001704 if (CurLoc.isInvalid() || CurLoc.isMacroID()) return;
Mike Stump1eb44332009-09-09 15:08:12 +00001705
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001706 // Don't bother if things are the same as last time.
Anders Carlsson20f12a22009-12-06 18:00:51 +00001707 SourceManager &SM = CGM.getContext().getSourceManager();
Mike Stump1eb44332009-09-09 15:08:12 +00001708 if (CurLoc == PrevLoc
Chris Lattner30fc9332009-02-04 01:06:56 +00001709 || (SM.getInstantiationLineNumber(CurLoc) ==
1710 SM.getInstantiationLineNumber(PrevLoc)
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001711 && SM.isFromSameFile(CurLoc, PrevLoc)))
Devang Patel4800ea62010-04-05 21:09:15 +00001712 // New Builder may not be in sync with CGDebugInfo.
1713 if (!Builder.getCurrentDebugLocation().isUnknown())
1714 return;
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001715
1716 // Update last state.
1717 PrevLoc = CurLoc;
1718
Chris Lattnerc6034632010-04-01 06:31:43 +00001719 llvm::MDNode *Scope = RegionStack.back();
Devang Patel8ab870d2010-05-12 23:46:38 +00001720 Builder.SetCurrentDebugLocation(llvm::DebugLoc::get(getLineNumber(CurLoc),
1721 getColumnNumber(CurLoc),
Chris Lattnere541d012010-04-02 20:21:43 +00001722 Scope));
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001723}
1724
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001725/// UpdateLineDirectiveRegion - Update region stack only if #line directive
1726/// has introduced scope change.
1727void CGDebugInfo::UpdateLineDirectiveRegion(CGBuilderTy &Builder) {
1728 if (CurLoc.isInvalid() || CurLoc.isMacroID() ||
1729 PrevLoc.isInvalid() || PrevLoc.isMacroID())
1730 return;
1731 SourceManager &SM = CGM.getContext().getSourceManager();
1732 PresumedLoc PCLoc = SM.getPresumedLoc(CurLoc);
1733 PresumedLoc PPLoc = SM.getPresumedLoc(PrevLoc);
1734
Douglas Gregor8c457a82010-11-11 20:45:16 +00001735 if (PCLoc.isInvalid() || PPLoc.isInvalid() ||
1736 !strcmp(PPLoc.getFilename(), PCLoc.getFilename()))
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001737 return;
1738
1739 // If #line directive stack is empty then we are entering a new scope.
1740 if (LineDirectiveFiles.empty()) {
1741 EmitRegionStart(Builder);
1742 LineDirectiveFiles.push_back(PCLoc.getFilename());
1743 return;
1744 }
1745
1746 assert (RegionStack.size() >= LineDirectiveFiles.size()
1747 && "error handling #line regions!");
1748
1749 bool SeenThisFile = false;
Devang Patel424a5c62010-09-15 20:50:40 +00001750 // Chek if current file is already seen earlier.
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001751 for(std::vector<const char *>::iterator I = LineDirectiveFiles.begin(),
1752 E = LineDirectiveFiles.end(); I != E; ++I)
Devang Patel424a5c62010-09-15 20:50:40 +00001753 if (!strcmp(PCLoc.getFilename(), *I)) {
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001754 SeenThisFile = true;
1755 break;
1756 }
1757
1758 // If #line for this file is seen earlier then pop out #line regions.
1759 if (SeenThisFile) {
1760 while (!LineDirectiveFiles.empty()) {
1761 const char *LastFile = LineDirectiveFiles.back();
1762 RegionStack.pop_back();
1763 LineDirectiveFiles.pop_back();
1764 if (!strcmp(PPLoc.getFilename(), LastFile))
1765 break;
1766 }
1767 return;
1768 }
1769
1770 // .. otherwise insert new #line region.
1771 EmitRegionStart(Builder);
1772 LineDirectiveFiles.push_back(PCLoc.getFilename());
1773
1774 return;
1775}
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001776/// EmitRegionStart- Constructs the debug code for entering a declarative
1777/// region - "llvm.dbg.region.start.".
Devang Patel4d939e62010-07-20 22:20:10 +00001778void CGDebugInfo::EmitRegionStart(CGBuilderTy &Builder) {
Devang Patel8fae0602009-11-13 19:10:24 +00001779 llvm::DIDescriptor D =
Devang Patel16674e82011-02-22 18:56:36 +00001780 DBuilder.createLexicalBlock(RegionStack.empty() ?
Devang Patel823d8e92010-12-08 22:42:58 +00001781 llvm::DIDescriptor() :
1782 llvm::DIDescriptor(RegionStack.back()),
1783 getOrCreateFile(CurLoc),
1784 getLineNumber(CurLoc),
1785 getColumnNumber(CurLoc));
Devang Patelab699792010-05-07 18:12:35 +00001786 llvm::MDNode *DN = D;
1787 RegionStack.push_back(DN);
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001788}
1789
1790/// EmitRegionEnd - Constructs the debug code for exiting a declarative
1791/// region - "llvm.dbg.region.end."
Devang Patel4d939e62010-07-20 22:20:10 +00001792void CGDebugInfo::EmitRegionEnd(CGBuilderTy &Builder) {
Daniel Dunbar5273f512008-10-17 01:07:56 +00001793 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1794
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001795 // Provide an region stop point.
Devang Patel4d939e62010-07-20 22:20:10 +00001796 EmitStopPoint(Builder);
Mike Stump1eb44332009-09-09 15:08:12 +00001797
Sanjiv Gupta1c6a38b2008-05-25 05:15:42 +00001798 RegionStack.pop_back();
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +00001799}
1800
Devang Patel5a6fbcf2010-07-22 22:29:16 +00001801/// EmitFunctionEnd - Constructs the debug code for exiting a function.
1802void CGDebugInfo::EmitFunctionEnd(CGBuilderTy &Builder) {
1803 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1804 unsigned RCount = FnBeginRegionCount.back();
1805 assert(RCount <= RegionStack.size() && "Region stack mismatch");
1806
1807 // Pop all regions for this function.
1808 while (RegionStack.size() != RCount)
1809 EmitRegionEnd(Builder);
1810 FnBeginRegionCount.pop_back();
1811}
1812
Devang Patel809b9bb2010-02-10 18:49:08 +00001813// EmitTypeForVarWithBlocksAttr - Build up structure info for the byref.
1814// See BuildByRefType.
1815llvm::DIType CGDebugInfo::EmitTypeForVarWithBlocksAttr(const ValueDecl *VD,
1816 uint64_t *XOffset) {
1817
Devang Patel823d8e92010-12-08 22:42:58 +00001818 llvm::SmallVector<llvm::Value *, 5> EltTys;
Devang Patel809b9bb2010-02-10 18:49:08 +00001819 QualType FType;
1820 uint64_t FieldSize, FieldOffset;
1821 unsigned FieldAlign;
1822
Devang Patel17800552010-03-09 00:44:50 +00001823 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
Devang Patel809b9bb2010-02-10 18:49:08 +00001824 QualType Type = VD->getType();
1825
1826 FieldOffset = 0;
1827 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001828 EltTys.push_back(CreateMemberType(Unit, FType, "__isa", &FieldOffset));
1829 EltTys.push_back(CreateMemberType(Unit, FType, "__forwarding", &FieldOffset));
Devang Patel809b9bb2010-02-10 18:49:08 +00001830 FType = CGM.getContext().IntTy;
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001831 EltTys.push_back(CreateMemberType(Unit, FType, "__flags", &FieldOffset));
1832 EltTys.push_back(CreateMemberType(Unit, FType, "__size", &FieldOffset));
1833
John McCall6b5a61b2011-02-07 10:33:21 +00001834 bool HasCopyAndDispose = CGM.getContext().BlockRequiresCopying(Type);
Devang Patel809b9bb2010-02-10 18:49:08 +00001835 if (HasCopyAndDispose) {
1836 FType = CGM.getContext().getPointerType(CGM.getContext().VoidTy);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001837 EltTys.push_back(CreateMemberType(Unit, FType, "__copy_helper",
1838 &FieldOffset));
1839 EltTys.push_back(CreateMemberType(Unit, FType, "__destroy_helper",
1840 &FieldOffset));
Devang Patel809b9bb2010-02-10 18:49:08 +00001841 }
1842
1843 CharUnits Align = CGM.getContext().getDeclAlign(VD);
Ken Dyck573be632011-04-22 17:34:18 +00001844 if (Align > CGM.getContext().toCharUnitsFromBits(
1845 CGM.getContext().Target.getPointerAlign(0))) {
1846 CharUnits FieldOffsetInBytes
1847 = CGM.getContext().toCharUnitsFromBits(FieldOffset);
1848 CharUnits AlignedOffsetInBytes
1849 = FieldOffsetInBytes.RoundUpToAlignment(Align);
1850 CharUnits NumPaddingBytes
1851 = AlignedOffsetInBytes - FieldOffsetInBytes;
Devang Patel809b9bb2010-02-10 18:49:08 +00001852
Ken Dyck573be632011-04-22 17:34:18 +00001853 if (NumPaddingBytes.isPositive()) {
1854 llvm::APInt pad(32, NumPaddingBytes.getQuantity());
Devang Patel809b9bb2010-02-10 18:49:08 +00001855 FType = CGM.getContext().getConstantArrayType(CGM.getContext().CharTy,
1856 pad, ArrayType::Normal, 0);
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001857 EltTys.push_back(CreateMemberType(Unit, FType, "", &FieldOffset));
Devang Patel809b9bb2010-02-10 18:49:08 +00001858 }
1859 }
1860
1861 FType = Type;
Benjamin Kramer48c70f62010-04-24 20:19:58 +00001862 llvm::DIType FieldTy = CGDebugInfo::getOrCreateType(FType, Unit);
Devang Patel809b9bb2010-02-10 18:49:08 +00001863 FieldSize = CGM.getContext().getTypeSize(FType);
Ken Dyck573be632011-04-22 17:34:18 +00001864 FieldAlign = CGM.getContext().toBits(Align);
Devang Patel809b9bb2010-02-10 18:49:08 +00001865
1866 *XOffset = FieldOffset;
Devang Patel16674e82011-02-22 18:56:36 +00001867 FieldTy = DBuilder.createMemberType(VD->getName(), Unit,
Devang Patel823d8e92010-12-08 22:42:58 +00001868 0, FieldSize, FieldAlign,
1869 FieldOffset, 0, FieldTy);
Devang Patel809b9bb2010-02-10 18:49:08 +00001870 EltTys.push_back(FieldTy);
1871 FieldOffset += FieldSize;
1872
Jay Foadc556ef22011-04-24 10:11:03 +00001873 llvm::DIArray Elements = DBuilder.getOrCreateArray(EltTys);
Devang Patel809b9bb2010-02-10 18:49:08 +00001874
Devang Patele2472482010-09-29 21:05:52 +00001875 unsigned Flags = llvm::DIDescriptor::FlagBlockByrefStruct;
Devang Patel809b9bb2010-02-10 18:49:08 +00001876
Devang Patel16674e82011-02-22 18:56:36 +00001877 return DBuilder.createStructType(Unit, "", Unit, 0, FieldOffset, 0, Flags,
Devang Patel823d8e92010-12-08 22:42:58 +00001878 Elements);
Devang Patel809b9bb2010-02-10 18:49:08 +00001879}
Devang Patel823d8e92010-12-08 22:42:58 +00001880
Sanjiv Guptacc9b1632008-05-30 10:30:31 +00001881/// EmitDeclare - Emit local variable declaration debug info.
Devang Patel239cec62010-02-01 21:39:52 +00001882void CGDebugInfo::EmitDeclare(const VarDecl *VD, unsigned Tag,
Devang Patel093ac462011-03-03 20:13:15 +00001883 llvm::Value *Storage,
1884 unsigned ArgNo, CGBuilderTy &Builder) {
Daniel Dunbar5273f512008-10-17 01:07:56 +00001885 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
1886
Devang Patel17800552010-03-09 00:44:50 +00001887 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
Devang Patel809b9bb2010-02-10 18:49:08 +00001888 llvm::DIType Ty;
1889 uint64_t XOffset = 0;
1890 if (VD->hasAttr<BlocksAttr>())
1891 Ty = EmitTypeForVarWithBlocksAttr(VD, &XOffset);
1892 else
1893 Ty = getOrCreateType(VD->getType(), Unit);
Chris Lattner650cea92009-05-05 04:57:08 +00001894
Devang Patelf4e54a22010-05-07 23:05:55 +00001895 // If there is not any debug info for type then do not emit debug info
1896 // for this variable.
1897 if (!Ty)
1898 return;
1899
Devang Patel34753802011-02-16 01:11:51 +00001900 if (llvm::Argument *Arg = dyn_cast<llvm::Argument>(Storage)) {
1901 // If Storage is an aggregate returned as 'sret' then let debugger know
1902 // about this.
Devang Patel0691f932011-02-10 00:40:52 +00001903 if (Arg->hasStructRetAttr())
Devang Patel16674e82011-02-22 18:56:36 +00001904 Ty = DBuilder.createReferenceType(Ty);
Devang Patel34753802011-02-16 01:11:51 +00001905 else if (CXXRecordDecl *Record = VD->getType()->getAsCXXRecordDecl()) {
1906 // If an aggregate variable has non trivial destructor or non trivial copy
1907 // constructor than it is pass indirectly. Let debug info know about this
1908 // by using reference of the aggregate type as a argument type.
1909 if (!Record->hasTrivialCopyConstructor() || !Record->hasTrivialDestructor())
Devang Patel16674e82011-02-22 18:56:36 +00001910 Ty = DBuilder.createReferenceType(Ty);
Devang Patel34753802011-02-16 01:11:51 +00001911 }
1912 }
Devang Patel0691f932011-02-10 00:40:52 +00001913
Chris Lattner9c85ba32008-11-10 06:08:34 +00001914 // Get location information.
Devang Patel8ab870d2010-05-12 23:46:38 +00001915 unsigned Line = getLineNumber(VD->getLocation());
1916 unsigned Column = getColumnNumber(VD->getLocation());
Devang Patelaca745b2010-09-29 23:09:21 +00001917 unsigned Flags = 0;
1918 if (VD->isImplicit())
1919 Flags |= llvm::DIDescriptor::FlagArtificial;
Chris Lattnerc6034632010-04-01 06:31:43 +00001920 llvm::MDNode *Scope = RegionStack.back();
Devang Patelcebbedd2010-10-12 23:24:54 +00001921
1922 llvm::StringRef Name = VD->getName();
1923 if (!Name.empty()) {
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001924 if (VD->hasAttr<BlocksAttr>()) {
1925 CharUnits offset = CharUnits::fromQuantity(32);
1926 llvm::SmallVector<llvm::Value *, 9> addr;
1927 const llvm::Type *Int64Ty = llvm::Type::getInt64Ty(CGM.getLLVMContext());
Devang Patel4a4e2ef2011-02-18 23:29:22 +00001928 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001929 // offset of __forwarding field
Ken Dyck0ebce0e2011-04-22 17:41:34 +00001930 offset = CGM.getContext().toCharUnitsFromBits(
1931 CGM.getContext().Target.getPointerWidth(0));
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001932 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
Devang Patel4a4e2ef2011-02-18 23:29:22 +00001933 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpDeref));
1934 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001935 // offset of x field
Ken Dyck0ebce0e2011-04-22 17:41:34 +00001936 offset = CGM.getContext().toCharUnitsFromBits(XOffset);
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001937 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
1938
1939 // Create the descriptor for the variable.
1940 llvm::DIVariable D =
Devang Patel16674e82011-02-22 18:56:36 +00001941 DBuilder.createComplexVariable(Tag,
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001942 llvm::DIDescriptor(RegionStack.back()),
1943 VD->getName(), Unit, Line, Ty,
Jay Foadc556ef22011-04-24 10:11:03 +00001944 addr, ArgNo);
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001945
1946 // Insert an llvm.dbg.declare into the current block.
1947 llvm::Instruction *Call =
Devang Patel16674e82011-02-22 18:56:36 +00001948 DBuilder.insertDeclare(Storage, D, Builder.GetInsertBlock());
Devang Patelb1fd0eb2011-01-11 00:30:27 +00001949
1950 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
1951 return;
1952 }
1953 // Create the descriptor for the variable.
Devang Patelcebbedd2010-10-12 23:24:54 +00001954 llvm::DIVariable D =
Devang Patel16674e82011-02-22 18:56:36 +00001955 DBuilder.createLocalVariable(Tag, llvm::DIDescriptor(Scope),
Devang Patel823d8e92010-12-08 22:42:58 +00001956 Name, Unit, Line, Ty,
Devang Patel093ac462011-03-03 20:13:15 +00001957 CGM.getLangOptions().Optimize, Flags, ArgNo);
Devang Patelcebbedd2010-10-12 23:24:54 +00001958
1959 // Insert an llvm.dbg.declare into the current block.
1960 llvm::Instruction *Call =
Devang Patel16674e82011-02-22 18:56:36 +00001961 DBuilder.insertDeclare(Storage, D, Builder.GetInsertBlock());
Devang Patelcebbedd2010-10-12 23:24:54 +00001962
1963 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
Devang Patelf4dd9622010-10-29 16:21:19 +00001964 return;
Devang Patelcebbedd2010-10-12 23:24:54 +00001965 }
1966
1967 // If VD is an anonymous union then Storage represents value for
1968 // all union fields.
John McCall8178df32011-02-22 22:38:33 +00001969 if (const RecordType *RT = dyn_cast<RecordType>(VD->getType())) {
1970 const RecordDecl *RD = cast<RecordDecl>(RT->getDecl());
1971 if (RD->isUnion()) {
1972 for (RecordDecl::field_iterator I = RD->field_begin(),
1973 E = RD->field_end();
1974 I != E; ++I) {
1975 FieldDecl *Field = *I;
1976 llvm::DIType FieldTy = getOrCreateType(Field->getType(), Unit);
1977 llvm::StringRef FieldName = Field->getName();
Devang Patelcebbedd2010-10-12 23:24:54 +00001978
John McCall8178df32011-02-22 22:38:33 +00001979 // Ignore unnamed fields. Do not ignore unnamed records.
1980 if (FieldName.empty() && !isa<RecordType>(Field->getType()))
1981 continue;
Devang Patelcebbedd2010-10-12 23:24:54 +00001982
John McCall8178df32011-02-22 22:38:33 +00001983 // Use VarDecl's Tag, Scope and Line number.
1984 llvm::DIVariable D =
1985 DBuilder.createLocalVariable(Tag, llvm::DIDescriptor(Scope),
1986 FieldName, Unit, Line, FieldTy,
Devang Patel093ac462011-03-03 20:13:15 +00001987 CGM.getLangOptions().Optimize, Flags,
1988 ArgNo);
Devang Patelcebbedd2010-10-12 23:24:54 +00001989
John McCall8178df32011-02-22 22:38:33 +00001990 // Insert an llvm.dbg.declare into the current block.
1991 llvm::Instruction *Call =
1992 DBuilder.insertDeclare(Storage, D, Builder.GetInsertBlock());
Devang Patelcebbedd2010-10-12 23:24:54 +00001993
John McCall8178df32011-02-22 22:38:33 +00001994 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
Devang Patelcebbedd2010-10-12 23:24:54 +00001995 }
John McCall8178df32011-02-22 22:38:33 +00001996 }
1997 }
Sanjiv Guptacc9b1632008-05-30 10:30:31 +00001998}
1999
Devang Patele2d01912011-04-25 23:43:36 +00002000void CGDebugInfo::EmitDeclareOfAutoVariable(const VarDecl *VD,
2001 llvm::Value *Storage,
2002 CGBuilderTy &Builder) {
2003 EmitDeclare(VD, llvm::dwarf::DW_TAG_auto_variable, Storage, 0, Builder);
2004}
Mike Stumpb1a6e682009-09-30 02:43:10 +00002005
Devang Patele2d01912011-04-25 23:43:36 +00002006void CGDebugInfo::EmitDeclareOfBlockDeclRefVariable(
2007 const VarDecl *VD, llvm::Value *Storage, CGBuilderTy &Builder,
2008 const CGBlockInfo &blockInfo) {
2009 assert(!RegionStack.empty() && "Region stack mismatch, stack empty!");
2010
Devang Patel2b594b92010-04-26 23:28:46 +00002011 if (Builder.GetInsertBlock() == 0)
Mike Stumpb1a6e682009-09-30 02:43:10 +00002012 return;
Devang Patele2d01912011-04-25 23:43:36 +00002013
John McCall6b5a61b2011-02-07 10:33:21 +00002014 bool isByRef = VD->hasAttr<BlocksAttr>();
Devang Patele2d01912011-04-25 23:43:36 +00002015
Mike Stumpb1a6e682009-09-30 02:43:10 +00002016 uint64_t XOffset = 0;
Devang Patel17800552010-03-09 00:44:50 +00002017 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
Devang Patel809b9bb2010-02-10 18:49:08 +00002018 llvm::DIType Ty;
John McCall6b5a61b2011-02-07 10:33:21 +00002019 if (isByRef)
Devang Patel809b9bb2010-02-10 18:49:08 +00002020 Ty = EmitTypeForVarWithBlocksAttr(VD, &XOffset);
2021 else
2022 Ty = getOrCreateType(VD->getType(), Unit);
Mike Stumpb1a6e682009-09-30 02:43:10 +00002023
2024 // Get location information.
Devang Patel8ab870d2010-05-12 23:46:38 +00002025 unsigned Line = getLineNumber(VD->getLocation());
2026 unsigned Column = getColumnNumber(VD->getLocation());
Mike Stumpb1a6e682009-09-30 02:43:10 +00002027
John McCall6b5a61b2011-02-07 10:33:21 +00002028 const llvm::TargetData &target = CGM.getTargetData();
2029
2030 CharUnits offset = CharUnits::fromQuantity(
2031 target.getStructLayout(blockInfo.StructureType)
2032 ->getElementOffset(blockInfo.getCapture(VD).getIndex()));
2033
Mike Stumpb1a6e682009-09-30 02:43:10 +00002034 llvm::SmallVector<llvm::Value *, 9> addr;
Chris Lattner14b1a362010-01-25 03:29:35 +00002035 const llvm::Type *Int64Ty = llvm::Type::getInt64Ty(CGM.getLLVMContext());
Devang Patel4a4e2ef2011-02-18 23:29:22 +00002036 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Chris Lattner14b1a362010-01-25 03:29:35 +00002037 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
John McCall6b5a61b2011-02-07 10:33:21 +00002038 if (isByRef) {
Devang Patel4a4e2ef2011-02-18 23:29:22 +00002039 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpDeref));
2040 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Ken Dyck199c3d62010-01-11 17:06:35 +00002041 // offset of __forwarding field
Devang Patel37833b02011-04-26 21:16:49 +00002042 offset = CGM.getContext().toCharUnitsFromBits(target.getPointerSizeInBits());
Chris Lattner14b1a362010-01-25 03:29:35 +00002043 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
Devang Patel4a4e2ef2011-02-18 23:29:22 +00002044 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpDeref));
2045 addr.push_back(llvm::ConstantInt::get(Int64Ty, llvm::DIBuilder::OpPlus));
Ken Dyck199c3d62010-01-11 17:06:35 +00002046 // offset of x field
Ken Dyck0ebce0e2011-04-22 17:41:34 +00002047 offset = CGM.getContext().toCharUnitsFromBits(XOffset);
Chris Lattner14b1a362010-01-25 03:29:35 +00002048 addr.push_back(llvm::ConstantInt::get(Int64Ty, offset.getQuantity()));
Mike Stumpb1a6e682009-09-30 02:43:10 +00002049 }
2050
2051 // Create the descriptor for the variable.
2052 llvm::DIVariable D =
Devang Patele2d01912011-04-25 23:43:36 +00002053 DBuilder.createComplexVariable(llvm::dwarf::DW_TAG_auto_variable,
2054 llvm::DIDescriptor(RegionStack.back()),
Jay Foadc556ef22011-04-24 10:11:03 +00002055 VD->getName(), Unit, Line, Ty, addr);
Mike Stumpb1a6e682009-09-30 02:43:10 +00002056 // Insert an llvm.dbg.declare into the current block.
Devang Patelebf16e82009-11-11 19:10:19 +00002057 llvm::Instruction *Call =
Devang Patel50811d22011-04-25 23:52:27 +00002058 DBuilder.insertDeclare(Storage, D, Builder.GetInsertPoint());
Chris Lattnerd5b89022009-12-28 21:44:41 +00002059
Chris Lattnerc6034632010-04-01 06:31:43 +00002060 llvm::MDNode *Scope = RegionStack.back();
Devang Patelf8e10a52010-05-10 23:48:38 +00002061 Call->setDebugLoc(llvm::DebugLoc::get(Line, Column, Scope));
Mike Stumpb1a6e682009-09-30 02:43:10 +00002062}
2063
Chris Lattner9c85ba32008-11-10 06:08:34 +00002064/// EmitDeclareOfArgVariable - Emit call to llvm.dbg.declare for an argument
2065/// variable declaration.
Devang Pateld6c5a262010-02-01 21:52:22 +00002066void CGDebugInfo::EmitDeclareOfArgVariable(const VarDecl *VD, llvm::Value *AI,
Devang Patel093ac462011-03-03 20:13:15 +00002067 unsigned ArgNo,
Devang Patel34753802011-02-16 01:11:51 +00002068 CGBuilderTy &Builder) {
Devang Patel093ac462011-03-03 20:13:15 +00002069 EmitDeclare(VD, llvm::dwarf::DW_TAG_arg_variable, AI, ArgNo, Builder);
Chris Lattner9c85ba32008-11-10 06:08:34 +00002070}
2071
John McCall8178df32011-02-22 22:38:33 +00002072namespace {
2073 struct BlockLayoutChunk {
2074 uint64_t OffsetInBits;
2075 const BlockDecl::Capture *Capture;
2076 };
2077 bool operator<(const BlockLayoutChunk &l, const BlockLayoutChunk &r) {
2078 return l.OffsetInBits < r.OffsetInBits;
2079 }
2080}
Chris Lattner9c85ba32008-11-10 06:08:34 +00002081
John McCall8178df32011-02-22 22:38:33 +00002082void CGDebugInfo::EmitDeclareOfBlockLiteralArgVariable(const CGBlockInfo &block,
2083 llvm::Value *addr,
2084 CGBuilderTy &Builder) {
2085 ASTContext &C = CGM.getContext();
2086 const BlockDecl *blockDecl = block.getBlockDecl();
2087
2088 // Collect some general information about the block's location.
2089 SourceLocation loc = blockDecl->getCaretLocation();
2090 llvm::DIFile tunit = getOrCreateFile(loc);
2091 unsigned line = getLineNumber(loc);
2092 unsigned column = getColumnNumber(loc);
2093
2094 // Build the debug-info type for the block literal.
Nick Lewycky7d4b1592011-05-02 01:41:48 +00002095 getContextDescriptor(cast<Decl>(blockDecl->getDeclContext()));
John McCall8178df32011-02-22 22:38:33 +00002096
2097 const llvm::StructLayout *blockLayout =
2098 CGM.getTargetData().getStructLayout(block.StructureType);
2099
2100 llvm::SmallVector<llvm::Value*, 16> fields;
2101 fields.push_back(createFieldType("__isa", C.VoidPtrTy, 0, loc, AS_public,
2102 blockLayout->getElementOffsetInBits(0),
2103 tunit));
2104 fields.push_back(createFieldType("__flags", C.IntTy, 0, loc, AS_public,
2105 blockLayout->getElementOffsetInBits(1),
2106 tunit));
2107 fields.push_back(createFieldType("__reserved", C.IntTy, 0, loc, AS_public,
2108 blockLayout->getElementOffsetInBits(2),
2109 tunit));
2110 fields.push_back(createFieldType("__FuncPtr", C.VoidPtrTy, 0, loc, AS_public,
2111 blockLayout->getElementOffsetInBits(3),
2112 tunit));
2113 fields.push_back(createFieldType("__descriptor",
2114 C.getPointerType(block.NeedsCopyDispose ?
2115 C.getBlockDescriptorExtendedType() :
2116 C.getBlockDescriptorType()),
2117 0, loc, AS_public,
2118 blockLayout->getElementOffsetInBits(4),
2119 tunit));
2120
2121 // We want to sort the captures by offset, not because DWARF
2122 // requires this, but because we're paranoid about debuggers.
2123 llvm::SmallVector<BlockLayoutChunk, 8> chunks;
2124
2125 // 'this' capture.
2126 if (blockDecl->capturesCXXThis()) {
2127 BlockLayoutChunk chunk;
2128 chunk.OffsetInBits =
2129 blockLayout->getElementOffsetInBits(block.CXXThisIndex);
2130 chunk.Capture = 0;
2131 chunks.push_back(chunk);
2132 }
2133
2134 // Variable captures.
2135 for (BlockDecl::capture_const_iterator
2136 i = blockDecl->capture_begin(), e = blockDecl->capture_end();
2137 i != e; ++i) {
2138 const BlockDecl::Capture &capture = *i;
2139 const VarDecl *variable = capture.getVariable();
2140 const CGBlockInfo::Capture &captureInfo = block.getCapture(variable);
2141
2142 // Ignore constant captures.
2143 if (captureInfo.isConstant())
2144 continue;
2145
2146 BlockLayoutChunk chunk;
2147 chunk.OffsetInBits =
2148 blockLayout->getElementOffsetInBits(captureInfo.getIndex());
2149 chunk.Capture = &capture;
2150 chunks.push_back(chunk);
2151 }
2152
2153 // Sort by offset.
2154 llvm::array_pod_sort(chunks.begin(), chunks.end());
2155
2156 for (llvm::SmallVectorImpl<BlockLayoutChunk>::iterator
2157 i = chunks.begin(), e = chunks.end(); i != e; ++i) {
2158 uint64_t offsetInBits = i->OffsetInBits;
2159 const BlockDecl::Capture *capture = i->Capture;
2160
2161 // If we have a null capture, this must be the C++ 'this' capture.
2162 if (!capture) {
2163 const CXXMethodDecl *method =
2164 cast<CXXMethodDecl>(blockDecl->getNonClosureContext());
2165 QualType type = method->getThisType(C);
2166
2167 fields.push_back(createFieldType("this", type, 0, loc, AS_public,
2168 offsetInBits, tunit));
2169 continue;
2170 }
2171
2172 const VarDecl *variable = capture->getVariable();
John McCall8178df32011-02-22 22:38:33 +00002173 llvm::StringRef name = variable->getName();
John McCalld113a6f2011-03-02 06:57:14 +00002174
2175 llvm::DIType fieldType;
2176 if (capture->isByRef()) {
2177 std::pair<uint64_t,unsigned> ptrInfo = C.getTypeInfo(C.VoidPtrTy);
2178
2179 // FIXME: this creates a second copy of this type!
2180 uint64_t xoffset;
2181 fieldType = EmitTypeForVarWithBlocksAttr(variable, &xoffset);
2182 fieldType = DBuilder.createPointerType(fieldType, ptrInfo.first);
2183 fieldType = DBuilder.createMemberType(name, tunit, line,
2184 ptrInfo.first, ptrInfo.second,
2185 offsetInBits, 0, fieldType);
2186 } else {
2187 fieldType = createFieldType(name, variable->getType(), 0,
2188 loc, AS_public, offsetInBits, tunit);
2189 }
2190 fields.push_back(fieldType);
John McCall8178df32011-02-22 22:38:33 +00002191 }
2192
2193 llvm::SmallString<36> typeName;
2194 llvm::raw_svector_ostream(typeName)
2195 << "__block_literal_" << CGM.getUniqueBlockCount();
2196
Jay Foadc556ef22011-04-24 10:11:03 +00002197 llvm::DIArray fieldsArray = DBuilder.getOrCreateArray(fields);
John McCall8178df32011-02-22 22:38:33 +00002198
2199 llvm::DIType type =
2200 DBuilder.createStructType(tunit, typeName.str(), tunit, line,
2201 CGM.getContext().toBits(block.BlockSize),
2202 CGM.getContext().toBits(block.BlockAlign),
2203 0, fieldsArray);
2204 type = DBuilder.createPointerType(type, CGM.PointerWidthInBits);
2205
2206 // Get overall information about the block.
2207 unsigned flags = llvm::DIDescriptor::FlagArtificial;
2208 llvm::MDNode *scope = RegionStack.back();
2209 llvm::StringRef name = ".block_descriptor";
2210
2211 // Create the descriptor for the parameter.
2212 llvm::DIVariable debugVar =
2213 DBuilder.createLocalVariable(llvm::dwarf::DW_TAG_arg_variable,
2214 llvm::DIDescriptor(scope),
2215 name, tunit, line, type,
Devang Patel093ac462011-03-03 20:13:15 +00002216 CGM.getLangOptions().Optimize, flags,
2217 cast<llvm::Argument>(addr)->getArgNo() + 1);
John McCall8178df32011-02-22 22:38:33 +00002218
2219 // Insert an llvm.dbg.value into the current block.
2220 llvm::Instruction *declare =
2221 DBuilder.insertDbgValueIntrinsic(addr, 0, debugVar,
2222 Builder.GetInsertBlock());
2223 declare->setDebugLoc(llvm::DebugLoc::get(line, column, scope));
2224}
Chris Lattner9c85ba32008-11-10 06:08:34 +00002225
Sanjiv Gupta686226b2008-06-05 08:59:10 +00002226/// EmitGlobalVariable - Emit information about a global variable.
Mike Stump1eb44332009-09-09 15:08:12 +00002227void CGDebugInfo::EmitGlobalVariable(llvm::GlobalVariable *Var,
Devang Pateleb6d79b2010-02-01 21:34:11 +00002228 const VarDecl *D) {
2229
Sanjiv Gupta686226b2008-06-05 08:59:10 +00002230 // Create global variable debug descriptor.
Devang Patel17800552010-03-09 00:44:50 +00002231 llvm::DIFile Unit = getOrCreateFile(D->getLocation());
Devang Patel8ab870d2010-05-12 23:46:38 +00002232 unsigned LineNo = getLineNumber(D->getLocation());
Chris Lattner8ec03f52008-11-24 03:54:41 +00002233
Devang Pateleb6d79b2010-02-01 21:34:11 +00002234 QualType T = D->getType();
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002235 if (T->isIncompleteArrayType()) {
Mike Stump1eb44332009-09-09 15:08:12 +00002236
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002237 // CodeGen turns int[] into int[1] so we'll do the same here.
2238 llvm::APSInt ConstVal(32);
Mike Stump1eb44332009-09-09 15:08:12 +00002239
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002240 ConstVal = 1;
Anders Carlsson20f12a22009-12-06 18:00:51 +00002241 QualType ET = CGM.getContext().getAsArrayType(T)->getElementType();
Mike Stump1eb44332009-09-09 15:08:12 +00002242
Anders Carlsson20f12a22009-12-06 18:00:51 +00002243 T = CGM.getContext().getConstantArrayType(ET, ConstVal,
Anders Carlsson4d6e8dd2008-11-26 17:40:42 +00002244 ArrayType::Normal, 0);
2245 }
Devang Patel5d822f02010-04-29 17:48:37 +00002246 llvm::StringRef DeclName = D->getName();
Devang Patel8b90a782010-05-13 23:52:37 +00002247 llvm::StringRef LinkageName;
Devang Pateleb4c45b2011-02-09 19:16:38 +00002248 if (D->getDeclContext() && !isa<FunctionDecl>(D->getDeclContext())
2249 && !isa<ObjCMethodDecl>(D->getDeclContext()))
Devang Patel8b90a782010-05-13 23:52:37 +00002250 LinkageName = Var->getName();
Devang Patel58faf202010-10-22 17:11:50 +00002251 if (LinkageName == DeclName)
2252 LinkageName = llvm::StringRef();
Devang Pateleb6d79b2010-02-01 21:34:11 +00002253 llvm::DIDescriptor DContext =
Devang Patel170cef32010-12-09 00:33:05 +00002254 getContextDescriptor(dyn_cast<Decl>(D->getDeclContext()));
Devang Patel16674e82011-02-22 18:56:36 +00002255 DBuilder.createStaticVariable(DContext, DeclName, LinkageName,
Devang Patel823d8e92010-12-08 22:42:58 +00002256 Unit, LineNo, getOrCreateType(T, Unit),
2257 Var->hasInternalLinkage(), Var);
Sanjiv Gupta686226b2008-06-05 08:59:10 +00002258}
2259
Devang Patel9ca36b62009-02-26 21:10:26 +00002260/// EmitGlobalVariable - Emit information about an objective-c interface.
Mike Stump1eb44332009-09-09 15:08:12 +00002261void CGDebugInfo::EmitGlobalVariable(llvm::GlobalVariable *Var,
Devang Pateld6c5a262010-02-01 21:52:22 +00002262 ObjCInterfaceDecl *ID) {
Devang Patel9ca36b62009-02-26 21:10:26 +00002263 // Create global variable debug descriptor.
Devang Patel17800552010-03-09 00:44:50 +00002264 llvm::DIFile Unit = getOrCreateFile(ID->getLocation());
Devang Patel8ab870d2010-05-12 23:46:38 +00002265 unsigned LineNo = getLineNumber(ID->getLocation());
Devang Patel9ca36b62009-02-26 21:10:26 +00002266
Devang Pateld6c5a262010-02-01 21:52:22 +00002267 llvm::StringRef Name = ID->getName();
Devang Patel9ca36b62009-02-26 21:10:26 +00002268
Devang Pateld6c5a262010-02-01 21:52:22 +00002269 QualType T = CGM.getContext().getObjCInterfaceType(ID);
Devang Patel9ca36b62009-02-26 21:10:26 +00002270 if (T->isIncompleteArrayType()) {
Mike Stump1eb44332009-09-09 15:08:12 +00002271
Devang Patel9ca36b62009-02-26 21:10:26 +00002272 // CodeGen turns int[] into int[1] so we'll do the same here.
2273 llvm::APSInt ConstVal(32);
Mike Stump1eb44332009-09-09 15:08:12 +00002274
Devang Patel9ca36b62009-02-26 21:10:26 +00002275 ConstVal = 1;
Anders Carlsson20f12a22009-12-06 18:00:51 +00002276 QualType ET = CGM.getContext().getAsArrayType(T)->getElementType();
Mike Stump1eb44332009-09-09 15:08:12 +00002277
Anders Carlsson20f12a22009-12-06 18:00:51 +00002278 T = CGM.getContext().getConstantArrayType(ET, ConstVal,
Devang Patel9ca36b62009-02-26 21:10:26 +00002279 ArrayType::Normal, 0);
2280 }
2281
Devang Patel16674e82011-02-22 18:56:36 +00002282 DBuilder.createGlobalVariable(Name, Unit, LineNo,
Devang Patel823d8e92010-12-08 22:42:58 +00002283 getOrCreateType(T, Unit),
2284 Var->hasInternalLinkage(), Var);
Devang Patel9ca36b62009-02-26 21:10:26 +00002285}
Devang Patelabb485f2010-02-01 19:16:32 +00002286
Devang Patel25c2c8f2010-08-10 17:53:33 +00002287/// EmitGlobalVariable - Emit global variable's debug info.
2288void CGDebugInfo::EmitGlobalVariable(const ValueDecl *VD,
John McCall189d6ef2010-10-09 01:34:31 +00002289 llvm::Constant *Init) {
Devang Patel8d308382010-08-10 07:24:25 +00002290 // Create the descriptor for the variable.
2291 llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
2292 llvm::StringRef Name = VD->getName();
Devang Patel0317ab02010-08-10 18:27:15 +00002293 llvm::DIType Ty = getOrCreateType(VD->getType(), Unit);
Devang Patel6237cea2010-08-23 22:07:25 +00002294 if (const EnumConstantDecl *ECD = dyn_cast<EnumConstantDecl>(VD)) {
2295 if (const EnumDecl *ED = dyn_cast<EnumDecl>(ECD->getDeclContext()))
Devang Patel31f7d022011-01-17 22:23:07 +00002296 Ty = CreateEnumType(ED);
Devang Patel6237cea2010-08-23 22:07:25 +00002297 }
Devang Patel0317ab02010-08-10 18:27:15 +00002298 // Do not use DIGlobalVariable for enums.
2299 if (Ty.getTag() == llvm::dwarf::DW_TAG_enumeration_type)
2300 return;
Devang Patel16674e82011-02-22 18:56:36 +00002301 DBuilder.createStaticVariable(Unit, Name, Name, Unit,
Devang Patel823d8e92010-12-08 22:42:58 +00002302 getLineNumber(VD->getLocation()),
2303 Ty, true, Init);
Devang Patel8d308382010-08-10 07:24:25 +00002304}
2305
Devang Patelabb485f2010-02-01 19:16:32 +00002306/// getOrCreateNamesSpace - Return namespace descriptor for the given
2307/// namespace decl.
2308llvm::DINameSpace
Devang Patel170cef32010-12-09 00:33:05 +00002309CGDebugInfo::getOrCreateNameSpace(const NamespaceDecl *NSDecl) {
Devang Patelabb485f2010-02-01 19:16:32 +00002310 llvm::DenseMap<const NamespaceDecl *, llvm::WeakVH>::iterator I =
2311 NameSpaceCache.find(NSDecl);
2312 if (I != NameSpaceCache.end())
2313 return llvm::DINameSpace(cast<llvm::MDNode>(I->second));
2314
Devang Patel8ab870d2010-05-12 23:46:38 +00002315 unsigned LineNo = getLineNumber(NSDecl->getLocation());
Devang Patel8c376682010-10-28 19:12:46 +00002316 llvm::DIFile FileD = getOrCreateFile(NSDecl->getLocation());
Devang Patelabb485f2010-02-01 19:16:32 +00002317 llvm::DIDescriptor Context =
Devang Patel170cef32010-12-09 00:33:05 +00002318 getContextDescriptor(dyn_cast<Decl>(NSDecl->getDeclContext()));
Devang Patelabb485f2010-02-01 19:16:32 +00002319 llvm::DINameSpace NS =
Devang Patel16674e82011-02-22 18:56:36 +00002320 DBuilder.createNameSpace(Context, NSDecl->getName(), FileD, LineNo);
Devang Patelab699792010-05-07 18:12:35 +00002321 NameSpaceCache[NSDecl] = llvm::WeakVH(NS);
Devang Patelabb485f2010-02-01 19:16:32 +00002322 return NS;
2323}
Devang Patele80d5672011-03-23 16:29:39 +00002324
2325/// UpdateCompletedType - Update type cache because the type is now
2326/// translated.
2327void CGDebugInfo::UpdateCompletedType(const TagDecl *TD) {
2328 QualType Ty = CGM.getContext().getTagDeclType(TD);
2329
2330 // If the type exist in type cache then remove it from the cache.
2331 // There is no need to prepare debug info for the completed type
2332 // right now. It will be generated on demand lazily.
2333 llvm::DenseMap<void *, llvm::WeakVH>::iterator it =
2334 TypeCache.find(Ty.getAsOpaquePtr());
2335 if (it != TypeCache.end())
2336 TypeCache.erase(it);
2337}