blob: 05643e63fc5c6db5ef61c1df1ab8935ca142ab8b [file] [log] [blame]
Chris Lattner24943d22010-06-08 16:52:24 +00001//===-- ClangASTContext.cpp -------------------------------------*- C++ -*-===//
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
Eli Friedmanf05633b2010-06-13 19:06:42 +000010#include "lldb/Symbol/ClangASTContext.h"
Chris Lattner24943d22010-06-08 16:52:24 +000011
12// C Includes
13// C++ Includes
14#include <string>
15
16// Other libraries and framework includes
Sean Callananbc4f0f52010-07-08 18:16:16 +000017#define NDEBUG
Chris Lattner24943d22010-06-08 16:52:24 +000018#include "clang/AST/ASTContext.h"
19#include "clang/AST/ASTImporter.h"
20#include "clang/AST/CXXInheritance.h"
Greg Clayton84f80752010-07-22 18:30:50 +000021#include "clang/AST/DeclObjC.h"
Chris Lattner24943d22010-06-08 16:52:24 +000022#include "clang/AST/RecordLayout.h"
23#include "clang/AST/Type.h"
24#include "clang/Basic/Builtins.h"
25#include "clang/Basic/FileManager.h"
Sean Callanan8a3b0a82010-11-18 02:56:27 +000026#include "clang/Basic/FileSystemOptions.h"
Chris Lattner24943d22010-06-08 16:52:24 +000027#include "clang/Basic/SourceManager.h"
28#include "clang/Basic/TargetInfo.h"
29#include "clang/Basic/TargetOptions.h"
30#include "clang/Frontend/FrontendOptions.h"
31#include "clang/Frontend/LangStandard.h"
Sean Callananbc4f0f52010-07-08 18:16:16 +000032#undef NDEBUG
Chris Lattner24943d22010-06-08 16:52:24 +000033
Chris Lattner24943d22010-06-08 16:52:24 +000034#include "lldb/Core/dwarf.h"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +000035#include "lldb/Core/Flags.h"
Sean Callanan839fde42010-10-28 18:19:36 +000036#include "lldb/Core/Log.h"
Chris Lattner24943d22010-06-08 16:52:24 +000037
Eli Friedmanf05633b2010-06-13 19:06:42 +000038#include <stdio.h>
39
Greg Clayton585660c2010-08-05 01:57:25 +000040using namespace lldb;
Chris Lattner24943d22010-06-08 16:52:24 +000041using namespace lldb_private;
42using namespace llvm;
43using namespace clang;
44
Greg Clayton84f80752010-07-22 18:30:50 +000045static AccessSpecifier
Greg Clayton585660c2010-08-05 01:57:25 +000046ConvertAccessTypeToAccessSpecifier (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000047{
48 switch (access)
49 {
Greg Clayton585660c2010-08-05 01:57:25 +000050 default: break;
51 case eAccessNone: return AS_none;
52 case eAccessPublic: return AS_public;
53 case eAccessPrivate: return AS_private;
54 case eAccessProtected: return AS_protected;
Greg Clayton84f80752010-07-22 18:30:50 +000055 }
56 return AS_none;
57}
58
59static ObjCIvarDecl::AccessControl
Greg Clayton585660c2010-08-05 01:57:25 +000060ConvertAccessTypeToObjCIvarAccessControl (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000061{
62 switch (access)
63 {
Greg Clayton585660c2010-08-05 01:57:25 +000064 default: break;
65 case eAccessNone: return ObjCIvarDecl::None;
66 case eAccessPublic: return ObjCIvarDecl::Public;
67 case eAccessPrivate: return ObjCIvarDecl::Private;
68 case eAccessProtected: return ObjCIvarDecl::Protected;
69 case eAccessPackage: return ObjCIvarDecl::Package;
Greg Clayton84f80752010-07-22 18:30:50 +000070 }
71 return ObjCIvarDecl::None;
72}
73
74
Chris Lattner24943d22010-06-08 16:52:24 +000075static void
76ParseLangArgs
77(
78 LangOptions &Opts,
Greg Claytone41c4b22010-06-13 17:34:29 +000079 InputKind IK
Chris Lattner24943d22010-06-08 16:52:24 +000080)
81{
82 // FIXME: Cleanup per-file based stuff.
83
84 // Set some properties which depend soley on the input kind; it would be nice
85 // to move these to the language standard, and have the driver resolve the
86 // input kind + language standard.
Greg Claytone41c4b22010-06-13 17:34:29 +000087 if (IK == IK_Asm) {
Chris Lattner24943d22010-06-08 16:52:24 +000088 Opts.AsmPreprocessor = 1;
Greg Claytone41c4b22010-06-13 17:34:29 +000089 } else if (IK == IK_ObjC ||
90 IK == IK_ObjCXX ||
91 IK == IK_PreprocessedObjC ||
92 IK == IK_PreprocessedObjCXX) {
Chris Lattner24943d22010-06-08 16:52:24 +000093 Opts.ObjC1 = Opts.ObjC2 = 1;
94 }
95
96 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
97
98 if (LangStd == LangStandard::lang_unspecified) {
99 // Based on the base language, pick one.
100 switch (IK) {
Greg Claytone41c4b22010-06-13 17:34:29 +0000101 case IK_None:
102 case IK_AST:
Chris Lattner24943d22010-06-08 16:52:24 +0000103 assert(0 && "Invalid input kind!");
Greg Claytone41c4b22010-06-13 17:34:29 +0000104 case IK_OpenCL:
Chris Lattner24943d22010-06-08 16:52:24 +0000105 LangStd = LangStandard::lang_opencl;
106 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000107 case IK_Asm:
108 case IK_C:
109 case IK_PreprocessedC:
110 case IK_ObjC:
111 case IK_PreprocessedObjC:
Chris Lattner24943d22010-06-08 16:52:24 +0000112 LangStd = LangStandard::lang_gnu99;
113 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000114 case IK_CXX:
115 case IK_PreprocessedCXX:
116 case IK_ObjCXX:
117 case IK_PreprocessedObjCXX:
Chris Lattner24943d22010-06-08 16:52:24 +0000118 LangStd = LangStandard::lang_gnucxx98;
119 break;
120 }
121 }
122
123 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
124 Opts.BCPLComment = Std.hasBCPLComments();
125 Opts.C99 = Std.isC99();
126 Opts.CPlusPlus = Std.isCPlusPlus();
127 Opts.CPlusPlus0x = Std.isCPlusPlus0x();
128 Opts.Digraphs = Std.hasDigraphs();
129 Opts.GNUMode = Std.isGNUMode();
130 Opts.GNUInline = !Std.isC99();
131 Opts.HexFloats = Std.hasHexFloats();
132 Opts.ImplicitInt = Std.hasImplicitInt();
133
134 // OpenCL has some additional defaults.
135 if (LangStd == LangStandard::lang_opencl) {
136 Opts.OpenCL = 1;
137 Opts.AltiVec = 1;
138 Opts.CXXOperatorNames = 1;
139 Opts.LaxVectorConversions = 1;
140 }
141
142 // OpenCL and C++ both have bool, true, false keywords.
143 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
144
145// if (Opts.CPlusPlus)
146// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
147//
148// if (Args.hasArg(OPT_fobjc_gc_only))
149// Opts.setGCMode(LangOptions::GCOnly);
150// else if (Args.hasArg(OPT_fobjc_gc))
151// Opts.setGCMode(LangOptions::HybridGC);
152//
153// if (Args.hasArg(OPT_print_ivar_layout))
154// Opts.ObjCGCBitmapPrint = 1;
155//
156// if (Args.hasArg(OPT_faltivec))
157// Opts.AltiVec = 1;
158//
159// if (Args.hasArg(OPT_pthread))
160// Opts.POSIXThreads = 1;
161//
162// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
163// "default");
164// if (Vis == "default")
Sean Callanan8950c9a2010-10-29 18:38:40 +0000165 Opts.setVisibilityMode(DefaultVisibility);
Chris Lattner24943d22010-06-08 16:52:24 +0000166// else if (Vis == "hidden")
167// Opts.setVisibilityMode(LangOptions::Hidden);
168// else if (Vis == "protected")
169// Opts.setVisibilityMode(LangOptions::Protected);
170// else
171// Diags.Report(diag::err_drv_invalid_value)
172// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
173
174// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
175
176 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
177 // is specified, or -std is set to a conforming mode.
178 Opts.Trigraphs = !Opts.GNUMode;
179// if (Args.hasArg(OPT_trigraphs))
180// Opts.Trigraphs = 1;
181//
182// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
183// OPT_fno_dollars_in_identifiers,
184// !Opts.AsmPreprocessor);
185// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
186// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
187// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
188// if (Args.hasArg(OPT_fno_lax_vector_conversions))
189// Opts.LaxVectorConversions = 0;
190// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
191// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
192// Opts.Blocks = Args.hasArg(OPT_fblocks);
193// Opts.CharIsSigned = !Args.hasArg(OPT_fno_signed_char);
194// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
195// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
196// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
197// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
198// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
199// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
200// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
201// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
202// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
203// Diags);
204// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
205// Opts.ObjCConstantStringClass = getLastArgValue(Args,
206// OPT_fconstant_string_class);
207// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
208// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
209// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
210// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
211// Opts.Static = Args.hasArg(OPT_static_define);
212 Opts.OptimizeSize = 0;
213
214 // FIXME: Eliminate this dependency.
215// unsigned Opt =
216// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
217// Opts.Optimize = Opt != 0;
218 unsigned Opt = 0;
219
220 // This is the __NO_INLINE__ define, which just depends on things like the
221 // optimization level and -fno-inline, not actually whether the backend has
222 // inlining enabled.
223 //
224 // FIXME: This is affected by other options (-fno-inline).
225 Opts.NoInline = !Opt;
226
227// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
228// switch (SSP) {
229// default:
230// Diags.Report(diag::err_drv_invalid_value)
231// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
232// break;
233// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
234// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
235// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
236// }
237}
238
Chris Lattner24943d22010-06-08 16:52:24 +0000239
Chris Lattner24943d22010-06-08 16:52:24 +0000240ClangASTContext::ClangASTContext(const char *target_triple) :
241 m_target_triple(),
242 m_ast_context_ap(),
243 m_language_options_ap(),
244 m_source_manager_ap(),
245 m_diagnostic_ap(),
246 m_target_options_ap(),
247 m_target_info_ap(),
248 m_identifier_table_ap(),
249 m_selector_table_ap(),
250 m_builtins_ap()
251{
252 if (target_triple && target_triple[0])
253 m_target_triple.assign (target_triple);
254}
255
256//----------------------------------------------------------------------
257// Destructor
258//----------------------------------------------------------------------
259ClangASTContext::~ClangASTContext()
260{
261 m_builtins_ap.reset();
262 m_selector_table_ap.reset();
263 m_identifier_table_ap.reset();
264 m_target_info_ap.reset();
265 m_target_options_ap.reset();
266 m_diagnostic_ap.reset();
267 m_source_manager_ap.reset();
268 m_language_options_ap.reset();
269 m_ast_context_ap.reset();
270}
271
272
273void
274ClangASTContext::Clear()
275{
276 m_ast_context_ap.reset();
277 m_language_options_ap.reset();
278 m_source_manager_ap.reset();
279 m_diagnostic_ap.reset();
280 m_target_options_ap.reset();
281 m_target_info_ap.reset();
282 m_identifier_table_ap.reset();
283 m_selector_table_ap.reset();
284 m_builtins_ap.reset();
285}
286
287const char *
288ClangASTContext::GetTargetTriple ()
289{
290 return m_target_triple.c_str();
291}
292
293void
294ClangASTContext::SetTargetTriple (const char *target_triple)
295{
296 Clear();
297 m_target_triple.assign(target_triple);
298}
299
300
301ASTContext *
302ClangASTContext::getASTContext()
303{
304 if (m_ast_context_ap.get() == NULL)
305 {
306 m_ast_context_ap.reset(
307 new ASTContext(
308 *getLanguageOptions(),
309 *getSourceManager(),
310 *getTargetInfo(),
311 *getIdentifierTable(),
312 *getSelectorTable(),
Greg Clayton6e713402010-07-30 20:30:44 +0000313 *getBuiltinContext(),
314 0));
Sean Callanan887d2512010-12-11 00:08:56 +0000315
316 m_ast_context_ap->getDiagnostics().setClient(getDiagnosticClient(), false);
Chris Lattner24943d22010-06-08 16:52:24 +0000317 }
318 return m_ast_context_ap.get();
319}
320
321Builtin::Context *
322ClangASTContext::getBuiltinContext()
323{
324 if (m_builtins_ap.get() == NULL)
325 m_builtins_ap.reset (new Builtin::Context(*getTargetInfo()));
326 return m_builtins_ap.get();
327}
328
329IdentifierTable *
330ClangASTContext::getIdentifierTable()
331{
332 if (m_identifier_table_ap.get() == NULL)
333 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), NULL));
334 return m_identifier_table_ap.get();
335}
336
337LangOptions *
338ClangASTContext::getLanguageOptions()
339{
340 if (m_language_options_ap.get() == NULL)
341 {
342 m_language_options_ap.reset(new LangOptions());
Greg Claytone41c4b22010-06-13 17:34:29 +0000343 ParseLangArgs(*m_language_options_ap, IK_ObjCXX);
344// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner24943d22010-06-08 16:52:24 +0000345 }
346 return m_language_options_ap.get();
347}
348
349SelectorTable *
350ClangASTContext::getSelectorTable()
351{
352 if (m_selector_table_ap.get() == NULL)
353 m_selector_table_ap.reset (new SelectorTable());
354 return m_selector_table_ap.get();
355}
356
Sean Callanan8a3b0a82010-11-18 02:56:27 +0000357clang::FileManager *
358ClangASTContext::getFileManager()
359{
360 if (m_file_manager_ap.get() == NULL)
Greg Clayton22defe82010-12-02 23:20:03 +0000361 {
362 clang::FileSystemOptions file_system_options;
363 m_file_manager_ap.reset(new clang::FileManager(file_system_options));
364 }
Sean Callanan8a3b0a82010-11-18 02:56:27 +0000365 return m_file_manager_ap.get();
366}
367
Greg Clayton1674b122010-07-21 22:12:05 +0000368clang::SourceManager *
Chris Lattner24943d22010-06-08 16:52:24 +0000369ClangASTContext::getSourceManager()
370{
371 if (m_source_manager_ap.get() == NULL)
Greg Clayton22defe82010-12-02 23:20:03 +0000372 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnostic(), *getFileManager()));
Chris Lattner24943d22010-06-08 16:52:24 +0000373 return m_source_manager_ap.get();
374}
375
376Diagnostic *
377ClangASTContext::getDiagnostic()
378{
379 if (m_diagnostic_ap.get() == NULL)
Greg Claytoneae91242010-11-19 21:46:54 +0000380 {
381 llvm::IntrusiveRefCntPtr<DiagnosticIDs> diag_id_sp(new DiagnosticIDs());
382 m_diagnostic_ap.reset(new Diagnostic(diag_id_sp));
383 }
Chris Lattner24943d22010-06-08 16:52:24 +0000384 return m_diagnostic_ap.get();
385}
386
Sean Callanan887d2512010-12-11 00:08:56 +0000387class NullDiagnosticClient : public DiagnosticClient
388{
389public:
390 NullDiagnosticClient ()
391 {
392 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
393 }
394
395 void HandleDiagnostic (Diagnostic::Level DiagLevel, const DiagnosticInfo &info)
396 {
397 if (m_log)
398 {
399 llvm::SmallVectorImpl<char> diag_str(10);
400 info.FormatDiagnostic(diag_str);
401 diag_str.push_back('\0');
402 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
403 }
404 }
405private:
406 LogSP m_log;
407};
408
409DiagnosticClient *
410ClangASTContext::getDiagnosticClient()
411{
412 if (m_diagnostic_client_ap.get() == NULL)
413 m_diagnostic_client_ap.reset(new NullDiagnosticClient);
414
415 return m_diagnostic_client_ap.get();
416}
417
Chris Lattner24943d22010-06-08 16:52:24 +0000418TargetOptions *
419ClangASTContext::getTargetOptions()
420{
421 if (m_target_options_ap.get() == NULL && !m_target_triple.empty())
422 {
423 m_target_options_ap.reset (new TargetOptions());
424 if (m_target_options_ap.get())
425 m_target_options_ap->Triple = m_target_triple;
426 }
427 return m_target_options_ap.get();
428}
429
430
431TargetInfo *
432ClangASTContext::getTargetInfo()
433{
434 // target_triple should be something like "x86_64-apple-darwin10"
435 if (m_target_info_ap.get() == NULL && !m_target_triple.empty())
436 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnostic(), *getTargetOptions()));
437 return m_target_info_ap.get();
438}
439
440#pragma mark Basic Types
441
442static inline bool
443QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast_context, QualType qual_type)
444{
445 uint64_t qual_type_bit_size = ast_context->getTypeSize(qual_type);
446 if (qual_type_bit_size == bit_size)
447 return true;
448 return false;
449}
450
Greg Clayton462d4142010-09-29 01:12:09 +0000451clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000452ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000453{
454 ASTContext *ast_context = getASTContext();
455
456 assert (ast_context != NULL);
457
458 return GetBuiltinTypeForEncodingAndBitSize (ast_context, encoding, bit_size);
459}
460
Greg Clayton462d4142010-09-29 01:12:09 +0000461clang_type_t
462ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast_context, Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000463{
464 if (!ast_context)
465 return NULL;
466
467 switch (encoding)
468 {
Greg Clayton585660c2010-08-05 01:57:25 +0000469 case eEncodingInvalid:
Chris Lattner24943d22010-06-08 16:52:24 +0000470 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
471 return ast_context->VoidPtrTy.getAsOpaquePtr();
472 break;
473
Greg Clayton585660c2010-08-05 01:57:25 +0000474 case eEncodingUint:
Chris Lattner24943d22010-06-08 16:52:24 +0000475 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
476 return ast_context->UnsignedCharTy.getAsOpaquePtr();
477 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
478 return ast_context->UnsignedShortTy.getAsOpaquePtr();
479 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
480 return ast_context->UnsignedIntTy.getAsOpaquePtr();
481 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
482 return ast_context->UnsignedLongTy.getAsOpaquePtr();
483 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
484 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
485 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
486 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
487 break;
488
Greg Clayton585660c2010-08-05 01:57:25 +0000489 case eEncodingSint:
Chris Lattner24943d22010-06-08 16:52:24 +0000490 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
491 return ast_context->CharTy.getAsOpaquePtr();
492 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
493 return ast_context->ShortTy.getAsOpaquePtr();
494 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
495 return ast_context->IntTy.getAsOpaquePtr();
496 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
497 return ast_context->LongTy.getAsOpaquePtr();
498 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
499 return ast_context->LongLongTy.getAsOpaquePtr();
500 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
501 return ast_context->Int128Ty.getAsOpaquePtr();
502 break;
503
Greg Clayton585660c2010-08-05 01:57:25 +0000504 case eEncodingIEEE754:
Chris Lattner24943d22010-06-08 16:52:24 +0000505 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
506 return ast_context->FloatTy.getAsOpaquePtr();
507 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
508 return ast_context->DoubleTy.getAsOpaquePtr();
509 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
510 return ast_context->LongDoubleTy.getAsOpaquePtr();
511 break;
512
Greg Clayton585660c2010-08-05 01:57:25 +0000513 case eEncodingVector:
Chris Lattner24943d22010-06-08 16:52:24 +0000514 default:
515 break;
516 }
517
518 return NULL;
519}
520
Greg Clayton462d4142010-09-29 01:12:09 +0000521clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000522ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
523{
524 ASTContext *ast_context = getASTContext();
525
526 #define streq(a,b) strcmp(a,b) == 0
527 assert (ast_context != NULL);
528 if (ast_context)
529 {
530 switch (dw_ate)
531 {
532 default:
533 break;
534
535 case DW_ATE_address:
536 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
537 return ast_context->VoidPtrTy.getAsOpaquePtr();
538 break;
539
540 case DW_ATE_boolean:
541 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->BoolTy))
542 return ast_context->BoolTy.getAsOpaquePtr();
543 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
544 return ast_context->UnsignedCharTy.getAsOpaquePtr();
545 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
546 return ast_context->UnsignedShortTy.getAsOpaquePtr();
547 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
548 return ast_context->UnsignedIntTy.getAsOpaquePtr();
549 break;
550
551 case DW_ATE_complex_float:
552 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatComplexTy))
553 return ast_context->FloatComplexTy.getAsOpaquePtr();
554 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleComplexTy))
555 return ast_context->DoubleComplexTy.getAsOpaquePtr();
556 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleComplexTy))
557 return ast_context->LongDoubleComplexTy.getAsOpaquePtr();
558 break;
559
560 case DW_ATE_float:
561 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
562 return ast_context->FloatTy.getAsOpaquePtr();
563 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
564 return ast_context->DoubleTy.getAsOpaquePtr();
565 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
566 return ast_context->LongDoubleTy.getAsOpaquePtr();
567 break;
568
569 case DW_ATE_signed:
570 if (type_name)
571 {
Greg Clayton8ff5d552010-11-02 03:48:39 +0000572 if (strstr(type_name, "long long"))
Chris Lattner24943d22010-06-08 16:52:24 +0000573 {
Chris Lattner24943d22010-06-08 16:52:24 +0000574 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
575 return ast_context->LongLongTy.getAsOpaquePtr();
576 }
Greg Clayton8ff5d552010-11-02 03:48:39 +0000577 else if (strstr(type_name, "long"))
578 {
579 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
580 return ast_context->LongTy.getAsOpaquePtr();
581 }
582 else if (strstr(type_name, "short"))
Chris Lattner24943d22010-06-08 16:52:24 +0000583 {
584 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
585 return ast_context->ShortTy.getAsOpaquePtr();
586 }
Greg Clayton8ff5d552010-11-02 03:48:39 +0000587 else if (strstr(type_name, "char"))
Chris Lattner24943d22010-06-08 16:52:24 +0000588 {
589 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
590 return ast_context->CharTy.getAsOpaquePtr();
591 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
592 return ast_context->SignedCharTy.getAsOpaquePtr();
593 }
Greg Clayton8ff5d552010-11-02 03:48:39 +0000594 else if (strstr(type_name, "int"))
595 {
596 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
597 return ast_context->IntTy.getAsOpaquePtr();
598 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
599 return ast_context->Int128Ty.getAsOpaquePtr();
600 }
601 else if (streq(type_name, "wchar_t"))
Chris Lattner24943d22010-06-08 16:52:24 +0000602 {
603 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->WCharTy))
604 return ast_context->WCharTy.getAsOpaquePtr();
605 }
Chris Lattner24943d22010-06-08 16:52:24 +0000606 }
607 // We weren't able to match up a type name, just search by size
608 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
609 return ast_context->CharTy.getAsOpaquePtr();
610 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
611 return ast_context->ShortTy.getAsOpaquePtr();
612 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
613 return ast_context->IntTy.getAsOpaquePtr();
614 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
615 return ast_context->LongTy.getAsOpaquePtr();
616 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
617 return ast_context->LongLongTy.getAsOpaquePtr();
618 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
619 return ast_context->Int128Ty.getAsOpaquePtr();
620 break;
621
622 case DW_ATE_signed_char:
623 if (type_name)
624 {
625 if (streq(type_name, "signed char"))
626 {
627 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
628 return ast_context->SignedCharTy.getAsOpaquePtr();
629 }
630 }
631 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
632 return ast_context->CharTy.getAsOpaquePtr();
633 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
634 return ast_context->SignedCharTy.getAsOpaquePtr();
635 break;
636
637 case DW_ATE_unsigned:
638 if (type_name)
639 {
Greg Clayton8ff5d552010-11-02 03:48:39 +0000640 if (strstr(type_name, "long long"))
641 {
642 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
643 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
644 }
645 else if (strstr(type_name, "long"))
646 {
647 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
648 return ast_context->UnsignedLongTy.getAsOpaquePtr();
649 }
650 else if (strstr(type_name, "short"))
651 {
652 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
653 return ast_context->UnsignedShortTy.getAsOpaquePtr();
654 }
655 else if (strstr(type_name, "char"))
656 {
657 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
658 return ast_context->UnsignedCharTy.getAsOpaquePtr();
659 }
660 else if (strstr(type_name, "int"))
Chris Lattner24943d22010-06-08 16:52:24 +0000661 {
662 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
663 return ast_context->UnsignedIntTy.getAsOpaquePtr();
664 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
665 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
666 }
Chris Lattner24943d22010-06-08 16:52:24 +0000667 }
668 // We weren't able to match up a type name, just search by size
669 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
670 return ast_context->UnsignedCharTy.getAsOpaquePtr();
671 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
672 return ast_context->UnsignedShortTy.getAsOpaquePtr();
673 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
674 return ast_context->UnsignedIntTy.getAsOpaquePtr();
675 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
676 return ast_context->UnsignedLongTy.getAsOpaquePtr();
677 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
678 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
679 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
680 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
681 break;
682
683 case DW_ATE_unsigned_char:
684 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
685 return ast_context->UnsignedCharTy.getAsOpaquePtr();
686 break;
687
688 case DW_ATE_imaginary_float:
689 break;
690 }
691 }
692 // This assert should fire for anything that we don't catch above so we know
693 // to fix any issues we run into.
694 assert (!"error: ClangASTContext::GetClangTypeForDWARFEncodingAndSize() contains an unhandled encoding. Fix this ASAP!");
695 return NULL;
696}
697
Greg Clayton462d4142010-09-29 01:12:09 +0000698clang_type_t
699ClangASTContext::GetBuiltInType_void(ASTContext *ast_context)
Chris Lattner24943d22010-06-08 16:52:24 +0000700{
Sean Callanana751f7b2010-09-17 02:24:29 +0000701 return ast_context->VoidTy.getAsOpaquePtr();
Chris Lattner24943d22010-06-08 16:52:24 +0000702}
703
Greg Clayton462d4142010-09-29 01:12:09 +0000704clang_type_t
Sean Callanana91dd992010-11-19 02:52:21 +0000705ClangASTContext::GetBuiltInType_bool()
706{
707 return getASTContext()->BoolTy.getAsOpaquePtr();
708}
709
710clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000711ClangASTContext::GetBuiltInType_objc_id()
712{
Sean Callananc4217a62010-12-06 23:53:20 +0000713 return getASTContext()->getPointerType(getASTContext()->ObjCBuiltinIdTy).getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000714}
715
Greg Clayton462d4142010-09-29 01:12:09 +0000716clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000717ClangASTContext::GetBuiltInType_objc_Class()
718{
Sean Callanan04325062010-10-25 00:29:48 +0000719 return getASTContext()->ObjCBuiltinClassTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000720}
721
Greg Clayton462d4142010-09-29 01:12:09 +0000722clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000723ClangASTContext::GetBuiltInType_objc_selector()
724{
Sean Callananc4217a62010-12-06 23:53:20 +0000725 return getASTContext()->getPointerType(getASTContext()->ObjCBuiltinSelTy).getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000726}
727
Greg Clayton462d4142010-09-29 01:12:09 +0000728clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000729ClangASTContext::GetCStringType (bool is_const)
730{
731 QualType char_type(getASTContext()->CharTy);
732
733 if (is_const)
734 char_type.addConst();
735
736 return getASTContext()->getPointerType(char_type).getAsOpaquePtr();
737}
738
Greg Clayton462d4142010-09-29 01:12:09 +0000739clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000740ClangASTContext::GetVoidPtrType (bool is_const)
741{
742 return GetVoidPtrType(getASTContext(), is_const);
743}
744
Greg Clayton462d4142010-09-29 01:12:09 +0000745clang_type_t
746ClangASTContext::GetVoidPtrType (ASTContext *ast_context, bool is_const)
Chris Lattner24943d22010-06-08 16:52:24 +0000747{
748 QualType void_ptr_type(ast_context->VoidPtrTy);
749
750 if (is_const)
751 void_ptr_type.addConst();
752
753 return void_ptr_type.getAsOpaquePtr();
754}
755
Greg Clayton462d4142010-09-29 01:12:09 +0000756clang_type_t
Greg Clayton22defe82010-12-02 23:20:03 +0000757ClangASTContext::CopyType (ASTContext *dst_ast,
758 ASTContext *src_ast,
Greg Clayton462d4142010-09-29 01:12:09 +0000759 clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000760{
Sean Callanan8a3b0a82010-11-18 02:56:27 +0000761 FileSystemOptions file_system_options;
Greg Clayton22defe82010-12-02 23:20:03 +0000762 FileManager file_manager (file_system_options);
763 ASTImporter importer(*dst_ast, file_manager,
764 *src_ast, file_manager);
Sean Callanancf18faa2010-11-09 22:37:10 +0000765
Greg Clayton22defe82010-12-02 23:20:03 +0000766 QualType src (QualType::getFromOpaquePtr(clang_type));
767 QualType dst (importer.Import(src));
Sean Callanancf18faa2010-11-09 22:37:10 +0000768
769 return dst.getAsOpaquePtr();
Chris Lattner24943d22010-06-08 16:52:24 +0000770}
771
Greg Clayton6916e352010-11-13 03:52:47 +0000772
773clang::Decl *
Greg Clayton22defe82010-12-02 23:20:03 +0000774ClangASTContext::CopyDecl (ASTContext *dst_ast,
775 ASTContext *src_ast,
Greg Clayton6916e352010-11-13 03:52:47 +0000776 clang::Decl *source_decl)
Sean Callanan887d2512010-12-11 00:08:56 +0000777{
Sean Callanan8a3b0a82010-11-18 02:56:27 +0000778 FileSystemOptions file_system_options;
Greg Clayton22defe82010-12-02 23:20:03 +0000779 FileManager file_manager (file_system_options);
780 ASTImporter importer(*dst_ast, file_manager,
781 *src_ast, file_manager);
Greg Clayton6916e352010-11-13 03:52:47 +0000782
783 return importer.Import(source_decl);
784}
785
Sean Callanan8d825062010-07-16 00:00:27 +0000786bool
Greg Clayton462d4142010-09-29 01:12:09 +0000787ClangASTContext::AreTypesSame(ASTContext *ast_context,
788 clang_type_t type1,
789 clang_type_t type2)
Sean Callanan5510ddd2010-07-15 22:30:52 +0000790{
791 return ast_context->hasSameType(QualType::getFromOpaquePtr(type1),
792 QualType::getFromOpaquePtr(type2));
793}
794
Chris Lattner24943d22010-06-08 16:52:24 +0000795#pragma mark CVR modifiers
796
Greg Clayton462d4142010-09-29 01:12:09 +0000797clang_type_t
798ClangASTContext::AddConstModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000799{
800 if (clang_type)
801 {
802 QualType result(QualType::getFromOpaquePtr(clang_type));
803 result.addConst();
804 return result.getAsOpaquePtr();
805 }
806 return NULL;
807}
808
Greg Clayton462d4142010-09-29 01:12:09 +0000809clang_type_t
810ClangASTContext::AddRestrictModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000811{
812 if (clang_type)
813 {
814 QualType result(QualType::getFromOpaquePtr(clang_type));
815 result.getQualifiers().setRestrict (true);
816 return result.getAsOpaquePtr();
817 }
818 return NULL;
819}
820
Greg Clayton462d4142010-09-29 01:12:09 +0000821clang_type_t
822ClangASTContext::AddVolatileModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000823{
824 if (clang_type)
825 {
826 QualType result(QualType::getFromOpaquePtr(clang_type));
827 result.getQualifiers().setVolatile (true);
828 return result.getAsOpaquePtr();
829 }
830 return NULL;
831}
832
833#pragma mark Structure, Unions, Classes
834
Greg Clayton462d4142010-09-29 01:12:09 +0000835clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000836ClangASTContext::CreateRecordType (const char *name, int kind, DeclContext *decl_ctx, LanguageType language)
Chris Lattner24943d22010-06-08 16:52:24 +0000837{
838 ASTContext *ast_context = getASTContext();
839 assert (ast_context != NULL);
Sean Callanan04325062010-10-25 00:29:48 +0000840
Chris Lattner24943d22010-06-08 16:52:24 +0000841 if (decl_ctx == NULL)
842 decl_ctx = ast_context->getTranslationUnitDecl();
843
Greg Clayton9488b742010-07-28 02:04:09 +0000844
Greg Clayton585660c2010-08-05 01:57:25 +0000845 if (language == eLanguageTypeObjC)
Greg Clayton9488b742010-07-28 02:04:09 +0000846 {
Greg Clayton306edca2010-10-11 02:25:34 +0000847 bool isForwardDecl = true;
Greg Clayton9488b742010-07-28 02:04:09 +0000848 bool isInternal = false;
849 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal);
850 }
851
Chris Lattner24943d22010-06-08 16:52:24 +0000852 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
853 // we will need to update this code. I was told to currently always use
854 // the CXXRecordDecl class since we often don't know from debug information
855 // if something is struct or a class, so we default to always use the more
856 // complete definition just in case.
857 CXXRecordDecl *decl = CXXRecordDecl::Create(*ast_context,
858 (TagDecl::TagKind)kind,
859 decl_ctx,
860 SourceLocation(),
861 name && name[0] ? &ast_context->Idents.get(name) : NULL);
862
863 return ast_context->getTagDeclType(decl).getAsOpaquePtr();
864}
865
Greg Claytondbf26152010-10-01 23:13:49 +0000866static bool
867IsOperator (const char *name, OverloadedOperatorKind &op_kind)
868{
869 if (name == NULL || name[0] == '\0')
870 return false;
871
Sean Callanan494735d2010-12-10 19:51:54 +0000872#define OPERATOR_PREFIX "operator"
Greg Clayton427f2902010-12-14 02:59:59 +0000873#define OPERATOR_PREFIX_LENGTH (sizeof (OPERATOR_PREFIX) - 1)
Sean Callananc2c9a142010-12-10 02:15:55 +0000874
875 const char *post_op_name = NULL;
876
Sean Callanan494735d2010-12-10 19:51:54 +0000877 bool no_space = true;
Sean Callananc2c9a142010-12-10 02:15:55 +0000878
Greg Clayton427f2902010-12-14 02:59:59 +0000879 if (::strncmp(name, OPERATOR_PREFIX, OPERATOR_PREFIX_LENGTH))
Greg Claytondbf26152010-10-01 23:13:49 +0000880 return false;
881
Greg Clayton427f2902010-12-14 02:59:59 +0000882 post_op_name = name + OPERATOR_PREFIX_LENGTH;
883
Sean Callanan494735d2010-12-10 19:51:54 +0000884 if (post_op_name[0] == ' ')
885 {
886 post_op_name++;
887 no_space = false;
888 }
889
890#undef OPERATOR_PREFIX
Greg Clayton427f2902010-12-14 02:59:59 +0000891#undef OPERATOR_PREFIX_LENGTH
Sean Callanan494735d2010-12-10 19:51:54 +0000892
Greg Claytondbf26152010-10-01 23:13:49 +0000893 // This is an operator, set the overloaded operator kind to invalid
894 // in case this is a conversion operator...
895 op_kind = NUM_OVERLOADED_OPERATORS;
896
897 switch (post_op_name[0])
898 {
Sean Callananc2c9a142010-12-10 02:15:55 +0000899 default:
900 if (no_space)
901 return false;
902 break;
Greg Claytondbf26152010-10-01 23:13:49 +0000903 case 'n':
Sean Callananc2c9a142010-12-10 02:15:55 +0000904 if (no_space)
905 return false;
Greg Claytondbf26152010-10-01 23:13:49 +0000906 if (strcmp (post_op_name, "new") == 0)
907 op_kind = OO_New;
908 else if (strcmp (post_op_name, "new[]") == 0)
909 op_kind = OO_Array_New;
910 break;
911
912 case 'd':
Sean Callananc2c9a142010-12-10 02:15:55 +0000913 if (no_space)
914 return false;
Greg Claytondbf26152010-10-01 23:13:49 +0000915 if (strcmp (post_op_name, "delete") == 0)
916 op_kind = OO_Delete;
917 else if (strcmp (post_op_name, "delete[]") == 0)
918 op_kind = OO_Array_Delete;
919 break;
920
921 case '+':
922 if (post_op_name[1] == '\0')
923 op_kind = OO_Plus;
924 else if (post_op_name[2] == '\0')
925 {
926 if (post_op_name[1] == '=')
927 op_kind = OO_PlusEqual;
928 else if (post_op_name[1] == '+')
929 op_kind = OO_PlusPlus;
930 }
931 break;
932
933 case '-':
934 if (post_op_name[1] == '\0')
935 op_kind = OO_Minus;
936 else if (post_op_name[2] == '\0')
937 {
938 switch (post_op_name[1])
939 {
940 case '=': op_kind = OO_MinusEqual; break;
941 case '-': op_kind = OO_MinusMinus; break;
942 case '>': op_kind = OO_Arrow; break;
943 }
944 }
945 else if (post_op_name[3] == '\0')
946 {
947 if (post_op_name[2] == '*')
948 op_kind = OO_ArrowStar; break;
949 }
950 break;
951
952 case '*':
953 if (post_op_name[1] == '\0')
954 op_kind = OO_Star;
955 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
956 op_kind = OO_StarEqual;
957 break;
958
959 case '/':
960 if (post_op_name[1] == '\0')
961 op_kind = OO_Slash;
962 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
963 op_kind = OO_SlashEqual;
964 break;
965
966 case '%':
967 if (post_op_name[1] == '\0')
968 op_kind = OO_Percent;
969 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
970 op_kind = OO_PercentEqual;
971 break;
972
973
974 case '^':
975 if (post_op_name[1] == '\0')
976 op_kind = OO_Caret;
977 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
978 op_kind = OO_CaretEqual;
979 break;
980
981 case '&':
982 if (post_op_name[1] == '\0')
983 op_kind = OO_Amp;
984 else if (post_op_name[2] == '\0')
985 {
986 switch (post_op_name[1])
987 {
988 case '=': op_kind = OO_AmpEqual; break;
989 case '&': op_kind = OO_AmpAmp; break;
990 }
991 }
992 break;
993
994 case '|':
995 if (post_op_name[1] == '\0')
996 op_kind = OO_Pipe;
997 else if (post_op_name[2] == '\0')
998 {
999 switch (post_op_name[1])
1000 {
1001 case '=': op_kind = OO_PipeEqual; break;
1002 case '|': op_kind = OO_PipePipe; break;
1003 }
1004 }
1005 break;
1006
1007 case '~':
1008 if (post_op_name[1] == '\0')
1009 op_kind = OO_Tilde;
1010 break;
1011
1012 case '!':
1013 if (post_op_name[1] == '\0')
1014 op_kind = OO_Exclaim;
1015 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1016 op_kind = OO_ExclaimEqual;
1017 break;
1018
1019 case '=':
1020 if (post_op_name[1] == '\0')
1021 op_kind = OO_Equal;
1022 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1023 op_kind = OO_EqualEqual;
1024 break;
1025
1026 case '<':
1027 if (post_op_name[1] == '\0')
1028 op_kind = OO_Less;
1029 else if (post_op_name[2] == '\0')
1030 {
1031 switch (post_op_name[1])
1032 {
1033 case '<': op_kind = OO_LessLess; break;
1034 case '=': op_kind = OO_LessEqual; break;
1035 }
1036 }
1037 else if (post_op_name[3] == '\0')
1038 {
1039 if (post_op_name[2] == '=')
1040 op_kind = OO_LessLessEqual;
1041 }
1042 break;
1043
1044 case '>':
1045 if (post_op_name[1] == '\0')
1046 op_kind = OO_Greater;
1047 else if (post_op_name[2] == '\0')
1048 {
1049 switch (post_op_name[1])
1050 {
1051 case '>': op_kind = OO_GreaterGreater; break;
1052 case '=': op_kind = OO_GreaterEqual; break;
1053 }
1054 }
1055 else if (post_op_name[1] == '>' &&
1056 post_op_name[2] == '=' &&
1057 post_op_name[3] == '\0')
1058 {
1059 op_kind = OO_GreaterGreaterEqual;
1060 }
1061 break;
1062
1063 case ',':
1064 if (post_op_name[1] == '\0')
1065 op_kind = OO_Comma;
1066 break;
1067
1068 case '(':
1069 if (post_op_name[1] == ')' && post_op_name[2] == '\0')
1070 op_kind = OO_Call;
1071 break;
1072
1073 case '[':
1074 if (post_op_name[1] == ']' && post_op_name[2] == '\0')
1075 op_kind = OO_Subscript;
1076 break;
1077 }
1078
1079 return true;
1080}
Greg Clayton412440a2010-09-23 01:09:21 +00001081CXXMethodDecl *
Sean Callanan79523002010-09-17 02:58:26 +00001082ClangASTContext::AddMethodToCXXRecordType
1083(
Greg Clayton462d4142010-09-29 01:12:09 +00001084 ASTContext *ast_context,
1085 clang_type_t record_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001086 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001087 clang_type_t method_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001088 lldb::AccessType access,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001089 bool is_virtual,
1090 bool is_static,
Greg Clayton30449d52010-10-01 02:31:07 +00001091 bool is_inline,
1092 bool is_explicit
Greg Clayton412440a2010-09-23 01:09:21 +00001093)
Sean Callanan79523002010-09-17 02:58:26 +00001094{
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001095 if (!record_opaque_type || !method_opaque_type || !name)
Johnny Chen974fddb2010-09-28 16:10:54 +00001096 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001097
1098 assert(ast_context);
1099
1100 IdentifierTable *identifier_table = &ast_context->Idents;
1101
1102 assert(identifier_table);
1103
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001104 QualType record_qual_type(QualType::getFromOpaquePtr(record_opaque_type));
Greg Clayton1d8173f2010-09-24 05:15:53 +00001105
1106 clang::Type *clang_type(record_qual_type.getTypePtr());
Sean Callanan79523002010-09-17 02:58:26 +00001107
Greg Clayton1d8173f2010-09-24 05:15:53 +00001108 if (clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001109 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001110
Greg Clayton1d8173f2010-09-24 05:15:53 +00001111 RecordType *record_clang_type(dyn_cast<RecordType>(clang_type));
Sean Callanan79523002010-09-17 02:58:26 +00001112
Greg Clayton1d8173f2010-09-24 05:15:53 +00001113 if (record_clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001114 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001115
Greg Clayton1d8173f2010-09-24 05:15:53 +00001116 RecordDecl *record_decl = record_clang_type->getDecl();
Sean Callanan79523002010-09-17 02:58:26 +00001117
Greg Clayton1d8173f2010-09-24 05:15:53 +00001118 if (record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001119 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001120
1121 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1122
Greg Clayton1d8173f2010-09-24 05:15:53 +00001123 if (cxx_record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001124 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001125
Greg Clayton1d8173f2010-09-24 05:15:53 +00001126 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001127
Greg Clayton30449d52010-10-01 02:31:07 +00001128 CXXMethodDecl *cxx_method_decl = NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001129
Greg Clayton30449d52010-10-01 02:31:07 +00001130 DeclarationName decl_name (&identifier_table->get(name));
Greg Clayton90e325d2010-10-01 03:45:20 +00001131
Greg Clayton90e325d2010-10-01 03:45:20 +00001132 const bool is_implicitly_declared = false;
Greg Clayton30449d52010-10-01 02:31:07 +00001133
Greg Clayton5325a362010-10-02 01:40:05 +00001134 clang::FunctionType *function_Type = dyn_cast<FunctionType>(method_qual_type.getTypePtr());
Greg Clayton90e325d2010-10-01 03:45:20 +00001135
Greg Clayton5325a362010-10-02 01:40:05 +00001136 if (function_Type == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001137 return NULL;
1138
Greg Clayton5325a362010-10-02 01:40:05 +00001139 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(function_Type));
Greg Clayton90e325d2010-10-01 03:45:20 +00001140
1141 if (!method_function_prototype)
1142 return NULL;
1143
1144 unsigned int num_params = method_function_prototype->getNumArgs();
1145
1146 if (name[0] == '~')
Greg Clayton30449d52010-10-01 02:31:07 +00001147 {
Greg Clayton90e325d2010-10-01 03:45:20 +00001148 cxx_method_decl = CXXDestructorDecl::Create (*ast_context,
1149 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001150 DeclarationNameInfo (ast_context->DeclarationNames.getCXXDestructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001151 method_qual_type,
Sean Callanan8950c9a2010-10-29 18:38:40 +00001152 NULL,
Greg Clayton90e325d2010-10-01 03:45:20 +00001153 is_inline,
1154 is_implicitly_declared);
1155 }
1156 else if (decl_name == record_decl->getDeclName())
1157 {
Greg Clayton30449d52010-10-01 02:31:07 +00001158 cxx_method_decl = CXXConstructorDecl::Create (*ast_context,
1159 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001160 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConstructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton30449d52010-10-01 02:31:07 +00001161 method_qual_type,
1162 NULL, // TypeSourceInfo *
1163 is_explicit,
1164 is_inline,
1165 is_implicitly_declared);
1166 }
1167 else
Greg Clayton90e325d2010-10-01 03:45:20 +00001168 {
Greg Claytondbf26152010-10-01 23:13:49 +00001169
1170 OverloadedOperatorKind op_kind = NUM_OVERLOADED_OPERATORS;
1171 if (IsOperator (name, op_kind))
Greg Clayton90e325d2010-10-01 03:45:20 +00001172 {
Greg Claytondbf26152010-10-01 23:13:49 +00001173 if (op_kind != NUM_OVERLOADED_OPERATORS)
1174 {
1175 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
Greg Clayton90e325d2010-10-01 03:45:20 +00001176 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001177 DeclarationNameInfo (ast_context->DeclarationNames.getCXXOperatorName (op_kind), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001178 method_qual_type,
1179 NULL, // TypeSourceInfo *
Greg Claytondbf26152010-10-01 23:13:49 +00001180 is_static,
1181 SC_None,
1182 is_inline);
1183 }
1184 else if (num_params == 0)
1185 {
1186 // Conversion operators don't take params...
1187 cxx_method_decl = CXXConversionDecl::Create (*ast_context,
1188 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001189 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConversionFunctionName (ast_context->getCanonicalType (function_Type->getResultType())), SourceLocation()),
Greg Claytondbf26152010-10-01 23:13:49 +00001190 method_qual_type,
1191 NULL, // TypeSourceInfo *
1192 is_inline,
1193 is_explicit);
1194 }
Greg Clayton90e325d2010-10-01 03:45:20 +00001195 }
Greg Claytondbf26152010-10-01 23:13:49 +00001196
1197 if (cxx_method_decl == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001198 {
1199 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
1200 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001201 DeclarationNameInfo (decl_name, SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001202 method_qual_type,
1203 NULL, // TypeSourceInfo *
1204 is_static,
1205 SC_None,
1206 is_inline);
1207 }
Greg Clayton30449d52010-10-01 02:31:07 +00001208 }
Greg Claytondbf26152010-10-01 23:13:49 +00001209
Greg Clayton462d4142010-09-29 01:12:09 +00001210 AccessSpecifier access_specifier = ConvertAccessTypeToAccessSpecifier (access);
Greg Clayton1d8173f2010-09-24 05:15:53 +00001211
1212 cxx_method_decl->setAccess (access_specifier);
1213 cxx_method_decl->setVirtualAsWritten (is_virtual);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001214
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001215 // Populate the method decl with parameter decls
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001216
1217 ParmVarDecl *params[num_params];
1218
1219 for (int param_index = 0;
1220 param_index < num_params;
1221 ++param_index)
1222 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001223 params[param_index] = ParmVarDecl::Create (*ast_context,
1224 cxx_method_decl,
1225 SourceLocation(),
1226 NULL, // anonymous
1227 method_function_prototype->getArgType(param_index),
1228 NULL,
1229 SC_None,
1230 SC_None,
1231 NULL);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001232 }
1233
Greg Clayton1d8173f2010-09-24 05:15:53 +00001234 cxx_method_decl->setParams (params, num_params);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001235
Greg Clayton1d8173f2010-09-24 05:15:53 +00001236 cxx_record_decl->addDecl (cxx_method_decl);
Sean Callanan79523002010-09-17 02:58:26 +00001237
Greg Clayton412440a2010-09-23 01:09:21 +00001238 return cxx_method_decl;
Sean Callanan79523002010-09-17 02:58:26 +00001239}
1240
1241bool
Greg Clayton84f80752010-07-22 18:30:50 +00001242ClangASTContext::AddFieldToRecordType
1243(
Greg Clayton462d4142010-09-29 01:12:09 +00001244 ASTContext *ast_context,
1245 clang_type_t record_clang_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001246 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001247 clang_type_t field_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001248 AccessType access,
1249 uint32_t bitfield_bit_size
1250)
Chris Lattner24943d22010-06-08 16:52:24 +00001251{
1252 if (record_clang_type == NULL || field_type == NULL)
1253 return false;
1254
Sean Callanan60a0ced2010-09-16 20:01:08 +00001255 IdentifierTable *identifier_table = &ast_context->Idents;
Chris Lattner24943d22010-06-08 16:52:24 +00001256
1257 assert (ast_context != NULL);
1258 assert (identifier_table != NULL);
1259
1260 QualType record_qual_type(QualType::getFromOpaquePtr(record_clang_type));
1261
Greg Clayton1674b122010-07-21 22:12:05 +00001262 clang::Type *clang_type = record_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001263 if (clang_type)
1264 {
1265 const RecordType *record_type = dyn_cast<RecordType>(clang_type);
1266
1267 if (record_type)
1268 {
1269 RecordDecl *record_decl = record_type->getDecl();
1270
Chris Lattner24943d22010-06-08 16:52:24 +00001271 clang::Expr *bit_width = NULL;
1272 if (bitfield_bit_size != 0)
1273 {
1274 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001275 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Chris Lattner24943d22010-06-08 16:52:24 +00001276 }
Greg Clayton84f80752010-07-22 18:30:50 +00001277 FieldDecl *field = FieldDecl::Create (*ast_context,
1278 record_decl,
1279 SourceLocation(),
1280 name ? &identifier_table->get(name) : NULL, // Identifier
1281 QualType::getFromOpaquePtr(field_type), // Field type
1282 NULL, // DeclaratorInfo *
1283 bit_width, // BitWidth
1284 false); // Mutable
Chris Lattner24943d22010-06-08 16:52:24 +00001285
Greg Clayton84f80752010-07-22 18:30:50 +00001286 field->setAccess (ConvertAccessTypeToAccessSpecifier (access));
Chris Lattner24943d22010-06-08 16:52:24 +00001287
1288 if (field)
1289 {
1290 record_decl->addDecl(field);
Chris Lattner24943d22010-06-08 16:52:24 +00001291 }
1292 }
Greg Clayton9488b742010-07-28 02:04:09 +00001293 else
1294 {
1295 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(clang_type);
1296 if (objc_class_type)
1297 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001298 bool is_synthesized = false;
Sean Callanan60a0ced2010-09-16 20:01:08 +00001299 ClangASTContext::AddObjCClassIVar (ast_context,
1300 record_clang_type,
Greg Clayton9488b742010-07-28 02:04:09 +00001301 name,
1302 field_type,
1303 access,
1304 bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001305 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001306 }
1307 }
Chris Lattner24943d22010-06-08 16:52:24 +00001308 }
1309 return false;
1310}
1311
1312bool
1313ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1314{
1315 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1316}
1317
1318bool
1319ClangASTContext::FieldIsBitfield
1320(
1321 ASTContext *ast_context,
1322 FieldDecl* field,
1323 uint32_t& bitfield_bit_size
1324)
1325{
1326 if (ast_context == NULL || field == NULL)
1327 return false;
1328
1329 if (field->isBitField())
1330 {
1331 Expr* bit_width_expr = field->getBitWidth();
1332 if (bit_width_expr)
1333 {
1334 llvm::APSInt bit_width_apsint;
1335 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast_context))
1336 {
1337 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1338 return true;
1339 }
1340 }
1341 }
1342 return false;
1343}
1344
1345bool
1346ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1347{
1348 if (record_decl == NULL)
1349 return false;
1350
1351 if (!record_decl->field_empty())
1352 return true;
1353
1354 // No fields, lets check this is a CXX record and check the base classes
1355 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1356 if (cxx_record_decl)
1357 {
1358 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1359 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1360 base_class != base_class_end;
1361 ++base_class)
1362 {
1363 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1364 if (RecordHasFields(base_class_decl))
1365 return true;
1366 }
1367 }
1368 return false;
1369}
1370
1371void
Greg Clayton462d4142010-09-29 01:12:09 +00001372ClangASTContext::SetDefaultAccessForRecordFields (clang_type_t clang_qual_type, int default_accessibility, int *assigned_accessibilities, size_t num_assigned_accessibilities)
Chris Lattner24943d22010-06-08 16:52:24 +00001373{
1374 if (clang_qual_type)
1375 {
1376 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton1674b122010-07-21 22:12:05 +00001377 clang::Type *clang_type = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001378 if (clang_type)
1379 {
1380 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1381 if (record_type)
1382 {
1383 RecordDecl *record_decl = record_type->getDecl();
1384 if (record_decl)
1385 {
1386 uint32_t field_idx;
1387 RecordDecl::field_iterator field, field_end;
1388 for (field = record_decl->field_begin(), field_end = record_decl->field_end(), field_idx = 0;
1389 field != field_end;
1390 ++field, ++field_idx)
1391 {
1392 // If no accessibility was assigned, assign the correct one
1393 if (field_idx < num_assigned_accessibilities && assigned_accessibilities[field_idx] == clang::AS_none)
1394 field->setAccess ((AccessSpecifier)default_accessibility);
1395 }
1396 }
1397 }
1398 }
1399 }
1400}
1401
1402#pragma mark C++ Base Classes
1403
1404CXXBaseSpecifier *
Greg Clayton462d4142010-09-29 01:12:09 +00001405ClangASTContext::CreateBaseClassSpecifier (clang_type_t base_class_type, AccessType access, bool is_virtual, bool base_of_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001406{
1407 if (base_class_type)
Greg Clayton6e713402010-07-30 20:30:44 +00001408 return new CXXBaseSpecifier (SourceRange(),
1409 is_virtual,
1410 base_of_class,
1411 ConvertAccessTypeToAccessSpecifier (access),
1412 getASTContext()->CreateTypeSourceInfo (QualType::getFromOpaquePtr(base_class_type)));
Chris Lattner24943d22010-06-08 16:52:24 +00001413 return NULL;
1414}
1415
Greg Claytone9d0df42010-07-02 01:29:13 +00001416void
1417ClangASTContext::DeleteBaseClassSpecifiers (CXXBaseSpecifier **base_classes, unsigned num_base_classes)
1418{
1419 for (unsigned i=0; i<num_base_classes; ++i)
1420 {
1421 delete base_classes[i];
1422 base_classes[i] = NULL;
1423 }
1424}
1425
Chris Lattner24943d22010-06-08 16:52:24 +00001426bool
Greg Clayton462d4142010-09-29 01:12:09 +00001427ClangASTContext::SetBaseClassesForClassType (clang_type_t class_clang_type, CXXBaseSpecifier const * const *base_classes, unsigned num_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001428{
1429 if (class_clang_type)
1430 {
Greg Clayton1674b122010-07-21 22:12:05 +00001431 clang::Type *clang_type = QualType::getFromOpaquePtr(class_clang_type).getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001432 if (clang_type)
1433 {
1434 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1435 if (record_type)
1436 {
1437 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_type->getDecl());
1438 if (cxx_record_decl)
1439 {
Chris Lattner24943d22010-06-08 16:52:24 +00001440 cxx_record_decl->setBases(base_classes, num_base_classes);
1441 return true;
1442 }
1443 }
1444 }
1445 }
1446 return false;
1447}
Greg Clayton84f80752010-07-22 18:30:50 +00001448#pragma mark Objective C Classes
Chris Lattner24943d22010-06-08 16:52:24 +00001449
Greg Clayton462d4142010-09-29 01:12:09 +00001450clang_type_t
Greg Clayton84f80752010-07-22 18:30:50 +00001451ClangASTContext::CreateObjCClass
1452(
1453 const char *name,
1454 DeclContext *decl_ctx,
1455 bool isForwardDecl,
1456 bool isInternal
1457)
1458{
1459 ASTContext *ast_context = getASTContext();
1460 assert (ast_context != NULL);
1461 assert (name && name[0]);
1462 if (decl_ctx == NULL)
1463 decl_ctx = ast_context->getTranslationUnitDecl();
1464
1465 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1466 // we will need to update this code. I was told to currently always use
1467 // the CXXRecordDecl class since we often don't know from debug information
1468 // if something is struct or a class, so we default to always use the more
1469 // complete definition just in case.
1470 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast_context,
1471 decl_ctx,
1472 SourceLocation(),
1473 &ast_context->Idents.get(name),
1474 SourceLocation(),
1475 isForwardDecl,
1476 isInternal);
Greg Clayton9488b742010-07-28 02:04:09 +00001477
1478 return ast_context->getObjCInterfaceType(decl).getAsOpaquePtr();
Greg Clayton84f80752010-07-22 18:30:50 +00001479}
1480
1481bool
Greg Clayton462d4142010-09-29 01:12:09 +00001482ClangASTContext::SetObjCSuperClass (clang_type_t class_opaque_type, clang_type_t super_opaque_type)
Greg Clayton84f80752010-07-22 18:30:50 +00001483{
1484 if (class_opaque_type && super_opaque_type)
1485 {
1486 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1487 QualType super_qual_type(QualType::getFromOpaquePtr(super_opaque_type));
1488 clang::Type *class_type = class_qual_type.getTypePtr();
1489 clang::Type *super_type = super_qual_type.getTypePtr();
1490 if (class_type && super_type)
1491 {
1492 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1493 ObjCObjectType *objc_super_type = dyn_cast<ObjCObjectType>(super_type);
1494 if (objc_class_type && objc_super_type)
1495 {
1496 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1497 ObjCInterfaceDecl *super_interface_decl = objc_super_type->getInterface();
1498 if (class_interface_decl && super_interface_decl)
1499 {
1500 class_interface_decl->setSuperClass(super_interface_decl);
1501 return true;
1502 }
1503 }
1504 }
1505 }
1506 return false;
1507}
1508
1509
1510bool
1511ClangASTContext::AddObjCClassIVar
1512(
Greg Clayton462d4142010-09-29 01:12:09 +00001513 ASTContext *ast_context,
1514 clang_type_t class_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001515 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001516 clang_type_t ivar_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001517 AccessType access,
1518 uint32_t bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001519 bool is_synthesized
Greg Clayton84f80752010-07-22 18:30:50 +00001520)
1521{
1522 if (class_opaque_type == NULL || ivar_opaque_type == NULL)
1523 return false;
1524
Sean Callanan60a0ced2010-09-16 20:01:08 +00001525 IdentifierTable *identifier_table = &ast_context->Idents;
Greg Clayton84f80752010-07-22 18:30:50 +00001526
1527 assert (ast_context != NULL);
1528 assert (identifier_table != NULL);
1529
1530 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1531
1532 clang::Type *class_type = class_qual_type.getTypePtr();
1533 if (class_type)
1534 {
1535 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1536
1537 if (objc_class_type)
1538 {
1539 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1540
1541 if (class_interface_decl)
1542 {
1543 clang::Expr *bit_width = NULL;
1544 if (bitfield_bit_size != 0)
1545 {
1546 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001547 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Greg Clayton84f80752010-07-22 18:30:50 +00001548 }
1549
Greg Clayton9488b742010-07-28 02:04:09 +00001550 ObjCIvarDecl *field = ObjCIvarDecl::Create (*ast_context,
1551 class_interface_decl,
1552 SourceLocation(),
1553 &identifier_table->get(name), // Identifier
1554 QualType::getFromOpaquePtr(ivar_opaque_type), // Field type
1555 NULL, // TypeSourceInfo *
1556 ConvertAccessTypeToObjCIvarAccessControl (access),
1557 bit_width,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001558 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001559
1560 if (field)
1561 {
1562 class_interface_decl->addDecl(field);
1563 return true;
1564 }
Greg Clayton84f80752010-07-22 18:30:50 +00001565 }
1566 }
1567 }
1568 return false;
1569}
Chris Lattner24943d22010-06-08 16:52:24 +00001570
Greg Clayton9488b742010-07-28 02:04:09 +00001571
1572bool
Greg Clayton462d4142010-09-29 01:12:09 +00001573ClangASTContext::ObjCTypeHasIVars (clang_type_t class_opaque_type, bool check_superclass)
Greg Clayton9488b742010-07-28 02:04:09 +00001574{
1575 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1576
1577 clang::Type *class_type = class_qual_type.getTypePtr();
1578 if (class_type)
1579 {
1580 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1581
1582 if (objc_class_type)
1583 return ObjCDeclHasIVars (objc_class_type->getInterface(), check_superclass);
1584 }
1585 return false;
1586}
1587
1588bool
1589ClangASTContext::ObjCDeclHasIVars (ObjCInterfaceDecl *class_interface_decl, bool check_superclass)
1590{
1591 while (class_interface_decl)
1592 {
1593 if (class_interface_decl->ivar_size() > 0)
1594 return true;
1595
1596 if (check_superclass)
1597 class_interface_decl = class_interface_decl->getSuperClass();
1598 else
1599 break;
1600 }
1601 return false;
1602}
Greg Clayton1d8173f2010-09-24 05:15:53 +00001603
Greg Clayton462d4142010-09-29 01:12:09 +00001604ObjCMethodDecl *
Greg Clayton1d8173f2010-09-24 05:15:53 +00001605ClangASTContext::AddMethodToObjCObjectType
1606(
Greg Clayton462d4142010-09-29 01:12:09 +00001607 ASTContext *ast_context,
1608 clang_type_t class_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001609 const char *name, // the full symbol name as seen in the symbol table ("-[NString stringWithCString:]")
Greg Clayton462d4142010-09-29 01:12:09 +00001610 clang_type_t method_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001611 lldb::AccessType access
1612)
1613{
1614 if (class_opaque_type == NULL || method_opaque_type == NULL)
1615 return NULL;
1616
1617 IdentifierTable *identifier_table = &ast_context->Idents;
1618
1619 assert (ast_context != NULL);
1620 assert (identifier_table != NULL);
1621
1622 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1623
1624 clang::Type *class_type = class_qual_type.getTypePtr();
1625 if (class_type == NULL)
1626 return NULL;
1627
1628 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1629
1630 if (objc_class_type == NULL)
1631 return NULL;
1632
1633 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1634
1635 if (class_interface_decl == NULL)
1636 return NULL;
Greg Clayton9488b742010-07-28 02:04:09 +00001637
Greg Clayton1d8173f2010-09-24 05:15:53 +00001638 const char *selector_start = ::strchr (name, ' ');
1639 if (selector_start == NULL)
1640 return NULL;
1641
1642 selector_start++;
1643 if (!(::isalpha (selector_start[0]) || selector_start[0] == '_'))
1644 return NULL;
1645 llvm::SmallVector<IdentifierInfo *, 12> selector_idents;
1646
Greg Claytonad60bf42010-10-12 02:24:53 +00001647 size_t len = 0;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001648 const char *start;
Greg Claytonad60bf42010-10-12 02:24:53 +00001649 //printf ("name = '%s'\n", name);
1650
1651 unsigned num_selectors_with_args = 0;
1652 for (start = selector_start;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001653 start && *start != '\0' && *start != ']';
Greg Claytonad60bf42010-10-12 02:24:53 +00001654 start += len)
Greg Clayton1d8173f2010-09-24 05:15:53 +00001655 {
Greg Claytonad60bf42010-10-12 02:24:53 +00001656 len = ::strcspn(start, ":]");
Greg Clayton6bc44a42010-10-27 04:01:14 +00001657 bool has_arg = (start[len] == ':');
1658 if (has_arg)
Greg Claytonad60bf42010-10-12 02:24:53 +00001659 ++num_selectors_with_args;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001660 selector_idents.push_back (&identifier_table->get (StringRef (start, len)));
Greg Clayton6bc44a42010-10-27 04:01:14 +00001661 if (has_arg)
1662 len += 1;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001663 }
1664
1665
1666 if (selector_idents.size() == 0)
1667 return 0;
1668
Greg Claytonad60bf42010-10-12 02:24:53 +00001669 clang::Selector method_selector = ast_context->Selectors.getSelector (num_selectors_with_args ? selector_idents.size() : 0,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001670 selector_idents.data());
1671
1672 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
1673
1674 // Populate the method decl with parameter decls
1675 clang::Type *method_type(method_qual_type.getTypePtr());
1676
1677 if (method_type == NULL)
1678 return NULL;
1679
1680 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(method_type));
1681
1682 if (!method_function_prototype)
1683 return NULL;
1684
1685
1686 bool is_variadic = false;
1687 bool is_synthesized = false;
1688 bool is_defined = false;
1689 ObjCMethodDecl::ImplementationControl imp_control = ObjCMethodDecl::None;
1690
1691 const unsigned num_args = method_function_prototype->getNumArgs();
1692
1693 ObjCMethodDecl *objc_method_decl = ObjCMethodDecl::Create (*ast_context,
1694 SourceLocation(), // beginLoc,
1695 SourceLocation(), // endLoc,
1696 method_selector,
1697 method_function_prototype->getResultType(),
1698 NULL, // TypeSourceInfo *ResultTInfo,
1699 GetDeclContextForType (class_opaque_type),
1700 name[0] == '-',
1701 is_variadic,
1702 is_synthesized,
1703 is_defined,
1704 imp_control,
1705 num_args);
1706
1707
1708 if (objc_method_decl == NULL)
1709 return NULL;
1710
1711 if (num_args > 0)
1712 {
1713 llvm::SmallVector<ParmVarDecl *, 12> params;
1714
1715 for (int param_index = 0; param_index < num_args; ++param_index)
1716 {
1717 params.push_back (ParmVarDecl::Create (*ast_context,
1718 objc_method_decl,
1719 SourceLocation(),
1720 NULL, // anonymous
1721 method_function_prototype->getArgType(param_index),
1722 NULL,
1723 SC_Auto,
1724 SC_Auto,
1725 NULL));
1726 }
1727
1728 objc_method_decl->setMethodParams(*ast_context, params.data(), params.size(), num_args);
1729 }
1730
1731 class_interface_decl->addDecl (objc_method_decl);
1732
1733
1734 return objc_method_decl;
1735}
1736
1737
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001738uint32_t
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001739ClangASTContext::GetTypeInfo
1740(
1741 clang_type_t clang_type,
1742 clang::ASTContext *ast_context,
1743 clang_type_t *pointee_or_element_clang_type
1744)
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001745{
1746 if (clang_type == NULL)
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001747 return 0;
1748
1749 if (pointee_or_element_clang_type)
1750 *pointee_or_element_clang_type = NULL;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001751
1752 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1753
1754 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1755 switch (type_class)
1756 {
Sean Callanan04325062010-10-25 00:29:48 +00001757 case clang::Type::Builtin:
1758 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1759 {
Sean Callanan04325062010-10-25 00:29:48 +00001760 case clang::BuiltinType::ObjCId:
1761 case clang::BuiltinType::ObjCClass:
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001762 if (ast_context && pointee_or_element_clang_type)
1763 *pointee_or_element_clang_type = ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
Sean Callanan04325062010-10-25 00:29:48 +00001764 return eTypeIsBuiltIn | eTypeIsPointer | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001765
1766 default:
1767 break;
Sean Callanan04325062010-10-25 00:29:48 +00001768 }
1769 return eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001770
1771 case clang::Type::BlockPointer:
1772 if (pointee_or_element_clang_type)
1773 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1774 return eTypeIsPointer | eTypeHasChildren | eTypeIsBlock;
1775
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001776 case clang::Type::Complex: return eTypeHasChildren | eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001777
1778 case clang::Type::ConstantArray:
1779 case clang::Type::DependentSizedArray:
1780 case clang::Type::IncompleteArray:
1781 case clang::Type::VariableArray:
1782 if (pointee_or_element_clang_type)
1783 *pointee_or_element_clang_type = cast<ArrayType>(qual_type.getTypePtr())->getElementType().getAsOpaquePtr();
1784 return eTypeHasChildren | eTypeIsArray;
1785
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001786 case clang::Type::DependentName: return 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001787 case clang::Type::DependentSizedExtVector: return eTypeHasChildren | eTypeIsVector;
1788 case clang::Type::DependentTemplateSpecialization: return eTypeIsTemplate;
1789 case clang::Type::Decltype: return 0;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001790
1791 case clang::Type::Enum:
1792 if (pointee_or_element_clang_type)
1793 *pointee_or_element_clang_type = cast<EnumType>(qual_type)->getDecl()->getIntegerType().getAsOpaquePtr();
1794 return eTypeIsEnumeration | eTypeHasValue;
1795
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001796 case clang::Type::Elaborated: return 0;
1797 case clang::Type::ExtVector: return eTypeHasChildren | eTypeIsVector;
1798 case clang::Type::FunctionProto: return eTypeIsFuncPrototype | eTypeHasValue;
1799 case clang::Type::FunctionNoProto: return eTypeIsFuncPrototype | eTypeHasValue;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001800 case clang::Type::InjectedClassName: return 0;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001801
1802 case clang::Type::LValueReference:
1803 case clang::Type::RValueReference:
1804 if (pointee_or_element_clang_type)
1805 *pointee_or_element_clang_type = cast<ReferenceType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr();
1806 return eTypeHasChildren | eTypeIsReference | eTypeHasValue;
1807
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001808 case clang::Type::MemberPointer: return eTypeIsPointer | eTypeIsMember | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001809
1810 case clang::Type::ObjCObjectPointer:
1811 if (pointee_or_element_clang_type)
1812 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1813 return eTypeHasChildren | eTypeIsObjC | eTypeIsClass | eTypeIsPointer | eTypeHasValue;
1814
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001815 case clang::Type::ObjCObject: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
1816 case clang::Type::ObjCInterface: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001817
1818 case clang::Type::Pointer:
1819 if (pointee_or_element_clang_type)
1820 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1821 return eTypeHasChildren | eTypeIsPointer | eTypeHasValue;
1822
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001823 case clang::Type::Record:
1824 if (qual_type->getAsCXXRecordDecl())
1825 return eTypeHasChildren | eTypeIsClass | eTypeIsCPlusPlus;
1826 else
1827 return eTypeHasChildren | eTypeIsStructUnion;
1828 break;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001829 case clang::Type::SubstTemplateTypeParm: return eTypeIsTemplate;
1830 case clang::Type::TemplateTypeParm: return eTypeIsTemplate;
1831 case clang::Type::TemplateSpecialization: return eTypeIsTemplate;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001832
1833 case clang::Type::Typedef:
Sean Callanan9e7958e2010-12-13 01:26:27 +00001834 return eTypeIsTypedef | ClangASTContext::GetTypeInfo (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001835 ast_context,
1836 pointee_or_element_clang_type);
1837
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001838 case clang::Type::TypeOfExpr: return 0;
1839 case clang::Type::TypeOf: return 0;
1840 case clang::Type::UnresolvedUsing: return 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001841 case clang::Type::Vector: return eTypeHasChildren | eTypeIsVector;
1842 default: return 0;
1843 }
1844 return 0;
1845}
1846
Greg Clayton9488b742010-07-28 02:04:09 +00001847
Chris Lattner24943d22010-06-08 16:52:24 +00001848#pragma mark Aggregate Types
1849
1850bool
Greg Clayton462d4142010-09-29 01:12:09 +00001851ClangASTContext::IsAggregateType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00001852{
1853 if (clang_type == NULL)
1854 return false;
1855
1856 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1857
Greg Clayton03e0f972010-09-13 03:32:57 +00001858 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1859 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001860 {
Greg Clayton1674b122010-07-21 22:12:05 +00001861 case clang::Type::IncompleteArray:
1862 case clang::Type::VariableArray:
1863 case clang::Type::ConstantArray:
1864 case clang::Type::ExtVector:
1865 case clang::Type::Vector:
1866 case clang::Type::Record:
Greg Clayton9488b742010-07-28 02:04:09 +00001867 case clang::Type::ObjCObject:
1868 case clang::Type::ObjCInterface:
Chris Lattner24943d22010-06-08 16:52:24 +00001869 return true;
1870
Greg Clayton1674b122010-07-21 22:12:05 +00001871 case clang::Type::Typedef:
Sean Callanan9e7958e2010-12-13 01:26:27 +00001872 return ClangASTContext::IsAggregateType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Chris Lattner24943d22010-06-08 16:52:24 +00001873
1874 default:
1875 break;
1876 }
1877 // The clang type does have a value
1878 return false;
1879}
1880
1881uint32_t
Greg Clayton462d4142010-09-29 01:12:09 +00001882ClangASTContext::GetNumChildren (clang_type_t clang_qual_type, bool omit_empty_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001883{
1884 if (clang_qual_type == NULL)
1885 return 0;
1886
1887 uint32_t num_children = 0;
1888 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton9488b742010-07-28 02:04:09 +00001889 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1890 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001891 {
Greg Clayton960d6a42010-08-03 00:35:52 +00001892 case clang::Type::Builtin:
1893 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1894 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001895 case clang::BuiltinType::ObjCId: // child is Class
Greg Clayton960d6a42010-08-03 00:35:52 +00001896 case clang::BuiltinType::ObjCClass: // child is Class
Greg Clayton960d6a42010-08-03 00:35:52 +00001897 num_children = 1;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001898 break;
Greg Clayton960d6a42010-08-03 00:35:52 +00001899
1900 default:
1901 break;
1902 }
1903 break;
Greg Claytonc3b61d22010-12-15 05:08:08 +00001904
1905 case clang::Type::Complex:
1906 return 2;
1907
Greg Clayton1674b122010-07-21 22:12:05 +00001908 case clang::Type::Record:
Greg Clayton53d287b2010-11-11 02:14:53 +00001909 if (ClangASTType::IsDefined (clang_qual_type))
Chris Lattner24943d22010-06-08 16:52:24 +00001910 {
1911 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
1912 const RecordDecl *record_decl = record_type->getDecl();
1913 assert(record_decl);
1914 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1915 if (cxx_record_decl)
1916 {
1917 if (omit_empty_base_classes)
1918 {
1919 // Check each base classes to see if it or any of its
1920 // base classes contain any fields. This can help
1921 // limit the noise in variable views by not having to
1922 // show base classes that contain no members.
1923 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1924 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1925 base_class != base_class_end;
1926 ++base_class)
1927 {
1928 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1929
1930 // Skip empty base classes
1931 if (RecordHasFields(base_class_decl) == false)
1932 continue;
1933
1934 num_children++;
1935 }
1936 }
1937 else
1938 {
1939 // Include all base classes
1940 num_children += cxx_record_decl->getNumBases();
1941 }
1942
1943 }
1944 RecordDecl::field_iterator field, field_end;
1945 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field)
1946 ++num_children;
1947 }
1948 break;
1949
Greg Clayton9488b742010-07-28 02:04:09 +00001950 case clang::Type::ObjCObject:
1951 case clang::Type::ObjCInterface:
1952 {
1953 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
1954 assert (objc_class_type);
1955 if (objc_class_type)
1956 {
1957 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1958
1959 if (class_interface_decl)
1960 {
1961
1962 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
1963 if (superclass_interface_decl)
1964 {
1965 if (omit_empty_base_classes)
1966 {
1967 if (ClangASTContext::ObjCDeclHasIVars (superclass_interface_decl, true))
1968 ++num_children;
1969 }
1970 else
1971 ++num_children;
1972 }
1973
1974 num_children += class_interface_decl->ivar_size();
1975 }
1976 }
1977 }
1978 break;
1979
1980 case clang::Type::ObjCObjectPointer:
Greg Clayton960d6a42010-08-03 00:35:52 +00001981 {
1982 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(qual_type.getTypePtr());
1983 QualType pointee_type = pointer_type->getPointeeType();
1984 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1985 omit_empty_base_classes);
1986 // If this type points to a simple type, then it has 1 child
1987 if (num_pointee_children == 0)
1988 num_children = 1;
1989 else
1990 num_children = num_pointee_children;
1991 }
1992 break;
Greg Clayton9488b742010-07-28 02:04:09 +00001993
Greg Clayton1674b122010-07-21 22:12:05 +00001994 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00001995 num_children = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
1996 break;
1997
Greg Clayton1674b122010-07-21 22:12:05 +00001998 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00001999 {
2000 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
Greg Claytonc3b61d22010-12-15 05:08:08 +00002001 QualType pointee_type (pointer_type->getPointeeType());
Greg Clayton9488b742010-07-28 02:04:09 +00002002 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
2003 omit_empty_base_classes);
Chris Lattner24943d22010-06-08 16:52:24 +00002004 if (num_pointee_children == 0)
Greg Claytonc3b61d22010-12-15 05:08:08 +00002005 {
2006 // We have a pointer to a pointee type that claims it has no children.
2007 // We will want to look at
2008 num_children = ClangASTContext::GetNumPointeeChildren (pointee_type.getAsOpaquePtr());
2009 }
Chris Lattner24943d22010-06-08 16:52:24 +00002010 else
2011 num_children = num_pointee_children;
2012 }
2013 break;
2014
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00002015 case clang::Type::LValueReference:
2016 case clang::Type::RValueReference:
2017 {
2018 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2019 QualType pointee_type = reference_type->getPointeeType();
2020 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
2021 omit_empty_base_classes);
2022 // If this type points to a simple type, then it has 1 child
2023 if (num_pointee_children == 0)
2024 num_children = 1;
2025 else
2026 num_children = num_pointee_children;
2027 }
2028 break;
2029
2030
Greg Clayton1674b122010-07-21 22:12:05 +00002031 case clang::Type::Typedef:
Sean Callanan9e7958e2010-12-13 01:26:27 +00002032 num_children = ClangASTContext::GetNumChildren (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(), omit_empty_base_classes);
Chris Lattner24943d22010-06-08 16:52:24 +00002033 break;
2034
2035 default:
2036 break;
2037 }
2038 return num_children;
2039}
2040
Greg Claytonc3b61d22010-12-15 05:08:08 +00002041// If a pointer to a pointee type (the clang_type arg) says that it has no
2042// children, then we either need to trust it, or override it and return a
2043// different result. For example, an "int *" has one child that is an integer,
2044// but a function pointer doesn't have any children. Likewise if a Record type
2045// claims it has no children, then there really is nothing to show.
2046uint32_t
2047ClangASTContext::GetNumPointeeChildren (clang_type_t clang_type)
2048{
2049 if (clang_type == NULL)
2050 return 0;
2051
2052 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
2053 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2054 switch (type_class)
2055 {
2056 case clang::Type::Builtin: return 1;
2057 case clang::Type::Complex: return 2;
2058 case clang::Type::Pointer: return 1;
2059 case clang::Type::BlockPointer: return 0; // If block pointers don't have debug info, then no children for them
2060 case clang::Type::LValueReference: return 1;
2061 case clang::Type::RValueReference: return 1;
2062 case clang::Type::MemberPointer: return 0;
2063 case clang::Type::ConstantArray: return 0;
2064 case clang::Type::IncompleteArray: return 0;
2065 case clang::Type::VariableArray: return 0;
2066 case clang::Type::DependentSizedArray: return 0;
2067 case clang::Type::DependentSizedExtVector: return 0;
2068 case clang::Type::Vector: return 0;
2069 case clang::Type::ExtVector: return 0;
2070 case clang::Type::FunctionProto: return 0; // When we function pointers, they have no children...
2071 case clang::Type::FunctionNoProto: return 0; // When we function pointers, they have no children...
2072 case clang::Type::UnresolvedUsing: return 0;
2073 case clang::Type::Paren: return 0;
2074 case clang::Type::Typedef: return ClangASTContext::GetNumPointeeChildren (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
2075 case clang::Type::TypeOfExpr: return 0;
2076 case clang::Type::TypeOf: return 0;
2077 case clang::Type::Decltype: return 0;
2078 case clang::Type::Record: return 0;
2079 case clang::Type::Enum: return 1;
2080 case clang::Type::Elaborated: return 1;
2081 case clang::Type::TemplateTypeParm: return 1;
2082 case clang::Type::SubstTemplateTypeParm: return 1;
2083 case clang::Type::TemplateSpecialization: return 1;
2084 case clang::Type::InjectedClassName: return 0;
2085 case clang::Type::DependentName: return 1;
2086 case clang::Type::DependentTemplateSpecialization: return 1;
2087 case clang::Type::ObjCObject: return 0;
2088 case clang::Type::ObjCInterface: return 0;
2089 case clang::Type::ObjCObjectPointer: return 1;
2090 default:
2091 break;
2092 }
2093 return 0;
2094}
Chris Lattner24943d22010-06-08 16:52:24 +00002095
Greg Clayton462d4142010-09-29 01:12:09 +00002096clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00002097ClangASTContext::GetChildClangTypeAtIndex
2098(
2099 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00002100 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002101 uint32_t idx,
2102 bool transparent_pointers,
2103 bool omit_empty_base_classes,
2104 std::string& child_name,
2105 uint32_t &child_byte_size,
2106 int32_t &child_byte_offset,
2107 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002108 uint32_t &child_bitfield_bit_offset,
2109 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00002110)
2111{
2112 if (parent_clang_type)
2113
2114 return GetChildClangTypeAtIndex (getASTContext(),
2115 parent_name,
2116 parent_clang_type,
2117 idx,
2118 transparent_pointers,
2119 omit_empty_base_classes,
2120 child_name,
2121 child_byte_size,
2122 child_byte_offset,
2123 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002124 child_bitfield_bit_offset,
2125 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002126 return NULL;
2127}
2128
Greg Clayton462d4142010-09-29 01:12:09 +00002129clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00002130ClangASTContext::GetChildClangTypeAtIndex
2131(
2132 ASTContext *ast_context,
2133 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00002134 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002135 uint32_t idx,
2136 bool transparent_pointers,
2137 bool omit_empty_base_classes,
2138 std::string& child_name,
2139 uint32_t &child_byte_size,
2140 int32_t &child_byte_offset,
2141 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002142 uint32_t &child_bitfield_bit_offset,
2143 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00002144)
2145{
2146 if (parent_clang_type == NULL)
2147 return NULL;
2148
2149 if (idx < ClangASTContext::GetNumChildren (parent_clang_type, omit_empty_base_classes))
2150 {
2151 uint32_t bit_offset;
2152 child_bitfield_bit_size = 0;
2153 child_bitfield_bit_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002154 child_is_base_class = false;
Chris Lattner24943d22010-06-08 16:52:24 +00002155 QualType parent_qual_type(QualType::getFromOpaquePtr(parent_clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002156 const clang::Type::TypeClass parent_type_class = parent_qual_type->getTypeClass();
2157 switch (parent_type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002158 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002159 case clang::Type::Builtin:
2160 switch (cast<clang::BuiltinType>(parent_qual_type)->getKind())
2161 {
2162 case clang::BuiltinType::ObjCId:
2163 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00002164 child_name = "isa";
2165 child_byte_size = ast_context->getTypeSize(ast_context->ObjCBuiltinClassTy) / CHAR_BIT;
Greg Clayton960d6a42010-08-03 00:35:52 +00002166 return ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
2167
Greg Clayton960d6a42010-08-03 00:35:52 +00002168 default:
2169 break;
2170 }
2171 break;
2172
2173
Greg Clayton1674b122010-07-21 22:12:05 +00002174 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002175 {
2176 const RecordType *record_type = cast<RecordType>(parent_qual_type.getTypePtr());
2177 const RecordDecl *record_decl = record_type->getDecl();
2178 assert(record_decl);
2179 const ASTRecordLayout &record_layout = ast_context->getASTRecordLayout(record_decl);
2180 uint32_t child_idx = 0;
2181
2182 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2183 if (cxx_record_decl)
2184 {
2185 // We might have base classes to print out first
2186 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2187 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2188 base_class != base_class_end;
2189 ++base_class)
2190 {
2191 const CXXRecordDecl *base_class_decl = NULL;
2192
2193 // Skip empty base classes
2194 if (omit_empty_base_classes)
2195 {
2196 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2197 if (RecordHasFields(base_class_decl) == false)
2198 continue;
2199 }
2200
2201 if (idx == child_idx)
2202 {
2203 if (base_class_decl == NULL)
2204 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2205
2206
2207 if (base_class->isVirtual())
Sean Callanan8a3b0a82010-11-18 02:56:27 +00002208 bit_offset = record_layout.getVBaseClassOffset(base_class_decl).getQuantity();
Chris Lattner24943d22010-06-08 16:52:24 +00002209 else
Sean Callanan8a3b0a82010-11-18 02:56:27 +00002210 bit_offset = record_layout.getBaseClassOffset(base_class_decl).getQuantity();
Chris Lattner24943d22010-06-08 16:52:24 +00002211
2212 // Base classes should be a multiple of 8 bits in size
2213 assert (bit_offset % 8 == 0);
2214 child_byte_offset = bit_offset/8;
2215 std::string base_class_type_name(base_class->getType().getAsString());
2216
2217 child_name.assign(base_class_type_name.c_str());
2218
2219 uint64_t clang_type_info_bit_size = ast_context->getTypeSize(base_class->getType());
2220
2221 // Base classes biut sizes should be a multiple of 8 bits in size
2222 assert (clang_type_info_bit_size % 8 == 0);
2223 child_byte_size = clang_type_info_bit_size / 8;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002224 child_is_base_class = true;
Chris Lattner24943d22010-06-08 16:52:24 +00002225 return base_class->getType().getAsOpaquePtr();
2226 }
2227 // We don't increment the child index in the for loop since we might
2228 // be skipping empty base classes
2229 ++child_idx;
2230 }
2231 }
Chris Lattner24943d22010-06-08 16:52:24 +00002232 // Make sure index is in range...
2233 uint32_t field_idx = 0;
2234 RecordDecl::field_iterator field, field_end;
2235 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field, ++field_idx, ++child_idx)
2236 {
2237 if (idx == child_idx)
2238 {
2239 // Print the member type if requested
2240 // Print the member name and equal sign
2241 child_name.assign(field->getNameAsString().c_str());
2242
2243 // Figure out the type byte size (field_type_info.first) and
2244 // alignment (field_type_info.second) from the AST context.
2245 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(field->getType());
Greg Clayton54e7afa2010-07-09 20:39:50 +00002246 assert(field_idx < record_layout.getFieldCount());
Chris Lattner24943d22010-06-08 16:52:24 +00002247
2248 child_byte_size = field_type_info.first / 8;
2249
2250 // Figure out the field offset within the current struct/union/class type
2251 bit_offset = record_layout.getFieldOffset (field_idx);
2252 child_byte_offset = bit_offset / 8;
2253 if (ClangASTContext::FieldIsBitfield (ast_context, *field, child_bitfield_bit_size))
2254 child_bitfield_bit_offset = bit_offset % 8;
2255
2256 return field->getType().getAsOpaquePtr();
2257 }
2258 }
2259 }
2260 break;
2261
Greg Clayton9488b742010-07-28 02:04:09 +00002262 case clang::Type::ObjCObject:
2263 case clang::Type::ObjCInterface:
2264 {
2265 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(parent_qual_type.getTypePtr());
2266 assert (objc_class_type);
2267 if (objc_class_type)
2268 {
2269 uint32_t child_idx = 0;
2270 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2271
2272 if (class_interface_decl)
2273 {
2274
2275 const ASTRecordLayout &interface_layout = ast_context->getASTObjCInterfaceLayout(class_interface_decl);
2276 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2277 if (superclass_interface_decl)
2278 {
2279 if (omit_empty_base_classes)
2280 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002281 if (ClangASTContext::GetNumChildren(ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(), omit_empty_base_classes) > 0)
Greg Clayton9488b742010-07-28 02:04:09 +00002282 {
2283 if (idx == 0)
2284 {
2285 QualType ivar_qual_type(ast_context->getObjCInterfaceType(superclass_interface_decl));
2286
2287
2288 child_name.assign(superclass_interface_decl->getNameAsString().c_str());
2289
2290 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2291
2292 child_byte_size = ivar_type_info.first / 8;
Greg Clayton960d6a42010-08-03 00:35:52 +00002293 child_byte_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002294 child_is_base_class = true;
Greg Clayton9488b742010-07-28 02:04:09 +00002295
2296 return ivar_qual_type.getAsOpaquePtr();
2297 }
2298
2299 ++child_idx;
2300 }
2301 }
2302 else
2303 ++child_idx;
2304 }
Greg Clayton960d6a42010-08-03 00:35:52 +00002305
2306 const uint32_t superclass_idx = child_idx;
Greg Clayton9488b742010-07-28 02:04:09 +00002307
2308 if (idx < (child_idx + class_interface_decl->ivar_size()))
2309 {
2310 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2311
2312 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2313 {
2314 if (child_idx == idx)
2315 {
2316 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2317
2318 QualType ivar_qual_type(ivar_decl->getType());
2319
2320 child_name.assign(ivar_decl->getNameAsString().c_str());
2321
2322 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2323
2324 child_byte_size = ivar_type_info.first / 8;
2325
2326 // Figure out the field offset within the current struct/union/class type
Greg Clayton960d6a42010-08-03 00:35:52 +00002327 bit_offset = interface_layout.getFieldOffset (child_idx - superclass_idx);
Greg Clayton9488b742010-07-28 02:04:09 +00002328 child_byte_offset = bit_offset / 8;
2329
2330 return ivar_qual_type.getAsOpaquePtr();
2331 }
2332 ++child_idx;
2333 }
2334 }
2335 }
2336 }
2337 }
2338 break;
2339
2340 case clang::Type::ObjCObjectPointer:
2341 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002342 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(parent_qual_type.getTypePtr());
2343 QualType pointee_type = pointer_type->getPointeeType();
2344
2345 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2346 {
2347 return GetChildClangTypeAtIndex (ast_context,
2348 parent_name,
2349 pointer_type->getPointeeType().getAsOpaquePtr(),
2350 idx,
2351 transparent_pointers,
2352 omit_empty_base_classes,
2353 child_name,
2354 child_byte_size,
2355 child_byte_offset,
2356 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002357 child_bitfield_bit_offset,
2358 child_is_base_class);
Greg Clayton960d6a42010-08-03 00:35:52 +00002359 }
2360 else
2361 {
2362 if (parent_name)
2363 {
2364 child_name.assign(1, '*');
2365 child_name += parent_name;
2366 }
2367
2368 // We have a pointer to an simple type
2369 if (idx == 0)
2370 {
2371 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2372 assert(clang_type_info.first % 8 == 0);
2373 child_byte_size = clang_type_info.first / 8;
2374 child_byte_offset = 0;
2375 return pointee_type.getAsOpaquePtr();
2376 }
2377 }
Greg Clayton9488b742010-07-28 02:04:09 +00002378 }
2379 break;
2380
Greg Clayton1674b122010-07-21 22:12:05 +00002381 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002382 {
2383 const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2384 const uint64_t element_count = array->getSize().getLimitedValue();
2385
2386 if (idx < element_count)
2387 {
2388 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2389
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002390 char element_name[64];
2391 ::snprintf (element_name, sizeof (element_name), "[%u]", idx);
Chris Lattner24943d22010-06-08 16:52:24 +00002392
2393 child_name.assign(element_name);
2394 assert(field_type_info.first % 8 == 0);
2395 child_byte_size = field_type_info.first / 8;
2396 child_byte_offset = idx * child_byte_size;
2397 return array->getElementType().getAsOpaquePtr();
2398 }
2399 }
2400 break;
2401
Greg Clayton1674b122010-07-21 22:12:05 +00002402 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002403 {
2404 PointerType *pointer_type = cast<PointerType>(parent_qual_type.getTypePtr());
2405 QualType pointee_type = pointer_type->getPointeeType();
2406
2407 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2408 {
2409 return GetChildClangTypeAtIndex (ast_context,
2410 parent_name,
2411 pointer_type->getPointeeType().getAsOpaquePtr(),
2412 idx,
2413 transparent_pointers,
2414 omit_empty_base_classes,
2415 child_name,
2416 child_byte_size,
2417 child_byte_offset,
2418 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002419 child_bitfield_bit_offset,
2420 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002421 }
2422 else
2423 {
2424 if (parent_name)
2425 {
2426 child_name.assign(1, '*');
2427 child_name += parent_name;
2428 }
2429
2430 // We have a pointer to an simple type
2431 if (idx == 0)
2432 {
2433 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2434 assert(clang_type_info.first % 8 == 0);
2435 child_byte_size = clang_type_info.first / 8;
2436 child_byte_offset = 0;
2437 return pointee_type.getAsOpaquePtr();
2438 }
2439 }
2440 }
2441 break;
2442
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00002443 case clang::Type::LValueReference:
2444 case clang::Type::RValueReference:
2445 {
2446 ReferenceType *reference_type = cast<ReferenceType>(parent_qual_type.getTypePtr());
2447 QualType pointee_type(reference_type->getPointeeType());
2448 clang_type_t pointee_clang_type = pointee_type.getAsOpaquePtr();
2449 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_clang_type))
2450 {
2451 return GetChildClangTypeAtIndex (ast_context,
2452 parent_name,
2453 pointee_clang_type,
2454 idx,
2455 transparent_pointers,
2456 omit_empty_base_classes,
2457 child_name,
2458 child_byte_size,
2459 child_byte_offset,
2460 child_bitfield_bit_size,
2461 child_bitfield_bit_offset,
2462 child_is_base_class);
2463 }
2464 else
2465 {
2466 if (parent_name)
2467 {
2468 child_name.assign(1, '&');
2469 child_name += parent_name;
2470 }
2471
2472 // We have a pointer to an simple type
2473 if (idx == 0)
2474 {
2475 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2476 assert(clang_type_info.first % 8 == 0);
2477 child_byte_size = clang_type_info.first / 8;
2478 child_byte_offset = 0;
2479 return pointee_type.getAsOpaquePtr();
2480 }
2481 }
2482 }
2483 break;
2484
Greg Clayton1674b122010-07-21 22:12:05 +00002485 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002486 return GetChildClangTypeAtIndex (ast_context,
2487 parent_name,
Sean Callanan9e7958e2010-12-13 01:26:27 +00002488 cast<TypedefType>(parent_qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Chris Lattner24943d22010-06-08 16:52:24 +00002489 idx,
2490 transparent_pointers,
2491 omit_empty_base_classes,
2492 child_name,
2493 child_byte_size,
2494 child_byte_offset,
2495 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002496 child_bitfield_bit_offset,
2497 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002498 break;
2499
2500 default:
2501 break;
2502 }
2503 }
Greg Claytonf8e98a62010-07-23 15:37:46 +00002504 return NULL;
Chris Lattner24943d22010-06-08 16:52:24 +00002505}
2506
2507static inline bool
2508BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
2509{
2510 return ClangASTContext::RecordHasFields(cast<CXXRecordDecl>(b->getType()->getAs<RecordType>()->getDecl())) == false;
2511}
2512
2513static uint32_t
2514GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
2515{
2516 uint32_t num_bases = 0;
2517 if (cxx_record_decl)
2518 {
2519 if (omit_empty_base_classes)
2520 {
2521 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2522 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2523 base_class != base_class_end;
2524 ++base_class)
2525 {
2526 // Skip empty base classes
2527 if (omit_empty_base_classes)
2528 {
2529 if (BaseSpecifierIsEmpty (base_class))
2530 continue;
2531 }
2532 ++num_bases;
2533 }
2534 }
2535 else
2536 num_bases = cxx_record_decl->getNumBases();
2537 }
2538 return num_bases;
2539}
2540
2541
2542static uint32_t
2543GetIndexForRecordBase
2544(
2545 const RecordDecl *record_decl,
2546 const CXXBaseSpecifier *base_spec,
2547 bool omit_empty_base_classes
2548)
2549{
2550 uint32_t child_idx = 0;
2551
2552 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2553
2554// const char *super_name = record_decl->getNameAsCString();
2555// const char *base_name = base_spec->getType()->getAs<RecordType>()->getDecl()->getNameAsCString();
2556// printf ("GetIndexForRecordChild (%s, %s)\n", super_name, base_name);
2557//
2558 if (cxx_record_decl)
2559 {
2560 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2561 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2562 base_class != base_class_end;
2563 ++base_class)
2564 {
2565 if (omit_empty_base_classes)
2566 {
2567 if (BaseSpecifierIsEmpty (base_class))
2568 continue;
2569 }
2570
2571// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n", super_name, base_name,
2572// child_idx,
2573// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2574//
2575//
2576 if (base_class == base_spec)
2577 return child_idx;
2578 ++child_idx;
2579 }
2580 }
2581
2582 return UINT32_MAX;
2583}
2584
2585
2586static uint32_t
2587GetIndexForRecordChild
2588(
2589 const RecordDecl *record_decl,
2590 NamedDecl *canonical_decl,
2591 bool omit_empty_base_classes
2592)
2593{
2594 uint32_t child_idx = GetNumBaseClasses (dyn_cast<CXXRecordDecl>(record_decl), omit_empty_base_classes);
2595
2596// const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2597//
2598//// printf ("GetIndexForRecordChild (%s, %s)\n", record_decl->getNameAsCString(), canonical_decl->getNameAsCString());
2599// if (cxx_record_decl)
2600// {
2601// CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2602// for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2603// base_class != base_class_end;
2604// ++base_class)
2605// {
2606// if (omit_empty_base_classes)
2607// {
2608// if (BaseSpecifierIsEmpty (base_class))
2609// continue;
2610// }
2611//
2612//// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n",
2613//// record_decl->getNameAsCString(),
2614//// canonical_decl->getNameAsCString(),
2615//// child_idx,
2616//// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2617//
2618//
2619// CXXRecordDecl *curr_base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2620// if (curr_base_class_decl == canonical_decl)
2621// {
2622// return child_idx;
2623// }
2624// ++child_idx;
2625// }
2626// }
2627//
2628// const uint32_t num_bases = child_idx;
2629 RecordDecl::field_iterator field, field_end;
2630 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2631 field != field_end;
2632 ++field, ++child_idx)
2633 {
2634// printf ("GetIndexForRecordChild (%s, %s) field[%u] = %s\n",
2635// record_decl->getNameAsCString(),
2636// canonical_decl->getNameAsCString(),
2637// child_idx - num_bases,
2638// field->getNameAsCString());
2639
2640 if (field->getCanonicalDecl() == canonical_decl)
2641 return child_idx;
2642 }
2643
2644 return UINT32_MAX;
2645}
2646
2647// Look for a child member (doesn't include base classes, but it does include
2648// their members) in the type hierarchy. Returns an index path into "clang_type"
2649// on how to reach the appropriate member.
2650//
2651// class A
2652// {
2653// public:
2654// int m_a;
2655// int m_b;
2656// };
2657//
2658// class B
2659// {
2660// };
2661//
2662// class C :
2663// public B,
2664// public A
2665// {
2666// };
2667//
2668// If we have a clang type that describes "class C", and we wanted to looked
2669// "m_b" in it:
2670//
2671// With omit_empty_base_classes == false we would get an integer array back with:
2672// { 1, 1 }
2673// The first index 1 is the child index for "class A" within class C
2674// The second index 1 is the child index for "m_b" within class A
2675//
2676// With omit_empty_base_classes == true we would get an integer array back with:
2677// { 0, 1 }
2678// The first index 0 is the child index for "class A" within class C (since class B doesn't have any members it doesn't count)
2679// The second index 1 is the child index for "m_b" within class A
2680
2681size_t
2682ClangASTContext::GetIndexOfChildMemberWithName
2683(
2684 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002685 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002686 const char *name,
2687 bool omit_empty_base_classes,
2688 std::vector<uint32_t>& child_indexes
2689)
2690{
2691 if (clang_type && name && name[0])
2692 {
2693 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002694 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2695 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002696 {
Greg Clayton1674b122010-07-21 22:12:05 +00002697 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002698 {
2699 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2700 const RecordDecl *record_decl = record_type->getDecl();
2701
2702 assert(record_decl);
2703 uint32_t child_idx = 0;
2704
2705 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2706
2707 // Try and find a field that matches NAME
2708 RecordDecl::field_iterator field, field_end;
2709 StringRef name_sref(name);
2710 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2711 field != field_end;
2712 ++field, ++child_idx)
2713 {
2714 if (field->getName().equals (name_sref))
2715 {
2716 // We have to add on the number of base classes to this index!
2717 child_indexes.push_back (child_idx + GetNumBaseClasses (cxx_record_decl, omit_empty_base_classes));
2718 return child_indexes.size();
2719 }
2720 }
2721
2722 if (cxx_record_decl)
2723 {
2724 const RecordDecl *parent_record_decl = cxx_record_decl;
2725
2726 //printf ("parent = %s\n", parent_record_decl->getNameAsCString());
2727
2728 //const Decl *root_cdecl = cxx_record_decl->getCanonicalDecl();
2729 // Didn't find things easily, lets let clang do its thang...
2730 IdentifierInfo & ident_ref = ast_context->Idents.get(name, name + strlen (name));
2731 DeclarationName decl_name(&ident_ref);
2732
2733 CXXBasePaths paths;
2734 if (cxx_record_decl->lookupInBases(CXXRecordDecl::FindOrdinaryMember,
2735 decl_name.getAsOpaquePtr(),
2736 paths))
2737 {
Chris Lattner24943d22010-06-08 16:52:24 +00002738 CXXBasePaths::const_paths_iterator path, path_end = paths.end();
2739 for (path = paths.begin(); path != path_end; ++path)
2740 {
2741 const size_t num_path_elements = path->size();
2742 for (size_t e=0; e<num_path_elements; ++e)
2743 {
2744 CXXBasePathElement elem = (*path)[e];
2745
2746 child_idx = GetIndexForRecordBase (parent_record_decl, elem.Base, omit_empty_base_classes);
2747 if (child_idx == UINT32_MAX)
2748 {
2749 child_indexes.clear();
2750 return 0;
2751 }
2752 else
2753 {
2754 child_indexes.push_back (child_idx);
2755 parent_record_decl = cast<RecordDecl>(elem.Base->getType()->getAs<RecordType>()->getDecl());
2756 }
2757 }
2758 DeclContext::lookup_iterator named_decl_pos;
2759 for (named_decl_pos = path->Decls.first;
2760 named_decl_pos != path->Decls.second && parent_record_decl;
2761 ++named_decl_pos)
2762 {
2763 //printf ("path[%zu] = %s\n", child_indexes.size(), (*named_decl_pos)->getNameAsCString());
2764
2765 child_idx = GetIndexForRecordChild (parent_record_decl, *named_decl_pos, omit_empty_base_classes);
2766 if (child_idx == UINT32_MAX)
2767 {
2768 child_indexes.clear();
2769 return 0;
2770 }
2771 else
2772 {
2773 child_indexes.push_back (child_idx);
2774 }
2775 }
2776 }
2777 return child_indexes.size();
2778 }
2779 }
2780
2781 }
2782 break;
2783
Greg Clayton9488b742010-07-28 02:04:09 +00002784 case clang::Type::ObjCObject:
2785 case clang::Type::ObjCInterface:
2786 {
2787 StringRef name_sref(name);
2788 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2789 assert (objc_class_type);
2790 if (objc_class_type)
2791 {
2792 uint32_t child_idx = 0;
2793 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2794
2795 if (class_interface_decl)
2796 {
2797 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2798 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2799
Greg Clayton823533e2010-09-18 02:11:07 +00002800 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos, ++child_idx)
Greg Clayton9488b742010-07-28 02:04:09 +00002801 {
2802 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2803
2804 if (ivar_decl->getName().equals (name_sref))
2805 {
2806 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2807 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2808 ++child_idx;
2809
2810 child_indexes.push_back (child_idx);
2811 return child_indexes.size();
2812 }
2813 }
2814
2815 if (superclass_interface_decl)
2816 {
2817 // The super class index is always zero for ObjC classes,
2818 // so we push it onto the child indexes in case we find
2819 // an ivar in our superclass...
2820 child_indexes.push_back (0);
2821
2822 if (GetIndexOfChildMemberWithName (ast_context,
2823 ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(),
2824 name,
2825 omit_empty_base_classes,
2826 child_indexes))
2827 {
2828 // We did find an ivar in a superclass so just
2829 // return the results!
2830 return child_indexes.size();
2831 }
2832
2833 // We didn't find an ivar matching "name" in our
2834 // superclass, pop the superclass zero index that
2835 // we pushed on above.
2836 child_indexes.pop_back();
2837 }
2838 }
2839 }
2840 }
2841 break;
2842
2843 case clang::Type::ObjCObjectPointer:
2844 {
2845 return GetIndexOfChildMemberWithName (ast_context,
2846 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2847 name,
2848 omit_empty_base_classes,
2849 child_indexes);
2850 }
2851 break;
2852
2853
Greg Clayton1674b122010-07-21 22:12:05 +00002854 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002855 {
2856// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2857// const uint64_t element_count = array->getSize().getLimitedValue();
2858//
2859// if (idx < element_count)
2860// {
2861// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2862//
2863// char element_name[32];
2864// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2865//
2866// child_name.assign(element_name);
2867// assert(field_type_info.first % 8 == 0);
2868// child_byte_size = field_type_info.first / 8;
2869// child_byte_offset = idx * child_byte_size;
2870// return array->getElementType().getAsOpaquePtr();
2871// }
2872 }
2873 break;
2874
Greg Clayton1674b122010-07-21 22:12:05 +00002875// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002876// {
2877// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2878// QualType pointee_type = mem_ptr_type->getPointeeType();
2879//
2880// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2881// {
2882// return GetIndexOfChildWithName (ast_context,
2883// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2884// name);
2885// }
2886// }
2887// break;
2888//
Greg Clayton1674b122010-07-21 22:12:05 +00002889 case clang::Type::LValueReference:
2890 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002891 {
2892 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2893 QualType pointee_type = reference_type->getPointeeType();
2894
2895 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2896 {
2897 return GetIndexOfChildMemberWithName (ast_context,
2898 reference_type->getPointeeType().getAsOpaquePtr(),
2899 name,
2900 omit_empty_base_classes,
2901 child_indexes);
2902 }
2903 }
2904 break;
2905
Greg Clayton1674b122010-07-21 22:12:05 +00002906 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002907 {
2908 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
2909 QualType pointee_type = pointer_type->getPointeeType();
2910
2911 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2912 {
2913 return GetIndexOfChildMemberWithName (ast_context,
2914 pointer_type->getPointeeType().getAsOpaquePtr(),
2915 name,
2916 omit_empty_base_classes,
2917 child_indexes);
2918 }
2919 else
2920 {
2921// if (parent_name)
2922// {
2923// child_name.assign(1, '*');
2924// child_name += parent_name;
2925// }
2926//
2927// // We have a pointer to an simple type
2928// if (idx == 0)
2929// {
2930// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2931// assert(clang_type_info.first % 8 == 0);
2932// child_byte_size = clang_type_info.first / 8;
2933// child_byte_offset = 0;
2934// return pointee_type.getAsOpaquePtr();
2935// }
2936 }
2937 }
2938 break;
2939
Greg Clayton1674b122010-07-21 22:12:05 +00002940 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002941 return GetIndexOfChildMemberWithName (ast_context,
Sean Callanan9e7958e2010-12-13 01:26:27 +00002942 cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Chris Lattner24943d22010-06-08 16:52:24 +00002943 name,
2944 omit_empty_base_classes,
2945 child_indexes);
2946
2947 default:
2948 break;
2949 }
2950 }
2951 return 0;
2952}
2953
2954
2955// Get the index of the child of "clang_type" whose name matches. This function
2956// doesn't descend into the children, but only looks one level deep and name
2957// matches can include base class names.
2958
2959uint32_t
2960ClangASTContext::GetIndexOfChildWithName
2961(
2962 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002963 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002964 const char *name,
2965 bool omit_empty_base_classes
2966)
2967{
2968 if (clang_type && name && name[0])
2969 {
2970 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton9488b742010-07-28 02:04:09 +00002971
Greg Clayton03e0f972010-09-13 03:32:57 +00002972 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
Greg Clayton9488b742010-07-28 02:04:09 +00002973
Greg Clayton03e0f972010-09-13 03:32:57 +00002974 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002975 {
Greg Clayton1674b122010-07-21 22:12:05 +00002976 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002977 {
2978 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2979 const RecordDecl *record_decl = record_type->getDecl();
2980
2981 assert(record_decl);
2982 uint32_t child_idx = 0;
2983
2984 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2985
2986 if (cxx_record_decl)
2987 {
2988 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2989 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2990 base_class != base_class_end;
2991 ++base_class)
2992 {
2993 // Skip empty base classes
2994 CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2995 if (omit_empty_base_classes && RecordHasFields(base_class_decl) == false)
2996 continue;
2997
2998 if (base_class->getType().getAsString().compare (name) == 0)
2999 return child_idx;
3000 ++child_idx;
3001 }
3002 }
3003
3004 // Try and find a field that matches NAME
3005 RecordDecl::field_iterator field, field_end;
3006 StringRef name_sref(name);
3007 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
3008 field != field_end;
3009 ++field, ++child_idx)
3010 {
3011 if (field->getName().equals (name_sref))
3012 return child_idx;
3013 }
3014
3015 }
3016 break;
3017
Greg Clayton9488b742010-07-28 02:04:09 +00003018 case clang::Type::ObjCObject:
3019 case clang::Type::ObjCInterface:
3020 {
3021 StringRef name_sref(name);
3022 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
3023 assert (objc_class_type);
3024 if (objc_class_type)
3025 {
3026 uint32_t child_idx = 0;
3027 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3028
3029 if (class_interface_decl)
3030 {
3031 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
3032 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
3033
3034 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
3035 {
3036 const ObjCIvarDecl* ivar_decl = *ivar_pos;
3037
3038 if (ivar_decl->getName().equals (name_sref))
3039 {
3040 if ((!omit_empty_base_classes && superclass_interface_decl) ||
3041 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
3042 ++child_idx;
3043
3044 return child_idx;
3045 }
3046 }
3047
3048 if (superclass_interface_decl)
3049 {
3050 if (superclass_interface_decl->getName().equals (name_sref))
3051 return 0;
3052 }
3053 }
3054 }
3055 }
3056 break;
3057
3058 case clang::Type::ObjCObjectPointer:
3059 {
3060 return GetIndexOfChildWithName (ast_context,
3061 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
3062 name,
3063 omit_empty_base_classes);
3064 }
3065 break;
3066
Greg Clayton1674b122010-07-21 22:12:05 +00003067 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003068 {
3069// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
3070// const uint64_t element_count = array->getSize().getLimitedValue();
3071//
3072// if (idx < element_count)
3073// {
3074// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
3075//
3076// char element_name[32];
3077// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
3078//
3079// child_name.assign(element_name);
3080// assert(field_type_info.first % 8 == 0);
3081// child_byte_size = field_type_info.first / 8;
3082// child_byte_offset = idx * child_byte_size;
3083// return array->getElementType().getAsOpaquePtr();
3084// }
3085 }
3086 break;
3087
Greg Clayton1674b122010-07-21 22:12:05 +00003088// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00003089// {
3090// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
3091// QualType pointee_type = mem_ptr_type->getPointeeType();
3092//
3093// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3094// {
3095// return GetIndexOfChildWithName (ast_context,
3096// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
3097// name);
3098// }
3099// }
3100// break;
3101//
Greg Clayton1674b122010-07-21 22:12:05 +00003102 case clang::Type::LValueReference:
3103 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003104 {
3105 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
3106 QualType pointee_type = reference_type->getPointeeType();
3107
3108 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3109 {
3110 return GetIndexOfChildWithName (ast_context,
3111 reference_type->getPointeeType().getAsOpaquePtr(),
3112 name,
3113 omit_empty_base_classes);
3114 }
3115 }
3116 break;
3117
Greg Clayton1674b122010-07-21 22:12:05 +00003118 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003119 {
3120 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
3121 QualType pointee_type = pointer_type->getPointeeType();
3122
3123 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3124 {
3125 return GetIndexOfChildWithName (ast_context,
3126 pointer_type->getPointeeType().getAsOpaquePtr(),
3127 name,
3128 omit_empty_base_classes);
3129 }
3130 else
3131 {
3132// if (parent_name)
3133// {
3134// child_name.assign(1, '*');
3135// child_name += parent_name;
3136// }
3137//
3138// // We have a pointer to an simple type
3139// if (idx == 0)
3140// {
3141// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
3142// assert(clang_type_info.first % 8 == 0);
3143// child_byte_size = clang_type_info.first / 8;
3144// child_byte_offset = 0;
3145// return pointee_type.getAsOpaquePtr();
3146// }
3147 }
3148 }
3149 break;
3150
Greg Clayton1674b122010-07-21 22:12:05 +00003151 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003152 return GetIndexOfChildWithName (ast_context,
Sean Callanan9e7958e2010-12-13 01:26:27 +00003153 cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Chris Lattner24943d22010-06-08 16:52:24 +00003154 name,
3155 omit_empty_base_classes);
3156
3157 default:
3158 break;
3159 }
3160 }
3161 return UINT32_MAX;
3162}
3163
3164#pragma mark TagType
3165
3166bool
Greg Clayton462d4142010-09-29 01:12:09 +00003167ClangASTContext::SetTagTypeKind (clang_type_t tag_clang_type, int kind)
Chris Lattner24943d22010-06-08 16:52:24 +00003168{
3169 if (tag_clang_type)
3170 {
3171 QualType tag_qual_type(QualType::getFromOpaquePtr(tag_clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003172 clang::Type *clang_type = tag_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003173 if (clang_type)
3174 {
3175 TagType *tag_type = dyn_cast<TagType>(clang_type);
3176 if (tag_type)
3177 {
3178 TagDecl *tag_decl = dyn_cast<TagDecl>(tag_type->getDecl());
3179 if (tag_decl)
3180 {
3181 tag_decl->setTagKind ((TagDecl::TagKind)kind);
3182 return true;
3183 }
3184 }
3185 }
3186 }
3187 return false;
3188}
3189
3190
3191#pragma mark DeclContext Functions
3192
3193DeclContext *
Greg Clayton462d4142010-09-29 01:12:09 +00003194ClangASTContext::GetDeclContextForType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003195{
3196 if (clang_type == NULL)
3197 return NULL;
3198
3199 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003200 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3201 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003202 {
Greg Clayton9488b742010-07-28 02:04:09 +00003203 case clang::Type::FunctionNoProto: break;
3204 case clang::Type::FunctionProto: break;
3205 case clang::Type::IncompleteArray: break;
3206 case clang::Type::VariableArray: break;
3207 case clang::Type::ConstantArray: break;
3208 case clang::Type::ExtVector: break;
3209 case clang::Type::Vector: break;
3210 case clang::Type::Builtin: break;
3211 case clang::Type::BlockPointer: break;
3212 case clang::Type::Pointer: break;
3213 case clang::Type::LValueReference: break;
3214 case clang::Type::RValueReference: break;
3215 case clang::Type::MemberPointer: break;
3216 case clang::Type::Complex: break;
3217 case clang::Type::ObjCObject: break;
3218 case clang::Type::ObjCInterface: return cast<ObjCObjectType>(qual_type.getTypePtr())->getInterface();
3219 case clang::Type::ObjCObjectPointer: return ClangASTContext::GetDeclContextForType (cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr());
3220 case clang::Type::Record: return cast<RecordType>(qual_type)->getDecl();
3221 case clang::Type::Enum: return cast<EnumType>(qual_type)->getDecl();
Sean Callanan9e7958e2010-12-13 01:26:27 +00003222 case clang::Type::Typedef: return ClangASTContext::GetDeclContextForType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Chris Lattner24943d22010-06-08 16:52:24 +00003223
Greg Clayton9488b742010-07-28 02:04:09 +00003224 case clang::Type::TypeOfExpr: break;
3225 case clang::Type::TypeOf: break;
3226 case clang::Type::Decltype: break;
3227 //case clang::Type::QualifiedName: break;
3228 case clang::Type::TemplateSpecialization: break;
Chris Lattner24943d22010-06-08 16:52:24 +00003229 }
3230 // No DeclContext in this type...
3231 return NULL;
3232}
3233
3234#pragma mark Namespace Declarations
3235
3236NamespaceDecl *
3237ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, const Declaration &decl, DeclContext *decl_ctx)
3238{
3239 // TODO: Do something intelligent with the Declaration object passed in
3240 // like maybe filling in the SourceLocation with it...
3241 if (name)
3242 {
3243 ASTContext *ast_context = getASTContext();
3244 if (decl_ctx == NULL)
3245 decl_ctx = ast_context->getTranslationUnitDecl();
3246 return NamespaceDecl::Create(*ast_context, decl_ctx, SourceLocation(), &ast_context->Idents.get(name));
3247 }
3248 return NULL;
3249}
3250
3251
3252#pragma mark Function Types
3253
3254FunctionDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003255ClangASTContext::CreateFunctionDeclaration (const char *name, clang_type_t function_clang_type, int storage, bool is_inline)
Chris Lattner24943d22010-06-08 16:52:24 +00003256{
3257 if (name)
3258 {
3259 ASTContext *ast_context = getASTContext();
3260 assert (ast_context != NULL);
3261
3262 if (name && name[0])
3263 {
3264 return FunctionDecl::Create(*ast_context,
3265 ast_context->getTranslationUnitDecl(),
3266 SourceLocation(),
3267 DeclarationName (&ast_context->Idents.get(name)),
3268 QualType::getFromOpaquePtr(function_clang_type),
3269 NULL,
3270 (FunctionDecl::StorageClass)storage,
3271 (FunctionDecl::StorageClass)storage,
3272 is_inline);
3273 }
3274 else
3275 {
3276 return FunctionDecl::Create(*ast_context,
3277 ast_context->getTranslationUnitDecl(),
3278 SourceLocation(),
3279 DeclarationName (),
3280 QualType::getFromOpaquePtr(function_clang_type),
3281 NULL,
3282 (FunctionDecl::StorageClass)storage,
3283 (FunctionDecl::StorageClass)storage,
3284 is_inline);
3285 }
3286 }
3287 return NULL;
3288}
3289
Greg Clayton462d4142010-09-29 01:12:09 +00003290clang_type_t
3291ClangASTContext::CreateFunctionType (ASTContext *ast_context,
3292 clang_type_t result_type,
3293 clang_type_t *args,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003294 unsigned num_args,
3295 bool is_variadic,
3296 unsigned type_quals)
Chris Lattner24943d22010-06-08 16:52:24 +00003297{
Chris Lattner24943d22010-06-08 16:52:24 +00003298 assert (ast_context != NULL);
3299 std::vector<QualType> qual_type_args;
3300 for (unsigned i=0; i<num_args; ++i)
3301 qual_type_args.push_back (QualType::getFromOpaquePtr(args[i]));
3302
3303 // TODO: Detect calling convention in DWARF?
3304 return ast_context->getFunctionType(QualType::getFromOpaquePtr(result_type),
Greg Clayton53d68e72010-07-20 22:52:08 +00003305 qual_type_args.empty() ? NULL : &qual_type_args.front(),
Chris Lattner24943d22010-06-08 16:52:24 +00003306 qual_type_args.size(),
Sean Callanan2ea8f272010-09-16 20:40:25 +00003307 is_variadic,
3308 type_quals,
Chris Lattner24943d22010-06-08 16:52:24 +00003309 false, // hasExceptionSpec
3310 false, // hasAnyExceptionSpec,
3311 0, // NumExs
3312 0, // const QualType *ExArray
3313 FunctionType::ExtInfo ()).getAsOpaquePtr(); // NoReturn);
3314}
3315
3316ParmVarDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003317ClangASTContext::CreateParameterDeclaration (const char *name, clang_type_t param_type, int storage)
Chris Lattner24943d22010-06-08 16:52:24 +00003318{
3319 ASTContext *ast_context = getASTContext();
3320 assert (ast_context != NULL);
3321 return ParmVarDecl::Create(*ast_context,
3322 ast_context->getTranslationUnitDecl(),
3323 SourceLocation(),
3324 name && name[0] ? &ast_context->Idents.get(name) : NULL,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003325 QualType::getFromOpaquePtr(param_type),
Chris Lattner24943d22010-06-08 16:52:24 +00003326 NULL,
3327 (VarDecl::StorageClass)storage,
3328 (VarDecl::StorageClass)storage,
3329 0);
3330}
3331
3332void
3333ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
3334{
3335 if (function_decl)
3336 function_decl->setParams (params, num_params);
3337}
3338
3339
3340#pragma mark Array Types
3341
Greg Clayton462d4142010-09-29 01:12:09 +00003342clang_type_t
3343ClangASTContext::CreateArrayType (clang_type_t element_type, size_t element_count, uint32_t bit_stride)
Chris Lattner24943d22010-06-08 16:52:24 +00003344{
3345 if (element_type)
3346 {
3347 ASTContext *ast_context = getASTContext();
3348 assert (ast_context != NULL);
3349 llvm::APInt ap_element_count (64, element_count);
3350 return ast_context->getConstantArrayType(QualType::getFromOpaquePtr(element_type),
3351 ap_element_count,
3352 ArrayType::Normal,
3353 0).getAsOpaquePtr(); // ElemQuals
3354 }
3355 return NULL;
3356}
3357
3358
3359#pragma mark TagDecl
3360
3361bool
Greg Clayton462d4142010-09-29 01:12:09 +00003362ClangASTContext::StartTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003363{
3364 if (clang_type)
3365 {
3366 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003367 clang::Type *t = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003368 if (t)
3369 {
3370 TagType *tag_type = dyn_cast<TagType>(t);
3371 if (tag_type)
3372 {
3373 TagDecl *tag_decl = tag_type->getDecl();
3374 if (tag_decl)
3375 {
3376 tag_decl->startDefinition();
3377 return true;
3378 }
3379 }
3380 }
3381 }
3382 return false;
3383}
3384
3385bool
Greg Clayton462d4142010-09-29 01:12:09 +00003386ClangASTContext::CompleteTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003387{
3388 if (clang_type)
3389 {
3390 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton55b6c532010-09-29 03:44:17 +00003391
3392 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3393
3394 if (cxx_record_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003395 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003396 cxx_record_decl->completeDefinition();
3397
3398 return true;
3399 }
3400
Sean Callanan04325062010-10-25 00:29:48 +00003401 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type);
3402
3403 if (objc_class_type)
3404 {
3405 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3406
3407 class_interface_decl->setForwardDecl(false);
3408 }
3409
Greg Clayton55b6c532010-09-29 03:44:17 +00003410 const EnumType *enum_type = dyn_cast<EnumType>(qual_type.getTypePtr());
3411
3412 if (enum_type)
3413 {
3414 EnumDecl *enum_decl = enum_type->getDecl();
3415
3416 if (enum_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003417 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003418 /// TODO This really needs to be fixed.
3419
3420 unsigned NumPositiveBits = 1;
3421 unsigned NumNegativeBits = 0;
3422
Greg Clayton48fbdf72010-10-12 04:29:14 +00003423 ASTContext *ast_context = getASTContext();
3424
3425 QualType promotion_qual_type;
3426 // If the enum integer type is less than an integer in bit width,
3427 // then we must promote it to an integer size.
3428 if (ast_context->getTypeSize(enum_decl->getIntegerType()) < ast_context->getTypeSize(ast_context->IntTy))
3429 {
3430 if (enum_decl->getIntegerType()->isSignedIntegerType())
3431 promotion_qual_type = ast_context->IntTy;
3432 else
3433 promotion_qual_type = ast_context->UnsignedIntTy;
3434 }
3435 else
3436 promotion_qual_type = enum_decl->getIntegerType();
3437
3438 enum_decl->completeDefinition(enum_decl->getIntegerType(), promotion_qual_type, NumPositiveBits, NumNegativeBits);
Greg Clayton55b6c532010-09-29 03:44:17 +00003439 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003440 }
3441 }
3442 }
3443 return false;
3444}
3445
3446
3447#pragma mark Enumeration Types
3448
Greg Clayton462d4142010-09-29 01:12:09 +00003449clang_type_t
3450ClangASTContext::CreateEnumerationType (const Declaration &decl, const char *name, clang_type_t integer_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003451{
3452 // TODO: Do something intelligent with the Declaration object passed in
3453 // like maybe filling in the SourceLocation with it...
3454 ASTContext *ast_context = getASTContext();
3455 assert (ast_context != NULL);
Greg Clayton48fbdf72010-10-12 04:29:14 +00003456
3457 // TODO: ask about these...
3458// const bool IsScoped = false;
3459// const bool IsFixed = false;
3460
3461 EnumDecl *enum_decl = EnumDecl::Create (*ast_context,
3462 ast_context->getTranslationUnitDecl(),
3463 SourceLocation(),
3464 name && name[0] ? &ast_context->Idents.get(name) : NULL,
3465 SourceLocation(),
Sean Callanan9e7958e2010-12-13 01:26:27 +00003466 NULL,
3467 false, // IsScoped
3468 false, // IsScopedUsingClassTag
3469 false); // IsFixed
Chris Lattner24943d22010-06-08 16:52:24 +00003470 if (enum_decl)
Greg Claytone37f23c2010-09-12 23:17:56 +00003471 {
3472 // TODO: check if we should be setting the promotion type too?
3473 enum_decl->setIntegerType(QualType::getFromOpaquePtr (integer_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003474 return ast_context->getTagDeclType(enum_decl).getAsOpaquePtr();
Greg Claytone37f23c2010-09-12 23:17:56 +00003475 }
Chris Lattner24943d22010-06-08 16:52:24 +00003476 return NULL;
3477}
3478
Greg Clayton462d4142010-09-29 01:12:09 +00003479clang_type_t
3480ClangASTContext::GetEnumerationIntegerType (clang_type_t enum_clang_type)
3481{
3482 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3483
3484 clang::Type *clang_type = enum_qual_type.getTypePtr();
3485 if (clang_type)
3486 {
3487 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3488 if (enum_type)
3489 {
3490 EnumDecl *enum_decl = enum_type->getDecl();
3491 if (enum_decl)
3492 return enum_decl->getIntegerType().getAsOpaquePtr();
3493 }
3494 }
3495 return NULL;
3496}
Chris Lattner24943d22010-06-08 16:52:24 +00003497bool
3498ClangASTContext::AddEnumerationValueToEnumerationType
3499(
Greg Clayton462d4142010-09-29 01:12:09 +00003500 clang_type_t enum_clang_type,
3501 clang_type_t enumerator_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00003502 const Declaration &decl,
3503 const char *name,
3504 int64_t enum_value,
3505 uint32_t enum_value_bit_size
3506)
3507{
3508 if (enum_clang_type && enumerator_clang_type && name)
3509 {
3510 // TODO: Do something intelligent with the Declaration object passed in
3511 // like maybe filling in the SourceLocation with it...
3512 ASTContext *ast_context = getASTContext();
3513 IdentifierTable *identifier_table = getIdentifierTable();
3514
3515 assert (ast_context != NULL);
3516 assert (identifier_table != NULL);
3517 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3518
Greg Clayton1674b122010-07-21 22:12:05 +00003519 clang::Type *clang_type = enum_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003520 if (clang_type)
3521 {
3522 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3523
3524 if (enum_type)
3525 {
3526 llvm::APSInt enum_llvm_apsint(enum_value_bit_size, false);
3527 enum_llvm_apsint = enum_value;
3528 EnumConstantDecl *enumerator_decl =
3529 EnumConstantDecl::Create(*ast_context,
3530 enum_type->getDecl(),
3531 SourceLocation(),
3532 name ? &identifier_table->get(name) : NULL, // Identifier
3533 QualType::getFromOpaquePtr(enumerator_clang_type),
3534 NULL,
3535 enum_llvm_apsint);
3536
3537 if (enumerator_decl)
3538 {
3539 enum_type->getDecl()->addDecl(enumerator_decl);
3540 return true;
3541 }
3542 }
3543 }
3544 }
3545 return false;
3546}
3547
3548#pragma mark Pointers & References
3549
Greg Clayton462d4142010-09-29 01:12:09 +00003550clang_type_t
3551ClangASTContext::CreatePointerType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003552{
Greg Clayton427f2902010-12-14 02:59:59 +00003553 return CreatePointerType (getASTContext(), clang_type);
3554}
3555
3556clang_type_t
3557ClangASTContext::CreatePointerType (clang::ASTContext *ast, clang_type_t clang_type)
3558{
3559 if (ast && clang_type)
Greg Clayton7b541032010-07-29 20:06:32 +00003560 {
3561 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3562
Greg Clayton03e0f972010-09-13 03:32:57 +00003563 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3564 switch (type_class)
Greg Clayton7b541032010-07-29 20:06:32 +00003565 {
3566 case clang::Type::ObjCObject:
3567 case clang::Type::ObjCInterface:
Greg Clayton427f2902010-12-14 02:59:59 +00003568 return ast->getObjCObjectPointerType(qual_type).getAsOpaquePtr();
Greg Clayton7b541032010-07-29 20:06:32 +00003569
Greg Clayton7b541032010-07-29 20:06:32 +00003570 default:
Greg Clayton427f2902010-12-14 02:59:59 +00003571 return ast->getPointerType(qual_type).getAsOpaquePtr();
Greg Clayton7b541032010-07-29 20:06:32 +00003572 }
3573 }
Chris Lattner24943d22010-06-08 16:52:24 +00003574 return NULL;
3575}
3576
Greg Clayton462d4142010-09-29 01:12:09 +00003577clang_type_t
3578ClangASTContext::CreateLValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003579{
3580 if (clang_type)
3581 return getASTContext()->getLValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3582 return NULL;
3583}
3584
Greg Clayton462d4142010-09-29 01:12:09 +00003585clang_type_t
3586ClangASTContext::CreateRValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003587{
3588 if (clang_type)
3589 return getASTContext()->getRValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3590 return NULL;
3591}
3592
Greg Clayton462d4142010-09-29 01:12:09 +00003593clang_type_t
3594ClangASTContext::CreateMemberPointerType (clang_type_t clang_pointee_type, clang_type_t clang_class_type)
Greg Claytonfa970692010-06-12 01:20:30 +00003595{
3596 if (clang_pointee_type && clang_pointee_type)
3597 return getASTContext()->getMemberPointerType(QualType::getFromOpaquePtr(clang_pointee_type),
3598 QualType::getFromOpaquePtr(clang_class_type).getTypePtr()).getAsOpaquePtr();
3599 return NULL;
3600}
3601
Chris Lattner24943d22010-06-08 16:52:24 +00003602size_t
3603ClangASTContext::GetPointerBitSize ()
3604{
3605 ASTContext *ast_context = getASTContext();
3606 return ast_context->getTypeSize(ast_context->VoidPtrTy);
3607}
3608
3609bool
Greg Clayton462d4142010-09-29 01:12:09 +00003610ClangASTContext::IsPointerOrReferenceType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003611{
3612 if (clang_type == NULL)
3613 return false;
3614
3615 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003616 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3617 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003618 {
Sean Callanan04325062010-10-25 00:29:48 +00003619 case clang::Type::Builtin:
3620 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3621 {
3622 default:
3623 break;
3624 case clang::BuiltinType::ObjCId:
3625 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00003626 return true;
3627 }
3628 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003629 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003630 if (target_type)
3631 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3632 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003633 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003634 if (target_type)
3635 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3636 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003637 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003638 if (target_type)
3639 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3640 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003641 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003642 if (target_type)
3643 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3644 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003645 case clang::Type::LValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003646 if (target_type)
3647 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3648 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003649 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003650 if (target_type)
3651 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3652 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003653 case clang::Type::Typedef:
Sean Callanan9e7958e2010-12-13 01:26:27 +00003654 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Chris Lattner24943d22010-06-08 16:52:24 +00003655 default:
3656 break;
3657 }
3658 return false;
3659}
3660
Chris Lattner24943d22010-06-08 16:52:24 +00003661bool
Greg Clayton462d4142010-09-29 01:12:09 +00003662ClangASTContext::IsIntegerType (clang_type_t clang_type, bool &is_signed)
Chris Lattner24943d22010-06-08 16:52:24 +00003663{
3664 if (!clang_type)
3665 return false;
3666
3667 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3668 const BuiltinType *builtin_type = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal());
3669
3670 if (builtin_type)
3671 {
3672 if (builtin_type->isInteger())
3673 is_signed = builtin_type->isSignedInteger();
3674
3675 return true;
3676 }
3677
3678 return false;
3679}
3680
3681bool
Greg Clayton462d4142010-09-29 01:12:09 +00003682ClangASTContext::IsPointerType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003683{
3684 if (clang_type)
3685 {
3686 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003687 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3688 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003689 {
Sean Callanan04325062010-10-25 00:29:48 +00003690 case clang::Type::Builtin:
3691 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3692 {
3693 default:
3694 break;
3695 case clang::BuiltinType::ObjCId:
3696 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00003697 return true;
3698 }
3699 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003700 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003701 if (target_type)
3702 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3703 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003704 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003705 if (target_type)
3706 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3707 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003708 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003709 if (target_type)
3710 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3711 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003712 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003713 if (target_type)
3714 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3715 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003716 case clang::Type::Typedef:
Sean Callanan9e7958e2010-12-13 01:26:27 +00003717 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(), target_type);
Chris Lattner24943d22010-06-08 16:52:24 +00003718 default:
3719 break;
3720 }
3721 }
3722 return false;
3723}
3724
3725bool
Greg Clayton462d4142010-09-29 01:12:09 +00003726ClangASTContext::IsFloatingPointType (clang_type_t clang_type, uint32_t &count, bool &is_complex)
Chris Lattner24943d22010-06-08 16:52:24 +00003727{
3728 if (clang_type)
3729 {
3730 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3731
3732 if (const BuiltinType *BT = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal()))
3733 {
3734 clang::BuiltinType::Kind kind = BT->getKind();
3735 if (kind >= BuiltinType::Float && kind <= BuiltinType::LongDouble)
3736 {
3737 count = 1;
3738 is_complex = false;
3739 return true;
3740 }
3741 }
3742 else if (const ComplexType *CT = dyn_cast<ComplexType>(qual_type->getCanonicalTypeInternal()))
3743 {
3744 if (IsFloatingPointType(CT->getElementType().getAsOpaquePtr(), count, is_complex))
3745 {
3746 count = 2;
3747 is_complex = true;
3748 return true;
3749 }
3750 }
3751 else if (const VectorType *VT = dyn_cast<VectorType>(qual_type->getCanonicalTypeInternal()))
3752 {
3753 if (IsFloatingPointType(VT->getElementType().getAsOpaquePtr(), count, is_complex))
3754 {
3755 count = VT->getNumElements();
3756 is_complex = false;
3757 return true;
3758 }
3759 }
3760 }
3761 return false;
3762}
3763
Greg Claytonbf8e42b2010-10-14 22:52:14 +00003764
3765bool
3766ClangASTContext::GetCXXClassName (clang_type_t clang_type, std::string &class_name)
3767{
3768 if (clang_type)
3769 {
3770 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3771
3772 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3773 if (cxx_record_decl)
3774 {
3775 class_name.assign (cxx_record_decl->getIdentifier()->getNameStart());
3776 return true;
3777 }
3778 }
3779 class_name.clear();
3780 return false;
3781}
3782
3783
Greg Clayton1d8173f2010-09-24 05:15:53 +00003784bool
Greg Clayton462d4142010-09-29 01:12:09 +00003785ClangASTContext::IsCXXClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003786{
3787 if (clang_type)
3788 {
3789 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3790 if (qual_type->getAsCXXRecordDecl() != NULL)
3791 return true;
3792 }
3793 return false;
3794}
3795
3796bool
Greg Clayton462d4142010-09-29 01:12:09 +00003797ClangASTContext::IsObjCClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003798{
3799 if (clang_type)
3800 {
3801 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3802 if (qual_type->isObjCObjectOrInterfaceType())
3803 return true;
3804 }
3805 return false;
3806}
3807
3808
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003809bool
3810ClangASTContext::IsCharType (clang_type_t clang_type)
3811{
3812 if (clang_type)
3813 return QualType::getFromOpaquePtr(clang_type)->isCharType();
3814 return false;
3815}
Chris Lattner24943d22010-06-08 16:52:24 +00003816
3817bool
Greg Clayton462d4142010-09-29 01:12:09 +00003818ClangASTContext::IsCStringType (clang_type_t clang_type, uint32_t &length)
Chris Lattner24943d22010-06-08 16:52:24 +00003819{
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003820 clang_type_t pointee_or_element_clang_type = NULL;
3821 Flags type_flags (ClangASTContext::GetTypeInfo (clang_type, NULL, &pointee_or_element_clang_type));
3822
3823 if (pointee_or_element_clang_type == NULL)
3824 return false;
3825
3826 if (type_flags.AnySet (eTypeIsArray | eTypeIsPointer))
Chris Lattner24943d22010-06-08 16:52:24 +00003827 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003828 QualType pointee_or_element_qual_type (QualType::getFromOpaquePtr (pointee_or_element_clang_type));
3829
3830 if (pointee_or_element_qual_type.getUnqualifiedType()->isCharType())
Chris Lattner24943d22010-06-08 16:52:24 +00003831 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003832 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3833 if (type_flags.Test (eTypeIsArray))
Chris Lattner24943d22010-06-08 16:52:24 +00003834 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003835 // We know the size of the array and it could be a C string
3836 // since it is an array of characters
3837 length = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
3838 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003839 }
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003840 else
Chris Lattner24943d22010-06-08 16:52:24 +00003841 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003842 length = 0;
3843 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003844 }
Chris Lattner24943d22010-06-08 16:52:24 +00003845
Chris Lattner24943d22010-06-08 16:52:24 +00003846 }
3847 }
3848 return false;
3849}
3850
3851bool
Greg Clayton462d4142010-09-29 01:12:09 +00003852ClangASTContext::IsFunctionPointerType (clang_type_t clang_type)
Greg Clayton03e0f972010-09-13 03:32:57 +00003853{
3854 if (clang_type)
3855 {
3856 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3857
3858 if (qual_type->isFunctionPointerType())
3859 return true;
3860
3861 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3862 switch (type_class)
3863 {
3864 case clang::Type::Typedef:
Sean Callanan9e7958e2010-12-13 01:26:27 +00003865 return ClangASTContext::IsFunctionPointerType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Greg Clayton03e0f972010-09-13 03:32:57 +00003866
3867 case clang::Type::LValueReference:
3868 case clang::Type::RValueReference:
3869 {
3870 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
3871 if (reference_type)
3872 return ClangASTContext::IsFunctionPointerType (reference_type->getPointeeType().getAsOpaquePtr());
3873 }
3874 break;
3875 }
3876 }
3877 return false;
3878}
3879
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003880size_t
3881ClangASTContext::GetArraySize (clang_type_t clang_type)
3882{
3883 if (clang_type)
3884 {
3885 ConstantArrayType *array = cast<ConstantArrayType>(QualType::getFromOpaquePtr(clang_type).getTypePtr());
3886 if (array)
3887 return array->getSize().getLimitedValue();
3888 }
3889 return 0;
3890}
Greg Clayton03e0f972010-09-13 03:32:57 +00003891
3892bool
Greg Clayton462d4142010-09-29 01:12:09 +00003893ClangASTContext::IsArrayType (clang_type_t clang_type, clang_type_t*member_type, uint64_t *size)
Chris Lattner24943d22010-06-08 16:52:24 +00003894{
3895 if (!clang_type)
3896 return false;
3897
3898 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3899
Greg Clayton03e0f972010-09-13 03:32:57 +00003900 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3901 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003902 {
Greg Clayton1674b122010-07-21 22:12:05 +00003903 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003904 if (member_type)
3905 *member_type = cast<ConstantArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3906 if (size)
3907 *size = cast<ConstantArrayType>(qual_type)->getSize().getLimitedValue(ULONG_LONG_MAX);
3908 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003909 case clang::Type::IncompleteArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003910 if (member_type)
3911 *member_type = cast<IncompleteArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3912 if (size)
3913 *size = 0;
3914 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003915 case clang::Type::VariableArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003916 if (member_type)
3917 *member_type = cast<VariableArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3918 if (size)
3919 *size = 0;
Greg Clayton1674b122010-07-21 22:12:05 +00003920 case clang::Type::DependentSizedArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003921 if (member_type)
3922 *member_type = cast<DependentSizedArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3923 if (size)
3924 *size = 0;
3925 return true;
3926 }
3927 return false;
3928}
3929
3930
3931#pragma mark Typedefs
3932
Greg Clayton462d4142010-09-29 01:12:09 +00003933clang_type_t
3934ClangASTContext::CreateTypedefType (const char *name, clang_type_t clang_type, DeclContext *decl_ctx)
Chris Lattner24943d22010-06-08 16:52:24 +00003935{
3936 if (clang_type)
3937 {
3938 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3939 ASTContext *ast_context = getASTContext();
3940 IdentifierTable *identifier_table = getIdentifierTable();
3941 assert (ast_context != NULL);
3942 assert (identifier_table != NULL);
3943 if (decl_ctx == NULL)
3944 decl_ctx = ast_context->getTranslationUnitDecl();
3945 TypedefDecl *decl = TypedefDecl::Create(*ast_context,
3946 decl_ctx,
3947 SourceLocation(),
3948 name ? &identifier_table->get(name) : NULL, // Identifier
3949 ast_context->CreateTypeSourceInfo(qual_type));
3950
3951 // Get a uniqued QualType for the typedef decl type
3952 return ast_context->getTypedefType (decl).getAsOpaquePtr();
3953 }
3954 return NULL;
3955}
3956
3957
3958std::string
Greg Clayton462d4142010-09-29 01:12:09 +00003959ClangASTContext::GetTypeName (clang_type_t opaque_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003960{
3961 std::string return_name;
3962
Greg Clayton462d4142010-09-29 01:12:09 +00003963 QualType qual_type(QualType::getFromOpaquePtr(opaque_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003964
Greg Clayton462d4142010-09-29 01:12:09 +00003965 const TypedefType *typedef_type = qual_type->getAs<TypedefType>();
Chris Lattner24943d22010-06-08 16:52:24 +00003966 if (typedef_type)
3967 {
Greg Clayton462d4142010-09-29 01:12:09 +00003968 const TypedefDecl *typedef_decl = typedef_type->getDecl();
Chris Lattner24943d22010-06-08 16:52:24 +00003969 return_name = typedef_decl->getQualifiedNameAsString();
3970 }
3971 else
3972 {
3973 return_name = qual_type.getAsString();
3974 }
3975
3976 return return_name;
3977}
3978
3979// Disable this for now since I can't seem to get a nicely formatted float
3980// out of the APFloat class without just getting the float, double or quad
3981// and then using a formatted print on it which defeats the purpose. We ideally
3982// would like to get perfect string values for any kind of float semantics
3983// so we can support remote targets. The code below also requires a patch to
3984// llvm::APInt.
3985//bool
Greg Clayton462d4142010-09-29 01:12:09 +00003986//ClangASTContext::ConvertFloatValueToString (ASTContext *ast_context, clang_type_t clang_type, const uint8_t* bytes, size_t byte_size, int apint_byte_order, std::string &float_str)
Chris Lattner24943d22010-06-08 16:52:24 +00003987//{
3988// uint32_t count = 0;
3989// bool is_complex = false;
3990// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3991// {
3992// unsigned num_bytes_per_float = byte_size / count;
3993// unsigned num_bits_per_float = num_bytes_per_float * 8;
3994//
3995// float_str.clear();
3996// uint32_t i;
3997// for (i=0; i<count; i++)
3998// {
3999// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
4000// bool is_ieee = false;
4001// APFloat ap_float(ap_int, is_ieee);
4002// char s[1024];
4003// unsigned int hex_digits = 0;
4004// bool upper_case = false;
4005//
4006// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
4007// {
4008// if (i > 0)
4009// float_str.append(", ");
4010// float_str.append(s);
4011// if (i == 1 && is_complex)
4012// float_str.append(1, 'i');
4013// }
4014// }
4015// return !float_str.empty();
4016// }
4017// return false;
4018//}
4019
4020size_t
Greg Clayton462d4142010-09-29 01:12:09 +00004021ClangASTContext::ConvertStringToFloatValue (ASTContext *ast_context, clang_type_t clang_type, const char *s, uint8_t *dst, size_t dst_size)
Chris Lattner24943d22010-06-08 16:52:24 +00004022{
4023 if (clang_type)
4024 {
4025 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4026 uint32_t count = 0;
4027 bool is_complex = false;
4028 if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
4029 {
4030 // TODO: handle complex and vector types
4031 if (count != 1)
4032 return false;
4033
4034 StringRef s_sref(s);
4035 APFloat ap_float(ast_context->getFloatTypeSemantics(qual_type), s_sref);
4036
4037 const uint64_t bit_size = ast_context->getTypeSize (qual_type);
4038 const uint64_t byte_size = bit_size / 8;
4039 if (dst_size >= byte_size)
4040 {
4041 if (bit_size == sizeof(float)*8)
4042 {
4043 float float32 = ap_float.convertToFloat();
4044 ::memcpy (dst, &float32, byte_size);
4045 return byte_size;
4046 }
4047 else if (bit_size >= 64)
4048 {
4049 llvm::APInt ap_int(ap_float.bitcastToAPInt());
4050 ::memcpy (dst, ap_int.getRawData(), byte_size);
4051 return byte_size;
4052 }
4053 }
4054 }
4055 }
4056 return 0;
4057}
Sean Callanana751f7b2010-09-17 02:24:29 +00004058
4059unsigned
Greg Clayton462d4142010-09-29 01:12:09 +00004060ClangASTContext::GetTypeQualifiers(clang_type_t clang_type)
Sean Callanana751f7b2010-09-17 02:24:29 +00004061{
4062 assert (clang_type);
4063
4064 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4065
4066 return qual_type.getQualifiers().getCVRQualifiers();
4067}