blob: a7fe230d08dad206cb5e17004d5fea52de3841cf [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"
26#include "clang/Basic/SourceManager.h"
27#include "clang/Basic/TargetInfo.h"
28#include "clang/Basic/TargetOptions.h"
29#include "clang/Frontend/FrontendOptions.h"
30#include "clang/Frontend/LangStandard.h"
Sean Callananbc4f0f52010-07-08 18:16:16 +000031#undef NDEBUG
Chris Lattner24943d22010-06-08 16:52:24 +000032
Chris Lattner24943d22010-06-08 16:52:24 +000033#include "lldb/Core/dwarf.h"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +000034#include "lldb/Core/Flags.h"
Sean Callanan839fde42010-10-28 18:19:36 +000035#include "lldb/Core/Log.h"
Chris Lattner24943d22010-06-08 16:52:24 +000036
Eli Friedmanf05633b2010-06-13 19:06:42 +000037#include <stdio.h>
38
Greg Clayton585660c2010-08-05 01:57:25 +000039using namespace lldb;
Chris Lattner24943d22010-06-08 16:52:24 +000040using namespace lldb_private;
41using namespace llvm;
42using namespace clang;
43
Greg Clayton84f80752010-07-22 18:30:50 +000044static AccessSpecifier
Greg Clayton585660c2010-08-05 01:57:25 +000045ConvertAccessTypeToAccessSpecifier (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000046{
47 switch (access)
48 {
Greg Clayton585660c2010-08-05 01:57:25 +000049 default: break;
50 case eAccessNone: return AS_none;
51 case eAccessPublic: return AS_public;
52 case eAccessPrivate: return AS_private;
53 case eAccessProtected: return AS_protected;
Greg Clayton84f80752010-07-22 18:30:50 +000054 }
55 return AS_none;
56}
57
58static ObjCIvarDecl::AccessControl
Greg Clayton585660c2010-08-05 01:57:25 +000059ConvertAccessTypeToObjCIvarAccessControl (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000060{
61 switch (access)
62 {
Greg Clayton585660c2010-08-05 01:57:25 +000063 default: break;
64 case eAccessNone: return ObjCIvarDecl::None;
65 case eAccessPublic: return ObjCIvarDecl::Public;
66 case eAccessPrivate: return ObjCIvarDecl::Private;
67 case eAccessProtected: return ObjCIvarDecl::Protected;
68 case eAccessPackage: return ObjCIvarDecl::Package;
Greg Clayton84f80752010-07-22 18:30:50 +000069 }
70 return ObjCIvarDecl::None;
71}
72
73
Chris Lattner24943d22010-06-08 16:52:24 +000074static void
75ParseLangArgs
76(
77 LangOptions &Opts,
Greg Claytone41c4b22010-06-13 17:34:29 +000078 InputKind IK
Chris Lattner24943d22010-06-08 16:52:24 +000079)
80{
81 // FIXME: Cleanup per-file based stuff.
82
83 // Set some properties which depend soley on the input kind; it would be nice
84 // to move these to the language standard, and have the driver resolve the
85 // input kind + language standard.
Greg Claytone41c4b22010-06-13 17:34:29 +000086 if (IK == IK_Asm) {
Chris Lattner24943d22010-06-08 16:52:24 +000087 Opts.AsmPreprocessor = 1;
Greg Claytone41c4b22010-06-13 17:34:29 +000088 } else if (IK == IK_ObjC ||
89 IK == IK_ObjCXX ||
90 IK == IK_PreprocessedObjC ||
91 IK == IK_PreprocessedObjCXX) {
Chris Lattner24943d22010-06-08 16:52:24 +000092 Opts.ObjC1 = Opts.ObjC2 = 1;
93 }
94
95 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
96
97 if (LangStd == LangStandard::lang_unspecified) {
98 // Based on the base language, pick one.
99 switch (IK) {
Greg Claytone41c4b22010-06-13 17:34:29 +0000100 case IK_None:
101 case IK_AST:
Chris Lattner24943d22010-06-08 16:52:24 +0000102 assert(0 && "Invalid input kind!");
Greg Claytone41c4b22010-06-13 17:34:29 +0000103 case IK_OpenCL:
Chris Lattner24943d22010-06-08 16:52:24 +0000104 LangStd = LangStandard::lang_opencl;
105 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000106 case IK_Asm:
107 case IK_C:
108 case IK_PreprocessedC:
109 case IK_ObjC:
110 case IK_PreprocessedObjC:
Chris Lattner24943d22010-06-08 16:52:24 +0000111 LangStd = LangStandard::lang_gnu99;
112 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000113 case IK_CXX:
114 case IK_PreprocessedCXX:
115 case IK_ObjCXX:
116 case IK_PreprocessedObjCXX:
Chris Lattner24943d22010-06-08 16:52:24 +0000117 LangStd = LangStandard::lang_gnucxx98;
118 break;
119 }
120 }
121
122 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
123 Opts.BCPLComment = Std.hasBCPLComments();
124 Opts.C99 = Std.isC99();
125 Opts.CPlusPlus = Std.isCPlusPlus();
126 Opts.CPlusPlus0x = Std.isCPlusPlus0x();
127 Opts.Digraphs = Std.hasDigraphs();
128 Opts.GNUMode = Std.isGNUMode();
129 Opts.GNUInline = !Std.isC99();
130 Opts.HexFloats = Std.hasHexFloats();
131 Opts.ImplicitInt = Std.hasImplicitInt();
132
133 // OpenCL has some additional defaults.
134 if (LangStd == LangStandard::lang_opencl) {
135 Opts.OpenCL = 1;
136 Opts.AltiVec = 1;
137 Opts.CXXOperatorNames = 1;
138 Opts.LaxVectorConversions = 1;
139 }
140
141 // OpenCL and C++ both have bool, true, false keywords.
142 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
143
144// if (Opts.CPlusPlus)
145// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
146//
147// if (Args.hasArg(OPT_fobjc_gc_only))
148// Opts.setGCMode(LangOptions::GCOnly);
149// else if (Args.hasArg(OPT_fobjc_gc))
150// Opts.setGCMode(LangOptions::HybridGC);
151//
152// if (Args.hasArg(OPT_print_ivar_layout))
153// Opts.ObjCGCBitmapPrint = 1;
154//
155// if (Args.hasArg(OPT_faltivec))
156// Opts.AltiVec = 1;
157//
158// if (Args.hasArg(OPT_pthread))
159// Opts.POSIXThreads = 1;
160//
161// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
162// "default");
163// if (Vis == "default")
Sean Callanan8950c9a2010-10-29 18:38:40 +0000164 Opts.setVisibilityMode(DefaultVisibility);
Chris Lattner24943d22010-06-08 16:52:24 +0000165// else if (Vis == "hidden")
166// Opts.setVisibilityMode(LangOptions::Hidden);
167// else if (Vis == "protected")
168// Opts.setVisibilityMode(LangOptions::Protected);
169// else
170// Diags.Report(diag::err_drv_invalid_value)
171// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
172
173// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
174
175 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
176 // is specified, or -std is set to a conforming mode.
177 Opts.Trigraphs = !Opts.GNUMode;
178// if (Args.hasArg(OPT_trigraphs))
179// Opts.Trigraphs = 1;
180//
181// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
182// OPT_fno_dollars_in_identifiers,
183// !Opts.AsmPreprocessor);
184// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
185// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
186// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
187// if (Args.hasArg(OPT_fno_lax_vector_conversions))
188// Opts.LaxVectorConversions = 0;
189// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
190// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
191// Opts.Blocks = Args.hasArg(OPT_fblocks);
192// Opts.CharIsSigned = !Args.hasArg(OPT_fno_signed_char);
193// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
194// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
195// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
196// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
197// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
198// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
199// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
200// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
201// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
202// Diags);
203// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
204// Opts.ObjCConstantStringClass = getLastArgValue(Args,
205// OPT_fconstant_string_class);
206// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
207// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
208// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
209// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
210// Opts.Static = Args.hasArg(OPT_static_define);
211 Opts.OptimizeSize = 0;
212
213 // FIXME: Eliminate this dependency.
214// unsigned Opt =
215// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
216// Opts.Optimize = Opt != 0;
217 unsigned Opt = 0;
218
219 // This is the __NO_INLINE__ define, which just depends on things like the
220 // optimization level and -fno-inline, not actually whether the backend has
221 // inlining enabled.
222 //
223 // FIXME: This is affected by other options (-fno-inline).
224 Opts.NoInline = !Opt;
225
226// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
227// switch (SSP) {
228// default:
229// Diags.Report(diag::err_drv_invalid_value)
230// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
231// break;
232// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
233// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
234// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
235// }
236}
237
Chris Lattner24943d22010-06-08 16:52:24 +0000238
Chris Lattner24943d22010-06-08 16:52:24 +0000239ClangASTContext::ClangASTContext(const char *target_triple) :
240 m_target_triple(),
241 m_ast_context_ap(),
242 m_language_options_ap(),
243 m_source_manager_ap(),
244 m_diagnostic_ap(),
245 m_target_options_ap(),
246 m_target_info_ap(),
247 m_identifier_table_ap(),
248 m_selector_table_ap(),
249 m_builtins_ap()
250{
251 if (target_triple && target_triple[0])
252 m_target_triple.assign (target_triple);
253}
254
255//----------------------------------------------------------------------
256// Destructor
257//----------------------------------------------------------------------
258ClangASTContext::~ClangASTContext()
259{
260 m_builtins_ap.reset();
261 m_selector_table_ap.reset();
262 m_identifier_table_ap.reset();
263 m_target_info_ap.reset();
264 m_target_options_ap.reset();
265 m_diagnostic_ap.reset();
266 m_source_manager_ap.reset();
267 m_language_options_ap.reset();
268 m_ast_context_ap.reset();
269}
270
271
272void
273ClangASTContext::Clear()
274{
275 m_ast_context_ap.reset();
276 m_language_options_ap.reset();
277 m_source_manager_ap.reset();
278 m_diagnostic_ap.reset();
279 m_target_options_ap.reset();
280 m_target_info_ap.reset();
281 m_identifier_table_ap.reset();
282 m_selector_table_ap.reset();
283 m_builtins_ap.reset();
284}
285
286const char *
287ClangASTContext::GetTargetTriple ()
288{
289 return m_target_triple.c_str();
290}
291
292void
293ClangASTContext::SetTargetTriple (const char *target_triple)
294{
295 Clear();
296 m_target_triple.assign(target_triple);
297}
298
299
300ASTContext *
301ClangASTContext::getASTContext()
302{
303 if (m_ast_context_ap.get() == NULL)
304 {
305 m_ast_context_ap.reset(
306 new ASTContext(
307 *getLanguageOptions(),
308 *getSourceManager(),
309 *getTargetInfo(),
310 *getIdentifierTable(),
311 *getSelectorTable(),
Greg Clayton6e713402010-07-30 20:30:44 +0000312 *getBuiltinContext(),
313 0));
Chris Lattner24943d22010-06-08 16:52:24 +0000314 }
315 return m_ast_context_ap.get();
316}
317
318Builtin::Context *
319ClangASTContext::getBuiltinContext()
320{
321 if (m_builtins_ap.get() == NULL)
322 m_builtins_ap.reset (new Builtin::Context(*getTargetInfo()));
323 return m_builtins_ap.get();
324}
325
326IdentifierTable *
327ClangASTContext::getIdentifierTable()
328{
329 if (m_identifier_table_ap.get() == NULL)
330 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), NULL));
331 return m_identifier_table_ap.get();
332}
333
334LangOptions *
335ClangASTContext::getLanguageOptions()
336{
337 if (m_language_options_ap.get() == NULL)
338 {
339 m_language_options_ap.reset(new LangOptions());
Greg Claytone41c4b22010-06-13 17:34:29 +0000340 ParseLangArgs(*m_language_options_ap, IK_ObjCXX);
341// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner24943d22010-06-08 16:52:24 +0000342 }
343 return m_language_options_ap.get();
344}
345
346SelectorTable *
347ClangASTContext::getSelectorTable()
348{
349 if (m_selector_table_ap.get() == NULL)
350 m_selector_table_ap.reset (new SelectorTable());
351 return m_selector_table_ap.get();
352}
353
Greg Clayton1674b122010-07-21 22:12:05 +0000354clang::SourceManager *
Chris Lattner24943d22010-06-08 16:52:24 +0000355ClangASTContext::getSourceManager()
356{
357 if (m_source_manager_ap.get() == NULL)
Greg Clayton1674b122010-07-21 22:12:05 +0000358 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnostic()));
Chris Lattner24943d22010-06-08 16:52:24 +0000359 return m_source_manager_ap.get();
360}
361
362Diagnostic *
363ClangASTContext::getDiagnostic()
364{
365 if (m_diagnostic_ap.get() == NULL)
366 m_diagnostic_ap.reset(new Diagnostic());
367 return m_diagnostic_ap.get();
368}
369
370TargetOptions *
371ClangASTContext::getTargetOptions()
372{
373 if (m_target_options_ap.get() == NULL && !m_target_triple.empty())
374 {
375 m_target_options_ap.reset (new TargetOptions());
376 if (m_target_options_ap.get())
377 m_target_options_ap->Triple = m_target_triple;
378 }
379 return m_target_options_ap.get();
380}
381
382
383TargetInfo *
384ClangASTContext::getTargetInfo()
385{
386 // target_triple should be something like "x86_64-apple-darwin10"
387 if (m_target_info_ap.get() == NULL && !m_target_triple.empty())
388 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnostic(), *getTargetOptions()));
389 return m_target_info_ap.get();
390}
391
392#pragma mark Basic Types
393
394static inline bool
395QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast_context, QualType qual_type)
396{
397 uint64_t qual_type_bit_size = ast_context->getTypeSize(qual_type);
398 if (qual_type_bit_size == bit_size)
399 return true;
400 return false;
401}
402
Greg Clayton462d4142010-09-29 01:12:09 +0000403clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000404ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000405{
406 ASTContext *ast_context = getASTContext();
407
408 assert (ast_context != NULL);
409
410 return GetBuiltinTypeForEncodingAndBitSize (ast_context, encoding, bit_size);
411}
412
Greg Clayton462d4142010-09-29 01:12:09 +0000413clang_type_t
414ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast_context, Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000415{
416 if (!ast_context)
417 return NULL;
418
419 switch (encoding)
420 {
Greg Clayton585660c2010-08-05 01:57:25 +0000421 case eEncodingInvalid:
Chris Lattner24943d22010-06-08 16:52:24 +0000422 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
423 return ast_context->VoidPtrTy.getAsOpaquePtr();
424 break;
425
Greg Clayton585660c2010-08-05 01:57:25 +0000426 case eEncodingUint:
Chris Lattner24943d22010-06-08 16:52:24 +0000427 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
428 return ast_context->UnsignedCharTy.getAsOpaquePtr();
429 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
430 return ast_context->UnsignedShortTy.getAsOpaquePtr();
431 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
432 return ast_context->UnsignedIntTy.getAsOpaquePtr();
433 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
434 return ast_context->UnsignedLongTy.getAsOpaquePtr();
435 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
436 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
437 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
438 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
439 break;
440
Greg Clayton585660c2010-08-05 01:57:25 +0000441 case eEncodingSint:
Chris Lattner24943d22010-06-08 16:52:24 +0000442 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
443 return ast_context->CharTy.getAsOpaquePtr();
444 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
445 return ast_context->ShortTy.getAsOpaquePtr();
446 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
447 return ast_context->IntTy.getAsOpaquePtr();
448 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
449 return ast_context->LongTy.getAsOpaquePtr();
450 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
451 return ast_context->LongLongTy.getAsOpaquePtr();
452 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
453 return ast_context->Int128Ty.getAsOpaquePtr();
454 break;
455
Greg Clayton585660c2010-08-05 01:57:25 +0000456 case eEncodingIEEE754:
Chris Lattner24943d22010-06-08 16:52:24 +0000457 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
458 return ast_context->FloatTy.getAsOpaquePtr();
459 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
460 return ast_context->DoubleTy.getAsOpaquePtr();
461 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
462 return ast_context->LongDoubleTy.getAsOpaquePtr();
463 break;
464
Greg Clayton585660c2010-08-05 01:57:25 +0000465 case eEncodingVector:
Chris Lattner24943d22010-06-08 16:52:24 +0000466 default:
467 break;
468 }
469
470 return NULL;
471}
472
Greg Clayton462d4142010-09-29 01:12:09 +0000473clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000474ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
475{
476 ASTContext *ast_context = getASTContext();
477
478 #define streq(a,b) strcmp(a,b) == 0
479 assert (ast_context != NULL);
480 if (ast_context)
481 {
482 switch (dw_ate)
483 {
484 default:
485 break;
486
487 case DW_ATE_address:
488 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
489 return ast_context->VoidPtrTy.getAsOpaquePtr();
490 break;
491
492 case DW_ATE_boolean:
493 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->BoolTy))
494 return ast_context->BoolTy.getAsOpaquePtr();
495 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
496 return ast_context->UnsignedCharTy.getAsOpaquePtr();
497 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
498 return ast_context->UnsignedShortTy.getAsOpaquePtr();
499 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
500 return ast_context->UnsignedIntTy.getAsOpaquePtr();
501 break;
502
503 case DW_ATE_complex_float:
504 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatComplexTy))
505 return ast_context->FloatComplexTy.getAsOpaquePtr();
506 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleComplexTy))
507 return ast_context->DoubleComplexTy.getAsOpaquePtr();
508 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleComplexTy))
509 return ast_context->LongDoubleComplexTy.getAsOpaquePtr();
510 break;
511
512 case DW_ATE_float:
513 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
514 return ast_context->FloatTy.getAsOpaquePtr();
515 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
516 return ast_context->DoubleTy.getAsOpaquePtr();
517 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
518 return ast_context->LongDoubleTy.getAsOpaquePtr();
519 break;
520
521 case DW_ATE_signed:
522 if (type_name)
523 {
Greg Clayton8ff5d552010-11-02 03:48:39 +0000524 if (strstr(type_name, "long long"))
Chris Lattner24943d22010-06-08 16:52:24 +0000525 {
Chris Lattner24943d22010-06-08 16:52:24 +0000526 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
527 return ast_context->LongLongTy.getAsOpaquePtr();
528 }
Greg Clayton8ff5d552010-11-02 03:48:39 +0000529 else if (strstr(type_name, "long"))
530 {
531 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
532 return ast_context->LongTy.getAsOpaquePtr();
533 }
534 else if (strstr(type_name, "short"))
Chris Lattner24943d22010-06-08 16:52:24 +0000535 {
536 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
537 return ast_context->ShortTy.getAsOpaquePtr();
538 }
Greg Clayton8ff5d552010-11-02 03:48:39 +0000539 else if (strstr(type_name, "char"))
Chris Lattner24943d22010-06-08 16:52:24 +0000540 {
541 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
542 return ast_context->CharTy.getAsOpaquePtr();
543 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
544 return ast_context->SignedCharTy.getAsOpaquePtr();
545 }
Greg Clayton8ff5d552010-11-02 03:48:39 +0000546 else if (strstr(type_name, "int"))
547 {
548 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
549 return ast_context->IntTy.getAsOpaquePtr();
550 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
551 return ast_context->Int128Ty.getAsOpaquePtr();
552 }
553 else if (streq(type_name, "wchar_t"))
Chris Lattner24943d22010-06-08 16:52:24 +0000554 {
555 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->WCharTy))
556 return ast_context->WCharTy.getAsOpaquePtr();
557 }
Chris Lattner24943d22010-06-08 16:52:24 +0000558 }
559 // We weren't able to match up a type name, just search by size
560 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
561 return ast_context->CharTy.getAsOpaquePtr();
562 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
563 return ast_context->ShortTy.getAsOpaquePtr();
564 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
565 return ast_context->IntTy.getAsOpaquePtr();
566 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
567 return ast_context->LongTy.getAsOpaquePtr();
568 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
569 return ast_context->LongLongTy.getAsOpaquePtr();
570 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
571 return ast_context->Int128Ty.getAsOpaquePtr();
572 break;
573
574 case DW_ATE_signed_char:
575 if (type_name)
576 {
577 if (streq(type_name, "signed char"))
578 {
579 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
580 return ast_context->SignedCharTy.getAsOpaquePtr();
581 }
582 }
583 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
584 return ast_context->CharTy.getAsOpaquePtr();
585 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
586 return ast_context->SignedCharTy.getAsOpaquePtr();
587 break;
588
589 case DW_ATE_unsigned:
590 if (type_name)
591 {
Greg Clayton8ff5d552010-11-02 03:48:39 +0000592 if (strstr(type_name, "long long"))
593 {
594 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
595 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
596 }
597 else if (strstr(type_name, "long"))
598 {
599 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
600 return ast_context->UnsignedLongTy.getAsOpaquePtr();
601 }
602 else if (strstr(type_name, "short"))
603 {
604 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
605 return ast_context->UnsignedShortTy.getAsOpaquePtr();
606 }
607 else if (strstr(type_name, "char"))
608 {
609 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
610 return ast_context->UnsignedCharTy.getAsOpaquePtr();
611 }
612 else if (strstr(type_name, "int"))
Chris Lattner24943d22010-06-08 16:52:24 +0000613 {
614 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
615 return ast_context->UnsignedIntTy.getAsOpaquePtr();
616 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
617 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
618 }
Chris Lattner24943d22010-06-08 16:52:24 +0000619 }
620 // We weren't able to match up a type name, just search by size
621 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
622 return ast_context->UnsignedCharTy.getAsOpaquePtr();
623 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
624 return ast_context->UnsignedShortTy.getAsOpaquePtr();
625 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
626 return ast_context->UnsignedIntTy.getAsOpaquePtr();
627 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
628 return ast_context->UnsignedLongTy.getAsOpaquePtr();
629 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
630 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
631 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
632 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
633 break;
634
635 case DW_ATE_unsigned_char:
636 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
637 return ast_context->UnsignedCharTy.getAsOpaquePtr();
638 break;
639
640 case DW_ATE_imaginary_float:
641 break;
642 }
643 }
644 // This assert should fire for anything that we don't catch above so we know
645 // to fix any issues we run into.
646 assert (!"error: ClangASTContext::GetClangTypeForDWARFEncodingAndSize() contains an unhandled encoding. Fix this ASAP!");
647 return NULL;
648}
649
Greg Clayton462d4142010-09-29 01:12:09 +0000650clang_type_t
651ClangASTContext::GetBuiltInType_void(ASTContext *ast_context)
Chris Lattner24943d22010-06-08 16:52:24 +0000652{
Sean Callanana751f7b2010-09-17 02:24:29 +0000653 return ast_context->VoidTy.getAsOpaquePtr();
Chris Lattner24943d22010-06-08 16:52:24 +0000654}
655
Greg Clayton462d4142010-09-29 01:12:09 +0000656clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000657ClangASTContext::GetBuiltInType_objc_id()
658{
Sean Callanan04325062010-10-25 00:29:48 +0000659 return getASTContext()->ObjCBuiltinIdTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000660}
661
Greg Clayton462d4142010-09-29 01:12:09 +0000662clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000663ClangASTContext::GetBuiltInType_objc_Class()
664{
Sean Callanan04325062010-10-25 00:29:48 +0000665 return getASTContext()->ObjCBuiltinClassTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000666}
667
Greg Clayton462d4142010-09-29 01:12:09 +0000668clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000669ClangASTContext::GetBuiltInType_objc_selector()
670{
Sean Callanan04325062010-10-25 00:29:48 +0000671 return getASTContext()->ObjCBuiltinSelTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000672}
673
Greg Clayton462d4142010-09-29 01:12:09 +0000674clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000675ClangASTContext::GetCStringType (bool is_const)
676{
677 QualType char_type(getASTContext()->CharTy);
678
679 if (is_const)
680 char_type.addConst();
681
682 return getASTContext()->getPointerType(char_type).getAsOpaquePtr();
683}
684
Greg Clayton462d4142010-09-29 01:12:09 +0000685clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000686ClangASTContext::GetVoidPtrType (bool is_const)
687{
688 return GetVoidPtrType(getASTContext(), is_const);
689}
690
Greg Clayton462d4142010-09-29 01:12:09 +0000691clang_type_t
692ClangASTContext::GetVoidPtrType (ASTContext *ast_context, bool is_const)
Chris Lattner24943d22010-06-08 16:52:24 +0000693{
694 QualType void_ptr_type(ast_context->VoidPtrTy);
695
696 if (is_const)
697 void_ptr_type.addConst();
698
699 return void_ptr_type.getAsOpaquePtr();
700}
701
Sean Callanan839fde42010-10-28 18:19:36 +0000702class NullDiagnosticClient : public DiagnosticClient
703{
704public:
705 NullDiagnosticClient ()
706 {
707 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
708 }
709
710 void HandleDiagnostic (Diagnostic::Level DiagLevel, const DiagnosticInfo &info)
711 {
712 if (m_log)
713 {
714 llvm::SmallVectorImpl<char> diag_str(10);
715 info.FormatDiagnostic(diag_str);
716 diag_str.push_back('\0');
717 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
718 }
719 }
720private:
Greg Claytone005f2c2010-11-06 01:53:30 +0000721 LogSP m_log;
Sean Callanan839fde42010-10-28 18:19:36 +0000722};
723
Greg Clayton462d4142010-09-29 01:12:09 +0000724clang_type_t
725ClangASTContext::CopyType (ASTContext *dest_context,
726 ASTContext *source_context,
727 clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000728{
Sean Callananad5b61b2010-10-28 18:43:33 +0000729 // null_client's ownership is transferred to diagnostics
Sean Callanan839fde42010-10-28 18:19:36 +0000730 NullDiagnosticClient *null_client = new NullDiagnosticClient;
731 Diagnostic diagnostics(null_client);
Chris Lattner24943d22010-06-08 16:52:24 +0000732 FileManager file_manager;
733 ASTImporter importer(diagnostics,
734 *dest_context, file_manager,
735 *source_context, file_manager);
Sean Callanancf18faa2010-11-09 22:37:10 +0000736
737 QualType src = QualType::getFromOpaquePtr(clang_type);
738 QualType dst = importer.Import(src);
739
740 return dst.getAsOpaquePtr();
Chris Lattner24943d22010-06-08 16:52:24 +0000741}
742
Greg Clayton6916e352010-11-13 03:52:47 +0000743
744clang::Decl *
745ClangASTContext::CopyDecl (ASTContext *dest_context,
746 ASTContext *source_context,
747 clang::Decl *source_decl)
748{
749 // null_client's ownership is transferred to diagnostics
750 NullDiagnosticClient *null_client = new NullDiagnosticClient;
751 Diagnostic diagnostics(null_client);
752 FileManager file_manager;
753 ASTImporter importer(diagnostics,
754 *dest_context, file_manager,
755 *source_context, file_manager);
756
757 return importer.Import(source_decl);
758}
759
Sean Callanan8d825062010-07-16 00:00:27 +0000760bool
Greg Clayton462d4142010-09-29 01:12:09 +0000761ClangASTContext::AreTypesSame(ASTContext *ast_context,
762 clang_type_t type1,
763 clang_type_t type2)
Sean Callanan5510ddd2010-07-15 22:30:52 +0000764{
765 return ast_context->hasSameType(QualType::getFromOpaquePtr(type1),
766 QualType::getFromOpaquePtr(type2));
767}
768
Chris Lattner24943d22010-06-08 16:52:24 +0000769#pragma mark CVR modifiers
770
Greg Clayton462d4142010-09-29 01:12:09 +0000771clang_type_t
772ClangASTContext::AddConstModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000773{
774 if (clang_type)
775 {
776 QualType result(QualType::getFromOpaquePtr(clang_type));
777 result.addConst();
778 return result.getAsOpaquePtr();
779 }
780 return NULL;
781}
782
Greg Clayton462d4142010-09-29 01:12:09 +0000783clang_type_t
784ClangASTContext::AddRestrictModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000785{
786 if (clang_type)
787 {
788 QualType result(QualType::getFromOpaquePtr(clang_type));
789 result.getQualifiers().setRestrict (true);
790 return result.getAsOpaquePtr();
791 }
792 return NULL;
793}
794
Greg Clayton462d4142010-09-29 01:12:09 +0000795clang_type_t
796ClangASTContext::AddVolatileModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000797{
798 if (clang_type)
799 {
800 QualType result(QualType::getFromOpaquePtr(clang_type));
801 result.getQualifiers().setVolatile (true);
802 return result.getAsOpaquePtr();
803 }
804 return NULL;
805}
806
807#pragma mark Structure, Unions, Classes
808
Greg Clayton462d4142010-09-29 01:12:09 +0000809clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000810ClangASTContext::CreateRecordType (const char *name, int kind, DeclContext *decl_ctx, LanguageType language)
Chris Lattner24943d22010-06-08 16:52:24 +0000811{
812 ASTContext *ast_context = getASTContext();
813 assert (ast_context != NULL);
Sean Callanan04325062010-10-25 00:29:48 +0000814
Chris Lattner24943d22010-06-08 16:52:24 +0000815 if (decl_ctx == NULL)
816 decl_ctx = ast_context->getTranslationUnitDecl();
817
Greg Clayton9488b742010-07-28 02:04:09 +0000818
Greg Clayton585660c2010-08-05 01:57:25 +0000819 if (language == eLanguageTypeObjC)
Greg Clayton9488b742010-07-28 02:04:09 +0000820 {
Greg Clayton306edca2010-10-11 02:25:34 +0000821 bool isForwardDecl = true;
Greg Clayton9488b742010-07-28 02:04:09 +0000822 bool isInternal = false;
823 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal);
824 }
825
Chris Lattner24943d22010-06-08 16:52:24 +0000826 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
827 // we will need to update this code. I was told to currently always use
828 // the CXXRecordDecl class since we often don't know from debug information
829 // if something is struct or a class, so we default to always use the more
830 // complete definition just in case.
831 CXXRecordDecl *decl = CXXRecordDecl::Create(*ast_context,
832 (TagDecl::TagKind)kind,
833 decl_ctx,
834 SourceLocation(),
835 name && name[0] ? &ast_context->Idents.get(name) : NULL);
836
837 return ast_context->getTagDeclType(decl).getAsOpaquePtr();
838}
839
Greg Claytondbf26152010-10-01 23:13:49 +0000840static bool
841IsOperator (const char *name, OverloadedOperatorKind &op_kind)
842{
843 if (name == NULL || name[0] == '\0')
844 return false;
845
846 if (::strstr(name, "operator ") != name)
847 return false;
848
849 const char *post_op_name = name + 9;
850
851 // This is an operator, set the overloaded operator kind to invalid
852 // in case this is a conversion operator...
853 op_kind = NUM_OVERLOADED_OPERATORS;
854
855 switch (post_op_name[0])
856 {
857 case 'n':
858 if (strcmp (post_op_name, "new") == 0)
859 op_kind = OO_New;
860 else if (strcmp (post_op_name, "new[]") == 0)
861 op_kind = OO_Array_New;
862 break;
863
864 case 'd':
865 if (strcmp (post_op_name, "delete") == 0)
866 op_kind = OO_Delete;
867 else if (strcmp (post_op_name, "delete[]") == 0)
868 op_kind = OO_Array_Delete;
869 break;
870
871 case '+':
872 if (post_op_name[1] == '\0')
873 op_kind = OO_Plus;
874 else if (post_op_name[2] == '\0')
875 {
876 if (post_op_name[1] == '=')
877 op_kind = OO_PlusEqual;
878 else if (post_op_name[1] == '+')
879 op_kind = OO_PlusPlus;
880 }
881 break;
882
883 case '-':
884 if (post_op_name[1] == '\0')
885 op_kind = OO_Minus;
886 else if (post_op_name[2] == '\0')
887 {
888 switch (post_op_name[1])
889 {
890 case '=': op_kind = OO_MinusEqual; break;
891 case '-': op_kind = OO_MinusMinus; break;
892 case '>': op_kind = OO_Arrow; break;
893 }
894 }
895 else if (post_op_name[3] == '\0')
896 {
897 if (post_op_name[2] == '*')
898 op_kind = OO_ArrowStar; break;
899 }
900 break;
901
902 case '*':
903 if (post_op_name[1] == '\0')
904 op_kind = OO_Star;
905 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
906 op_kind = OO_StarEqual;
907 break;
908
909 case '/':
910 if (post_op_name[1] == '\0')
911 op_kind = OO_Slash;
912 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
913 op_kind = OO_SlashEqual;
914 break;
915
916 case '%':
917 if (post_op_name[1] == '\0')
918 op_kind = OO_Percent;
919 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
920 op_kind = OO_PercentEqual;
921 break;
922
923
924 case '^':
925 if (post_op_name[1] == '\0')
926 op_kind = OO_Caret;
927 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
928 op_kind = OO_CaretEqual;
929 break;
930
931 case '&':
932 if (post_op_name[1] == '\0')
933 op_kind = OO_Amp;
934 else if (post_op_name[2] == '\0')
935 {
936 switch (post_op_name[1])
937 {
938 case '=': op_kind = OO_AmpEqual; break;
939 case '&': op_kind = OO_AmpAmp; break;
940 }
941 }
942 break;
943
944 case '|':
945 if (post_op_name[1] == '\0')
946 op_kind = OO_Pipe;
947 else if (post_op_name[2] == '\0')
948 {
949 switch (post_op_name[1])
950 {
951 case '=': op_kind = OO_PipeEqual; break;
952 case '|': op_kind = OO_PipePipe; break;
953 }
954 }
955 break;
956
957 case '~':
958 if (post_op_name[1] == '\0')
959 op_kind = OO_Tilde;
960 break;
961
962 case '!':
963 if (post_op_name[1] == '\0')
964 op_kind = OO_Exclaim;
965 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
966 op_kind = OO_ExclaimEqual;
967 break;
968
969 case '=':
970 if (post_op_name[1] == '\0')
971 op_kind = OO_Equal;
972 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
973 op_kind = OO_EqualEqual;
974 break;
975
976 case '<':
977 if (post_op_name[1] == '\0')
978 op_kind = OO_Less;
979 else if (post_op_name[2] == '\0')
980 {
981 switch (post_op_name[1])
982 {
983 case '<': op_kind = OO_LessLess; break;
984 case '=': op_kind = OO_LessEqual; break;
985 }
986 }
987 else if (post_op_name[3] == '\0')
988 {
989 if (post_op_name[2] == '=')
990 op_kind = OO_LessLessEqual;
991 }
992 break;
993
994 case '>':
995 if (post_op_name[1] == '\0')
996 op_kind = OO_Greater;
997 else if (post_op_name[2] == '\0')
998 {
999 switch (post_op_name[1])
1000 {
1001 case '>': op_kind = OO_GreaterGreater; break;
1002 case '=': op_kind = OO_GreaterEqual; break;
1003 }
1004 }
1005 else if (post_op_name[1] == '>' &&
1006 post_op_name[2] == '=' &&
1007 post_op_name[3] == '\0')
1008 {
1009 op_kind = OO_GreaterGreaterEqual;
1010 }
1011 break;
1012
1013 case ',':
1014 if (post_op_name[1] == '\0')
1015 op_kind = OO_Comma;
1016 break;
1017
1018 case '(':
1019 if (post_op_name[1] == ')' && post_op_name[2] == '\0')
1020 op_kind = OO_Call;
1021 break;
1022
1023 case '[':
1024 if (post_op_name[1] == ']' && post_op_name[2] == '\0')
1025 op_kind = OO_Subscript;
1026 break;
1027 }
1028
1029 return true;
1030}
Greg Clayton412440a2010-09-23 01:09:21 +00001031CXXMethodDecl *
Sean Callanan79523002010-09-17 02:58:26 +00001032ClangASTContext::AddMethodToCXXRecordType
1033(
Greg Clayton462d4142010-09-29 01:12:09 +00001034 ASTContext *ast_context,
1035 clang_type_t record_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001036 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001037 clang_type_t method_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001038 lldb::AccessType access,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001039 bool is_virtual,
1040 bool is_static,
Greg Clayton30449d52010-10-01 02:31:07 +00001041 bool is_inline,
1042 bool is_explicit
Greg Clayton412440a2010-09-23 01:09:21 +00001043)
Sean Callanan79523002010-09-17 02:58:26 +00001044{
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001045 if (!record_opaque_type || !method_opaque_type || !name)
Johnny Chen974fddb2010-09-28 16:10:54 +00001046 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001047
1048 assert(ast_context);
1049
1050 IdentifierTable *identifier_table = &ast_context->Idents;
1051
1052 assert(identifier_table);
1053
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001054 QualType record_qual_type(QualType::getFromOpaquePtr(record_opaque_type));
Greg Clayton1d8173f2010-09-24 05:15:53 +00001055
1056 clang::Type *clang_type(record_qual_type.getTypePtr());
Sean Callanan79523002010-09-17 02:58:26 +00001057
Greg Clayton1d8173f2010-09-24 05:15:53 +00001058 if (clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001059 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001060
Greg Clayton1d8173f2010-09-24 05:15:53 +00001061 RecordType *record_clang_type(dyn_cast<RecordType>(clang_type));
Sean Callanan79523002010-09-17 02:58:26 +00001062
Greg Clayton1d8173f2010-09-24 05:15:53 +00001063 if (record_clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001064 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001065
Greg Clayton1d8173f2010-09-24 05:15:53 +00001066 RecordDecl *record_decl = record_clang_type->getDecl();
Sean Callanan79523002010-09-17 02:58:26 +00001067
Greg Clayton1d8173f2010-09-24 05:15:53 +00001068 if (record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001069 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001070
1071 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1072
Greg Clayton1d8173f2010-09-24 05:15:53 +00001073 if (cxx_record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001074 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001075
Greg Clayton1d8173f2010-09-24 05:15:53 +00001076 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001077
Greg Clayton30449d52010-10-01 02:31:07 +00001078 CXXMethodDecl *cxx_method_decl = NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001079
Greg Clayton30449d52010-10-01 02:31:07 +00001080 DeclarationName decl_name (&identifier_table->get(name));
Greg Clayton90e325d2010-10-01 03:45:20 +00001081
Greg Clayton90e325d2010-10-01 03:45:20 +00001082 const bool is_implicitly_declared = false;
Greg Clayton30449d52010-10-01 02:31:07 +00001083
Greg Clayton5325a362010-10-02 01:40:05 +00001084 clang::FunctionType *function_Type = dyn_cast<FunctionType>(method_qual_type.getTypePtr());
Greg Clayton90e325d2010-10-01 03:45:20 +00001085
Greg Clayton5325a362010-10-02 01:40:05 +00001086 if (function_Type == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001087 return NULL;
1088
Greg Clayton5325a362010-10-02 01:40:05 +00001089 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(function_Type));
Greg Clayton90e325d2010-10-01 03:45:20 +00001090
1091 if (!method_function_prototype)
1092 return NULL;
1093
1094 unsigned int num_params = method_function_prototype->getNumArgs();
1095
1096 if (name[0] == '~')
Greg Clayton30449d52010-10-01 02:31:07 +00001097 {
Greg Clayton90e325d2010-10-01 03:45:20 +00001098 cxx_method_decl = CXXDestructorDecl::Create (*ast_context,
1099 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001100 DeclarationNameInfo (ast_context->DeclarationNames.getCXXDestructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001101 method_qual_type,
Sean Callanan8950c9a2010-10-29 18:38:40 +00001102 NULL,
Greg Clayton90e325d2010-10-01 03:45:20 +00001103 is_inline,
1104 is_implicitly_declared);
1105 }
1106 else if (decl_name == record_decl->getDeclName())
1107 {
Greg Clayton30449d52010-10-01 02:31:07 +00001108 cxx_method_decl = CXXConstructorDecl::Create (*ast_context,
1109 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001110 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConstructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton30449d52010-10-01 02:31:07 +00001111 method_qual_type,
1112 NULL, // TypeSourceInfo *
1113 is_explicit,
1114 is_inline,
1115 is_implicitly_declared);
1116 }
1117 else
Greg Clayton90e325d2010-10-01 03:45:20 +00001118 {
Greg Claytondbf26152010-10-01 23:13:49 +00001119
1120 OverloadedOperatorKind op_kind = NUM_OVERLOADED_OPERATORS;
1121 if (IsOperator (name, op_kind))
Greg Clayton90e325d2010-10-01 03:45:20 +00001122 {
Greg Claytondbf26152010-10-01 23:13:49 +00001123 if (op_kind != NUM_OVERLOADED_OPERATORS)
1124 {
1125 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
Greg Clayton90e325d2010-10-01 03:45:20 +00001126 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001127 DeclarationNameInfo (ast_context->DeclarationNames.getCXXOperatorName (op_kind), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001128 method_qual_type,
1129 NULL, // TypeSourceInfo *
Greg Claytondbf26152010-10-01 23:13:49 +00001130 is_static,
1131 SC_None,
1132 is_inline);
1133 }
1134 else if (num_params == 0)
1135 {
1136 // Conversion operators don't take params...
1137 cxx_method_decl = CXXConversionDecl::Create (*ast_context,
1138 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001139 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConversionFunctionName (ast_context->getCanonicalType (function_Type->getResultType())), SourceLocation()),
Greg Claytondbf26152010-10-01 23:13:49 +00001140 method_qual_type,
1141 NULL, // TypeSourceInfo *
1142 is_inline,
1143 is_explicit);
1144 }
Greg Clayton90e325d2010-10-01 03:45:20 +00001145 }
Greg Claytondbf26152010-10-01 23:13:49 +00001146
1147 if (cxx_method_decl == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001148 {
1149 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
1150 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001151 DeclarationNameInfo (decl_name, SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001152 method_qual_type,
1153 NULL, // TypeSourceInfo *
1154 is_static,
1155 SC_None,
1156 is_inline);
1157 }
Greg Clayton30449d52010-10-01 02:31:07 +00001158 }
Greg Claytondbf26152010-10-01 23:13:49 +00001159
Greg Clayton462d4142010-09-29 01:12:09 +00001160 AccessSpecifier access_specifier = ConvertAccessTypeToAccessSpecifier (access);
Greg Clayton1d8173f2010-09-24 05:15:53 +00001161
1162 cxx_method_decl->setAccess (access_specifier);
1163 cxx_method_decl->setVirtualAsWritten (is_virtual);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001164
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001165 // Populate the method decl with parameter decls
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001166
1167 ParmVarDecl *params[num_params];
1168
1169 for (int param_index = 0;
1170 param_index < num_params;
1171 ++param_index)
1172 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001173 params[param_index] = ParmVarDecl::Create (*ast_context,
1174 cxx_method_decl,
1175 SourceLocation(),
1176 NULL, // anonymous
1177 method_function_prototype->getArgType(param_index),
1178 NULL,
1179 SC_None,
1180 SC_None,
1181 NULL);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001182 }
1183
Greg Clayton1d8173f2010-09-24 05:15:53 +00001184 cxx_method_decl->setParams (params, num_params);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001185
Greg Clayton1d8173f2010-09-24 05:15:53 +00001186 cxx_record_decl->addDecl (cxx_method_decl);
Sean Callanan79523002010-09-17 02:58:26 +00001187
Greg Clayton412440a2010-09-23 01:09:21 +00001188 return cxx_method_decl;
Sean Callanan79523002010-09-17 02:58:26 +00001189}
1190
1191bool
Greg Clayton84f80752010-07-22 18:30:50 +00001192ClangASTContext::AddFieldToRecordType
1193(
Greg Clayton462d4142010-09-29 01:12:09 +00001194 ASTContext *ast_context,
1195 clang_type_t record_clang_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001196 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001197 clang_type_t field_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001198 AccessType access,
1199 uint32_t bitfield_bit_size
1200)
Chris Lattner24943d22010-06-08 16:52:24 +00001201{
1202 if (record_clang_type == NULL || field_type == NULL)
1203 return false;
1204
Sean Callanan60a0ced2010-09-16 20:01:08 +00001205 IdentifierTable *identifier_table = &ast_context->Idents;
Chris Lattner24943d22010-06-08 16:52:24 +00001206
1207 assert (ast_context != NULL);
1208 assert (identifier_table != NULL);
1209
1210 QualType record_qual_type(QualType::getFromOpaquePtr(record_clang_type));
1211
Greg Clayton1674b122010-07-21 22:12:05 +00001212 clang::Type *clang_type = record_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001213 if (clang_type)
1214 {
1215 const RecordType *record_type = dyn_cast<RecordType>(clang_type);
1216
1217 if (record_type)
1218 {
1219 RecordDecl *record_decl = record_type->getDecl();
1220
Chris Lattner24943d22010-06-08 16:52:24 +00001221 clang::Expr *bit_width = NULL;
1222 if (bitfield_bit_size != 0)
1223 {
1224 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001225 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Chris Lattner24943d22010-06-08 16:52:24 +00001226 }
Greg Clayton84f80752010-07-22 18:30:50 +00001227 FieldDecl *field = FieldDecl::Create (*ast_context,
1228 record_decl,
1229 SourceLocation(),
1230 name ? &identifier_table->get(name) : NULL, // Identifier
1231 QualType::getFromOpaquePtr(field_type), // Field type
1232 NULL, // DeclaratorInfo *
1233 bit_width, // BitWidth
1234 false); // Mutable
Chris Lattner24943d22010-06-08 16:52:24 +00001235
Greg Clayton84f80752010-07-22 18:30:50 +00001236 field->setAccess (ConvertAccessTypeToAccessSpecifier (access));
Chris Lattner24943d22010-06-08 16:52:24 +00001237
1238 if (field)
1239 {
1240 record_decl->addDecl(field);
Chris Lattner24943d22010-06-08 16:52:24 +00001241 }
1242 }
Greg Clayton9488b742010-07-28 02:04:09 +00001243 else
1244 {
1245 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(clang_type);
1246 if (objc_class_type)
1247 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001248 bool is_synthesized = false;
Sean Callanan60a0ced2010-09-16 20:01:08 +00001249 ClangASTContext::AddObjCClassIVar (ast_context,
1250 record_clang_type,
Greg Clayton9488b742010-07-28 02:04:09 +00001251 name,
1252 field_type,
1253 access,
1254 bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001255 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001256 }
1257 }
Chris Lattner24943d22010-06-08 16:52:24 +00001258 }
1259 return false;
1260}
1261
1262bool
1263ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1264{
1265 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1266}
1267
1268bool
1269ClangASTContext::FieldIsBitfield
1270(
1271 ASTContext *ast_context,
1272 FieldDecl* field,
1273 uint32_t& bitfield_bit_size
1274)
1275{
1276 if (ast_context == NULL || field == NULL)
1277 return false;
1278
1279 if (field->isBitField())
1280 {
1281 Expr* bit_width_expr = field->getBitWidth();
1282 if (bit_width_expr)
1283 {
1284 llvm::APSInt bit_width_apsint;
1285 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast_context))
1286 {
1287 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1288 return true;
1289 }
1290 }
1291 }
1292 return false;
1293}
1294
1295bool
1296ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1297{
1298 if (record_decl == NULL)
1299 return false;
1300
1301 if (!record_decl->field_empty())
1302 return true;
1303
1304 // No fields, lets check this is a CXX record and check the base classes
1305 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1306 if (cxx_record_decl)
1307 {
1308 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1309 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1310 base_class != base_class_end;
1311 ++base_class)
1312 {
1313 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1314 if (RecordHasFields(base_class_decl))
1315 return true;
1316 }
1317 }
1318 return false;
1319}
1320
1321void
Greg Clayton462d4142010-09-29 01:12:09 +00001322ClangASTContext::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 +00001323{
1324 if (clang_qual_type)
1325 {
1326 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton1674b122010-07-21 22:12:05 +00001327 clang::Type *clang_type = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001328 if (clang_type)
1329 {
1330 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1331 if (record_type)
1332 {
1333 RecordDecl *record_decl = record_type->getDecl();
1334 if (record_decl)
1335 {
1336 uint32_t field_idx;
1337 RecordDecl::field_iterator field, field_end;
1338 for (field = record_decl->field_begin(), field_end = record_decl->field_end(), field_idx = 0;
1339 field != field_end;
1340 ++field, ++field_idx)
1341 {
1342 // If no accessibility was assigned, assign the correct one
1343 if (field_idx < num_assigned_accessibilities && assigned_accessibilities[field_idx] == clang::AS_none)
1344 field->setAccess ((AccessSpecifier)default_accessibility);
1345 }
1346 }
1347 }
1348 }
1349 }
1350}
1351
1352#pragma mark C++ Base Classes
1353
1354CXXBaseSpecifier *
Greg Clayton462d4142010-09-29 01:12:09 +00001355ClangASTContext::CreateBaseClassSpecifier (clang_type_t base_class_type, AccessType access, bool is_virtual, bool base_of_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001356{
1357 if (base_class_type)
Greg Clayton6e713402010-07-30 20:30:44 +00001358 return new CXXBaseSpecifier (SourceRange(),
1359 is_virtual,
1360 base_of_class,
1361 ConvertAccessTypeToAccessSpecifier (access),
1362 getASTContext()->CreateTypeSourceInfo (QualType::getFromOpaquePtr(base_class_type)));
Chris Lattner24943d22010-06-08 16:52:24 +00001363 return NULL;
1364}
1365
Greg Claytone9d0df42010-07-02 01:29:13 +00001366void
1367ClangASTContext::DeleteBaseClassSpecifiers (CXXBaseSpecifier **base_classes, unsigned num_base_classes)
1368{
1369 for (unsigned i=0; i<num_base_classes; ++i)
1370 {
1371 delete base_classes[i];
1372 base_classes[i] = NULL;
1373 }
1374}
1375
Chris Lattner24943d22010-06-08 16:52:24 +00001376bool
Greg Clayton462d4142010-09-29 01:12:09 +00001377ClangASTContext::SetBaseClassesForClassType (clang_type_t class_clang_type, CXXBaseSpecifier const * const *base_classes, unsigned num_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001378{
1379 if (class_clang_type)
1380 {
Greg Clayton1674b122010-07-21 22:12:05 +00001381 clang::Type *clang_type = QualType::getFromOpaquePtr(class_clang_type).getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001382 if (clang_type)
1383 {
1384 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1385 if (record_type)
1386 {
1387 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_type->getDecl());
1388 if (cxx_record_decl)
1389 {
Chris Lattner24943d22010-06-08 16:52:24 +00001390 cxx_record_decl->setBases(base_classes, num_base_classes);
1391 return true;
1392 }
1393 }
1394 }
1395 }
1396 return false;
1397}
Greg Clayton84f80752010-07-22 18:30:50 +00001398#pragma mark Objective C Classes
Chris Lattner24943d22010-06-08 16:52:24 +00001399
Greg Clayton462d4142010-09-29 01:12:09 +00001400clang_type_t
Greg Clayton84f80752010-07-22 18:30:50 +00001401ClangASTContext::CreateObjCClass
1402(
1403 const char *name,
1404 DeclContext *decl_ctx,
1405 bool isForwardDecl,
1406 bool isInternal
1407)
1408{
1409 ASTContext *ast_context = getASTContext();
1410 assert (ast_context != NULL);
1411 assert (name && name[0]);
1412 if (decl_ctx == NULL)
1413 decl_ctx = ast_context->getTranslationUnitDecl();
1414
1415 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1416 // we will need to update this code. I was told to currently always use
1417 // the CXXRecordDecl class since we often don't know from debug information
1418 // if something is struct or a class, so we default to always use the more
1419 // complete definition just in case.
1420 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast_context,
1421 decl_ctx,
1422 SourceLocation(),
1423 &ast_context->Idents.get(name),
1424 SourceLocation(),
1425 isForwardDecl,
1426 isInternal);
Greg Clayton9488b742010-07-28 02:04:09 +00001427
1428 return ast_context->getObjCInterfaceType(decl).getAsOpaquePtr();
Greg Clayton84f80752010-07-22 18:30:50 +00001429}
1430
1431bool
Greg Clayton462d4142010-09-29 01:12:09 +00001432ClangASTContext::SetObjCSuperClass (clang_type_t class_opaque_type, clang_type_t super_opaque_type)
Greg Clayton84f80752010-07-22 18:30:50 +00001433{
1434 if (class_opaque_type && super_opaque_type)
1435 {
1436 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1437 QualType super_qual_type(QualType::getFromOpaquePtr(super_opaque_type));
1438 clang::Type *class_type = class_qual_type.getTypePtr();
1439 clang::Type *super_type = super_qual_type.getTypePtr();
1440 if (class_type && super_type)
1441 {
1442 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1443 ObjCObjectType *objc_super_type = dyn_cast<ObjCObjectType>(super_type);
1444 if (objc_class_type && objc_super_type)
1445 {
1446 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1447 ObjCInterfaceDecl *super_interface_decl = objc_super_type->getInterface();
1448 if (class_interface_decl && super_interface_decl)
1449 {
1450 class_interface_decl->setSuperClass(super_interface_decl);
1451 return true;
1452 }
1453 }
1454 }
1455 }
1456 return false;
1457}
1458
1459
1460bool
1461ClangASTContext::AddObjCClassIVar
1462(
Greg Clayton462d4142010-09-29 01:12:09 +00001463 ASTContext *ast_context,
1464 clang_type_t class_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001465 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001466 clang_type_t ivar_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001467 AccessType access,
1468 uint32_t bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001469 bool is_synthesized
Greg Clayton84f80752010-07-22 18:30:50 +00001470)
1471{
1472 if (class_opaque_type == NULL || ivar_opaque_type == NULL)
1473 return false;
1474
Sean Callanan60a0ced2010-09-16 20:01:08 +00001475 IdentifierTable *identifier_table = &ast_context->Idents;
Greg Clayton84f80752010-07-22 18:30:50 +00001476
1477 assert (ast_context != NULL);
1478 assert (identifier_table != NULL);
1479
1480 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1481
1482 clang::Type *class_type = class_qual_type.getTypePtr();
1483 if (class_type)
1484 {
1485 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1486
1487 if (objc_class_type)
1488 {
1489 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1490
1491 if (class_interface_decl)
1492 {
1493 clang::Expr *bit_width = NULL;
1494 if (bitfield_bit_size != 0)
1495 {
1496 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001497 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Greg Clayton84f80752010-07-22 18:30:50 +00001498 }
1499
Greg Clayton9488b742010-07-28 02:04:09 +00001500 ObjCIvarDecl *field = ObjCIvarDecl::Create (*ast_context,
1501 class_interface_decl,
1502 SourceLocation(),
1503 &identifier_table->get(name), // Identifier
1504 QualType::getFromOpaquePtr(ivar_opaque_type), // Field type
1505 NULL, // TypeSourceInfo *
1506 ConvertAccessTypeToObjCIvarAccessControl (access),
1507 bit_width,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001508 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001509
1510 if (field)
1511 {
1512 class_interface_decl->addDecl(field);
1513 return true;
1514 }
Greg Clayton84f80752010-07-22 18:30:50 +00001515 }
1516 }
1517 }
1518 return false;
1519}
Chris Lattner24943d22010-06-08 16:52:24 +00001520
Greg Clayton9488b742010-07-28 02:04:09 +00001521
1522bool
Greg Clayton462d4142010-09-29 01:12:09 +00001523ClangASTContext::ObjCTypeHasIVars (clang_type_t class_opaque_type, bool check_superclass)
Greg Clayton9488b742010-07-28 02:04:09 +00001524{
1525 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1526
1527 clang::Type *class_type = class_qual_type.getTypePtr();
1528 if (class_type)
1529 {
1530 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1531
1532 if (objc_class_type)
1533 return ObjCDeclHasIVars (objc_class_type->getInterface(), check_superclass);
1534 }
1535 return false;
1536}
1537
1538bool
1539ClangASTContext::ObjCDeclHasIVars (ObjCInterfaceDecl *class_interface_decl, bool check_superclass)
1540{
1541 while (class_interface_decl)
1542 {
1543 if (class_interface_decl->ivar_size() > 0)
1544 return true;
1545
1546 if (check_superclass)
1547 class_interface_decl = class_interface_decl->getSuperClass();
1548 else
1549 break;
1550 }
1551 return false;
1552}
Greg Clayton1d8173f2010-09-24 05:15:53 +00001553
Greg Clayton462d4142010-09-29 01:12:09 +00001554ObjCMethodDecl *
Greg Clayton1d8173f2010-09-24 05:15:53 +00001555ClangASTContext::AddMethodToObjCObjectType
1556(
Greg Clayton462d4142010-09-29 01:12:09 +00001557 ASTContext *ast_context,
1558 clang_type_t class_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001559 const char *name, // the full symbol name as seen in the symbol table ("-[NString stringWithCString:]")
Greg Clayton462d4142010-09-29 01:12:09 +00001560 clang_type_t method_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001561 lldb::AccessType access
1562)
1563{
1564 if (class_opaque_type == NULL || method_opaque_type == NULL)
1565 return NULL;
1566
1567 IdentifierTable *identifier_table = &ast_context->Idents;
1568
1569 assert (ast_context != NULL);
1570 assert (identifier_table != NULL);
1571
1572 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1573
1574 clang::Type *class_type = class_qual_type.getTypePtr();
1575 if (class_type == NULL)
1576 return NULL;
1577
1578 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1579
1580 if (objc_class_type == NULL)
1581 return NULL;
1582
1583 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1584
1585 if (class_interface_decl == NULL)
1586 return NULL;
Greg Clayton9488b742010-07-28 02:04:09 +00001587
Greg Clayton1d8173f2010-09-24 05:15:53 +00001588 const char *selector_start = ::strchr (name, ' ');
1589 if (selector_start == NULL)
1590 return NULL;
1591
1592 selector_start++;
1593 if (!(::isalpha (selector_start[0]) || selector_start[0] == '_'))
1594 return NULL;
1595 llvm::SmallVector<IdentifierInfo *, 12> selector_idents;
1596
Greg Claytonad60bf42010-10-12 02:24:53 +00001597 size_t len = 0;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001598 const char *start;
Greg Claytonad60bf42010-10-12 02:24:53 +00001599 //printf ("name = '%s'\n", name);
1600
1601 unsigned num_selectors_with_args = 0;
1602 for (start = selector_start;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001603 start && *start != '\0' && *start != ']';
Greg Claytonad60bf42010-10-12 02:24:53 +00001604 start += len)
Greg Clayton1d8173f2010-09-24 05:15:53 +00001605 {
Greg Claytonad60bf42010-10-12 02:24:53 +00001606 len = ::strcspn(start, ":]");
Greg Clayton6bc44a42010-10-27 04:01:14 +00001607 bool has_arg = (start[len] == ':');
1608 if (has_arg)
Greg Claytonad60bf42010-10-12 02:24:53 +00001609 ++num_selectors_with_args;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001610 selector_idents.push_back (&identifier_table->get (StringRef (start, len)));
Greg Clayton6bc44a42010-10-27 04:01:14 +00001611 if (has_arg)
1612 len += 1;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001613 }
1614
1615
1616 if (selector_idents.size() == 0)
1617 return 0;
1618
Greg Claytonad60bf42010-10-12 02:24:53 +00001619 clang::Selector method_selector = ast_context->Selectors.getSelector (num_selectors_with_args ? selector_idents.size() : 0,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001620 selector_idents.data());
1621
1622 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
1623
1624 // Populate the method decl with parameter decls
1625 clang::Type *method_type(method_qual_type.getTypePtr());
1626
1627 if (method_type == NULL)
1628 return NULL;
1629
1630 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(method_type));
1631
1632 if (!method_function_prototype)
1633 return NULL;
1634
1635
1636 bool is_variadic = false;
1637 bool is_synthesized = false;
1638 bool is_defined = false;
1639 ObjCMethodDecl::ImplementationControl imp_control = ObjCMethodDecl::None;
1640
1641 const unsigned num_args = method_function_prototype->getNumArgs();
1642
1643 ObjCMethodDecl *objc_method_decl = ObjCMethodDecl::Create (*ast_context,
1644 SourceLocation(), // beginLoc,
1645 SourceLocation(), // endLoc,
1646 method_selector,
1647 method_function_prototype->getResultType(),
1648 NULL, // TypeSourceInfo *ResultTInfo,
1649 GetDeclContextForType (class_opaque_type),
1650 name[0] == '-',
1651 is_variadic,
1652 is_synthesized,
1653 is_defined,
1654 imp_control,
1655 num_args);
1656
1657
1658 if (objc_method_decl == NULL)
1659 return NULL;
1660
1661 if (num_args > 0)
1662 {
1663 llvm::SmallVector<ParmVarDecl *, 12> params;
1664
1665 for (int param_index = 0; param_index < num_args; ++param_index)
1666 {
1667 params.push_back (ParmVarDecl::Create (*ast_context,
1668 objc_method_decl,
1669 SourceLocation(),
1670 NULL, // anonymous
1671 method_function_prototype->getArgType(param_index),
1672 NULL,
1673 SC_Auto,
1674 SC_Auto,
1675 NULL));
1676 }
1677
1678 objc_method_decl->setMethodParams(*ast_context, params.data(), params.size(), num_args);
1679 }
1680
1681 class_interface_decl->addDecl (objc_method_decl);
1682
1683
1684 return objc_method_decl;
1685}
1686
1687
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001688uint32_t
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001689ClangASTContext::GetTypeInfo
1690(
1691 clang_type_t clang_type,
1692 clang::ASTContext *ast_context,
1693 clang_type_t *pointee_or_element_clang_type
1694)
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001695{
1696 if (clang_type == NULL)
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001697 return 0;
1698
1699 if (pointee_or_element_clang_type)
1700 *pointee_or_element_clang_type = NULL;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001701
1702 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1703
1704 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1705 switch (type_class)
1706 {
Sean Callanan04325062010-10-25 00:29:48 +00001707 case clang::Type::Builtin:
1708 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1709 {
Sean Callanan04325062010-10-25 00:29:48 +00001710 case clang::BuiltinType::ObjCId:
1711 case clang::BuiltinType::ObjCClass:
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001712 if (ast_context && pointee_or_element_clang_type)
1713 *pointee_or_element_clang_type = ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
Sean Callanan04325062010-10-25 00:29:48 +00001714 return eTypeIsBuiltIn | eTypeIsPointer | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001715
1716 default:
1717 break;
Sean Callanan04325062010-10-25 00:29:48 +00001718 }
1719 return eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001720
1721 case clang::Type::BlockPointer:
1722 if (pointee_or_element_clang_type)
1723 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1724 return eTypeIsPointer | eTypeHasChildren | eTypeIsBlock;
1725
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001726 case clang::Type::Complex: return eTypeHasChildren | eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001727
1728 case clang::Type::ConstantArray:
1729 case clang::Type::DependentSizedArray:
1730 case clang::Type::IncompleteArray:
1731 case clang::Type::VariableArray:
1732 if (pointee_or_element_clang_type)
1733 *pointee_or_element_clang_type = cast<ArrayType>(qual_type.getTypePtr())->getElementType().getAsOpaquePtr();
1734 return eTypeHasChildren | eTypeIsArray;
1735
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001736 case clang::Type::DependentName: return 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001737 case clang::Type::DependentSizedExtVector: return eTypeHasChildren | eTypeIsVector;
1738 case clang::Type::DependentTemplateSpecialization: return eTypeIsTemplate;
1739 case clang::Type::Decltype: return 0;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001740
1741 case clang::Type::Enum:
1742 if (pointee_or_element_clang_type)
1743 *pointee_or_element_clang_type = cast<EnumType>(qual_type)->getDecl()->getIntegerType().getAsOpaquePtr();
1744 return eTypeIsEnumeration | eTypeHasValue;
1745
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001746 case clang::Type::Elaborated: return 0;
1747 case clang::Type::ExtVector: return eTypeHasChildren | eTypeIsVector;
1748 case clang::Type::FunctionProto: return eTypeIsFuncPrototype | eTypeHasValue;
1749 case clang::Type::FunctionNoProto: return eTypeIsFuncPrototype | eTypeHasValue;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001750 case clang::Type::InjectedClassName: return 0;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001751
1752 case clang::Type::LValueReference:
1753 case clang::Type::RValueReference:
1754 if (pointee_or_element_clang_type)
1755 *pointee_or_element_clang_type = cast<ReferenceType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr();
1756 return eTypeHasChildren | eTypeIsReference | eTypeHasValue;
1757
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001758 case clang::Type::MemberPointer: return eTypeIsPointer | eTypeIsMember | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001759
1760 case clang::Type::ObjCObjectPointer:
1761 if (pointee_or_element_clang_type)
1762 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1763 return eTypeHasChildren | eTypeIsObjC | eTypeIsClass | eTypeIsPointer | eTypeHasValue;
1764
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001765 case clang::Type::ObjCObject: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
1766 case clang::Type::ObjCInterface: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001767
1768 case clang::Type::Pointer:
1769 if (pointee_or_element_clang_type)
1770 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1771 return eTypeHasChildren | eTypeIsPointer | eTypeHasValue;
1772
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001773 case clang::Type::Record:
1774 if (qual_type->getAsCXXRecordDecl())
1775 return eTypeHasChildren | eTypeIsClass | eTypeIsCPlusPlus;
1776 else
1777 return eTypeHasChildren | eTypeIsStructUnion;
1778 break;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001779 case clang::Type::SubstTemplateTypeParm: return eTypeIsTemplate;
1780 case clang::Type::TemplateTypeParm: return eTypeIsTemplate;
1781 case clang::Type::TemplateSpecialization: return eTypeIsTemplate;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001782
1783 case clang::Type::Typedef:
1784 return eTypeIsTypedef | ClangASTContext::GetTypeInfo (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
1785 ast_context,
1786 pointee_or_element_clang_type);
1787
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001788 case clang::Type::TypeOfExpr: return 0;
1789 case clang::Type::TypeOf: return 0;
1790 case clang::Type::UnresolvedUsing: return 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001791 case clang::Type::Vector: return eTypeHasChildren | eTypeIsVector;
1792 default: return 0;
1793 }
1794 return 0;
1795}
1796
Greg Clayton9488b742010-07-28 02:04:09 +00001797
Chris Lattner24943d22010-06-08 16:52:24 +00001798#pragma mark Aggregate Types
1799
1800bool
Greg Clayton462d4142010-09-29 01:12:09 +00001801ClangASTContext::IsAggregateType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00001802{
1803 if (clang_type == NULL)
1804 return false;
1805
1806 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1807
Greg Clayton03e0f972010-09-13 03:32:57 +00001808 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1809 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001810 {
Greg Clayton1674b122010-07-21 22:12:05 +00001811 case clang::Type::IncompleteArray:
1812 case clang::Type::VariableArray:
1813 case clang::Type::ConstantArray:
1814 case clang::Type::ExtVector:
1815 case clang::Type::Vector:
1816 case clang::Type::Record:
Greg Clayton9488b742010-07-28 02:04:09 +00001817 case clang::Type::ObjCObject:
1818 case clang::Type::ObjCInterface:
Chris Lattner24943d22010-06-08 16:52:24 +00001819 return true;
1820
Greg Clayton1674b122010-07-21 22:12:05 +00001821 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00001822 return ClangASTContext::IsAggregateType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
1823
1824 default:
1825 break;
1826 }
1827 // The clang type does have a value
1828 return false;
1829}
1830
1831uint32_t
Greg Clayton462d4142010-09-29 01:12:09 +00001832ClangASTContext::GetNumChildren (clang_type_t clang_qual_type, bool omit_empty_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001833{
1834 if (clang_qual_type == NULL)
1835 return 0;
1836
1837 uint32_t num_children = 0;
1838 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton9488b742010-07-28 02:04:09 +00001839 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1840 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001841 {
Greg Clayton960d6a42010-08-03 00:35:52 +00001842 case clang::Type::Builtin:
1843 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1844 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001845 case clang::BuiltinType::ObjCId: // child is Class
Greg Clayton960d6a42010-08-03 00:35:52 +00001846 case clang::BuiltinType::ObjCClass: // child is Class
Greg Clayton960d6a42010-08-03 00:35:52 +00001847 num_children = 1;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001848 break;
Greg Clayton960d6a42010-08-03 00:35:52 +00001849
1850 default:
1851 break;
1852 }
1853 break;
1854
Greg Clayton1674b122010-07-21 22:12:05 +00001855 case clang::Type::Record:
Greg Clayton53d287b2010-11-11 02:14:53 +00001856 if (ClangASTType::IsDefined (clang_qual_type))
Chris Lattner24943d22010-06-08 16:52:24 +00001857 {
1858 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
1859 const RecordDecl *record_decl = record_type->getDecl();
1860 assert(record_decl);
1861 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1862 if (cxx_record_decl)
1863 {
1864 if (omit_empty_base_classes)
1865 {
1866 // Check each base classes to see if it or any of its
1867 // base classes contain any fields. This can help
1868 // limit the noise in variable views by not having to
1869 // show base classes that contain no members.
1870 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1871 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1872 base_class != base_class_end;
1873 ++base_class)
1874 {
1875 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1876
1877 // Skip empty base classes
1878 if (RecordHasFields(base_class_decl) == false)
1879 continue;
1880
1881 num_children++;
1882 }
1883 }
1884 else
1885 {
1886 // Include all base classes
1887 num_children += cxx_record_decl->getNumBases();
1888 }
1889
1890 }
1891 RecordDecl::field_iterator field, field_end;
1892 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field)
1893 ++num_children;
1894 }
1895 break;
1896
Greg Clayton9488b742010-07-28 02:04:09 +00001897 case clang::Type::ObjCObject:
1898 case clang::Type::ObjCInterface:
1899 {
1900 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
1901 assert (objc_class_type);
1902 if (objc_class_type)
1903 {
1904 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1905
1906 if (class_interface_decl)
1907 {
1908
1909 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
1910 if (superclass_interface_decl)
1911 {
1912 if (omit_empty_base_classes)
1913 {
1914 if (ClangASTContext::ObjCDeclHasIVars (superclass_interface_decl, true))
1915 ++num_children;
1916 }
1917 else
1918 ++num_children;
1919 }
1920
1921 num_children += class_interface_decl->ivar_size();
1922 }
1923 }
1924 }
1925 break;
1926
1927 case clang::Type::ObjCObjectPointer:
Greg Clayton960d6a42010-08-03 00:35:52 +00001928 {
1929 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(qual_type.getTypePtr());
1930 QualType pointee_type = pointer_type->getPointeeType();
1931 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1932 omit_empty_base_classes);
1933 // If this type points to a simple type, then it has 1 child
1934 if (num_pointee_children == 0)
1935 num_children = 1;
1936 else
1937 num_children = num_pointee_children;
1938 }
1939 break;
Greg Clayton9488b742010-07-28 02:04:09 +00001940
Greg Clayton1674b122010-07-21 22:12:05 +00001941 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00001942 num_children = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
1943 break;
1944
Greg Clayton1674b122010-07-21 22:12:05 +00001945 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00001946 {
1947 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
1948 QualType pointee_type = pointer_type->getPointeeType();
Greg Clayton9488b742010-07-28 02:04:09 +00001949 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1950 omit_empty_base_classes);
Chris Lattner24943d22010-06-08 16:52:24 +00001951 // If this type points to a simple type, then it has 1 child
1952 if (num_pointee_children == 0)
1953 num_children = 1;
1954 else
1955 num_children = num_pointee_children;
1956 }
1957 break;
1958
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001959 case clang::Type::LValueReference:
1960 case clang::Type::RValueReference:
1961 {
1962 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
1963 QualType pointee_type = reference_type->getPointeeType();
1964 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1965 omit_empty_base_classes);
1966 // If this type points to a simple type, then it has 1 child
1967 if (num_pointee_children == 0)
1968 num_children = 1;
1969 else
1970 num_children = num_pointee_children;
1971 }
1972 break;
1973
1974
Greg Clayton1674b122010-07-21 22:12:05 +00001975 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00001976 num_children = ClangASTContext::GetNumChildren (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), omit_empty_base_classes);
1977 break;
1978
1979 default:
1980 break;
1981 }
1982 return num_children;
1983}
1984
1985
Greg Clayton462d4142010-09-29 01:12:09 +00001986clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00001987ClangASTContext::GetChildClangTypeAtIndex
1988(
1989 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00001990 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00001991 uint32_t idx,
1992 bool transparent_pointers,
1993 bool omit_empty_base_classes,
1994 std::string& child_name,
1995 uint32_t &child_byte_size,
1996 int32_t &child_byte_offset,
1997 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001998 uint32_t &child_bitfield_bit_offset,
1999 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00002000)
2001{
2002 if (parent_clang_type)
2003
2004 return GetChildClangTypeAtIndex (getASTContext(),
2005 parent_name,
2006 parent_clang_type,
2007 idx,
2008 transparent_pointers,
2009 omit_empty_base_classes,
2010 child_name,
2011 child_byte_size,
2012 child_byte_offset,
2013 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002014 child_bitfield_bit_offset,
2015 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002016 return NULL;
2017}
2018
Greg Clayton462d4142010-09-29 01:12:09 +00002019clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00002020ClangASTContext::GetChildClangTypeAtIndex
2021(
2022 ASTContext *ast_context,
2023 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00002024 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002025 uint32_t idx,
2026 bool transparent_pointers,
2027 bool omit_empty_base_classes,
2028 std::string& child_name,
2029 uint32_t &child_byte_size,
2030 int32_t &child_byte_offset,
2031 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002032 uint32_t &child_bitfield_bit_offset,
2033 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00002034)
2035{
2036 if (parent_clang_type == NULL)
2037 return NULL;
2038
2039 if (idx < ClangASTContext::GetNumChildren (parent_clang_type, omit_empty_base_classes))
2040 {
2041 uint32_t bit_offset;
2042 child_bitfield_bit_size = 0;
2043 child_bitfield_bit_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002044 child_is_base_class = false;
Chris Lattner24943d22010-06-08 16:52:24 +00002045 QualType parent_qual_type(QualType::getFromOpaquePtr(parent_clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002046 const clang::Type::TypeClass parent_type_class = parent_qual_type->getTypeClass();
2047 switch (parent_type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002048 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002049 case clang::Type::Builtin:
2050 switch (cast<clang::BuiltinType>(parent_qual_type)->getKind())
2051 {
2052 case clang::BuiltinType::ObjCId:
2053 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00002054 child_name = "isa";
2055 child_byte_size = ast_context->getTypeSize(ast_context->ObjCBuiltinClassTy) / CHAR_BIT;
Greg Clayton960d6a42010-08-03 00:35:52 +00002056 return ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
2057
Greg Clayton960d6a42010-08-03 00:35:52 +00002058 default:
2059 break;
2060 }
2061 break;
2062
2063
Greg Clayton1674b122010-07-21 22:12:05 +00002064 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002065 {
2066 const RecordType *record_type = cast<RecordType>(parent_qual_type.getTypePtr());
2067 const RecordDecl *record_decl = record_type->getDecl();
2068 assert(record_decl);
2069 const ASTRecordLayout &record_layout = ast_context->getASTRecordLayout(record_decl);
2070 uint32_t child_idx = 0;
2071
2072 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2073 if (cxx_record_decl)
2074 {
2075 // We might have base classes to print out first
2076 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2077 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2078 base_class != base_class_end;
2079 ++base_class)
2080 {
2081 const CXXRecordDecl *base_class_decl = NULL;
2082
2083 // Skip empty base classes
2084 if (omit_empty_base_classes)
2085 {
2086 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2087 if (RecordHasFields(base_class_decl) == false)
2088 continue;
2089 }
2090
2091 if (idx == child_idx)
2092 {
2093 if (base_class_decl == NULL)
2094 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2095
2096
2097 if (base_class->isVirtual())
2098 bit_offset = record_layout.getVBaseClassOffset(base_class_decl);
2099 else
2100 bit_offset = record_layout.getBaseClassOffset(base_class_decl);
2101
2102 // Base classes should be a multiple of 8 bits in size
2103 assert (bit_offset % 8 == 0);
2104 child_byte_offset = bit_offset/8;
2105 std::string base_class_type_name(base_class->getType().getAsString());
2106
2107 child_name.assign(base_class_type_name.c_str());
2108
2109 uint64_t clang_type_info_bit_size = ast_context->getTypeSize(base_class->getType());
2110
2111 // Base classes biut sizes should be a multiple of 8 bits in size
2112 assert (clang_type_info_bit_size % 8 == 0);
2113 child_byte_size = clang_type_info_bit_size / 8;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002114 child_is_base_class = true;
Chris Lattner24943d22010-06-08 16:52:24 +00002115 return base_class->getType().getAsOpaquePtr();
2116 }
2117 // We don't increment the child index in the for loop since we might
2118 // be skipping empty base classes
2119 ++child_idx;
2120 }
2121 }
Chris Lattner24943d22010-06-08 16:52:24 +00002122 // Make sure index is in range...
2123 uint32_t field_idx = 0;
2124 RecordDecl::field_iterator field, field_end;
2125 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field, ++field_idx, ++child_idx)
2126 {
2127 if (idx == child_idx)
2128 {
2129 // Print the member type if requested
2130 // Print the member name and equal sign
2131 child_name.assign(field->getNameAsString().c_str());
2132
2133 // Figure out the type byte size (field_type_info.first) and
2134 // alignment (field_type_info.second) from the AST context.
2135 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(field->getType());
Greg Clayton54e7afa2010-07-09 20:39:50 +00002136 assert(field_idx < record_layout.getFieldCount());
Chris Lattner24943d22010-06-08 16:52:24 +00002137
2138 child_byte_size = field_type_info.first / 8;
2139
2140 // Figure out the field offset within the current struct/union/class type
2141 bit_offset = record_layout.getFieldOffset (field_idx);
2142 child_byte_offset = bit_offset / 8;
2143 if (ClangASTContext::FieldIsBitfield (ast_context, *field, child_bitfield_bit_size))
2144 child_bitfield_bit_offset = bit_offset % 8;
2145
2146 return field->getType().getAsOpaquePtr();
2147 }
2148 }
2149 }
2150 break;
2151
Greg Clayton9488b742010-07-28 02:04:09 +00002152 case clang::Type::ObjCObject:
2153 case clang::Type::ObjCInterface:
2154 {
2155 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(parent_qual_type.getTypePtr());
2156 assert (objc_class_type);
2157 if (objc_class_type)
2158 {
2159 uint32_t child_idx = 0;
2160 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2161
2162 if (class_interface_decl)
2163 {
2164
2165 const ASTRecordLayout &interface_layout = ast_context->getASTObjCInterfaceLayout(class_interface_decl);
2166 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2167 if (superclass_interface_decl)
2168 {
2169 if (omit_empty_base_classes)
2170 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002171 if (ClangASTContext::GetNumChildren(ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(), omit_empty_base_classes) > 0)
Greg Clayton9488b742010-07-28 02:04:09 +00002172 {
2173 if (idx == 0)
2174 {
2175 QualType ivar_qual_type(ast_context->getObjCInterfaceType(superclass_interface_decl));
2176
2177
2178 child_name.assign(superclass_interface_decl->getNameAsString().c_str());
2179
2180 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2181
2182 child_byte_size = ivar_type_info.first / 8;
Greg Clayton960d6a42010-08-03 00:35:52 +00002183 child_byte_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002184 child_is_base_class = true;
Greg Clayton9488b742010-07-28 02:04:09 +00002185
2186 return ivar_qual_type.getAsOpaquePtr();
2187 }
2188
2189 ++child_idx;
2190 }
2191 }
2192 else
2193 ++child_idx;
2194 }
Greg Clayton960d6a42010-08-03 00:35:52 +00002195
2196 const uint32_t superclass_idx = child_idx;
Greg Clayton9488b742010-07-28 02:04:09 +00002197
2198 if (idx < (child_idx + class_interface_decl->ivar_size()))
2199 {
2200 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2201
2202 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2203 {
2204 if (child_idx == idx)
2205 {
2206 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2207
2208 QualType ivar_qual_type(ivar_decl->getType());
2209
2210 child_name.assign(ivar_decl->getNameAsString().c_str());
2211
2212 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2213
2214 child_byte_size = ivar_type_info.first / 8;
2215
2216 // Figure out the field offset within the current struct/union/class type
Greg Clayton960d6a42010-08-03 00:35:52 +00002217 bit_offset = interface_layout.getFieldOffset (child_idx - superclass_idx);
Greg Clayton9488b742010-07-28 02:04:09 +00002218 child_byte_offset = bit_offset / 8;
2219
2220 return ivar_qual_type.getAsOpaquePtr();
2221 }
2222 ++child_idx;
2223 }
2224 }
2225 }
2226 }
2227 }
2228 break;
2229
2230 case clang::Type::ObjCObjectPointer:
2231 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002232 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(parent_qual_type.getTypePtr());
2233 QualType pointee_type = pointer_type->getPointeeType();
2234
2235 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2236 {
2237 return GetChildClangTypeAtIndex (ast_context,
2238 parent_name,
2239 pointer_type->getPointeeType().getAsOpaquePtr(),
2240 idx,
2241 transparent_pointers,
2242 omit_empty_base_classes,
2243 child_name,
2244 child_byte_size,
2245 child_byte_offset,
2246 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002247 child_bitfield_bit_offset,
2248 child_is_base_class);
Greg Clayton960d6a42010-08-03 00:35:52 +00002249 }
2250 else
2251 {
2252 if (parent_name)
2253 {
2254 child_name.assign(1, '*');
2255 child_name += parent_name;
2256 }
2257
2258 // We have a pointer to an simple type
2259 if (idx == 0)
2260 {
2261 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2262 assert(clang_type_info.first % 8 == 0);
2263 child_byte_size = clang_type_info.first / 8;
2264 child_byte_offset = 0;
2265 return pointee_type.getAsOpaquePtr();
2266 }
2267 }
Greg Clayton9488b742010-07-28 02:04:09 +00002268 }
2269 break;
2270
Greg Clayton1674b122010-07-21 22:12:05 +00002271 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002272 {
2273 const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2274 const uint64_t element_count = array->getSize().getLimitedValue();
2275
2276 if (idx < element_count)
2277 {
2278 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2279
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002280 char element_name[64];
2281 ::snprintf (element_name, sizeof (element_name), "[%u]", idx);
Chris Lattner24943d22010-06-08 16:52:24 +00002282
2283 child_name.assign(element_name);
2284 assert(field_type_info.first % 8 == 0);
2285 child_byte_size = field_type_info.first / 8;
2286 child_byte_offset = idx * child_byte_size;
2287 return array->getElementType().getAsOpaquePtr();
2288 }
2289 }
2290 break;
2291
Greg Clayton1674b122010-07-21 22:12:05 +00002292 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002293 {
2294 PointerType *pointer_type = cast<PointerType>(parent_qual_type.getTypePtr());
2295 QualType pointee_type = pointer_type->getPointeeType();
2296
2297 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2298 {
2299 return GetChildClangTypeAtIndex (ast_context,
2300 parent_name,
2301 pointer_type->getPointeeType().getAsOpaquePtr(),
2302 idx,
2303 transparent_pointers,
2304 omit_empty_base_classes,
2305 child_name,
2306 child_byte_size,
2307 child_byte_offset,
2308 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002309 child_bitfield_bit_offset,
2310 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002311 }
2312 else
2313 {
2314 if (parent_name)
2315 {
2316 child_name.assign(1, '*');
2317 child_name += parent_name;
2318 }
2319
2320 // We have a pointer to an simple type
2321 if (idx == 0)
2322 {
2323 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2324 assert(clang_type_info.first % 8 == 0);
2325 child_byte_size = clang_type_info.first / 8;
2326 child_byte_offset = 0;
2327 return pointee_type.getAsOpaquePtr();
2328 }
2329 }
2330 }
2331 break;
2332
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00002333 case clang::Type::LValueReference:
2334 case clang::Type::RValueReference:
2335 {
2336 ReferenceType *reference_type = cast<ReferenceType>(parent_qual_type.getTypePtr());
2337 QualType pointee_type(reference_type->getPointeeType());
2338 clang_type_t pointee_clang_type = pointee_type.getAsOpaquePtr();
2339 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_clang_type))
2340 {
2341 return GetChildClangTypeAtIndex (ast_context,
2342 parent_name,
2343 pointee_clang_type,
2344 idx,
2345 transparent_pointers,
2346 omit_empty_base_classes,
2347 child_name,
2348 child_byte_size,
2349 child_byte_offset,
2350 child_bitfield_bit_size,
2351 child_bitfield_bit_offset,
2352 child_is_base_class);
2353 }
2354 else
2355 {
2356 if (parent_name)
2357 {
2358 child_name.assign(1, '&');
2359 child_name += parent_name;
2360 }
2361
2362 // We have a pointer to an simple type
2363 if (idx == 0)
2364 {
2365 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2366 assert(clang_type_info.first % 8 == 0);
2367 child_byte_size = clang_type_info.first / 8;
2368 child_byte_offset = 0;
2369 return pointee_type.getAsOpaquePtr();
2370 }
2371 }
2372 }
2373 break;
2374
Greg Clayton1674b122010-07-21 22:12:05 +00002375 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002376 return GetChildClangTypeAtIndex (ast_context,
2377 parent_name,
2378 cast<TypedefType>(parent_qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2379 idx,
2380 transparent_pointers,
2381 omit_empty_base_classes,
2382 child_name,
2383 child_byte_size,
2384 child_byte_offset,
2385 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002386 child_bitfield_bit_offset,
2387 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002388 break;
2389
2390 default:
2391 break;
2392 }
2393 }
Greg Claytonf8e98a62010-07-23 15:37:46 +00002394 return NULL;
Chris Lattner24943d22010-06-08 16:52:24 +00002395}
2396
2397static inline bool
2398BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
2399{
2400 return ClangASTContext::RecordHasFields(cast<CXXRecordDecl>(b->getType()->getAs<RecordType>()->getDecl())) == false;
2401}
2402
2403static uint32_t
2404GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
2405{
2406 uint32_t num_bases = 0;
2407 if (cxx_record_decl)
2408 {
2409 if (omit_empty_base_classes)
2410 {
2411 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2412 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2413 base_class != base_class_end;
2414 ++base_class)
2415 {
2416 // Skip empty base classes
2417 if (omit_empty_base_classes)
2418 {
2419 if (BaseSpecifierIsEmpty (base_class))
2420 continue;
2421 }
2422 ++num_bases;
2423 }
2424 }
2425 else
2426 num_bases = cxx_record_decl->getNumBases();
2427 }
2428 return num_bases;
2429}
2430
2431
2432static uint32_t
2433GetIndexForRecordBase
2434(
2435 const RecordDecl *record_decl,
2436 const CXXBaseSpecifier *base_spec,
2437 bool omit_empty_base_classes
2438)
2439{
2440 uint32_t child_idx = 0;
2441
2442 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2443
2444// const char *super_name = record_decl->getNameAsCString();
2445// const char *base_name = base_spec->getType()->getAs<RecordType>()->getDecl()->getNameAsCString();
2446// printf ("GetIndexForRecordChild (%s, %s)\n", super_name, base_name);
2447//
2448 if (cxx_record_decl)
2449 {
2450 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2451 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2452 base_class != base_class_end;
2453 ++base_class)
2454 {
2455 if (omit_empty_base_classes)
2456 {
2457 if (BaseSpecifierIsEmpty (base_class))
2458 continue;
2459 }
2460
2461// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n", super_name, base_name,
2462// child_idx,
2463// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2464//
2465//
2466 if (base_class == base_spec)
2467 return child_idx;
2468 ++child_idx;
2469 }
2470 }
2471
2472 return UINT32_MAX;
2473}
2474
2475
2476static uint32_t
2477GetIndexForRecordChild
2478(
2479 const RecordDecl *record_decl,
2480 NamedDecl *canonical_decl,
2481 bool omit_empty_base_classes
2482)
2483{
2484 uint32_t child_idx = GetNumBaseClasses (dyn_cast<CXXRecordDecl>(record_decl), omit_empty_base_classes);
2485
2486// const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2487//
2488//// printf ("GetIndexForRecordChild (%s, %s)\n", record_decl->getNameAsCString(), canonical_decl->getNameAsCString());
2489// if (cxx_record_decl)
2490// {
2491// CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2492// for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2493// base_class != base_class_end;
2494// ++base_class)
2495// {
2496// if (omit_empty_base_classes)
2497// {
2498// if (BaseSpecifierIsEmpty (base_class))
2499// continue;
2500// }
2501//
2502//// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n",
2503//// record_decl->getNameAsCString(),
2504//// canonical_decl->getNameAsCString(),
2505//// child_idx,
2506//// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2507//
2508//
2509// CXXRecordDecl *curr_base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2510// if (curr_base_class_decl == canonical_decl)
2511// {
2512// return child_idx;
2513// }
2514// ++child_idx;
2515// }
2516// }
2517//
2518// const uint32_t num_bases = child_idx;
2519 RecordDecl::field_iterator field, field_end;
2520 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2521 field != field_end;
2522 ++field, ++child_idx)
2523 {
2524// printf ("GetIndexForRecordChild (%s, %s) field[%u] = %s\n",
2525// record_decl->getNameAsCString(),
2526// canonical_decl->getNameAsCString(),
2527// child_idx - num_bases,
2528// field->getNameAsCString());
2529
2530 if (field->getCanonicalDecl() == canonical_decl)
2531 return child_idx;
2532 }
2533
2534 return UINT32_MAX;
2535}
2536
2537// Look for a child member (doesn't include base classes, but it does include
2538// their members) in the type hierarchy. Returns an index path into "clang_type"
2539// on how to reach the appropriate member.
2540//
2541// class A
2542// {
2543// public:
2544// int m_a;
2545// int m_b;
2546// };
2547//
2548// class B
2549// {
2550// };
2551//
2552// class C :
2553// public B,
2554// public A
2555// {
2556// };
2557//
2558// If we have a clang type that describes "class C", and we wanted to looked
2559// "m_b" in it:
2560//
2561// With omit_empty_base_classes == false we would get an integer array back with:
2562// { 1, 1 }
2563// The first index 1 is the child index for "class A" within class C
2564// The second index 1 is the child index for "m_b" within class A
2565//
2566// With omit_empty_base_classes == true we would get an integer array back with:
2567// { 0, 1 }
2568// 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)
2569// The second index 1 is the child index for "m_b" within class A
2570
2571size_t
2572ClangASTContext::GetIndexOfChildMemberWithName
2573(
2574 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002575 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002576 const char *name,
2577 bool omit_empty_base_classes,
2578 std::vector<uint32_t>& child_indexes
2579)
2580{
2581 if (clang_type && name && name[0])
2582 {
2583 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002584 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2585 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002586 {
Greg Clayton1674b122010-07-21 22:12:05 +00002587 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002588 {
2589 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2590 const RecordDecl *record_decl = record_type->getDecl();
2591
2592 assert(record_decl);
2593 uint32_t child_idx = 0;
2594
2595 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2596
2597 // Try and find a field that matches NAME
2598 RecordDecl::field_iterator field, field_end;
2599 StringRef name_sref(name);
2600 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2601 field != field_end;
2602 ++field, ++child_idx)
2603 {
2604 if (field->getName().equals (name_sref))
2605 {
2606 // We have to add on the number of base classes to this index!
2607 child_indexes.push_back (child_idx + GetNumBaseClasses (cxx_record_decl, omit_empty_base_classes));
2608 return child_indexes.size();
2609 }
2610 }
2611
2612 if (cxx_record_decl)
2613 {
2614 const RecordDecl *parent_record_decl = cxx_record_decl;
2615
2616 //printf ("parent = %s\n", parent_record_decl->getNameAsCString());
2617
2618 //const Decl *root_cdecl = cxx_record_decl->getCanonicalDecl();
2619 // Didn't find things easily, lets let clang do its thang...
2620 IdentifierInfo & ident_ref = ast_context->Idents.get(name, name + strlen (name));
2621 DeclarationName decl_name(&ident_ref);
2622
2623 CXXBasePaths paths;
2624 if (cxx_record_decl->lookupInBases(CXXRecordDecl::FindOrdinaryMember,
2625 decl_name.getAsOpaquePtr(),
2626 paths))
2627 {
Chris Lattner24943d22010-06-08 16:52:24 +00002628 CXXBasePaths::const_paths_iterator path, path_end = paths.end();
2629 for (path = paths.begin(); path != path_end; ++path)
2630 {
2631 const size_t num_path_elements = path->size();
2632 for (size_t e=0; e<num_path_elements; ++e)
2633 {
2634 CXXBasePathElement elem = (*path)[e];
2635
2636 child_idx = GetIndexForRecordBase (parent_record_decl, elem.Base, omit_empty_base_classes);
2637 if (child_idx == UINT32_MAX)
2638 {
2639 child_indexes.clear();
2640 return 0;
2641 }
2642 else
2643 {
2644 child_indexes.push_back (child_idx);
2645 parent_record_decl = cast<RecordDecl>(elem.Base->getType()->getAs<RecordType>()->getDecl());
2646 }
2647 }
2648 DeclContext::lookup_iterator named_decl_pos;
2649 for (named_decl_pos = path->Decls.first;
2650 named_decl_pos != path->Decls.second && parent_record_decl;
2651 ++named_decl_pos)
2652 {
2653 //printf ("path[%zu] = %s\n", child_indexes.size(), (*named_decl_pos)->getNameAsCString());
2654
2655 child_idx = GetIndexForRecordChild (parent_record_decl, *named_decl_pos, omit_empty_base_classes);
2656 if (child_idx == UINT32_MAX)
2657 {
2658 child_indexes.clear();
2659 return 0;
2660 }
2661 else
2662 {
2663 child_indexes.push_back (child_idx);
2664 }
2665 }
2666 }
2667 return child_indexes.size();
2668 }
2669 }
2670
2671 }
2672 break;
2673
Greg Clayton9488b742010-07-28 02:04:09 +00002674 case clang::Type::ObjCObject:
2675 case clang::Type::ObjCInterface:
2676 {
2677 StringRef name_sref(name);
2678 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2679 assert (objc_class_type);
2680 if (objc_class_type)
2681 {
2682 uint32_t child_idx = 0;
2683 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2684
2685 if (class_interface_decl)
2686 {
2687 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2688 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2689
Greg Clayton823533e2010-09-18 02:11:07 +00002690 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos, ++child_idx)
Greg Clayton9488b742010-07-28 02:04:09 +00002691 {
2692 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2693
2694 if (ivar_decl->getName().equals (name_sref))
2695 {
2696 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2697 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2698 ++child_idx;
2699
2700 child_indexes.push_back (child_idx);
2701 return child_indexes.size();
2702 }
2703 }
2704
2705 if (superclass_interface_decl)
2706 {
2707 // The super class index is always zero for ObjC classes,
2708 // so we push it onto the child indexes in case we find
2709 // an ivar in our superclass...
2710 child_indexes.push_back (0);
2711
2712 if (GetIndexOfChildMemberWithName (ast_context,
2713 ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(),
2714 name,
2715 omit_empty_base_classes,
2716 child_indexes))
2717 {
2718 // We did find an ivar in a superclass so just
2719 // return the results!
2720 return child_indexes.size();
2721 }
2722
2723 // We didn't find an ivar matching "name" in our
2724 // superclass, pop the superclass zero index that
2725 // we pushed on above.
2726 child_indexes.pop_back();
2727 }
2728 }
2729 }
2730 }
2731 break;
2732
2733 case clang::Type::ObjCObjectPointer:
2734 {
2735 return GetIndexOfChildMemberWithName (ast_context,
2736 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2737 name,
2738 omit_empty_base_classes,
2739 child_indexes);
2740 }
2741 break;
2742
2743
Greg Clayton1674b122010-07-21 22:12:05 +00002744 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002745 {
2746// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2747// const uint64_t element_count = array->getSize().getLimitedValue();
2748//
2749// if (idx < element_count)
2750// {
2751// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2752//
2753// char element_name[32];
2754// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2755//
2756// child_name.assign(element_name);
2757// assert(field_type_info.first % 8 == 0);
2758// child_byte_size = field_type_info.first / 8;
2759// child_byte_offset = idx * child_byte_size;
2760// return array->getElementType().getAsOpaquePtr();
2761// }
2762 }
2763 break;
2764
Greg Clayton1674b122010-07-21 22:12:05 +00002765// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002766// {
2767// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2768// QualType pointee_type = mem_ptr_type->getPointeeType();
2769//
2770// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2771// {
2772// return GetIndexOfChildWithName (ast_context,
2773// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2774// name);
2775// }
2776// }
2777// break;
2778//
Greg Clayton1674b122010-07-21 22:12:05 +00002779 case clang::Type::LValueReference:
2780 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002781 {
2782 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2783 QualType pointee_type = reference_type->getPointeeType();
2784
2785 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2786 {
2787 return GetIndexOfChildMemberWithName (ast_context,
2788 reference_type->getPointeeType().getAsOpaquePtr(),
2789 name,
2790 omit_empty_base_classes,
2791 child_indexes);
2792 }
2793 }
2794 break;
2795
Greg Clayton1674b122010-07-21 22:12:05 +00002796 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002797 {
2798 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
2799 QualType pointee_type = pointer_type->getPointeeType();
2800
2801 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2802 {
2803 return GetIndexOfChildMemberWithName (ast_context,
2804 pointer_type->getPointeeType().getAsOpaquePtr(),
2805 name,
2806 omit_empty_base_classes,
2807 child_indexes);
2808 }
2809 else
2810 {
2811// if (parent_name)
2812// {
2813// child_name.assign(1, '*');
2814// child_name += parent_name;
2815// }
2816//
2817// // We have a pointer to an simple type
2818// if (idx == 0)
2819// {
2820// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2821// assert(clang_type_info.first % 8 == 0);
2822// child_byte_size = clang_type_info.first / 8;
2823// child_byte_offset = 0;
2824// return pointee_type.getAsOpaquePtr();
2825// }
2826 }
2827 }
2828 break;
2829
Greg Clayton1674b122010-07-21 22:12:05 +00002830 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002831 return GetIndexOfChildMemberWithName (ast_context,
2832 cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2833 name,
2834 omit_empty_base_classes,
2835 child_indexes);
2836
2837 default:
2838 break;
2839 }
2840 }
2841 return 0;
2842}
2843
2844
2845// Get the index of the child of "clang_type" whose name matches. This function
2846// doesn't descend into the children, but only looks one level deep and name
2847// matches can include base class names.
2848
2849uint32_t
2850ClangASTContext::GetIndexOfChildWithName
2851(
2852 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002853 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002854 const char *name,
2855 bool omit_empty_base_classes
2856)
2857{
2858 if (clang_type && name && name[0])
2859 {
2860 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton9488b742010-07-28 02:04:09 +00002861
Greg Clayton03e0f972010-09-13 03:32:57 +00002862 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
Greg Clayton9488b742010-07-28 02:04:09 +00002863
Greg Clayton03e0f972010-09-13 03:32:57 +00002864 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002865 {
Greg Clayton1674b122010-07-21 22:12:05 +00002866 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002867 {
2868 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2869 const RecordDecl *record_decl = record_type->getDecl();
2870
2871 assert(record_decl);
2872 uint32_t child_idx = 0;
2873
2874 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2875
2876 if (cxx_record_decl)
2877 {
2878 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2879 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2880 base_class != base_class_end;
2881 ++base_class)
2882 {
2883 // Skip empty base classes
2884 CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2885 if (omit_empty_base_classes && RecordHasFields(base_class_decl) == false)
2886 continue;
2887
2888 if (base_class->getType().getAsString().compare (name) == 0)
2889 return child_idx;
2890 ++child_idx;
2891 }
2892 }
2893
2894 // Try and find a field that matches NAME
2895 RecordDecl::field_iterator field, field_end;
2896 StringRef name_sref(name);
2897 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2898 field != field_end;
2899 ++field, ++child_idx)
2900 {
2901 if (field->getName().equals (name_sref))
2902 return child_idx;
2903 }
2904
2905 }
2906 break;
2907
Greg Clayton9488b742010-07-28 02:04:09 +00002908 case clang::Type::ObjCObject:
2909 case clang::Type::ObjCInterface:
2910 {
2911 StringRef name_sref(name);
2912 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2913 assert (objc_class_type);
2914 if (objc_class_type)
2915 {
2916 uint32_t child_idx = 0;
2917 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2918
2919 if (class_interface_decl)
2920 {
2921 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2922 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2923
2924 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2925 {
2926 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2927
2928 if (ivar_decl->getName().equals (name_sref))
2929 {
2930 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2931 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2932 ++child_idx;
2933
2934 return child_idx;
2935 }
2936 }
2937
2938 if (superclass_interface_decl)
2939 {
2940 if (superclass_interface_decl->getName().equals (name_sref))
2941 return 0;
2942 }
2943 }
2944 }
2945 }
2946 break;
2947
2948 case clang::Type::ObjCObjectPointer:
2949 {
2950 return GetIndexOfChildWithName (ast_context,
2951 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2952 name,
2953 omit_empty_base_classes);
2954 }
2955 break;
2956
Greg Clayton1674b122010-07-21 22:12:05 +00002957 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002958 {
2959// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2960// const uint64_t element_count = array->getSize().getLimitedValue();
2961//
2962// if (idx < element_count)
2963// {
2964// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2965//
2966// char element_name[32];
2967// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2968//
2969// child_name.assign(element_name);
2970// assert(field_type_info.first % 8 == 0);
2971// child_byte_size = field_type_info.first / 8;
2972// child_byte_offset = idx * child_byte_size;
2973// return array->getElementType().getAsOpaquePtr();
2974// }
2975 }
2976 break;
2977
Greg Clayton1674b122010-07-21 22:12:05 +00002978// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002979// {
2980// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2981// QualType pointee_type = mem_ptr_type->getPointeeType();
2982//
2983// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2984// {
2985// return GetIndexOfChildWithName (ast_context,
2986// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2987// name);
2988// }
2989// }
2990// break;
2991//
Greg Clayton1674b122010-07-21 22:12:05 +00002992 case clang::Type::LValueReference:
2993 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002994 {
2995 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2996 QualType pointee_type = reference_type->getPointeeType();
2997
2998 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2999 {
3000 return GetIndexOfChildWithName (ast_context,
3001 reference_type->getPointeeType().getAsOpaquePtr(),
3002 name,
3003 omit_empty_base_classes);
3004 }
3005 }
3006 break;
3007
Greg Clayton1674b122010-07-21 22:12:05 +00003008 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003009 {
3010 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
3011 QualType pointee_type = pointer_type->getPointeeType();
3012
3013 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3014 {
3015 return GetIndexOfChildWithName (ast_context,
3016 pointer_type->getPointeeType().getAsOpaquePtr(),
3017 name,
3018 omit_empty_base_classes);
3019 }
3020 else
3021 {
3022// if (parent_name)
3023// {
3024// child_name.assign(1, '*');
3025// child_name += parent_name;
3026// }
3027//
3028// // We have a pointer to an simple type
3029// if (idx == 0)
3030// {
3031// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
3032// assert(clang_type_info.first % 8 == 0);
3033// child_byte_size = clang_type_info.first / 8;
3034// child_byte_offset = 0;
3035// return pointee_type.getAsOpaquePtr();
3036// }
3037 }
3038 }
3039 break;
3040
Greg Clayton1674b122010-07-21 22:12:05 +00003041 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003042 return GetIndexOfChildWithName (ast_context,
3043 cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
3044 name,
3045 omit_empty_base_classes);
3046
3047 default:
3048 break;
3049 }
3050 }
3051 return UINT32_MAX;
3052}
3053
3054#pragma mark TagType
3055
3056bool
Greg Clayton462d4142010-09-29 01:12:09 +00003057ClangASTContext::SetTagTypeKind (clang_type_t tag_clang_type, int kind)
Chris Lattner24943d22010-06-08 16:52:24 +00003058{
3059 if (tag_clang_type)
3060 {
3061 QualType tag_qual_type(QualType::getFromOpaquePtr(tag_clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003062 clang::Type *clang_type = tag_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003063 if (clang_type)
3064 {
3065 TagType *tag_type = dyn_cast<TagType>(clang_type);
3066 if (tag_type)
3067 {
3068 TagDecl *tag_decl = dyn_cast<TagDecl>(tag_type->getDecl());
3069 if (tag_decl)
3070 {
3071 tag_decl->setTagKind ((TagDecl::TagKind)kind);
3072 return true;
3073 }
3074 }
3075 }
3076 }
3077 return false;
3078}
3079
3080
3081#pragma mark DeclContext Functions
3082
3083DeclContext *
Greg Clayton462d4142010-09-29 01:12:09 +00003084ClangASTContext::GetDeclContextForType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003085{
3086 if (clang_type == NULL)
3087 return NULL;
3088
3089 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003090 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3091 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003092 {
Greg Clayton9488b742010-07-28 02:04:09 +00003093 case clang::Type::FunctionNoProto: break;
3094 case clang::Type::FunctionProto: break;
3095 case clang::Type::IncompleteArray: break;
3096 case clang::Type::VariableArray: break;
3097 case clang::Type::ConstantArray: break;
3098 case clang::Type::ExtVector: break;
3099 case clang::Type::Vector: break;
3100 case clang::Type::Builtin: break;
3101 case clang::Type::BlockPointer: break;
3102 case clang::Type::Pointer: break;
3103 case clang::Type::LValueReference: break;
3104 case clang::Type::RValueReference: break;
3105 case clang::Type::MemberPointer: break;
3106 case clang::Type::Complex: break;
3107 case clang::Type::ObjCObject: break;
3108 case clang::Type::ObjCInterface: return cast<ObjCObjectType>(qual_type.getTypePtr())->getInterface();
3109 case clang::Type::ObjCObjectPointer: return ClangASTContext::GetDeclContextForType (cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr());
3110 case clang::Type::Record: return cast<RecordType>(qual_type)->getDecl();
3111 case clang::Type::Enum: return cast<EnumType>(qual_type)->getDecl();
3112 case clang::Type::Typedef: return ClangASTContext::GetDeclContextForType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
Chris Lattner24943d22010-06-08 16:52:24 +00003113
Greg Clayton9488b742010-07-28 02:04:09 +00003114 case clang::Type::TypeOfExpr: break;
3115 case clang::Type::TypeOf: break;
3116 case clang::Type::Decltype: break;
3117 //case clang::Type::QualifiedName: break;
3118 case clang::Type::TemplateSpecialization: break;
Chris Lattner24943d22010-06-08 16:52:24 +00003119 }
3120 // No DeclContext in this type...
3121 return NULL;
3122}
3123
3124#pragma mark Namespace Declarations
3125
3126NamespaceDecl *
3127ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, const Declaration &decl, DeclContext *decl_ctx)
3128{
3129 // TODO: Do something intelligent with the Declaration object passed in
3130 // like maybe filling in the SourceLocation with it...
3131 if (name)
3132 {
3133 ASTContext *ast_context = getASTContext();
3134 if (decl_ctx == NULL)
3135 decl_ctx = ast_context->getTranslationUnitDecl();
3136 return NamespaceDecl::Create(*ast_context, decl_ctx, SourceLocation(), &ast_context->Idents.get(name));
3137 }
3138 return NULL;
3139}
3140
3141
3142#pragma mark Function Types
3143
3144FunctionDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003145ClangASTContext::CreateFunctionDeclaration (const char *name, clang_type_t function_clang_type, int storage, bool is_inline)
Chris Lattner24943d22010-06-08 16:52:24 +00003146{
3147 if (name)
3148 {
3149 ASTContext *ast_context = getASTContext();
3150 assert (ast_context != NULL);
3151
3152 if (name && name[0])
3153 {
3154 return FunctionDecl::Create(*ast_context,
3155 ast_context->getTranslationUnitDecl(),
3156 SourceLocation(),
3157 DeclarationName (&ast_context->Idents.get(name)),
3158 QualType::getFromOpaquePtr(function_clang_type),
3159 NULL,
3160 (FunctionDecl::StorageClass)storage,
3161 (FunctionDecl::StorageClass)storage,
3162 is_inline);
3163 }
3164 else
3165 {
3166 return FunctionDecl::Create(*ast_context,
3167 ast_context->getTranslationUnitDecl(),
3168 SourceLocation(),
3169 DeclarationName (),
3170 QualType::getFromOpaquePtr(function_clang_type),
3171 NULL,
3172 (FunctionDecl::StorageClass)storage,
3173 (FunctionDecl::StorageClass)storage,
3174 is_inline);
3175 }
3176 }
3177 return NULL;
3178}
3179
Greg Clayton462d4142010-09-29 01:12:09 +00003180clang_type_t
3181ClangASTContext::CreateFunctionType (ASTContext *ast_context,
3182 clang_type_t result_type,
3183 clang_type_t *args,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003184 unsigned num_args,
3185 bool is_variadic,
3186 unsigned type_quals)
Chris Lattner24943d22010-06-08 16:52:24 +00003187{
Chris Lattner24943d22010-06-08 16:52:24 +00003188 assert (ast_context != NULL);
3189 std::vector<QualType> qual_type_args;
3190 for (unsigned i=0; i<num_args; ++i)
3191 qual_type_args.push_back (QualType::getFromOpaquePtr(args[i]));
3192
3193 // TODO: Detect calling convention in DWARF?
3194 return ast_context->getFunctionType(QualType::getFromOpaquePtr(result_type),
Greg Clayton53d68e72010-07-20 22:52:08 +00003195 qual_type_args.empty() ? NULL : &qual_type_args.front(),
Chris Lattner24943d22010-06-08 16:52:24 +00003196 qual_type_args.size(),
Sean Callanan2ea8f272010-09-16 20:40:25 +00003197 is_variadic,
3198 type_quals,
Chris Lattner24943d22010-06-08 16:52:24 +00003199 false, // hasExceptionSpec
3200 false, // hasAnyExceptionSpec,
3201 0, // NumExs
3202 0, // const QualType *ExArray
3203 FunctionType::ExtInfo ()).getAsOpaquePtr(); // NoReturn);
3204}
3205
3206ParmVarDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003207ClangASTContext::CreateParameterDeclaration (const char *name, clang_type_t param_type, int storage)
Chris Lattner24943d22010-06-08 16:52:24 +00003208{
3209 ASTContext *ast_context = getASTContext();
3210 assert (ast_context != NULL);
3211 return ParmVarDecl::Create(*ast_context,
3212 ast_context->getTranslationUnitDecl(),
3213 SourceLocation(),
3214 name && name[0] ? &ast_context->Idents.get(name) : NULL,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003215 QualType::getFromOpaquePtr(param_type),
Chris Lattner24943d22010-06-08 16:52:24 +00003216 NULL,
3217 (VarDecl::StorageClass)storage,
3218 (VarDecl::StorageClass)storage,
3219 0);
3220}
3221
3222void
3223ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
3224{
3225 if (function_decl)
3226 function_decl->setParams (params, num_params);
3227}
3228
3229
3230#pragma mark Array Types
3231
Greg Clayton462d4142010-09-29 01:12:09 +00003232clang_type_t
3233ClangASTContext::CreateArrayType (clang_type_t element_type, size_t element_count, uint32_t bit_stride)
Chris Lattner24943d22010-06-08 16:52:24 +00003234{
3235 if (element_type)
3236 {
3237 ASTContext *ast_context = getASTContext();
3238 assert (ast_context != NULL);
3239 llvm::APInt ap_element_count (64, element_count);
3240 return ast_context->getConstantArrayType(QualType::getFromOpaquePtr(element_type),
3241 ap_element_count,
3242 ArrayType::Normal,
3243 0).getAsOpaquePtr(); // ElemQuals
3244 }
3245 return NULL;
3246}
3247
3248
3249#pragma mark TagDecl
3250
3251bool
Greg Clayton462d4142010-09-29 01:12:09 +00003252ClangASTContext::StartTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003253{
3254 if (clang_type)
3255 {
3256 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003257 clang::Type *t = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003258 if (t)
3259 {
3260 TagType *tag_type = dyn_cast<TagType>(t);
3261 if (tag_type)
3262 {
3263 TagDecl *tag_decl = tag_type->getDecl();
3264 if (tag_decl)
3265 {
3266 tag_decl->startDefinition();
3267 return true;
3268 }
3269 }
3270 }
3271 }
3272 return false;
3273}
3274
3275bool
Greg Clayton462d4142010-09-29 01:12:09 +00003276ClangASTContext::CompleteTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003277{
3278 if (clang_type)
3279 {
3280 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton55b6c532010-09-29 03:44:17 +00003281
3282 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3283
3284 if (cxx_record_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003285 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003286 cxx_record_decl->completeDefinition();
3287
3288 return true;
3289 }
3290
Sean Callanan04325062010-10-25 00:29:48 +00003291 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type);
3292
3293 if (objc_class_type)
3294 {
3295 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3296
3297 class_interface_decl->setForwardDecl(false);
3298 }
3299
Greg Clayton55b6c532010-09-29 03:44:17 +00003300 const EnumType *enum_type = dyn_cast<EnumType>(qual_type.getTypePtr());
3301
3302 if (enum_type)
3303 {
3304 EnumDecl *enum_decl = enum_type->getDecl();
3305
3306 if (enum_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003307 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003308 /// TODO This really needs to be fixed.
3309
3310 unsigned NumPositiveBits = 1;
3311 unsigned NumNegativeBits = 0;
3312
Greg Clayton48fbdf72010-10-12 04:29:14 +00003313 ASTContext *ast_context = getASTContext();
3314
3315 QualType promotion_qual_type;
3316 // If the enum integer type is less than an integer in bit width,
3317 // then we must promote it to an integer size.
3318 if (ast_context->getTypeSize(enum_decl->getIntegerType()) < ast_context->getTypeSize(ast_context->IntTy))
3319 {
3320 if (enum_decl->getIntegerType()->isSignedIntegerType())
3321 promotion_qual_type = ast_context->IntTy;
3322 else
3323 promotion_qual_type = ast_context->UnsignedIntTy;
3324 }
3325 else
3326 promotion_qual_type = enum_decl->getIntegerType();
3327
3328 enum_decl->completeDefinition(enum_decl->getIntegerType(), promotion_qual_type, NumPositiveBits, NumNegativeBits);
Greg Clayton55b6c532010-09-29 03:44:17 +00003329 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003330 }
3331 }
3332 }
3333 return false;
3334}
3335
3336
3337#pragma mark Enumeration Types
3338
Greg Clayton462d4142010-09-29 01:12:09 +00003339clang_type_t
3340ClangASTContext::CreateEnumerationType (const Declaration &decl, const char *name, clang_type_t integer_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003341{
3342 // TODO: Do something intelligent with the Declaration object passed in
3343 // like maybe filling in the SourceLocation with it...
3344 ASTContext *ast_context = getASTContext();
3345 assert (ast_context != NULL);
Greg Clayton48fbdf72010-10-12 04:29:14 +00003346
3347 // TODO: ask about these...
3348// const bool IsScoped = false;
3349// const bool IsFixed = false;
3350
3351 EnumDecl *enum_decl = EnumDecl::Create (*ast_context,
3352 ast_context->getTranslationUnitDecl(),
3353 SourceLocation(),
3354 name && name[0] ? &ast_context->Idents.get(name) : NULL,
3355 SourceLocation(),
Sean Callanan8950c9a2010-10-29 18:38:40 +00003356 NULL, false, false); //IsScoped, IsFixed);
Chris Lattner24943d22010-06-08 16:52:24 +00003357 if (enum_decl)
Greg Claytone37f23c2010-09-12 23:17:56 +00003358 {
3359 // TODO: check if we should be setting the promotion type too?
3360 enum_decl->setIntegerType(QualType::getFromOpaquePtr (integer_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003361 return ast_context->getTagDeclType(enum_decl).getAsOpaquePtr();
Greg Claytone37f23c2010-09-12 23:17:56 +00003362 }
Chris Lattner24943d22010-06-08 16:52:24 +00003363 return NULL;
3364}
3365
Greg Clayton462d4142010-09-29 01:12:09 +00003366clang_type_t
3367ClangASTContext::GetEnumerationIntegerType (clang_type_t enum_clang_type)
3368{
3369 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3370
3371 clang::Type *clang_type = enum_qual_type.getTypePtr();
3372 if (clang_type)
3373 {
3374 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3375 if (enum_type)
3376 {
3377 EnumDecl *enum_decl = enum_type->getDecl();
3378 if (enum_decl)
3379 return enum_decl->getIntegerType().getAsOpaquePtr();
3380 }
3381 }
3382 return NULL;
3383}
Chris Lattner24943d22010-06-08 16:52:24 +00003384bool
3385ClangASTContext::AddEnumerationValueToEnumerationType
3386(
Greg Clayton462d4142010-09-29 01:12:09 +00003387 clang_type_t enum_clang_type,
3388 clang_type_t enumerator_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00003389 const Declaration &decl,
3390 const char *name,
3391 int64_t enum_value,
3392 uint32_t enum_value_bit_size
3393)
3394{
3395 if (enum_clang_type && enumerator_clang_type && name)
3396 {
3397 // TODO: Do something intelligent with the Declaration object passed in
3398 // like maybe filling in the SourceLocation with it...
3399 ASTContext *ast_context = getASTContext();
3400 IdentifierTable *identifier_table = getIdentifierTable();
3401
3402 assert (ast_context != NULL);
3403 assert (identifier_table != NULL);
3404 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3405
Greg Clayton1674b122010-07-21 22:12:05 +00003406 clang::Type *clang_type = enum_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003407 if (clang_type)
3408 {
3409 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3410
3411 if (enum_type)
3412 {
3413 llvm::APSInt enum_llvm_apsint(enum_value_bit_size, false);
3414 enum_llvm_apsint = enum_value;
3415 EnumConstantDecl *enumerator_decl =
3416 EnumConstantDecl::Create(*ast_context,
3417 enum_type->getDecl(),
3418 SourceLocation(),
3419 name ? &identifier_table->get(name) : NULL, // Identifier
3420 QualType::getFromOpaquePtr(enumerator_clang_type),
3421 NULL,
3422 enum_llvm_apsint);
3423
3424 if (enumerator_decl)
3425 {
3426 enum_type->getDecl()->addDecl(enumerator_decl);
3427 return true;
3428 }
3429 }
3430 }
3431 }
3432 return false;
3433}
3434
3435#pragma mark Pointers & References
3436
Greg Clayton462d4142010-09-29 01:12:09 +00003437clang_type_t
3438ClangASTContext::CreatePointerType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003439{
3440 if (clang_type)
Greg Clayton7b541032010-07-29 20:06:32 +00003441 {
3442 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3443
Greg Clayton03e0f972010-09-13 03:32:57 +00003444 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3445 switch (type_class)
Greg Clayton7b541032010-07-29 20:06:32 +00003446 {
3447 case clang::Type::ObjCObject:
3448 case clang::Type::ObjCInterface:
Greg Clayton7b541032010-07-29 20:06:32 +00003449 return getASTContext()->getObjCObjectPointerType(qual_type).getAsOpaquePtr();
3450
Greg Clayton7b541032010-07-29 20:06:32 +00003451 default:
3452 return getASTContext()->getPointerType(qual_type).getAsOpaquePtr();
3453 }
3454 }
Chris Lattner24943d22010-06-08 16:52:24 +00003455 return NULL;
3456}
3457
Greg Clayton462d4142010-09-29 01:12:09 +00003458clang_type_t
3459ClangASTContext::CreateLValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003460{
3461 if (clang_type)
3462 return getASTContext()->getLValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3463 return NULL;
3464}
3465
Greg Clayton462d4142010-09-29 01:12:09 +00003466clang_type_t
3467ClangASTContext::CreateRValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003468{
3469 if (clang_type)
3470 return getASTContext()->getRValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3471 return NULL;
3472}
3473
Greg Clayton462d4142010-09-29 01:12:09 +00003474clang_type_t
3475ClangASTContext::CreateMemberPointerType (clang_type_t clang_pointee_type, clang_type_t clang_class_type)
Greg Claytonfa970692010-06-12 01:20:30 +00003476{
3477 if (clang_pointee_type && clang_pointee_type)
3478 return getASTContext()->getMemberPointerType(QualType::getFromOpaquePtr(clang_pointee_type),
3479 QualType::getFromOpaquePtr(clang_class_type).getTypePtr()).getAsOpaquePtr();
3480 return NULL;
3481}
3482
Chris Lattner24943d22010-06-08 16:52:24 +00003483size_t
3484ClangASTContext::GetPointerBitSize ()
3485{
3486 ASTContext *ast_context = getASTContext();
3487 return ast_context->getTypeSize(ast_context->VoidPtrTy);
3488}
3489
3490bool
Greg Clayton462d4142010-09-29 01:12:09 +00003491ClangASTContext::IsPointerOrReferenceType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003492{
3493 if (clang_type == NULL)
3494 return false;
3495
3496 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003497 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3498 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003499 {
Sean Callanan04325062010-10-25 00:29:48 +00003500 case clang::Type::Builtin:
3501 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3502 {
3503 default:
3504 break;
3505 case clang::BuiltinType::ObjCId:
3506 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00003507 return true;
3508 }
3509 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003510 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003511 if (target_type)
3512 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3513 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003514 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003515 if (target_type)
3516 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3517 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003518 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003519 if (target_type)
3520 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3521 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003522 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003523 if (target_type)
3524 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3525 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003526 case clang::Type::LValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003527 if (target_type)
3528 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3529 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003530 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003531 if (target_type)
3532 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3533 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003534 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003535 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
3536 default:
3537 break;
3538 }
3539 return false;
3540}
3541
Chris Lattner24943d22010-06-08 16:52:24 +00003542bool
Greg Clayton462d4142010-09-29 01:12:09 +00003543ClangASTContext::IsIntegerType (clang_type_t clang_type, bool &is_signed)
Chris Lattner24943d22010-06-08 16:52:24 +00003544{
3545 if (!clang_type)
3546 return false;
3547
3548 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3549 const BuiltinType *builtin_type = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal());
3550
3551 if (builtin_type)
3552 {
3553 if (builtin_type->isInteger())
3554 is_signed = builtin_type->isSignedInteger();
3555
3556 return true;
3557 }
3558
3559 return false;
3560}
3561
3562bool
Greg Clayton462d4142010-09-29 01:12:09 +00003563ClangASTContext::IsPointerType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003564{
3565 if (clang_type)
3566 {
3567 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003568 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3569 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003570 {
Sean Callanan04325062010-10-25 00:29:48 +00003571 case clang::Type::Builtin:
3572 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3573 {
3574 default:
3575 break;
3576 case clang::BuiltinType::ObjCId:
3577 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00003578 return true;
3579 }
3580 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003581 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003582 if (target_type)
3583 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3584 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003585 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003586 if (target_type)
3587 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3588 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003589 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003590 if (target_type)
3591 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3592 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003593 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003594 if (target_type)
3595 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3596 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003597 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003598 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), target_type);
3599 default:
3600 break;
3601 }
3602 }
3603 return false;
3604}
3605
3606bool
Greg Clayton462d4142010-09-29 01:12:09 +00003607ClangASTContext::IsFloatingPointType (clang_type_t clang_type, uint32_t &count, bool &is_complex)
Chris Lattner24943d22010-06-08 16:52:24 +00003608{
3609 if (clang_type)
3610 {
3611 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3612
3613 if (const BuiltinType *BT = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal()))
3614 {
3615 clang::BuiltinType::Kind kind = BT->getKind();
3616 if (kind >= BuiltinType::Float && kind <= BuiltinType::LongDouble)
3617 {
3618 count = 1;
3619 is_complex = false;
3620 return true;
3621 }
3622 }
3623 else if (const ComplexType *CT = dyn_cast<ComplexType>(qual_type->getCanonicalTypeInternal()))
3624 {
3625 if (IsFloatingPointType(CT->getElementType().getAsOpaquePtr(), count, is_complex))
3626 {
3627 count = 2;
3628 is_complex = true;
3629 return true;
3630 }
3631 }
3632 else if (const VectorType *VT = dyn_cast<VectorType>(qual_type->getCanonicalTypeInternal()))
3633 {
3634 if (IsFloatingPointType(VT->getElementType().getAsOpaquePtr(), count, is_complex))
3635 {
3636 count = VT->getNumElements();
3637 is_complex = false;
3638 return true;
3639 }
3640 }
3641 }
3642 return false;
3643}
3644
Greg Claytonbf8e42b2010-10-14 22:52:14 +00003645
3646bool
3647ClangASTContext::GetCXXClassName (clang_type_t clang_type, std::string &class_name)
3648{
3649 if (clang_type)
3650 {
3651 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3652
3653 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3654 if (cxx_record_decl)
3655 {
3656 class_name.assign (cxx_record_decl->getIdentifier()->getNameStart());
3657 return true;
3658 }
3659 }
3660 class_name.clear();
3661 return false;
3662}
3663
3664
Greg Clayton1d8173f2010-09-24 05:15:53 +00003665bool
Greg Clayton462d4142010-09-29 01:12:09 +00003666ClangASTContext::IsCXXClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003667{
3668 if (clang_type)
3669 {
3670 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3671 if (qual_type->getAsCXXRecordDecl() != NULL)
3672 return true;
3673 }
3674 return false;
3675}
3676
3677bool
Greg Clayton462d4142010-09-29 01:12:09 +00003678ClangASTContext::IsObjCClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003679{
3680 if (clang_type)
3681 {
3682 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3683 if (qual_type->isObjCObjectOrInterfaceType())
3684 return true;
3685 }
3686 return false;
3687}
3688
3689
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003690bool
3691ClangASTContext::IsCharType (clang_type_t clang_type)
3692{
3693 if (clang_type)
3694 return QualType::getFromOpaquePtr(clang_type)->isCharType();
3695 return false;
3696}
Chris Lattner24943d22010-06-08 16:52:24 +00003697
3698bool
Greg Clayton462d4142010-09-29 01:12:09 +00003699ClangASTContext::IsCStringType (clang_type_t clang_type, uint32_t &length)
Chris Lattner24943d22010-06-08 16:52:24 +00003700{
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003701 clang_type_t pointee_or_element_clang_type = NULL;
3702 Flags type_flags (ClangASTContext::GetTypeInfo (clang_type, NULL, &pointee_or_element_clang_type));
3703
3704 if (pointee_or_element_clang_type == NULL)
3705 return false;
3706
3707 if (type_flags.AnySet (eTypeIsArray | eTypeIsPointer))
Chris Lattner24943d22010-06-08 16:52:24 +00003708 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003709 QualType pointee_or_element_qual_type (QualType::getFromOpaquePtr (pointee_or_element_clang_type));
3710
3711 if (pointee_or_element_qual_type.getUnqualifiedType()->isCharType())
Chris Lattner24943d22010-06-08 16:52:24 +00003712 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003713 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3714 if (type_flags.Test (eTypeIsArray))
Chris Lattner24943d22010-06-08 16:52:24 +00003715 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003716 // We know the size of the array and it could be a C string
3717 // since it is an array of characters
3718 length = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
3719 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003720 }
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003721 else
Chris Lattner24943d22010-06-08 16:52:24 +00003722 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003723 length = 0;
3724 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003725 }
Chris Lattner24943d22010-06-08 16:52:24 +00003726
Chris Lattner24943d22010-06-08 16:52:24 +00003727 }
3728 }
3729 return false;
3730}
3731
3732bool
Greg Clayton462d4142010-09-29 01:12:09 +00003733ClangASTContext::IsFunctionPointerType (clang_type_t clang_type)
Greg Clayton03e0f972010-09-13 03:32:57 +00003734{
3735 if (clang_type)
3736 {
3737 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3738
3739 if (qual_type->isFunctionPointerType())
3740 return true;
3741
3742 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3743 switch (type_class)
3744 {
3745 case clang::Type::Typedef:
3746 return ClangASTContext::IsFunctionPointerType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
3747
3748 case clang::Type::LValueReference:
3749 case clang::Type::RValueReference:
3750 {
3751 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
3752 if (reference_type)
3753 return ClangASTContext::IsFunctionPointerType (reference_type->getPointeeType().getAsOpaquePtr());
3754 }
3755 break;
3756 }
3757 }
3758 return false;
3759}
3760
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003761size_t
3762ClangASTContext::GetArraySize (clang_type_t clang_type)
3763{
3764 if (clang_type)
3765 {
3766 ConstantArrayType *array = cast<ConstantArrayType>(QualType::getFromOpaquePtr(clang_type).getTypePtr());
3767 if (array)
3768 return array->getSize().getLimitedValue();
3769 }
3770 return 0;
3771}
Greg Clayton03e0f972010-09-13 03:32:57 +00003772
3773bool
Greg Clayton462d4142010-09-29 01:12:09 +00003774ClangASTContext::IsArrayType (clang_type_t clang_type, clang_type_t*member_type, uint64_t *size)
Chris Lattner24943d22010-06-08 16:52:24 +00003775{
3776 if (!clang_type)
3777 return false;
3778
3779 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3780
Greg Clayton03e0f972010-09-13 03:32:57 +00003781 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3782 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003783 {
Greg Clayton1674b122010-07-21 22:12:05 +00003784 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003785 if (member_type)
3786 *member_type = cast<ConstantArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3787 if (size)
3788 *size = cast<ConstantArrayType>(qual_type)->getSize().getLimitedValue(ULONG_LONG_MAX);
3789 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003790 case clang::Type::IncompleteArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003791 if (member_type)
3792 *member_type = cast<IncompleteArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3793 if (size)
3794 *size = 0;
3795 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003796 case clang::Type::VariableArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003797 if (member_type)
3798 *member_type = cast<VariableArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3799 if (size)
3800 *size = 0;
Greg Clayton1674b122010-07-21 22:12:05 +00003801 case clang::Type::DependentSizedArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003802 if (member_type)
3803 *member_type = cast<DependentSizedArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3804 if (size)
3805 *size = 0;
3806 return true;
3807 }
3808 return false;
3809}
3810
3811
3812#pragma mark Typedefs
3813
Greg Clayton462d4142010-09-29 01:12:09 +00003814clang_type_t
3815ClangASTContext::CreateTypedefType (const char *name, clang_type_t clang_type, DeclContext *decl_ctx)
Chris Lattner24943d22010-06-08 16:52:24 +00003816{
3817 if (clang_type)
3818 {
3819 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3820 ASTContext *ast_context = getASTContext();
3821 IdentifierTable *identifier_table = getIdentifierTable();
3822 assert (ast_context != NULL);
3823 assert (identifier_table != NULL);
3824 if (decl_ctx == NULL)
3825 decl_ctx = ast_context->getTranslationUnitDecl();
3826 TypedefDecl *decl = TypedefDecl::Create(*ast_context,
3827 decl_ctx,
3828 SourceLocation(),
3829 name ? &identifier_table->get(name) : NULL, // Identifier
3830 ast_context->CreateTypeSourceInfo(qual_type));
3831
3832 // Get a uniqued QualType for the typedef decl type
3833 return ast_context->getTypedefType (decl).getAsOpaquePtr();
3834 }
3835 return NULL;
3836}
3837
3838
3839std::string
Greg Clayton462d4142010-09-29 01:12:09 +00003840ClangASTContext::GetTypeName (clang_type_t opaque_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003841{
3842 std::string return_name;
3843
Greg Clayton462d4142010-09-29 01:12:09 +00003844 QualType qual_type(QualType::getFromOpaquePtr(opaque_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003845
Greg Clayton462d4142010-09-29 01:12:09 +00003846 const TypedefType *typedef_type = qual_type->getAs<TypedefType>();
Chris Lattner24943d22010-06-08 16:52:24 +00003847 if (typedef_type)
3848 {
Greg Clayton462d4142010-09-29 01:12:09 +00003849 const TypedefDecl *typedef_decl = typedef_type->getDecl();
Chris Lattner24943d22010-06-08 16:52:24 +00003850 return_name = typedef_decl->getQualifiedNameAsString();
3851 }
3852 else
3853 {
3854 return_name = qual_type.getAsString();
3855 }
3856
3857 return return_name;
3858}
3859
3860// Disable this for now since I can't seem to get a nicely formatted float
3861// out of the APFloat class without just getting the float, double or quad
3862// and then using a formatted print on it which defeats the purpose. We ideally
3863// would like to get perfect string values for any kind of float semantics
3864// so we can support remote targets. The code below also requires a patch to
3865// llvm::APInt.
3866//bool
Greg Clayton462d4142010-09-29 01:12:09 +00003867//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 +00003868//{
3869// uint32_t count = 0;
3870// bool is_complex = false;
3871// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3872// {
3873// unsigned num_bytes_per_float = byte_size / count;
3874// unsigned num_bits_per_float = num_bytes_per_float * 8;
3875//
3876// float_str.clear();
3877// uint32_t i;
3878// for (i=0; i<count; i++)
3879// {
3880// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
3881// bool is_ieee = false;
3882// APFloat ap_float(ap_int, is_ieee);
3883// char s[1024];
3884// unsigned int hex_digits = 0;
3885// bool upper_case = false;
3886//
3887// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
3888// {
3889// if (i > 0)
3890// float_str.append(", ");
3891// float_str.append(s);
3892// if (i == 1 && is_complex)
3893// float_str.append(1, 'i');
3894// }
3895// }
3896// return !float_str.empty();
3897// }
3898// return false;
3899//}
3900
3901size_t
Greg Clayton462d4142010-09-29 01:12:09 +00003902ClangASTContext::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 +00003903{
3904 if (clang_type)
3905 {
3906 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3907 uint32_t count = 0;
3908 bool is_complex = false;
3909 if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3910 {
3911 // TODO: handle complex and vector types
3912 if (count != 1)
3913 return false;
3914
3915 StringRef s_sref(s);
3916 APFloat ap_float(ast_context->getFloatTypeSemantics(qual_type), s_sref);
3917
3918 const uint64_t bit_size = ast_context->getTypeSize (qual_type);
3919 const uint64_t byte_size = bit_size / 8;
3920 if (dst_size >= byte_size)
3921 {
3922 if (bit_size == sizeof(float)*8)
3923 {
3924 float float32 = ap_float.convertToFloat();
3925 ::memcpy (dst, &float32, byte_size);
3926 return byte_size;
3927 }
3928 else if (bit_size >= 64)
3929 {
3930 llvm::APInt ap_int(ap_float.bitcastToAPInt());
3931 ::memcpy (dst, ap_int.getRawData(), byte_size);
3932 return byte_size;
3933 }
3934 }
3935 }
3936 }
3937 return 0;
3938}
Sean Callanana751f7b2010-09-17 02:24:29 +00003939
3940unsigned
Greg Clayton462d4142010-09-29 01:12:09 +00003941ClangASTContext::GetTypeQualifiers(clang_type_t clang_type)
Sean Callanana751f7b2010-09-17 02:24:29 +00003942{
3943 assert (clang_type);
3944
3945 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3946
3947 return qual_type.getQualifiers().getCVRQualifiers();
3948}