blob: 7a4d859f5c96a4c0790fa89781208a8cb4609814 [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"
34
Eli Friedmanf05633b2010-06-13 19:06:42 +000035#include <stdio.h>
36
Greg Clayton585660c2010-08-05 01:57:25 +000037using namespace lldb;
Chris Lattner24943d22010-06-08 16:52:24 +000038using namespace lldb_private;
39using namespace llvm;
40using namespace clang;
41
Greg Clayton84f80752010-07-22 18:30:50 +000042static AccessSpecifier
Greg Clayton585660c2010-08-05 01:57:25 +000043ConvertAccessTypeToAccessSpecifier (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000044{
45 switch (access)
46 {
Greg Clayton585660c2010-08-05 01:57:25 +000047 default: break;
48 case eAccessNone: return AS_none;
49 case eAccessPublic: return AS_public;
50 case eAccessPrivate: return AS_private;
51 case eAccessProtected: return AS_protected;
Greg Clayton84f80752010-07-22 18:30:50 +000052 }
53 return AS_none;
54}
55
56static ObjCIvarDecl::AccessControl
Greg Clayton585660c2010-08-05 01:57:25 +000057ConvertAccessTypeToObjCIvarAccessControl (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000058{
59 switch (access)
60 {
Greg Clayton585660c2010-08-05 01:57:25 +000061 default: break;
62 case eAccessNone: return ObjCIvarDecl::None;
63 case eAccessPublic: return ObjCIvarDecl::Public;
64 case eAccessPrivate: return ObjCIvarDecl::Private;
65 case eAccessProtected: return ObjCIvarDecl::Protected;
66 case eAccessPackage: return ObjCIvarDecl::Package;
Greg Clayton84f80752010-07-22 18:30:50 +000067 }
68 return ObjCIvarDecl::None;
69}
70
71
Chris Lattner24943d22010-06-08 16:52:24 +000072static void
73ParseLangArgs
74(
75 LangOptions &Opts,
Greg Claytone41c4b22010-06-13 17:34:29 +000076 InputKind IK
Chris Lattner24943d22010-06-08 16:52:24 +000077)
78{
79 // FIXME: Cleanup per-file based stuff.
80
81 // Set some properties which depend soley on the input kind; it would be nice
82 // to move these to the language standard, and have the driver resolve the
83 // input kind + language standard.
Greg Claytone41c4b22010-06-13 17:34:29 +000084 if (IK == IK_Asm) {
Chris Lattner24943d22010-06-08 16:52:24 +000085 Opts.AsmPreprocessor = 1;
Greg Claytone41c4b22010-06-13 17:34:29 +000086 } else if (IK == IK_ObjC ||
87 IK == IK_ObjCXX ||
88 IK == IK_PreprocessedObjC ||
89 IK == IK_PreprocessedObjCXX) {
Chris Lattner24943d22010-06-08 16:52:24 +000090 Opts.ObjC1 = Opts.ObjC2 = 1;
91 }
92
93 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
94
95 if (LangStd == LangStandard::lang_unspecified) {
96 // Based on the base language, pick one.
97 switch (IK) {
Greg Claytone41c4b22010-06-13 17:34:29 +000098 case IK_None:
99 case IK_AST:
Chris Lattner24943d22010-06-08 16:52:24 +0000100 assert(0 && "Invalid input kind!");
Greg Claytone41c4b22010-06-13 17:34:29 +0000101 case IK_OpenCL:
Chris Lattner24943d22010-06-08 16:52:24 +0000102 LangStd = LangStandard::lang_opencl;
103 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000104 case IK_Asm:
105 case IK_C:
106 case IK_PreprocessedC:
107 case IK_ObjC:
108 case IK_PreprocessedObjC:
Chris Lattner24943d22010-06-08 16:52:24 +0000109 LangStd = LangStandard::lang_gnu99;
110 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000111 case IK_CXX:
112 case IK_PreprocessedCXX:
113 case IK_ObjCXX:
114 case IK_PreprocessedObjCXX:
Chris Lattner24943d22010-06-08 16:52:24 +0000115 LangStd = LangStandard::lang_gnucxx98;
116 break;
117 }
118 }
119
120 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
121 Opts.BCPLComment = Std.hasBCPLComments();
122 Opts.C99 = Std.isC99();
123 Opts.CPlusPlus = Std.isCPlusPlus();
124 Opts.CPlusPlus0x = Std.isCPlusPlus0x();
125 Opts.Digraphs = Std.hasDigraphs();
126 Opts.GNUMode = Std.isGNUMode();
127 Opts.GNUInline = !Std.isC99();
128 Opts.HexFloats = Std.hasHexFloats();
129 Opts.ImplicitInt = Std.hasImplicitInt();
130
131 // OpenCL has some additional defaults.
132 if (LangStd == LangStandard::lang_opencl) {
133 Opts.OpenCL = 1;
134 Opts.AltiVec = 1;
135 Opts.CXXOperatorNames = 1;
136 Opts.LaxVectorConversions = 1;
137 }
138
139 // OpenCL and C++ both have bool, true, false keywords.
140 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
141
142// if (Opts.CPlusPlus)
143// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
144//
145// if (Args.hasArg(OPT_fobjc_gc_only))
146// Opts.setGCMode(LangOptions::GCOnly);
147// else if (Args.hasArg(OPT_fobjc_gc))
148// Opts.setGCMode(LangOptions::HybridGC);
149//
150// if (Args.hasArg(OPT_print_ivar_layout))
151// Opts.ObjCGCBitmapPrint = 1;
152//
153// if (Args.hasArg(OPT_faltivec))
154// Opts.AltiVec = 1;
155//
156// if (Args.hasArg(OPT_pthread))
157// Opts.POSIXThreads = 1;
158//
159// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
160// "default");
161// if (Vis == "default")
162 Opts.setVisibilityMode(LangOptions::Default);
163// else if (Vis == "hidden")
164// Opts.setVisibilityMode(LangOptions::Hidden);
165// else if (Vis == "protected")
166// Opts.setVisibilityMode(LangOptions::Protected);
167// else
168// Diags.Report(diag::err_drv_invalid_value)
169// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
170
171// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
172
173 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
174 // is specified, or -std is set to a conforming mode.
175 Opts.Trigraphs = !Opts.GNUMode;
176// if (Args.hasArg(OPT_trigraphs))
177// Opts.Trigraphs = 1;
178//
179// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
180// OPT_fno_dollars_in_identifiers,
181// !Opts.AsmPreprocessor);
182// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
183// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
184// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
185// if (Args.hasArg(OPT_fno_lax_vector_conversions))
186// Opts.LaxVectorConversions = 0;
187// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
188// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
189// Opts.Blocks = Args.hasArg(OPT_fblocks);
190// Opts.CharIsSigned = !Args.hasArg(OPT_fno_signed_char);
191// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
192// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
193// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
194// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
195// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
196// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
197// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
198// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
199// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
200// Diags);
201// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
202// Opts.ObjCConstantStringClass = getLastArgValue(Args,
203// OPT_fconstant_string_class);
204// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
205// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
206// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
207// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
208// Opts.Static = Args.hasArg(OPT_static_define);
209 Opts.OptimizeSize = 0;
210
211 // FIXME: Eliminate this dependency.
212// unsigned Opt =
213// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
214// Opts.Optimize = Opt != 0;
215 unsigned Opt = 0;
216
217 // This is the __NO_INLINE__ define, which just depends on things like the
218 // optimization level and -fno-inline, not actually whether the backend has
219 // inlining enabled.
220 //
221 // FIXME: This is affected by other options (-fno-inline).
222 Opts.NoInline = !Opt;
223
224// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
225// switch (SSP) {
226// default:
227// Diags.Report(diag::err_drv_invalid_value)
228// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
229// break;
230// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
231// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
232// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
233// }
234}
235
Chris Lattner24943d22010-06-08 16:52:24 +0000236
Chris Lattner24943d22010-06-08 16:52:24 +0000237ClangASTContext::ClangASTContext(const char *target_triple) :
238 m_target_triple(),
239 m_ast_context_ap(),
240 m_language_options_ap(),
241 m_source_manager_ap(),
242 m_diagnostic_ap(),
243 m_target_options_ap(),
244 m_target_info_ap(),
245 m_identifier_table_ap(),
246 m_selector_table_ap(),
247 m_builtins_ap()
248{
249 if (target_triple && target_triple[0])
250 m_target_triple.assign (target_triple);
251}
252
253//----------------------------------------------------------------------
254// Destructor
255//----------------------------------------------------------------------
256ClangASTContext::~ClangASTContext()
257{
258 m_builtins_ap.reset();
259 m_selector_table_ap.reset();
260 m_identifier_table_ap.reset();
261 m_target_info_ap.reset();
262 m_target_options_ap.reset();
263 m_diagnostic_ap.reset();
264 m_source_manager_ap.reset();
265 m_language_options_ap.reset();
266 m_ast_context_ap.reset();
267}
268
269
270void
271ClangASTContext::Clear()
272{
273 m_ast_context_ap.reset();
274 m_language_options_ap.reset();
275 m_source_manager_ap.reset();
276 m_diagnostic_ap.reset();
277 m_target_options_ap.reset();
278 m_target_info_ap.reset();
279 m_identifier_table_ap.reset();
280 m_selector_table_ap.reset();
281 m_builtins_ap.reset();
282}
283
284const char *
285ClangASTContext::GetTargetTriple ()
286{
287 return m_target_triple.c_str();
288}
289
290void
291ClangASTContext::SetTargetTriple (const char *target_triple)
292{
293 Clear();
294 m_target_triple.assign(target_triple);
295}
296
297
298ASTContext *
299ClangASTContext::getASTContext()
300{
301 if (m_ast_context_ap.get() == NULL)
302 {
303 m_ast_context_ap.reset(
304 new ASTContext(
305 *getLanguageOptions(),
306 *getSourceManager(),
307 *getTargetInfo(),
308 *getIdentifierTable(),
309 *getSelectorTable(),
Greg Clayton6e713402010-07-30 20:30:44 +0000310 *getBuiltinContext(),
311 0));
Chris Lattner24943d22010-06-08 16:52:24 +0000312 }
313 return m_ast_context_ap.get();
314}
315
316Builtin::Context *
317ClangASTContext::getBuiltinContext()
318{
319 if (m_builtins_ap.get() == NULL)
320 m_builtins_ap.reset (new Builtin::Context(*getTargetInfo()));
321 return m_builtins_ap.get();
322}
323
324IdentifierTable *
325ClangASTContext::getIdentifierTable()
326{
327 if (m_identifier_table_ap.get() == NULL)
328 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), NULL));
329 return m_identifier_table_ap.get();
330}
331
332LangOptions *
333ClangASTContext::getLanguageOptions()
334{
335 if (m_language_options_ap.get() == NULL)
336 {
337 m_language_options_ap.reset(new LangOptions());
Greg Claytone41c4b22010-06-13 17:34:29 +0000338 ParseLangArgs(*m_language_options_ap, IK_ObjCXX);
339// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner24943d22010-06-08 16:52:24 +0000340 }
341 return m_language_options_ap.get();
342}
343
344SelectorTable *
345ClangASTContext::getSelectorTable()
346{
347 if (m_selector_table_ap.get() == NULL)
348 m_selector_table_ap.reset (new SelectorTable());
349 return m_selector_table_ap.get();
350}
351
Greg Clayton1674b122010-07-21 22:12:05 +0000352clang::SourceManager *
Chris Lattner24943d22010-06-08 16:52:24 +0000353ClangASTContext::getSourceManager()
354{
355 if (m_source_manager_ap.get() == NULL)
Greg Clayton1674b122010-07-21 22:12:05 +0000356 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnostic()));
Chris Lattner24943d22010-06-08 16:52:24 +0000357 return m_source_manager_ap.get();
358}
359
360Diagnostic *
361ClangASTContext::getDiagnostic()
362{
363 if (m_diagnostic_ap.get() == NULL)
364 m_diagnostic_ap.reset(new Diagnostic());
365 return m_diagnostic_ap.get();
366}
367
368TargetOptions *
369ClangASTContext::getTargetOptions()
370{
371 if (m_target_options_ap.get() == NULL && !m_target_triple.empty())
372 {
373 m_target_options_ap.reset (new TargetOptions());
374 if (m_target_options_ap.get())
375 m_target_options_ap->Triple = m_target_triple;
376 }
377 return m_target_options_ap.get();
378}
379
380
381TargetInfo *
382ClangASTContext::getTargetInfo()
383{
384 // target_triple should be something like "x86_64-apple-darwin10"
385 if (m_target_info_ap.get() == NULL && !m_target_triple.empty())
386 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnostic(), *getTargetOptions()));
387 return m_target_info_ap.get();
388}
389
390#pragma mark Basic Types
391
392static inline bool
393QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast_context, QualType qual_type)
394{
395 uint64_t qual_type_bit_size = ast_context->getTypeSize(qual_type);
396 if (qual_type_bit_size == bit_size)
397 return true;
398 return false;
399}
400
Greg Clayton462d4142010-09-29 01:12:09 +0000401clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000402ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000403{
404 ASTContext *ast_context = getASTContext();
405
406 assert (ast_context != NULL);
407
408 return GetBuiltinTypeForEncodingAndBitSize (ast_context, encoding, bit_size);
409}
410
Greg Clayton462d4142010-09-29 01:12:09 +0000411clang_type_t
412ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast_context, Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000413{
414 if (!ast_context)
415 return NULL;
416
417 switch (encoding)
418 {
Greg Clayton585660c2010-08-05 01:57:25 +0000419 case eEncodingInvalid:
Chris Lattner24943d22010-06-08 16:52:24 +0000420 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
421 return ast_context->VoidPtrTy.getAsOpaquePtr();
422 break;
423
Greg Clayton585660c2010-08-05 01:57:25 +0000424 case eEncodingUint:
Chris Lattner24943d22010-06-08 16:52:24 +0000425 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
426 return ast_context->UnsignedCharTy.getAsOpaquePtr();
427 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
428 return ast_context->UnsignedShortTy.getAsOpaquePtr();
429 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
430 return ast_context->UnsignedIntTy.getAsOpaquePtr();
431 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
432 return ast_context->UnsignedLongTy.getAsOpaquePtr();
433 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
434 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
435 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
436 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
437 break;
438
Greg Clayton585660c2010-08-05 01:57:25 +0000439 case eEncodingSint:
Chris Lattner24943d22010-06-08 16:52:24 +0000440 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
441 return ast_context->CharTy.getAsOpaquePtr();
442 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
443 return ast_context->ShortTy.getAsOpaquePtr();
444 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
445 return ast_context->IntTy.getAsOpaquePtr();
446 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
447 return ast_context->LongTy.getAsOpaquePtr();
448 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
449 return ast_context->LongLongTy.getAsOpaquePtr();
450 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
451 return ast_context->Int128Ty.getAsOpaquePtr();
452 break;
453
Greg Clayton585660c2010-08-05 01:57:25 +0000454 case eEncodingIEEE754:
Chris Lattner24943d22010-06-08 16:52:24 +0000455 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
456 return ast_context->FloatTy.getAsOpaquePtr();
457 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
458 return ast_context->DoubleTy.getAsOpaquePtr();
459 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
460 return ast_context->LongDoubleTy.getAsOpaquePtr();
461 break;
462
Greg Clayton585660c2010-08-05 01:57:25 +0000463 case eEncodingVector:
Chris Lattner24943d22010-06-08 16:52:24 +0000464 default:
465 break;
466 }
467
468 return NULL;
469}
470
Greg Clayton462d4142010-09-29 01:12:09 +0000471clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000472ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
473{
474 ASTContext *ast_context = getASTContext();
475
476 #define streq(a,b) strcmp(a,b) == 0
477 assert (ast_context != NULL);
478 if (ast_context)
479 {
480 switch (dw_ate)
481 {
482 default:
483 break;
484
485 case DW_ATE_address:
486 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
487 return ast_context->VoidPtrTy.getAsOpaquePtr();
488 break;
489
490 case DW_ATE_boolean:
491 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->BoolTy))
492 return ast_context->BoolTy.getAsOpaquePtr();
493 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
494 return ast_context->UnsignedCharTy.getAsOpaquePtr();
495 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
496 return ast_context->UnsignedShortTy.getAsOpaquePtr();
497 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
498 return ast_context->UnsignedIntTy.getAsOpaquePtr();
499 break;
500
501 case DW_ATE_complex_float:
502 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatComplexTy))
503 return ast_context->FloatComplexTy.getAsOpaquePtr();
504 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleComplexTy))
505 return ast_context->DoubleComplexTy.getAsOpaquePtr();
506 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleComplexTy))
507 return ast_context->LongDoubleComplexTy.getAsOpaquePtr();
508 break;
509
510 case DW_ATE_float:
511 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
512 return ast_context->FloatTy.getAsOpaquePtr();
513 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
514 return ast_context->DoubleTy.getAsOpaquePtr();
515 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
516 return ast_context->LongDoubleTy.getAsOpaquePtr();
517 break;
518
519 case DW_ATE_signed:
520 if (type_name)
521 {
522 if (streq(type_name, "int") ||
523 streq(type_name, "signed int"))
524 {
525 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
526 return ast_context->IntTy.getAsOpaquePtr();
527 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
528 return ast_context->Int128Ty.getAsOpaquePtr();
529 }
530
531 if (streq(type_name, "long int") ||
532 streq(type_name, "long long int") ||
533 streq(type_name, "signed long long"))
534 {
535 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
536 return ast_context->LongTy.getAsOpaquePtr();
537 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
538 return ast_context->LongLongTy.getAsOpaquePtr();
539 }
540
541 if (streq(type_name, "short") ||
542 streq(type_name, "short int") ||
543 streq(type_name, "signed short") ||
544 streq(type_name, "short signed int"))
545 {
546 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
547 return ast_context->ShortTy.getAsOpaquePtr();
548 }
549
550 if (streq(type_name, "char") ||
551 streq(type_name, "signed char"))
552 {
553 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
554 return ast_context->CharTy.getAsOpaquePtr();
555 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
556 return ast_context->SignedCharTy.getAsOpaquePtr();
557 }
558
559 if (streq(type_name, "wchar_t"))
560 {
561 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->WCharTy))
562 return ast_context->WCharTy.getAsOpaquePtr();
563 }
564
565 }
566 // We weren't able to match up a type name, just search by size
567 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
568 return ast_context->CharTy.getAsOpaquePtr();
569 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
570 return ast_context->ShortTy.getAsOpaquePtr();
571 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
572 return ast_context->IntTy.getAsOpaquePtr();
573 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
574 return ast_context->LongTy.getAsOpaquePtr();
575 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
576 return ast_context->LongLongTy.getAsOpaquePtr();
577 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
578 return ast_context->Int128Ty.getAsOpaquePtr();
579 break;
580
581 case DW_ATE_signed_char:
582 if (type_name)
583 {
584 if (streq(type_name, "signed char"))
585 {
586 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
587 return ast_context->SignedCharTy.getAsOpaquePtr();
588 }
589 }
590 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
591 return ast_context->CharTy.getAsOpaquePtr();
592 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
593 return ast_context->SignedCharTy.getAsOpaquePtr();
594 break;
595
596 case DW_ATE_unsigned:
597 if (type_name)
598 {
599 if (streq(type_name, "unsigned int"))
600 {
601 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
602 return ast_context->UnsignedIntTy.getAsOpaquePtr();
603 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
604 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
605 }
606
607 if (streq(type_name, "unsigned int") ||
608 streq(type_name, "long unsigned int") ||
609 streq(type_name, "unsigned long long"))
610 {
611 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
612 return ast_context->UnsignedLongTy.getAsOpaquePtr();
613 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
614 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
615 }
616
617 if (streq(type_name, "unsigned short") ||
618 streq(type_name, "short unsigned int"))
619 {
620 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
621 return ast_context->UnsignedShortTy.getAsOpaquePtr();
622 }
623 if (streq(type_name, "unsigned char"))
624 {
625 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
626 return ast_context->UnsignedCharTy.getAsOpaquePtr();
627 }
628
629 }
630 // We weren't able to match up a type name, just search by size
631 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
632 return ast_context->UnsignedCharTy.getAsOpaquePtr();
633 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
634 return ast_context->UnsignedShortTy.getAsOpaquePtr();
635 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
636 return ast_context->UnsignedIntTy.getAsOpaquePtr();
637 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
638 return ast_context->UnsignedLongTy.getAsOpaquePtr();
639 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
640 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
641 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
642 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
643 break;
644
645 case DW_ATE_unsigned_char:
646 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
647 return ast_context->UnsignedCharTy.getAsOpaquePtr();
648 break;
649
650 case DW_ATE_imaginary_float:
651 break;
652 }
653 }
654 // This assert should fire for anything that we don't catch above so we know
655 // to fix any issues we run into.
656 assert (!"error: ClangASTContext::GetClangTypeForDWARFEncodingAndSize() contains an unhandled encoding. Fix this ASAP!");
657 return NULL;
658}
659
Greg Clayton462d4142010-09-29 01:12:09 +0000660clang_type_t
661ClangASTContext::GetBuiltInType_void(ASTContext *ast_context)
Chris Lattner24943d22010-06-08 16:52:24 +0000662{
Sean Callanana751f7b2010-09-17 02:24:29 +0000663 return ast_context->VoidTy.getAsOpaquePtr();
Chris Lattner24943d22010-06-08 16:52:24 +0000664}
665
Greg Clayton462d4142010-09-29 01:12:09 +0000666clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000667ClangASTContext::GetBuiltInType_objc_id()
668{
Sean Callanan04325062010-10-25 00:29:48 +0000669 return getASTContext()->ObjCBuiltinIdTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000670}
671
Greg Clayton462d4142010-09-29 01:12:09 +0000672clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000673ClangASTContext::GetBuiltInType_objc_Class()
674{
Sean Callanan04325062010-10-25 00:29:48 +0000675 return getASTContext()->ObjCBuiltinClassTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000676}
677
Greg Clayton462d4142010-09-29 01:12:09 +0000678clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000679ClangASTContext::GetBuiltInType_objc_selector()
680{
Sean Callanan04325062010-10-25 00:29:48 +0000681 return getASTContext()->ObjCBuiltinSelTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000682}
683
Greg Clayton462d4142010-09-29 01:12:09 +0000684clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000685ClangASTContext::GetCStringType (bool is_const)
686{
687 QualType char_type(getASTContext()->CharTy);
688
689 if (is_const)
690 char_type.addConst();
691
692 return getASTContext()->getPointerType(char_type).getAsOpaquePtr();
693}
694
Greg Clayton462d4142010-09-29 01:12:09 +0000695clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000696ClangASTContext::GetVoidPtrType (bool is_const)
697{
698 return GetVoidPtrType(getASTContext(), is_const);
699}
700
Greg Clayton462d4142010-09-29 01:12:09 +0000701clang_type_t
702ClangASTContext::GetVoidPtrType (ASTContext *ast_context, bool is_const)
Chris Lattner24943d22010-06-08 16:52:24 +0000703{
704 QualType void_ptr_type(ast_context->VoidPtrTy);
705
706 if (is_const)
707 void_ptr_type.addConst();
708
709 return void_ptr_type.getAsOpaquePtr();
710}
711
Greg Clayton462d4142010-09-29 01:12:09 +0000712clang_type_t
713ClangASTContext::CopyType (ASTContext *dest_context,
714 ASTContext *source_context,
715 clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000716{
717 Diagnostic diagnostics;
718 FileManager file_manager;
719 ASTImporter importer(diagnostics,
720 *dest_context, file_manager,
721 *source_context, file_manager);
722 QualType ret = importer.Import(QualType::getFromOpaquePtr(clang_type));
723 return ret.getAsOpaquePtr();
724}
725
Sean Callanan8d825062010-07-16 00:00:27 +0000726bool
Greg Clayton462d4142010-09-29 01:12:09 +0000727ClangASTContext::AreTypesSame(ASTContext *ast_context,
728 clang_type_t type1,
729 clang_type_t type2)
Sean Callanan5510ddd2010-07-15 22:30:52 +0000730{
731 return ast_context->hasSameType(QualType::getFromOpaquePtr(type1),
732 QualType::getFromOpaquePtr(type2));
733}
734
Chris Lattner24943d22010-06-08 16:52:24 +0000735#pragma mark CVR modifiers
736
Greg Clayton462d4142010-09-29 01:12:09 +0000737clang_type_t
738ClangASTContext::AddConstModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000739{
740 if (clang_type)
741 {
742 QualType result(QualType::getFromOpaquePtr(clang_type));
743 result.addConst();
744 return result.getAsOpaquePtr();
745 }
746 return NULL;
747}
748
Greg Clayton462d4142010-09-29 01:12:09 +0000749clang_type_t
750ClangASTContext::AddRestrictModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000751{
752 if (clang_type)
753 {
754 QualType result(QualType::getFromOpaquePtr(clang_type));
755 result.getQualifiers().setRestrict (true);
756 return result.getAsOpaquePtr();
757 }
758 return NULL;
759}
760
Greg Clayton462d4142010-09-29 01:12:09 +0000761clang_type_t
762ClangASTContext::AddVolatileModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000763{
764 if (clang_type)
765 {
766 QualType result(QualType::getFromOpaquePtr(clang_type));
767 result.getQualifiers().setVolatile (true);
768 return result.getAsOpaquePtr();
769 }
770 return NULL;
771}
772
773#pragma mark Structure, Unions, Classes
774
Greg Clayton462d4142010-09-29 01:12:09 +0000775clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000776ClangASTContext::CreateRecordType (const char *name, int kind, DeclContext *decl_ctx, LanguageType language)
Chris Lattner24943d22010-06-08 16:52:24 +0000777{
778 ASTContext *ast_context = getASTContext();
779 assert (ast_context != NULL);
Sean Callanan04325062010-10-25 00:29:48 +0000780
Chris Lattner24943d22010-06-08 16:52:24 +0000781 if (decl_ctx == NULL)
782 decl_ctx = ast_context->getTranslationUnitDecl();
783
Greg Clayton9488b742010-07-28 02:04:09 +0000784
Greg Clayton585660c2010-08-05 01:57:25 +0000785 if (language == eLanguageTypeObjC)
Greg Clayton9488b742010-07-28 02:04:09 +0000786 {
Greg Clayton306edca2010-10-11 02:25:34 +0000787 bool isForwardDecl = true;
Greg Clayton9488b742010-07-28 02:04:09 +0000788 bool isInternal = false;
789 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal);
790 }
791
Chris Lattner24943d22010-06-08 16:52:24 +0000792 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
793 // we will need to update this code. I was told to currently always use
794 // the CXXRecordDecl class since we often don't know from debug information
795 // if something is struct or a class, so we default to always use the more
796 // complete definition just in case.
797 CXXRecordDecl *decl = CXXRecordDecl::Create(*ast_context,
798 (TagDecl::TagKind)kind,
799 decl_ctx,
800 SourceLocation(),
801 name && name[0] ? &ast_context->Idents.get(name) : NULL);
802
803 return ast_context->getTagDeclType(decl).getAsOpaquePtr();
804}
805
Greg Claytondbf26152010-10-01 23:13:49 +0000806static bool
807IsOperator (const char *name, OverloadedOperatorKind &op_kind)
808{
809 if (name == NULL || name[0] == '\0')
810 return false;
811
812 if (::strstr(name, "operator ") != name)
813 return false;
814
815 const char *post_op_name = name + 9;
816
817 // This is an operator, set the overloaded operator kind to invalid
818 // in case this is a conversion operator...
819 op_kind = NUM_OVERLOADED_OPERATORS;
820
821 switch (post_op_name[0])
822 {
823 case 'n':
824 if (strcmp (post_op_name, "new") == 0)
825 op_kind = OO_New;
826 else if (strcmp (post_op_name, "new[]") == 0)
827 op_kind = OO_Array_New;
828 break;
829
830 case 'd':
831 if (strcmp (post_op_name, "delete") == 0)
832 op_kind = OO_Delete;
833 else if (strcmp (post_op_name, "delete[]") == 0)
834 op_kind = OO_Array_Delete;
835 break;
836
837 case '+':
838 if (post_op_name[1] == '\0')
839 op_kind = OO_Plus;
840 else if (post_op_name[2] == '\0')
841 {
842 if (post_op_name[1] == '=')
843 op_kind = OO_PlusEqual;
844 else if (post_op_name[1] == '+')
845 op_kind = OO_PlusPlus;
846 }
847 break;
848
849 case '-':
850 if (post_op_name[1] == '\0')
851 op_kind = OO_Minus;
852 else if (post_op_name[2] == '\0')
853 {
854 switch (post_op_name[1])
855 {
856 case '=': op_kind = OO_MinusEqual; break;
857 case '-': op_kind = OO_MinusMinus; break;
858 case '>': op_kind = OO_Arrow; break;
859 }
860 }
861 else if (post_op_name[3] == '\0')
862 {
863 if (post_op_name[2] == '*')
864 op_kind = OO_ArrowStar; break;
865 }
866 break;
867
868 case '*':
869 if (post_op_name[1] == '\0')
870 op_kind = OO_Star;
871 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
872 op_kind = OO_StarEqual;
873 break;
874
875 case '/':
876 if (post_op_name[1] == '\0')
877 op_kind = OO_Slash;
878 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
879 op_kind = OO_SlashEqual;
880 break;
881
882 case '%':
883 if (post_op_name[1] == '\0')
884 op_kind = OO_Percent;
885 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
886 op_kind = OO_PercentEqual;
887 break;
888
889
890 case '^':
891 if (post_op_name[1] == '\0')
892 op_kind = OO_Caret;
893 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
894 op_kind = OO_CaretEqual;
895 break;
896
897 case '&':
898 if (post_op_name[1] == '\0')
899 op_kind = OO_Amp;
900 else if (post_op_name[2] == '\0')
901 {
902 switch (post_op_name[1])
903 {
904 case '=': op_kind = OO_AmpEqual; break;
905 case '&': op_kind = OO_AmpAmp; break;
906 }
907 }
908 break;
909
910 case '|':
911 if (post_op_name[1] == '\0')
912 op_kind = OO_Pipe;
913 else if (post_op_name[2] == '\0')
914 {
915 switch (post_op_name[1])
916 {
917 case '=': op_kind = OO_PipeEqual; break;
918 case '|': op_kind = OO_PipePipe; break;
919 }
920 }
921 break;
922
923 case '~':
924 if (post_op_name[1] == '\0')
925 op_kind = OO_Tilde;
926 break;
927
928 case '!':
929 if (post_op_name[1] == '\0')
930 op_kind = OO_Exclaim;
931 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
932 op_kind = OO_ExclaimEqual;
933 break;
934
935 case '=':
936 if (post_op_name[1] == '\0')
937 op_kind = OO_Equal;
938 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
939 op_kind = OO_EqualEqual;
940 break;
941
942 case '<':
943 if (post_op_name[1] == '\0')
944 op_kind = OO_Less;
945 else if (post_op_name[2] == '\0')
946 {
947 switch (post_op_name[1])
948 {
949 case '<': op_kind = OO_LessLess; break;
950 case '=': op_kind = OO_LessEqual; break;
951 }
952 }
953 else if (post_op_name[3] == '\0')
954 {
955 if (post_op_name[2] == '=')
956 op_kind = OO_LessLessEqual;
957 }
958 break;
959
960 case '>':
961 if (post_op_name[1] == '\0')
962 op_kind = OO_Greater;
963 else if (post_op_name[2] == '\0')
964 {
965 switch (post_op_name[1])
966 {
967 case '>': op_kind = OO_GreaterGreater; break;
968 case '=': op_kind = OO_GreaterEqual; break;
969 }
970 }
971 else if (post_op_name[1] == '>' &&
972 post_op_name[2] == '=' &&
973 post_op_name[3] == '\0')
974 {
975 op_kind = OO_GreaterGreaterEqual;
976 }
977 break;
978
979 case ',':
980 if (post_op_name[1] == '\0')
981 op_kind = OO_Comma;
982 break;
983
984 case '(':
985 if (post_op_name[1] == ')' && post_op_name[2] == '\0')
986 op_kind = OO_Call;
987 break;
988
989 case '[':
990 if (post_op_name[1] == ']' && post_op_name[2] == '\0')
991 op_kind = OO_Subscript;
992 break;
993 }
994
995 return true;
996}
Greg Clayton412440a2010-09-23 01:09:21 +0000997CXXMethodDecl *
Sean Callanan79523002010-09-17 02:58:26 +0000998ClangASTContext::AddMethodToCXXRecordType
999(
Greg Clayton462d4142010-09-29 01:12:09 +00001000 ASTContext *ast_context,
1001 clang_type_t record_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001002 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001003 clang_type_t method_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001004 lldb::AccessType access,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001005 bool is_virtual,
1006 bool is_static,
Greg Clayton30449d52010-10-01 02:31:07 +00001007 bool is_inline,
1008 bool is_explicit
Greg Clayton412440a2010-09-23 01:09:21 +00001009)
Sean Callanan79523002010-09-17 02:58:26 +00001010{
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001011 if (!record_opaque_type || !method_opaque_type || !name)
Johnny Chen974fddb2010-09-28 16:10:54 +00001012 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001013
1014 assert(ast_context);
1015
1016 IdentifierTable *identifier_table = &ast_context->Idents;
1017
1018 assert(identifier_table);
1019
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001020 QualType record_qual_type(QualType::getFromOpaquePtr(record_opaque_type));
Greg Clayton1d8173f2010-09-24 05:15:53 +00001021
1022 clang::Type *clang_type(record_qual_type.getTypePtr());
Sean Callanan79523002010-09-17 02:58:26 +00001023
Greg Clayton1d8173f2010-09-24 05:15:53 +00001024 if (clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001025 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001026
Greg Clayton1d8173f2010-09-24 05:15:53 +00001027 RecordType *record_clang_type(dyn_cast<RecordType>(clang_type));
Sean Callanan79523002010-09-17 02:58:26 +00001028
Greg Clayton1d8173f2010-09-24 05:15:53 +00001029 if (record_clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001030 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001031
Greg Clayton1d8173f2010-09-24 05:15:53 +00001032 RecordDecl *record_decl = record_clang_type->getDecl();
Sean Callanan79523002010-09-17 02:58:26 +00001033
Greg Clayton1d8173f2010-09-24 05:15:53 +00001034 if (record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001035 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001036
1037 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1038
Greg Clayton1d8173f2010-09-24 05:15:53 +00001039 if (cxx_record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001040 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001041
Greg Clayton1d8173f2010-09-24 05:15:53 +00001042 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001043
Greg Clayton30449d52010-10-01 02:31:07 +00001044 CXXMethodDecl *cxx_method_decl = NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001045
Greg Clayton30449d52010-10-01 02:31:07 +00001046 DeclarationName decl_name (&identifier_table->get(name));
Greg Clayton90e325d2010-10-01 03:45:20 +00001047
Greg Clayton90e325d2010-10-01 03:45:20 +00001048 const bool is_implicitly_declared = false;
Greg Clayton30449d52010-10-01 02:31:07 +00001049
Greg Clayton5325a362010-10-02 01:40:05 +00001050 clang::FunctionType *function_Type = dyn_cast<FunctionType>(method_qual_type.getTypePtr());
Greg Clayton90e325d2010-10-01 03:45:20 +00001051
Greg Clayton5325a362010-10-02 01:40:05 +00001052 if (function_Type == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001053 return NULL;
1054
Greg Clayton5325a362010-10-02 01:40:05 +00001055 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(function_Type));
Greg Clayton90e325d2010-10-01 03:45:20 +00001056
1057 if (!method_function_prototype)
1058 return NULL;
1059
1060 unsigned int num_params = method_function_prototype->getNumArgs();
1061
1062 if (name[0] == '~')
Greg Clayton30449d52010-10-01 02:31:07 +00001063 {
Greg Clayton90e325d2010-10-01 03:45:20 +00001064 cxx_method_decl = CXXDestructorDecl::Create (*ast_context,
1065 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001066 DeclarationNameInfo (ast_context->DeclarationNames.getCXXDestructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001067 method_qual_type,
1068 is_inline,
1069 is_implicitly_declared);
1070 }
1071 else if (decl_name == record_decl->getDeclName())
1072 {
Greg Clayton30449d52010-10-01 02:31:07 +00001073 cxx_method_decl = CXXConstructorDecl::Create (*ast_context,
1074 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001075 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConstructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton30449d52010-10-01 02:31:07 +00001076 method_qual_type,
1077 NULL, // TypeSourceInfo *
1078 is_explicit,
1079 is_inline,
1080 is_implicitly_declared);
1081 }
1082 else
Greg Clayton90e325d2010-10-01 03:45:20 +00001083 {
Greg Claytondbf26152010-10-01 23:13:49 +00001084
1085 OverloadedOperatorKind op_kind = NUM_OVERLOADED_OPERATORS;
1086 if (IsOperator (name, op_kind))
Greg Clayton90e325d2010-10-01 03:45:20 +00001087 {
Greg Claytondbf26152010-10-01 23:13:49 +00001088 if (op_kind != NUM_OVERLOADED_OPERATORS)
1089 {
1090 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
Greg Clayton90e325d2010-10-01 03:45:20 +00001091 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001092 DeclarationNameInfo (ast_context->DeclarationNames.getCXXOperatorName (op_kind), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001093 method_qual_type,
1094 NULL, // TypeSourceInfo *
Greg Claytondbf26152010-10-01 23:13:49 +00001095 is_static,
1096 SC_None,
1097 is_inline);
1098 }
1099 else if (num_params == 0)
1100 {
1101 // Conversion operators don't take params...
1102 cxx_method_decl = CXXConversionDecl::Create (*ast_context,
1103 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001104 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConversionFunctionName (ast_context->getCanonicalType (function_Type->getResultType())), SourceLocation()),
Greg Claytondbf26152010-10-01 23:13:49 +00001105 method_qual_type,
1106 NULL, // TypeSourceInfo *
1107 is_inline,
1108 is_explicit);
1109 }
Greg Clayton90e325d2010-10-01 03:45:20 +00001110 }
Greg Claytondbf26152010-10-01 23:13:49 +00001111
1112 if (cxx_method_decl == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001113 {
1114 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
1115 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001116 DeclarationNameInfo (decl_name, SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001117 method_qual_type,
1118 NULL, // TypeSourceInfo *
1119 is_static,
1120 SC_None,
1121 is_inline);
1122 }
Greg Clayton30449d52010-10-01 02:31:07 +00001123 }
Greg Claytondbf26152010-10-01 23:13:49 +00001124
Greg Clayton462d4142010-09-29 01:12:09 +00001125 AccessSpecifier access_specifier = ConvertAccessTypeToAccessSpecifier (access);
Greg Clayton1d8173f2010-09-24 05:15:53 +00001126
1127 cxx_method_decl->setAccess (access_specifier);
1128 cxx_method_decl->setVirtualAsWritten (is_virtual);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001129
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001130 // Populate the method decl with parameter decls
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001131
1132 ParmVarDecl *params[num_params];
1133
1134 for (int param_index = 0;
1135 param_index < num_params;
1136 ++param_index)
1137 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001138 params[param_index] = ParmVarDecl::Create (*ast_context,
1139 cxx_method_decl,
1140 SourceLocation(),
1141 NULL, // anonymous
1142 method_function_prototype->getArgType(param_index),
1143 NULL,
1144 SC_None,
1145 SC_None,
1146 NULL);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001147 }
1148
Greg Clayton1d8173f2010-09-24 05:15:53 +00001149 cxx_method_decl->setParams (params, num_params);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001150
Greg Clayton1d8173f2010-09-24 05:15:53 +00001151 cxx_record_decl->addDecl (cxx_method_decl);
Sean Callanan79523002010-09-17 02:58:26 +00001152
Greg Clayton412440a2010-09-23 01:09:21 +00001153 return cxx_method_decl;
Sean Callanan79523002010-09-17 02:58:26 +00001154}
1155
1156bool
Greg Clayton84f80752010-07-22 18:30:50 +00001157ClangASTContext::AddFieldToRecordType
1158(
Greg Clayton462d4142010-09-29 01:12:09 +00001159 ASTContext *ast_context,
1160 clang_type_t record_clang_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001161 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001162 clang_type_t field_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001163 AccessType access,
1164 uint32_t bitfield_bit_size
1165)
Chris Lattner24943d22010-06-08 16:52:24 +00001166{
1167 if (record_clang_type == NULL || field_type == NULL)
1168 return false;
1169
Sean Callanan60a0ced2010-09-16 20:01:08 +00001170 IdentifierTable *identifier_table = &ast_context->Idents;
Chris Lattner24943d22010-06-08 16:52:24 +00001171
1172 assert (ast_context != NULL);
1173 assert (identifier_table != NULL);
1174
1175 QualType record_qual_type(QualType::getFromOpaquePtr(record_clang_type));
1176
Greg Clayton1674b122010-07-21 22:12:05 +00001177 clang::Type *clang_type = record_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001178 if (clang_type)
1179 {
1180 const RecordType *record_type = dyn_cast<RecordType>(clang_type);
1181
1182 if (record_type)
1183 {
1184 RecordDecl *record_decl = record_type->getDecl();
1185
Chris Lattner24943d22010-06-08 16:52:24 +00001186 clang::Expr *bit_width = NULL;
1187 if (bitfield_bit_size != 0)
1188 {
1189 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001190 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Chris Lattner24943d22010-06-08 16:52:24 +00001191 }
Greg Clayton84f80752010-07-22 18:30:50 +00001192 FieldDecl *field = FieldDecl::Create (*ast_context,
1193 record_decl,
1194 SourceLocation(),
1195 name ? &identifier_table->get(name) : NULL, // Identifier
1196 QualType::getFromOpaquePtr(field_type), // Field type
1197 NULL, // DeclaratorInfo *
1198 bit_width, // BitWidth
1199 false); // Mutable
Chris Lattner24943d22010-06-08 16:52:24 +00001200
Greg Clayton84f80752010-07-22 18:30:50 +00001201 field->setAccess (ConvertAccessTypeToAccessSpecifier (access));
Chris Lattner24943d22010-06-08 16:52:24 +00001202
1203 if (field)
1204 {
1205 record_decl->addDecl(field);
Chris Lattner24943d22010-06-08 16:52:24 +00001206 }
1207 }
Greg Clayton9488b742010-07-28 02:04:09 +00001208 else
1209 {
1210 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(clang_type);
1211 if (objc_class_type)
1212 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001213 bool is_synthesized = false;
Sean Callanan60a0ced2010-09-16 20:01:08 +00001214 ClangASTContext::AddObjCClassIVar (ast_context,
1215 record_clang_type,
Greg Clayton9488b742010-07-28 02:04:09 +00001216 name,
1217 field_type,
1218 access,
1219 bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001220 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001221 }
1222 }
Chris Lattner24943d22010-06-08 16:52:24 +00001223 }
1224 return false;
1225}
1226
1227bool
1228ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1229{
1230 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1231}
1232
1233bool
1234ClangASTContext::FieldIsBitfield
1235(
1236 ASTContext *ast_context,
1237 FieldDecl* field,
1238 uint32_t& bitfield_bit_size
1239)
1240{
1241 if (ast_context == NULL || field == NULL)
1242 return false;
1243
1244 if (field->isBitField())
1245 {
1246 Expr* bit_width_expr = field->getBitWidth();
1247 if (bit_width_expr)
1248 {
1249 llvm::APSInt bit_width_apsint;
1250 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast_context))
1251 {
1252 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1253 return true;
1254 }
1255 }
1256 }
1257 return false;
1258}
1259
1260bool
1261ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1262{
1263 if (record_decl == NULL)
1264 return false;
1265
1266 if (!record_decl->field_empty())
1267 return true;
1268
1269 // No fields, lets check this is a CXX record and check the base classes
1270 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1271 if (cxx_record_decl)
1272 {
1273 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1274 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1275 base_class != base_class_end;
1276 ++base_class)
1277 {
1278 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1279 if (RecordHasFields(base_class_decl))
1280 return true;
1281 }
1282 }
1283 return false;
1284}
1285
1286void
Greg Clayton462d4142010-09-29 01:12:09 +00001287ClangASTContext::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 +00001288{
1289 if (clang_qual_type)
1290 {
1291 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton1674b122010-07-21 22:12:05 +00001292 clang::Type *clang_type = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001293 if (clang_type)
1294 {
1295 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1296 if (record_type)
1297 {
1298 RecordDecl *record_decl = record_type->getDecl();
1299 if (record_decl)
1300 {
1301 uint32_t field_idx;
1302 RecordDecl::field_iterator field, field_end;
1303 for (field = record_decl->field_begin(), field_end = record_decl->field_end(), field_idx = 0;
1304 field != field_end;
1305 ++field, ++field_idx)
1306 {
1307 // If no accessibility was assigned, assign the correct one
1308 if (field_idx < num_assigned_accessibilities && assigned_accessibilities[field_idx] == clang::AS_none)
1309 field->setAccess ((AccessSpecifier)default_accessibility);
1310 }
1311 }
1312 }
1313 }
1314 }
1315}
1316
1317#pragma mark C++ Base Classes
1318
1319CXXBaseSpecifier *
Greg Clayton462d4142010-09-29 01:12:09 +00001320ClangASTContext::CreateBaseClassSpecifier (clang_type_t base_class_type, AccessType access, bool is_virtual, bool base_of_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001321{
1322 if (base_class_type)
Greg Clayton6e713402010-07-30 20:30:44 +00001323 return new CXXBaseSpecifier (SourceRange(),
1324 is_virtual,
1325 base_of_class,
1326 ConvertAccessTypeToAccessSpecifier (access),
1327 getASTContext()->CreateTypeSourceInfo (QualType::getFromOpaquePtr(base_class_type)));
Chris Lattner24943d22010-06-08 16:52:24 +00001328 return NULL;
1329}
1330
Greg Claytone9d0df42010-07-02 01:29:13 +00001331void
1332ClangASTContext::DeleteBaseClassSpecifiers (CXXBaseSpecifier **base_classes, unsigned num_base_classes)
1333{
1334 for (unsigned i=0; i<num_base_classes; ++i)
1335 {
1336 delete base_classes[i];
1337 base_classes[i] = NULL;
1338 }
1339}
1340
Chris Lattner24943d22010-06-08 16:52:24 +00001341bool
Greg Clayton462d4142010-09-29 01:12:09 +00001342ClangASTContext::SetBaseClassesForClassType (clang_type_t class_clang_type, CXXBaseSpecifier const * const *base_classes, unsigned num_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001343{
1344 if (class_clang_type)
1345 {
Greg Clayton1674b122010-07-21 22:12:05 +00001346 clang::Type *clang_type = QualType::getFromOpaquePtr(class_clang_type).getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001347 if (clang_type)
1348 {
1349 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1350 if (record_type)
1351 {
1352 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_type->getDecl());
1353 if (cxx_record_decl)
1354 {
Chris Lattner24943d22010-06-08 16:52:24 +00001355 cxx_record_decl->setBases(base_classes, num_base_classes);
1356 return true;
1357 }
1358 }
1359 }
1360 }
1361 return false;
1362}
Greg Clayton84f80752010-07-22 18:30:50 +00001363#pragma mark Objective C Classes
Chris Lattner24943d22010-06-08 16:52:24 +00001364
Greg Clayton462d4142010-09-29 01:12:09 +00001365clang_type_t
Greg Clayton84f80752010-07-22 18:30:50 +00001366ClangASTContext::CreateObjCClass
1367(
1368 const char *name,
1369 DeclContext *decl_ctx,
1370 bool isForwardDecl,
1371 bool isInternal
1372)
1373{
1374 ASTContext *ast_context = getASTContext();
1375 assert (ast_context != NULL);
1376 assert (name && name[0]);
1377 if (decl_ctx == NULL)
1378 decl_ctx = ast_context->getTranslationUnitDecl();
1379
1380 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1381 // we will need to update this code. I was told to currently always use
1382 // the CXXRecordDecl class since we often don't know from debug information
1383 // if something is struct or a class, so we default to always use the more
1384 // complete definition just in case.
1385 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast_context,
1386 decl_ctx,
1387 SourceLocation(),
1388 &ast_context->Idents.get(name),
1389 SourceLocation(),
1390 isForwardDecl,
1391 isInternal);
Greg Clayton9488b742010-07-28 02:04:09 +00001392
1393 return ast_context->getObjCInterfaceType(decl).getAsOpaquePtr();
Greg Clayton84f80752010-07-22 18:30:50 +00001394}
1395
1396bool
Greg Clayton462d4142010-09-29 01:12:09 +00001397ClangASTContext::SetObjCSuperClass (clang_type_t class_opaque_type, clang_type_t super_opaque_type)
Greg Clayton84f80752010-07-22 18:30:50 +00001398{
1399 if (class_opaque_type && super_opaque_type)
1400 {
1401 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1402 QualType super_qual_type(QualType::getFromOpaquePtr(super_opaque_type));
1403 clang::Type *class_type = class_qual_type.getTypePtr();
1404 clang::Type *super_type = super_qual_type.getTypePtr();
1405 if (class_type && super_type)
1406 {
1407 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1408 ObjCObjectType *objc_super_type = dyn_cast<ObjCObjectType>(super_type);
1409 if (objc_class_type && objc_super_type)
1410 {
1411 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1412 ObjCInterfaceDecl *super_interface_decl = objc_super_type->getInterface();
1413 if (class_interface_decl && super_interface_decl)
1414 {
1415 class_interface_decl->setSuperClass(super_interface_decl);
1416 return true;
1417 }
1418 }
1419 }
1420 }
1421 return false;
1422}
1423
1424
1425bool
1426ClangASTContext::AddObjCClassIVar
1427(
Greg Clayton462d4142010-09-29 01:12:09 +00001428 ASTContext *ast_context,
1429 clang_type_t class_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001430 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001431 clang_type_t ivar_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001432 AccessType access,
1433 uint32_t bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001434 bool is_synthesized
Greg Clayton84f80752010-07-22 18:30:50 +00001435)
1436{
1437 if (class_opaque_type == NULL || ivar_opaque_type == NULL)
1438 return false;
1439
Sean Callanan60a0ced2010-09-16 20:01:08 +00001440 IdentifierTable *identifier_table = &ast_context->Idents;
Greg Clayton84f80752010-07-22 18:30:50 +00001441
1442 assert (ast_context != NULL);
1443 assert (identifier_table != NULL);
1444
1445 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1446
1447 clang::Type *class_type = class_qual_type.getTypePtr();
1448 if (class_type)
1449 {
1450 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1451
1452 if (objc_class_type)
1453 {
1454 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1455
1456 if (class_interface_decl)
1457 {
1458 clang::Expr *bit_width = NULL;
1459 if (bitfield_bit_size != 0)
1460 {
1461 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001462 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Greg Clayton84f80752010-07-22 18:30:50 +00001463 }
1464
Greg Clayton9488b742010-07-28 02:04:09 +00001465 ObjCIvarDecl *field = ObjCIvarDecl::Create (*ast_context,
1466 class_interface_decl,
1467 SourceLocation(),
1468 &identifier_table->get(name), // Identifier
1469 QualType::getFromOpaquePtr(ivar_opaque_type), // Field type
1470 NULL, // TypeSourceInfo *
1471 ConvertAccessTypeToObjCIvarAccessControl (access),
1472 bit_width,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001473 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001474
1475 if (field)
1476 {
1477 class_interface_decl->addDecl(field);
1478 return true;
1479 }
Greg Clayton84f80752010-07-22 18:30:50 +00001480 }
1481 }
1482 }
1483 return false;
1484}
Chris Lattner24943d22010-06-08 16:52:24 +00001485
Greg Clayton9488b742010-07-28 02:04:09 +00001486
1487bool
Greg Clayton462d4142010-09-29 01:12:09 +00001488ClangASTContext::ObjCTypeHasIVars (clang_type_t class_opaque_type, bool check_superclass)
Greg Clayton9488b742010-07-28 02:04:09 +00001489{
1490 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1491
1492 clang::Type *class_type = class_qual_type.getTypePtr();
1493 if (class_type)
1494 {
1495 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1496
1497 if (objc_class_type)
1498 return ObjCDeclHasIVars (objc_class_type->getInterface(), check_superclass);
1499 }
1500 return false;
1501}
1502
1503bool
1504ClangASTContext::ObjCDeclHasIVars (ObjCInterfaceDecl *class_interface_decl, bool check_superclass)
1505{
1506 while (class_interface_decl)
1507 {
1508 if (class_interface_decl->ivar_size() > 0)
1509 return true;
1510
1511 if (check_superclass)
1512 class_interface_decl = class_interface_decl->getSuperClass();
1513 else
1514 break;
1515 }
1516 return false;
1517}
Greg Clayton1d8173f2010-09-24 05:15:53 +00001518
Greg Clayton462d4142010-09-29 01:12:09 +00001519ObjCMethodDecl *
Greg Clayton1d8173f2010-09-24 05:15:53 +00001520ClangASTContext::AddMethodToObjCObjectType
1521(
Greg Clayton462d4142010-09-29 01:12:09 +00001522 ASTContext *ast_context,
1523 clang_type_t class_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001524 const char *name, // the full symbol name as seen in the symbol table ("-[NString stringWithCString:]")
Greg Clayton462d4142010-09-29 01:12:09 +00001525 clang_type_t method_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001526 lldb::AccessType access
1527)
1528{
1529 if (class_opaque_type == NULL || method_opaque_type == NULL)
1530 return NULL;
1531
1532 IdentifierTable *identifier_table = &ast_context->Idents;
1533
1534 assert (ast_context != NULL);
1535 assert (identifier_table != NULL);
1536
1537 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1538
1539 clang::Type *class_type = class_qual_type.getTypePtr();
1540 if (class_type == NULL)
1541 return NULL;
1542
1543 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1544
1545 if (objc_class_type == NULL)
1546 return NULL;
1547
1548 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1549
1550 if (class_interface_decl == NULL)
1551 return NULL;
Greg Clayton9488b742010-07-28 02:04:09 +00001552
Greg Clayton1d8173f2010-09-24 05:15:53 +00001553 const char *selector_start = ::strchr (name, ' ');
1554 if (selector_start == NULL)
1555 return NULL;
1556
1557 selector_start++;
1558 if (!(::isalpha (selector_start[0]) || selector_start[0] == '_'))
1559 return NULL;
1560 llvm::SmallVector<IdentifierInfo *, 12> selector_idents;
1561
Greg Claytonad60bf42010-10-12 02:24:53 +00001562 size_t len = 0;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001563 const char *start;
Greg Claytonad60bf42010-10-12 02:24:53 +00001564 //printf ("name = '%s'\n", name);
1565
1566 unsigned num_selectors_with_args = 0;
1567 for (start = selector_start;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001568 start && *start != '\0' && *start != ']';
Greg Claytonad60bf42010-10-12 02:24:53 +00001569 start += len)
Greg Clayton1d8173f2010-09-24 05:15:53 +00001570 {
Greg Claytonad60bf42010-10-12 02:24:53 +00001571 len = ::strcspn(start, ":]");
1572 if (start[len] == ':')
1573 {
1574 ++num_selectors_with_args;
1575 len += 1;
1576 }
1577 //printf ("@selector[%zu] = '%.*s'\n", selector_idents.size(), (int)len, start);
Greg Clayton1d8173f2010-09-24 05:15:53 +00001578 selector_idents.push_back (&identifier_table->get (StringRef (start, len)));
1579 }
1580
1581
1582 if (selector_idents.size() == 0)
1583 return 0;
1584
Greg Claytonad60bf42010-10-12 02:24:53 +00001585 clang::Selector method_selector = ast_context->Selectors.getSelector (num_selectors_with_args ? selector_idents.size() : 0,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001586 selector_idents.data());
1587
1588 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
1589
1590 // Populate the method decl with parameter decls
1591 clang::Type *method_type(method_qual_type.getTypePtr());
1592
1593 if (method_type == NULL)
1594 return NULL;
1595
1596 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(method_type));
1597
1598 if (!method_function_prototype)
1599 return NULL;
1600
1601
1602 bool is_variadic = false;
1603 bool is_synthesized = false;
1604 bool is_defined = false;
1605 ObjCMethodDecl::ImplementationControl imp_control = ObjCMethodDecl::None;
1606
1607 const unsigned num_args = method_function_prototype->getNumArgs();
1608
1609 ObjCMethodDecl *objc_method_decl = ObjCMethodDecl::Create (*ast_context,
1610 SourceLocation(), // beginLoc,
1611 SourceLocation(), // endLoc,
1612 method_selector,
1613 method_function_prototype->getResultType(),
1614 NULL, // TypeSourceInfo *ResultTInfo,
1615 GetDeclContextForType (class_opaque_type),
1616 name[0] == '-',
1617 is_variadic,
1618 is_synthesized,
1619 is_defined,
1620 imp_control,
1621 num_args);
1622
1623
1624 if (objc_method_decl == NULL)
1625 return NULL;
1626
1627 if (num_args > 0)
1628 {
1629 llvm::SmallVector<ParmVarDecl *, 12> params;
1630
1631 for (int param_index = 0; param_index < num_args; ++param_index)
1632 {
1633 params.push_back (ParmVarDecl::Create (*ast_context,
1634 objc_method_decl,
1635 SourceLocation(),
1636 NULL, // anonymous
1637 method_function_prototype->getArgType(param_index),
1638 NULL,
1639 SC_Auto,
1640 SC_Auto,
1641 NULL));
1642 }
1643
1644 objc_method_decl->setMethodParams(*ast_context, params.data(), params.size(), num_args);
1645 }
1646
1647 class_interface_decl->addDecl (objc_method_decl);
1648
1649
1650 return objc_method_decl;
1651}
1652
1653
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001654uint32_t
1655ClangASTContext::GetTypeInfoMask (clang_type_t clang_type)
1656{
1657 if (clang_type == NULL)
1658 return false;
1659
1660 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1661
1662 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1663 switch (type_class)
1664 {
Sean Callanan04325062010-10-25 00:29:48 +00001665 case clang::Type::Builtin:
1666 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1667 {
1668 default:
1669 break;
1670 case clang::BuiltinType::ObjCId:
1671 case clang::BuiltinType::ObjCClass:
1672 case clang::BuiltinType::ObjCSel:
1673 return eTypeIsBuiltIn | eTypeIsPointer | eTypeHasValue;
1674 }
1675 return eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001676 case clang::Type::BlockPointer: return eTypeIsPointer | eTypeHasChildren | eTypeIsBlock;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001677 case clang::Type::Complex: return eTypeHasChildren | eTypeIsBuiltIn | eTypeHasValue;
1678 case clang::Type::ConstantArray: return eTypeHasChildren | eTypeIsArray;
1679 case clang::Type::DependentName: return 0;
1680 case clang::Type::DependentSizedArray: return eTypeHasChildren | eTypeIsArray;
1681 case clang::Type::DependentSizedExtVector: return eTypeHasChildren | eTypeIsVector;
1682 case clang::Type::DependentTemplateSpecialization: return eTypeIsTemplate;
1683 case clang::Type::Decltype: return 0;
1684 case clang::Type::Enum: return eTypeIsEnumeration | eTypeHasValue;
1685 case clang::Type::Elaborated: return 0;
1686 case clang::Type::ExtVector: return eTypeHasChildren | eTypeIsVector;
1687 case clang::Type::FunctionProto: return eTypeIsFuncPrototype | eTypeHasValue;
1688 case clang::Type::FunctionNoProto: return eTypeIsFuncPrototype | eTypeHasValue;
1689 case clang::Type::IncompleteArray: return eTypeHasChildren | eTypeIsArray;
1690 case clang::Type::InjectedClassName: return 0;
1691 case clang::Type::LValueReference: return eTypeHasChildren | eTypeIsReference | eTypeHasValue;
1692 case clang::Type::MemberPointer: return eTypeIsPointer | eTypeIsMember | eTypeHasValue;
1693 case clang::Type::ObjCObjectPointer: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass | eTypeIsPointer | eTypeHasValue;
1694 case clang::Type::ObjCObject: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
1695 case clang::Type::ObjCInterface: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
1696 case clang::Type::Pointer: return eTypeHasChildren | eTypeIsPointer | eTypeHasValue;
1697 case clang::Type::Record:
1698 if (qual_type->getAsCXXRecordDecl())
1699 return eTypeHasChildren | eTypeIsClass | eTypeIsCPlusPlus;
1700 else
1701 return eTypeHasChildren | eTypeIsStructUnion;
1702 break;
1703 case clang::Type::RValueReference: return eTypeHasChildren | eTypeIsReference | eTypeHasValue;
1704 case clang::Type::SubstTemplateTypeParm: return eTypeIsTemplate;
1705 case clang::Type::TemplateTypeParm: return eTypeIsTemplate;
1706 case clang::Type::TemplateSpecialization: return eTypeIsTemplate;
1707 case clang::Type::Typedef: return eTypeIsTypedef |
1708 ClangASTContext::GetTypeInfoMask (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
1709 case clang::Type::TypeOfExpr: return 0;
1710 case clang::Type::TypeOf: return 0;
1711 case clang::Type::UnresolvedUsing: return 0;
1712 case clang::Type::VariableArray: return eTypeHasChildren | eTypeIsArray;
1713 case clang::Type::Vector: return eTypeHasChildren | eTypeIsVector;
1714 default: return 0;
1715 }
1716 return 0;
1717}
1718
Greg Clayton9488b742010-07-28 02:04:09 +00001719
Chris Lattner24943d22010-06-08 16:52:24 +00001720#pragma mark Aggregate Types
1721
1722bool
Greg Clayton462d4142010-09-29 01:12:09 +00001723ClangASTContext::IsAggregateType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00001724{
1725 if (clang_type == NULL)
1726 return false;
1727
1728 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1729
1730 if (qual_type->isAggregateType ())
1731 return true;
1732
Greg Clayton03e0f972010-09-13 03:32:57 +00001733 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1734 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001735 {
Greg Clayton1674b122010-07-21 22:12:05 +00001736 case clang::Type::IncompleteArray:
1737 case clang::Type::VariableArray:
1738 case clang::Type::ConstantArray:
1739 case clang::Type::ExtVector:
1740 case clang::Type::Vector:
1741 case clang::Type::Record:
Greg Clayton9488b742010-07-28 02:04:09 +00001742 case clang::Type::ObjCObject:
1743 case clang::Type::ObjCInterface:
Chris Lattner24943d22010-06-08 16:52:24 +00001744 return true;
1745
Greg Clayton1674b122010-07-21 22:12:05 +00001746 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00001747 return ClangASTContext::IsAggregateType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
1748
1749 default:
1750 break;
1751 }
1752 // The clang type does have a value
1753 return false;
1754}
1755
1756uint32_t
Greg Clayton462d4142010-09-29 01:12:09 +00001757ClangASTContext::GetNumChildren (clang_type_t clang_qual_type, bool omit_empty_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001758{
1759 if (clang_qual_type == NULL)
1760 return 0;
1761
1762 uint32_t num_children = 0;
1763 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton9488b742010-07-28 02:04:09 +00001764 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1765 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001766 {
Greg Clayton960d6a42010-08-03 00:35:52 +00001767 case clang::Type::Builtin:
1768 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1769 {
1770 case clang::BuiltinType::ObjCId: // Child is Class
1771 case clang::BuiltinType::ObjCClass: // child is Class
1772 case clang::BuiltinType::ObjCSel: // child is const char *
1773 num_children = 1;
1774
1775 default:
1776 break;
1777 }
1778 break;
1779
Greg Clayton1674b122010-07-21 22:12:05 +00001780 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00001781 {
1782 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
1783 const RecordDecl *record_decl = record_type->getDecl();
1784 assert(record_decl);
1785 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1786 if (cxx_record_decl)
1787 {
1788 if (omit_empty_base_classes)
1789 {
1790 // Check each base classes to see if it or any of its
1791 // base classes contain any fields. This can help
1792 // limit the noise in variable views by not having to
1793 // show base classes that contain no members.
1794 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1795 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1796 base_class != base_class_end;
1797 ++base_class)
1798 {
1799 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1800
1801 // Skip empty base classes
1802 if (RecordHasFields(base_class_decl) == false)
1803 continue;
1804
1805 num_children++;
1806 }
1807 }
1808 else
1809 {
1810 // Include all base classes
1811 num_children += cxx_record_decl->getNumBases();
1812 }
1813
1814 }
1815 RecordDecl::field_iterator field, field_end;
1816 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field)
1817 ++num_children;
1818 }
1819 break;
1820
Greg Clayton9488b742010-07-28 02:04:09 +00001821 case clang::Type::ObjCObject:
1822 case clang::Type::ObjCInterface:
1823 {
1824 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
1825 assert (objc_class_type);
1826 if (objc_class_type)
1827 {
1828 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1829
1830 if (class_interface_decl)
1831 {
1832
1833 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
1834 if (superclass_interface_decl)
1835 {
1836 if (omit_empty_base_classes)
1837 {
1838 if (ClangASTContext::ObjCDeclHasIVars (superclass_interface_decl, true))
1839 ++num_children;
1840 }
1841 else
1842 ++num_children;
1843 }
1844
1845 num_children += class_interface_decl->ivar_size();
1846 }
1847 }
1848 }
1849 break;
1850
1851 case clang::Type::ObjCObjectPointer:
Greg Clayton960d6a42010-08-03 00:35:52 +00001852 {
1853 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(qual_type.getTypePtr());
1854 QualType pointee_type = pointer_type->getPointeeType();
1855 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1856 omit_empty_base_classes);
1857 // If this type points to a simple type, then it has 1 child
1858 if (num_pointee_children == 0)
1859 num_children = 1;
1860 else
1861 num_children = num_pointee_children;
1862 }
1863 break;
Greg Clayton9488b742010-07-28 02:04:09 +00001864
Greg Clayton1674b122010-07-21 22:12:05 +00001865 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00001866 num_children = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
1867 break;
1868
Greg Clayton1674b122010-07-21 22:12:05 +00001869 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00001870 {
1871 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
1872 QualType pointee_type = pointer_type->getPointeeType();
Greg Clayton9488b742010-07-28 02:04:09 +00001873 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1874 omit_empty_base_classes);
Chris Lattner24943d22010-06-08 16:52:24 +00001875 // If this type points to a simple type, then it has 1 child
1876 if (num_pointee_children == 0)
1877 num_children = 1;
1878 else
1879 num_children = num_pointee_children;
1880 }
1881 break;
1882
Greg Clayton1674b122010-07-21 22:12:05 +00001883 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00001884 num_children = ClangASTContext::GetNumChildren (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), omit_empty_base_classes);
1885 break;
1886
1887 default:
1888 break;
1889 }
1890 return num_children;
1891}
1892
1893
Greg Clayton462d4142010-09-29 01:12:09 +00001894clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00001895ClangASTContext::GetChildClangTypeAtIndex
1896(
1897 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00001898 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00001899 uint32_t idx,
1900 bool transparent_pointers,
1901 bool omit_empty_base_classes,
1902 std::string& child_name,
1903 uint32_t &child_byte_size,
1904 int32_t &child_byte_offset,
1905 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001906 uint32_t &child_bitfield_bit_offset,
1907 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00001908)
1909{
1910 if (parent_clang_type)
1911
1912 return GetChildClangTypeAtIndex (getASTContext(),
1913 parent_name,
1914 parent_clang_type,
1915 idx,
1916 transparent_pointers,
1917 omit_empty_base_classes,
1918 child_name,
1919 child_byte_size,
1920 child_byte_offset,
1921 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001922 child_bitfield_bit_offset,
1923 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00001924 return NULL;
1925}
1926
Greg Clayton462d4142010-09-29 01:12:09 +00001927clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00001928ClangASTContext::GetChildClangTypeAtIndex
1929(
1930 ASTContext *ast_context,
1931 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00001932 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00001933 uint32_t idx,
1934 bool transparent_pointers,
1935 bool omit_empty_base_classes,
1936 std::string& child_name,
1937 uint32_t &child_byte_size,
1938 int32_t &child_byte_offset,
1939 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001940 uint32_t &child_bitfield_bit_offset,
1941 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00001942)
1943{
1944 if (parent_clang_type == NULL)
1945 return NULL;
1946
1947 if (idx < ClangASTContext::GetNumChildren (parent_clang_type, omit_empty_base_classes))
1948 {
1949 uint32_t bit_offset;
1950 child_bitfield_bit_size = 0;
1951 child_bitfield_bit_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001952 child_is_base_class = false;
Chris Lattner24943d22010-06-08 16:52:24 +00001953 QualType parent_qual_type(QualType::getFromOpaquePtr(parent_clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00001954 const clang::Type::TypeClass parent_type_class = parent_qual_type->getTypeClass();
1955 switch (parent_type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001956 {
Greg Clayton960d6a42010-08-03 00:35:52 +00001957 case clang::Type::Builtin:
1958 switch (cast<clang::BuiltinType>(parent_qual_type)->getKind())
1959 {
1960 case clang::BuiltinType::ObjCId:
1961 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00001962 child_name = "isa";
1963 child_byte_size = ast_context->getTypeSize(ast_context->ObjCBuiltinClassTy) / CHAR_BIT;
Greg Clayton960d6a42010-08-03 00:35:52 +00001964 return ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
1965
1966 case clang::BuiltinType::ObjCSel:
1967 {
1968 QualType char_type(ast_context->CharTy);
1969 char_type.addConst();
Sean Callanan04325062010-10-25 00:29:48 +00001970 child_byte_size = ast_context->getTypeSize(char_type);
1971 return char_type.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +00001972 }
1973 break;
1974
1975 default:
1976 break;
1977 }
1978 break;
1979
1980
Greg Clayton1674b122010-07-21 22:12:05 +00001981 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00001982 {
1983 const RecordType *record_type = cast<RecordType>(parent_qual_type.getTypePtr());
1984 const RecordDecl *record_decl = record_type->getDecl();
1985 assert(record_decl);
1986 const ASTRecordLayout &record_layout = ast_context->getASTRecordLayout(record_decl);
1987 uint32_t child_idx = 0;
1988
1989 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1990 if (cxx_record_decl)
1991 {
1992 // We might have base classes to print out first
1993 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1994 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1995 base_class != base_class_end;
1996 ++base_class)
1997 {
1998 const CXXRecordDecl *base_class_decl = NULL;
1999
2000 // Skip empty base classes
2001 if (omit_empty_base_classes)
2002 {
2003 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2004 if (RecordHasFields(base_class_decl) == false)
2005 continue;
2006 }
2007
2008 if (idx == child_idx)
2009 {
2010 if (base_class_decl == NULL)
2011 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2012
2013
2014 if (base_class->isVirtual())
2015 bit_offset = record_layout.getVBaseClassOffset(base_class_decl);
2016 else
2017 bit_offset = record_layout.getBaseClassOffset(base_class_decl);
2018
2019 // Base classes should be a multiple of 8 bits in size
2020 assert (bit_offset % 8 == 0);
2021 child_byte_offset = bit_offset/8;
2022 std::string base_class_type_name(base_class->getType().getAsString());
2023
2024 child_name.assign(base_class_type_name.c_str());
2025
2026 uint64_t clang_type_info_bit_size = ast_context->getTypeSize(base_class->getType());
2027
2028 // Base classes biut sizes should be a multiple of 8 bits in size
2029 assert (clang_type_info_bit_size % 8 == 0);
2030 child_byte_size = clang_type_info_bit_size / 8;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002031 child_is_base_class = true;
Chris Lattner24943d22010-06-08 16:52:24 +00002032 return base_class->getType().getAsOpaquePtr();
2033 }
2034 // We don't increment the child index in the for loop since we might
2035 // be skipping empty base classes
2036 ++child_idx;
2037 }
2038 }
Chris Lattner24943d22010-06-08 16:52:24 +00002039 // Make sure index is in range...
2040 uint32_t field_idx = 0;
2041 RecordDecl::field_iterator field, field_end;
2042 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field, ++field_idx, ++child_idx)
2043 {
2044 if (idx == child_idx)
2045 {
2046 // Print the member type if requested
2047 // Print the member name and equal sign
2048 child_name.assign(field->getNameAsString().c_str());
2049
2050 // Figure out the type byte size (field_type_info.first) and
2051 // alignment (field_type_info.second) from the AST context.
2052 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(field->getType());
Greg Clayton54e7afa2010-07-09 20:39:50 +00002053 assert(field_idx < record_layout.getFieldCount());
Chris Lattner24943d22010-06-08 16:52:24 +00002054
2055 child_byte_size = field_type_info.first / 8;
2056
2057 // Figure out the field offset within the current struct/union/class type
2058 bit_offset = record_layout.getFieldOffset (field_idx);
2059 child_byte_offset = bit_offset / 8;
2060 if (ClangASTContext::FieldIsBitfield (ast_context, *field, child_bitfield_bit_size))
2061 child_bitfield_bit_offset = bit_offset % 8;
2062
2063 return field->getType().getAsOpaquePtr();
2064 }
2065 }
2066 }
2067 break;
2068
Greg Clayton9488b742010-07-28 02:04:09 +00002069 case clang::Type::ObjCObject:
2070 case clang::Type::ObjCInterface:
2071 {
2072 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(parent_qual_type.getTypePtr());
2073 assert (objc_class_type);
2074 if (objc_class_type)
2075 {
2076 uint32_t child_idx = 0;
2077 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2078
2079 if (class_interface_decl)
2080 {
2081
2082 const ASTRecordLayout &interface_layout = ast_context->getASTObjCInterfaceLayout(class_interface_decl);
2083 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2084 if (superclass_interface_decl)
2085 {
2086 if (omit_empty_base_classes)
2087 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002088 if (ClangASTContext::GetNumChildren(ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(), omit_empty_base_classes) > 0)
Greg Clayton9488b742010-07-28 02:04:09 +00002089 {
2090 if (idx == 0)
2091 {
2092 QualType ivar_qual_type(ast_context->getObjCInterfaceType(superclass_interface_decl));
2093
2094
2095 child_name.assign(superclass_interface_decl->getNameAsString().c_str());
2096
2097 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2098
2099 child_byte_size = ivar_type_info.first / 8;
Greg Clayton960d6a42010-08-03 00:35:52 +00002100 child_byte_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002101 child_is_base_class = true;
Greg Clayton9488b742010-07-28 02:04:09 +00002102
2103 return ivar_qual_type.getAsOpaquePtr();
2104 }
2105
2106 ++child_idx;
2107 }
2108 }
2109 else
2110 ++child_idx;
2111 }
Greg Clayton960d6a42010-08-03 00:35:52 +00002112
2113 const uint32_t superclass_idx = child_idx;
Greg Clayton9488b742010-07-28 02:04:09 +00002114
2115 if (idx < (child_idx + class_interface_decl->ivar_size()))
2116 {
2117 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2118
2119 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2120 {
2121 if (child_idx == idx)
2122 {
2123 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2124
2125 QualType ivar_qual_type(ivar_decl->getType());
2126
2127 child_name.assign(ivar_decl->getNameAsString().c_str());
2128
2129 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2130
2131 child_byte_size = ivar_type_info.first / 8;
2132
2133 // Figure out the field offset within the current struct/union/class type
Greg Clayton960d6a42010-08-03 00:35:52 +00002134 bit_offset = interface_layout.getFieldOffset (child_idx - superclass_idx);
Greg Clayton9488b742010-07-28 02:04:09 +00002135 child_byte_offset = bit_offset / 8;
2136
2137 return ivar_qual_type.getAsOpaquePtr();
2138 }
2139 ++child_idx;
2140 }
2141 }
2142 }
2143 }
2144 }
2145 break;
2146
2147 case clang::Type::ObjCObjectPointer:
2148 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002149 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(parent_qual_type.getTypePtr());
2150 QualType pointee_type = pointer_type->getPointeeType();
2151
2152 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2153 {
2154 return GetChildClangTypeAtIndex (ast_context,
2155 parent_name,
2156 pointer_type->getPointeeType().getAsOpaquePtr(),
2157 idx,
2158 transparent_pointers,
2159 omit_empty_base_classes,
2160 child_name,
2161 child_byte_size,
2162 child_byte_offset,
2163 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002164 child_bitfield_bit_offset,
2165 child_is_base_class);
Greg Clayton960d6a42010-08-03 00:35:52 +00002166 }
2167 else
2168 {
2169 if (parent_name)
2170 {
2171 child_name.assign(1, '*');
2172 child_name += parent_name;
2173 }
2174
2175 // We have a pointer to an simple type
2176 if (idx == 0)
2177 {
2178 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2179 assert(clang_type_info.first % 8 == 0);
2180 child_byte_size = clang_type_info.first / 8;
2181 child_byte_offset = 0;
2182 return pointee_type.getAsOpaquePtr();
2183 }
2184 }
Greg Clayton9488b742010-07-28 02:04:09 +00002185 }
2186 break;
2187
Greg Clayton1674b122010-07-21 22:12:05 +00002188 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002189 {
2190 const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2191 const uint64_t element_count = array->getSize().getLimitedValue();
2192
2193 if (idx < element_count)
2194 {
2195 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2196
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002197 char element_name[64];
2198 ::snprintf (element_name, sizeof (element_name), "[%u]", idx);
Chris Lattner24943d22010-06-08 16:52:24 +00002199
2200 child_name.assign(element_name);
2201 assert(field_type_info.first % 8 == 0);
2202 child_byte_size = field_type_info.first / 8;
2203 child_byte_offset = idx * child_byte_size;
2204 return array->getElementType().getAsOpaquePtr();
2205 }
2206 }
2207 break;
2208
Greg Clayton1674b122010-07-21 22:12:05 +00002209 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002210 {
2211 PointerType *pointer_type = cast<PointerType>(parent_qual_type.getTypePtr());
2212 QualType pointee_type = pointer_type->getPointeeType();
2213
2214 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2215 {
2216 return GetChildClangTypeAtIndex (ast_context,
2217 parent_name,
2218 pointer_type->getPointeeType().getAsOpaquePtr(),
2219 idx,
2220 transparent_pointers,
2221 omit_empty_base_classes,
2222 child_name,
2223 child_byte_size,
2224 child_byte_offset,
2225 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002226 child_bitfield_bit_offset,
2227 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002228 }
2229 else
2230 {
2231 if (parent_name)
2232 {
2233 child_name.assign(1, '*');
2234 child_name += parent_name;
2235 }
2236
2237 // We have a pointer to an simple type
2238 if (idx == 0)
2239 {
2240 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2241 assert(clang_type_info.first % 8 == 0);
2242 child_byte_size = clang_type_info.first / 8;
2243 child_byte_offset = 0;
2244 return pointee_type.getAsOpaquePtr();
2245 }
2246 }
2247 }
2248 break;
2249
Greg Clayton1674b122010-07-21 22:12:05 +00002250 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002251 return GetChildClangTypeAtIndex (ast_context,
2252 parent_name,
2253 cast<TypedefType>(parent_qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2254 idx,
2255 transparent_pointers,
2256 omit_empty_base_classes,
2257 child_name,
2258 child_byte_size,
2259 child_byte_offset,
2260 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002261 child_bitfield_bit_offset,
2262 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002263 break;
2264
2265 default:
2266 break;
2267 }
2268 }
Greg Claytonf8e98a62010-07-23 15:37:46 +00002269 return NULL;
Chris Lattner24943d22010-06-08 16:52:24 +00002270}
2271
2272static inline bool
2273BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
2274{
2275 return ClangASTContext::RecordHasFields(cast<CXXRecordDecl>(b->getType()->getAs<RecordType>()->getDecl())) == false;
2276}
2277
2278static uint32_t
2279GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
2280{
2281 uint32_t num_bases = 0;
2282 if (cxx_record_decl)
2283 {
2284 if (omit_empty_base_classes)
2285 {
2286 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2287 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2288 base_class != base_class_end;
2289 ++base_class)
2290 {
2291 // Skip empty base classes
2292 if (omit_empty_base_classes)
2293 {
2294 if (BaseSpecifierIsEmpty (base_class))
2295 continue;
2296 }
2297 ++num_bases;
2298 }
2299 }
2300 else
2301 num_bases = cxx_record_decl->getNumBases();
2302 }
2303 return num_bases;
2304}
2305
2306
2307static uint32_t
2308GetIndexForRecordBase
2309(
2310 const RecordDecl *record_decl,
2311 const CXXBaseSpecifier *base_spec,
2312 bool omit_empty_base_classes
2313)
2314{
2315 uint32_t child_idx = 0;
2316
2317 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2318
2319// const char *super_name = record_decl->getNameAsCString();
2320// const char *base_name = base_spec->getType()->getAs<RecordType>()->getDecl()->getNameAsCString();
2321// printf ("GetIndexForRecordChild (%s, %s)\n", super_name, base_name);
2322//
2323 if (cxx_record_decl)
2324 {
2325 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2326 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2327 base_class != base_class_end;
2328 ++base_class)
2329 {
2330 if (omit_empty_base_classes)
2331 {
2332 if (BaseSpecifierIsEmpty (base_class))
2333 continue;
2334 }
2335
2336// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n", super_name, base_name,
2337// child_idx,
2338// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2339//
2340//
2341 if (base_class == base_spec)
2342 return child_idx;
2343 ++child_idx;
2344 }
2345 }
2346
2347 return UINT32_MAX;
2348}
2349
2350
2351static uint32_t
2352GetIndexForRecordChild
2353(
2354 const RecordDecl *record_decl,
2355 NamedDecl *canonical_decl,
2356 bool omit_empty_base_classes
2357)
2358{
2359 uint32_t child_idx = GetNumBaseClasses (dyn_cast<CXXRecordDecl>(record_decl), omit_empty_base_classes);
2360
2361// const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2362//
2363//// printf ("GetIndexForRecordChild (%s, %s)\n", record_decl->getNameAsCString(), canonical_decl->getNameAsCString());
2364// if (cxx_record_decl)
2365// {
2366// CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2367// for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2368// base_class != base_class_end;
2369// ++base_class)
2370// {
2371// if (omit_empty_base_classes)
2372// {
2373// if (BaseSpecifierIsEmpty (base_class))
2374// continue;
2375// }
2376//
2377//// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n",
2378//// record_decl->getNameAsCString(),
2379//// canonical_decl->getNameAsCString(),
2380//// child_idx,
2381//// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2382//
2383//
2384// CXXRecordDecl *curr_base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2385// if (curr_base_class_decl == canonical_decl)
2386// {
2387// return child_idx;
2388// }
2389// ++child_idx;
2390// }
2391// }
2392//
2393// const uint32_t num_bases = child_idx;
2394 RecordDecl::field_iterator field, field_end;
2395 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2396 field != field_end;
2397 ++field, ++child_idx)
2398 {
2399// printf ("GetIndexForRecordChild (%s, %s) field[%u] = %s\n",
2400// record_decl->getNameAsCString(),
2401// canonical_decl->getNameAsCString(),
2402// child_idx - num_bases,
2403// field->getNameAsCString());
2404
2405 if (field->getCanonicalDecl() == canonical_decl)
2406 return child_idx;
2407 }
2408
2409 return UINT32_MAX;
2410}
2411
2412// Look for a child member (doesn't include base classes, but it does include
2413// their members) in the type hierarchy. Returns an index path into "clang_type"
2414// on how to reach the appropriate member.
2415//
2416// class A
2417// {
2418// public:
2419// int m_a;
2420// int m_b;
2421// };
2422//
2423// class B
2424// {
2425// };
2426//
2427// class C :
2428// public B,
2429// public A
2430// {
2431// };
2432//
2433// If we have a clang type that describes "class C", and we wanted to looked
2434// "m_b" in it:
2435//
2436// With omit_empty_base_classes == false we would get an integer array back with:
2437// { 1, 1 }
2438// The first index 1 is the child index for "class A" within class C
2439// The second index 1 is the child index for "m_b" within class A
2440//
2441// With omit_empty_base_classes == true we would get an integer array back with:
2442// { 0, 1 }
2443// 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)
2444// The second index 1 is the child index for "m_b" within class A
2445
2446size_t
2447ClangASTContext::GetIndexOfChildMemberWithName
2448(
2449 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002450 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002451 const char *name,
2452 bool omit_empty_base_classes,
2453 std::vector<uint32_t>& child_indexes
2454)
2455{
2456 if (clang_type && name && name[0])
2457 {
2458 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002459 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2460 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002461 {
Greg Clayton1674b122010-07-21 22:12:05 +00002462 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002463 {
2464 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2465 const RecordDecl *record_decl = record_type->getDecl();
2466
2467 assert(record_decl);
2468 uint32_t child_idx = 0;
2469
2470 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2471
2472 // Try and find a field that matches NAME
2473 RecordDecl::field_iterator field, field_end;
2474 StringRef name_sref(name);
2475 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2476 field != field_end;
2477 ++field, ++child_idx)
2478 {
2479 if (field->getName().equals (name_sref))
2480 {
2481 // We have to add on the number of base classes to this index!
2482 child_indexes.push_back (child_idx + GetNumBaseClasses (cxx_record_decl, omit_empty_base_classes));
2483 return child_indexes.size();
2484 }
2485 }
2486
2487 if (cxx_record_decl)
2488 {
2489 const RecordDecl *parent_record_decl = cxx_record_decl;
2490
2491 //printf ("parent = %s\n", parent_record_decl->getNameAsCString());
2492
2493 //const Decl *root_cdecl = cxx_record_decl->getCanonicalDecl();
2494 // Didn't find things easily, lets let clang do its thang...
2495 IdentifierInfo & ident_ref = ast_context->Idents.get(name, name + strlen (name));
2496 DeclarationName decl_name(&ident_ref);
2497
2498 CXXBasePaths paths;
2499 if (cxx_record_decl->lookupInBases(CXXRecordDecl::FindOrdinaryMember,
2500 decl_name.getAsOpaquePtr(),
2501 paths))
2502 {
Chris Lattner24943d22010-06-08 16:52:24 +00002503 CXXBasePaths::const_paths_iterator path, path_end = paths.end();
2504 for (path = paths.begin(); path != path_end; ++path)
2505 {
2506 const size_t num_path_elements = path->size();
2507 for (size_t e=0; e<num_path_elements; ++e)
2508 {
2509 CXXBasePathElement elem = (*path)[e];
2510
2511 child_idx = GetIndexForRecordBase (parent_record_decl, elem.Base, omit_empty_base_classes);
2512 if (child_idx == UINT32_MAX)
2513 {
2514 child_indexes.clear();
2515 return 0;
2516 }
2517 else
2518 {
2519 child_indexes.push_back (child_idx);
2520 parent_record_decl = cast<RecordDecl>(elem.Base->getType()->getAs<RecordType>()->getDecl());
2521 }
2522 }
2523 DeclContext::lookup_iterator named_decl_pos;
2524 for (named_decl_pos = path->Decls.first;
2525 named_decl_pos != path->Decls.second && parent_record_decl;
2526 ++named_decl_pos)
2527 {
2528 //printf ("path[%zu] = %s\n", child_indexes.size(), (*named_decl_pos)->getNameAsCString());
2529
2530 child_idx = GetIndexForRecordChild (parent_record_decl, *named_decl_pos, omit_empty_base_classes);
2531 if (child_idx == UINT32_MAX)
2532 {
2533 child_indexes.clear();
2534 return 0;
2535 }
2536 else
2537 {
2538 child_indexes.push_back (child_idx);
2539 }
2540 }
2541 }
2542 return child_indexes.size();
2543 }
2544 }
2545
2546 }
2547 break;
2548
Greg Clayton9488b742010-07-28 02:04:09 +00002549 case clang::Type::ObjCObject:
2550 case clang::Type::ObjCInterface:
2551 {
2552 StringRef name_sref(name);
2553 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2554 assert (objc_class_type);
2555 if (objc_class_type)
2556 {
2557 uint32_t child_idx = 0;
2558 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2559
2560 if (class_interface_decl)
2561 {
2562 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2563 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2564
Greg Clayton823533e2010-09-18 02:11:07 +00002565 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos, ++child_idx)
Greg Clayton9488b742010-07-28 02:04:09 +00002566 {
2567 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2568
2569 if (ivar_decl->getName().equals (name_sref))
2570 {
2571 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2572 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2573 ++child_idx;
2574
2575 child_indexes.push_back (child_idx);
2576 return child_indexes.size();
2577 }
2578 }
2579
2580 if (superclass_interface_decl)
2581 {
2582 // The super class index is always zero for ObjC classes,
2583 // so we push it onto the child indexes in case we find
2584 // an ivar in our superclass...
2585 child_indexes.push_back (0);
2586
2587 if (GetIndexOfChildMemberWithName (ast_context,
2588 ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(),
2589 name,
2590 omit_empty_base_classes,
2591 child_indexes))
2592 {
2593 // We did find an ivar in a superclass so just
2594 // return the results!
2595 return child_indexes.size();
2596 }
2597
2598 // We didn't find an ivar matching "name" in our
2599 // superclass, pop the superclass zero index that
2600 // we pushed on above.
2601 child_indexes.pop_back();
2602 }
2603 }
2604 }
2605 }
2606 break;
2607
2608 case clang::Type::ObjCObjectPointer:
2609 {
2610 return GetIndexOfChildMemberWithName (ast_context,
2611 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2612 name,
2613 omit_empty_base_classes,
2614 child_indexes);
2615 }
2616 break;
2617
2618
Greg Clayton1674b122010-07-21 22:12:05 +00002619 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002620 {
2621// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2622// const uint64_t element_count = array->getSize().getLimitedValue();
2623//
2624// if (idx < element_count)
2625// {
2626// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2627//
2628// char element_name[32];
2629// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2630//
2631// child_name.assign(element_name);
2632// assert(field_type_info.first % 8 == 0);
2633// child_byte_size = field_type_info.first / 8;
2634// child_byte_offset = idx * child_byte_size;
2635// return array->getElementType().getAsOpaquePtr();
2636// }
2637 }
2638 break;
2639
Greg Clayton1674b122010-07-21 22:12:05 +00002640// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002641// {
2642// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2643// QualType pointee_type = mem_ptr_type->getPointeeType();
2644//
2645// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2646// {
2647// return GetIndexOfChildWithName (ast_context,
2648// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2649// name);
2650// }
2651// }
2652// break;
2653//
Greg Clayton1674b122010-07-21 22:12:05 +00002654 case clang::Type::LValueReference:
2655 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002656 {
2657 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2658 QualType pointee_type = reference_type->getPointeeType();
2659
2660 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2661 {
2662 return GetIndexOfChildMemberWithName (ast_context,
2663 reference_type->getPointeeType().getAsOpaquePtr(),
2664 name,
2665 omit_empty_base_classes,
2666 child_indexes);
2667 }
2668 }
2669 break;
2670
Greg Clayton1674b122010-07-21 22:12:05 +00002671 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002672 {
2673 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
2674 QualType pointee_type = pointer_type->getPointeeType();
2675
2676 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2677 {
2678 return GetIndexOfChildMemberWithName (ast_context,
2679 pointer_type->getPointeeType().getAsOpaquePtr(),
2680 name,
2681 omit_empty_base_classes,
2682 child_indexes);
2683 }
2684 else
2685 {
2686// if (parent_name)
2687// {
2688// child_name.assign(1, '*');
2689// child_name += parent_name;
2690// }
2691//
2692// // We have a pointer to an simple type
2693// if (idx == 0)
2694// {
2695// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2696// assert(clang_type_info.first % 8 == 0);
2697// child_byte_size = clang_type_info.first / 8;
2698// child_byte_offset = 0;
2699// return pointee_type.getAsOpaquePtr();
2700// }
2701 }
2702 }
2703 break;
2704
Greg Clayton1674b122010-07-21 22:12:05 +00002705 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002706 return GetIndexOfChildMemberWithName (ast_context,
2707 cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2708 name,
2709 omit_empty_base_classes,
2710 child_indexes);
2711
2712 default:
2713 break;
2714 }
2715 }
2716 return 0;
2717}
2718
2719
2720// Get the index of the child of "clang_type" whose name matches. This function
2721// doesn't descend into the children, but only looks one level deep and name
2722// matches can include base class names.
2723
2724uint32_t
2725ClangASTContext::GetIndexOfChildWithName
2726(
2727 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002728 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002729 const char *name,
2730 bool omit_empty_base_classes
2731)
2732{
2733 if (clang_type && name && name[0])
2734 {
2735 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton9488b742010-07-28 02:04:09 +00002736
Greg Clayton03e0f972010-09-13 03:32:57 +00002737 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
Greg Clayton9488b742010-07-28 02:04:09 +00002738
Greg Clayton03e0f972010-09-13 03:32:57 +00002739 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002740 {
Greg Clayton1674b122010-07-21 22:12:05 +00002741 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002742 {
2743 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2744 const RecordDecl *record_decl = record_type->getDecl();
2745
2746 assert(record_decl);
2747 uint32_t child_idx = 0;
2748
2749 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2750
2751 if (cxx_record_decl)
2752 {
2753 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2754 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2755 base_class != base_class_end;
2756 ++base_class)
2757 {
2758 // Skip empty base classes
2759 CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2760 if (omit_empty_base_classes && RecordHasFields(base_class_decl) == false)
2761 continue;
2762
2763 if (base_class->getType().getAsString().compare (name) == 0)
2764 return child_idx;
2765 ++child_idx;
2766 }
2767 }
2768
2769 // Try and find a field that matches NAME
2770 RecordDecl::field_iterator field, field_end;
2771 StringRef name_sref(name);
2772 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2773 field != field_end;
2774 ++field, ++child_idx)
2775 {
2776 if (field->getName().equals (name_sref))
2777 return child_idx;
2778 }
2779
2780 }
2781 break;
2782
Greg Clayton9488b742010-07-28 02:04:09 +00002783 case clang::Type::ObjCObject:
2784 case clang::Type::ObjCInterface:
2785 {
2786 StringRef name_sref(name);
2787 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2788 assert (objc_class_type);
2789 if (objc_class_type)
2790 {
2791 uint32_t child_idx = 0;
2792 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2793
2794 if (class_interface_decl)
2795 {
2796 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2797 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2798
2799 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2800 {
2801 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2802
2803 if (ivar_decl->getName().equals (name_sref))
2804 {
2805 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2806 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2807 ++child_idx;
2808
2809 return child_idx;
2810 }
2811 }
2812
2813 if (superclass_interface_decl)
2814 {
2815 if (superclass_interface_decl->getName().equals (name_sref))
2816 return 0;
2817 }
2818 }
2819 }
2820 }
2821 break;
2822
2823 case clang::Type::ObjCObjectPointer:
2824 {
2825 return GetIndexOfChildWithName (ast_context,
2826 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2827 name,
2828 omit_empty_base_classes);
2829 }
2830 break;
2831
Greg Clayton1674b122010-07-21 22:12:05 +00002832 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002833 {
2834// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2835// const uint64_t element_count = array->getSize().getLimitedValue();
2836//
2837// if (idx < element_count)
2838// {
2839// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2840//
2841// char element_name[32];
2842// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2843//
2844// child_name.assign(element_name);
2845// assert(field_type_info.first % 8 == 0);
2846// child_byte_size = field_type_info.first / 8;
2847// child_byte_offset = idx * child_byte_size;
2848// return array->getElementType().getAsOpaquePtr();
2849// }
2850 }
2851 break;
2852
Greg Clayton1674b122010-07-21 22:12:05 +00002853// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002854// {
2855// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2856// QualType pointee_type = mem_ptr_type->getPointeeType();
2857//
2858// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2859// {
2860// return GetIndexOfChildWithName (ast_context,
2861// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2862// name);
2863// }
2864// }
2865// break;
2866//
Greg Clayton1674b122010-07-21 22:12:05 +00002867 case clang::Type::LValueReference:
2868 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002869 {
2870 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2871 QualType pointee_type = reference_type->getPointeeType();
2872
2873 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2874 {
2875 return GetIndexOfChildWithName (ast_context,
2876 reference_type->getPointeeType().getAsOpaquePtr(),
2877 name,
2878 omit_empty_base_classes);
2879 }
2880 }
2881 break;
2882
Greg Clayton1674b122010-07-21 22:12:05 +00002883 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002884 {
2885 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
2886 QualType pointee_type = pointer_type->getPointeeType();
2887
2888 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2889 {
2890 return GetIndexOfChildWithName (ast_context,
2891 pointer_type->getPointeeType().getAsOpaquePtr(),
2892 name,
2893 omit_empty_base_classes);
2894 }
2895 else
2896 {
2897// if (parent_name)
2898// {
2899// child_name.assign(1, '*');
2900// child_name += parent_name;
2901// }
2902//
2903// // We have a pointer to an simple type
2904// if (idx == 0)
2905// {
2906// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2907// assert(clang_type_info.first % 8 == 0);
2908// child_byte_size = clang_type_info.first / 8;
2909// child_byte_offset = 0;
2910// return pointee_type.getAsOpaquePtr();
2911// }
2912 }
2913 }
2914 break;
2915
Greg Clayton1674b122010-07-21 22:12:05 +00002916 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002917 return GetIndexOfChildWithName (ast_context,
2918 cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2919 name,
2920 omit_empty_base_classes);
2921
2922 default:
2923 break;
2924 }
2925 }
2926 return UINT32_MAX;
2927}
2928
2929#pragma mark TagType
2930
2931bool
Greg Clayton462d4142010-09-29 01:12:09 +00002932ClangASTContext::SetTagTypeKind (clang_type_t tag_clang_type, int kind)
Chris Lattner24943d22010-06-08 16:52:24 +00002933{
2934 if (tag_clang_type)
2935 {
2936 QualType tag_qual_type(QualType::getFromOpaquePtr(tag_clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00002937 clang::Type *clang_type = tag_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00002938 if (clang_type)
2939 {
2940 TagType *tag_type = dyn_cast<TagType>(clang_type);
2941 if (tag_type)
2942 {
2943 TagDecl *tag_decl = dyn_cast<TagDecl>(tag_type->getDecl());
2944 if (tag_decl)
2945 {
2946 tag_decl->setTagKind ((TagDecl::TagKind)kind);
2947 return true;
2948 }
2949 }
2950 }
2951 }
2952 return false;
2953}
2954
2955
2956#pragma mark DeclContext Functions
2957
2958DeclContext *
Greg Clayton462d4142010-09-29 01:12:09 +00002959ClangASTContext::GetDeclContextForType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00002960{
2961 if (clang_type == NULL)
2962 return NULL;
2963
2964 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002965 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2966 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002967 {
Greg Clayton9488b742010-07-28 02:04:09 +00002968 case clang::Type::FunctionNoProto: break;
2969 case clang::Type::FunctionProto: break;
2970 case clang::Type::IncompleteArray: break;
2971 case clang::Type::VariableArray: break;
2972 case clang::Type::ConstantArray: break;
2973 case clang::Type::ExtVector: break;
2974 case clang::Type::Vector: break;
2975 case clang::Type::Builtin: break;
2976 case clang::Type::BlockPointer: break;
2977 case clang::Type::Pointer: break;
2978 case clang::Type::LValueReference: break;
2979 case clang::Type::RValueReference: break;
2980 case clang::Type::MemberPointer: break;
2981 case clang::Type::Complex: break;
2982 case clang::Type::ObjCObject: break;
2983 case clang::Type::ObjCInterface: return cast<ObjCObjectType>(qual_type.getTypePtr())->getInterface();
2984 case clang::Type::ObjCObjectPointer: return ClangASTContext::GetDeclContextForType (cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr());
2985 case clang::Type::Record: return cast<RecordType>(qual_type)->getDecl();
2986 case clang::Type::Enum: return cast<EnumType>(qual_type)->getDecl();
2987 case clang::Type::Typedef: return ClangASTContext::GetDeclContextForType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
Chris Lattner24943d22010-06-08 16:52:24 +00002988
Greg Clayton9488b742010-07-28 02:04:09 +00002989 case clang::Type::TypeOfExpr: break;
2990 case clang::Type::TypeOf: break;
2991 case clang::Type::Decltype: break;
2992 //case clang::Type::QualifiedName: break;
2993 case clang::Type::TemplateSpecialization: break;
Chris Lattner24943d22010-06-08 16:52:24 +00002994 }
2995 // No DeclContext in this type...
2996 return NULL;
2997}
2998
2999#pragma mark Namespace Declarations
3000
3001NamespaceDecl *
3002ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, const Declaration &decl, DeclContext *decl_ctx)
3003{
3004 // TODO: Do something intelligent with the Declaration object passed in
3005 // like maybe filling in the SourceLocation with it...
3006 if (name)
3007 {
3008 ASTContext *ast_context = getASTContext();
3009 if (decl_ctx == NULL)
3010 decl_ctx = ast_context->getTranslationUnitDecl();
3011 return NamespaceDecl::Create(*ast_context, decl_ctx, SourceLocation(), &ast_context->Idents.get(name));
3012 }
3013 return NULL;
3014}
3015
3016
3017#pragma mark Function Types
3018
3019FunctionDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003020ClangASTContext::CreateFunctionDeclaration (const char *name, clang_type_t function_clang_type, int storage, bool is_inline)
Chris Lattner24943d22010-06-08 16:52:24 +00003021{
3022 if (name)
3023 {
3024 ASTContext *ast_context = getASTContext();
3025 assert (ast_context != NULL);
3026
3027 if (name && name[0])
3028 {
3029 return FunctionDecl::Create(*ast_context,
3030 ast_context->getTranslationUnitDecl(),
3031 SourceLocation(),
3032 DeclarationName (&ast_context->Idents.get(name)),
3033 QualType::getFromOpaquePtr(function_clang_type),
3034 NULL,
3035 (FunctionDecl::StorageClass)storage,
3036 (FunctionDecl::StorageClass)storage,
3037 is_inline);
3038 }
3039 else
3040 {
3041 return FunctionDecl::Create(*ast_context,
3042 ast_context->getTranslationUnitDecl(),
3043 SourceLocation(),
3044 DeclarationName (),
3045 QualType::getFromOpaquePtr(function_clang_type),
3046 NULL,
3047 (FunctionDecl::StorageClass)storage,
3048 (FunctionDecl::StorageClass)storage,
3049 is_inline);
3050 }
3051 }
3052 return NULL;
3053}
3054
Greg Clayton462d4142010-09-29 01:12:09 +00003055clang_type_t
3056ClangASTContext::CreateFunctionType (ASTContext *ast_context,
3057 clang_type_t result_type,
3058 clang_type_t *args,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003059 unsigned num_args,
3060 bool is_variadic,
3061 unsigned type_quals)
Chris Lattner24943d22010-06-08 16:52:24 +00003062{
Chris Lattner24943d22010-06-08 16:52:24 +00003063 assert (ast_context != NULL);
3064 std::vector<QualType> qual_type_args;
3065 for (unsigned i=0; i<num_args; ++i)
3066 qual_type_args.push_back (QualType::getFromOpaquePtr(args[i]));
3067
3068 // TODO: Detect calling convention in DWARF?
3069 return ast_context->getFunctionType(QualType::getFromOpaquePtr(result_type),
Greg Clayton53d68e72010-07-20 22:52:08 +00003070 qual_type_args.empty() ? NULL : &qual_type_args.front(),
Chris Lattner24943d22010-06-08 16:52:24 +00003071 qual_type_args.size(),
Sean Callanan2ea8f272010-09-16 20:40:25 +00003072 is_variadic,
3073 type_quals,
Chris Lattner24943d22010-06-08 16:52:24 +00003074 false, // hasExceptionSpec
3075 false, // hasAnyExceptionSpec,
3076 0, // NumExs
3077 0, // const QualType *ExArray
3078 FunctionType::ExtInfo ()).getAsOpaquePtr(); // NoReturn);
3079}
3080
3081ParmVarDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003082ClangASTContext::CreateParameterDeclaration (const char *name, clang_type_t param_type, int storage)
Chris Lattner24943d22010-06-08 16:52:24 +00003083{
3084 ASTContext *ast_context = getASTContext();
3085 assert (ast_context != NULL);
3086 return ParmVarDecl::Create(*ast_context,
3087 ast_context->getTranslationUnitDecl(),
3088 SourceLocation(),
3089 name && name[0] ? &ast_context->Idents.get(name) : NULL,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003090 QualType::getFromOpaquePtr(param_type),
Chris Lattner24943d22010-06-08 16:52:24 +00003091 NULL,
3092 (VarDecl::StorageClass)storage,
3093 (VarDecl::StorageClass)storage,
3094 0);
3095}
3096
3097void
3098ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
3099{
3100 if (function_decl)
3101 function_decl->setParams (params, num_params);
3102}
3103
3104
3105#pragma mark Array Types
3106
Greg Clayton462d4142010-09-29 01:12:09 +00003107clang_type_t
3108ClangASTContext::CreateArrayType (clang_type_t element_type, size_t element_count, uint32_t bit_stride)
Chris Lattner24943d22010-06-08 16:52:24 +00003109{
3110 if (element_type)
3111 {
3112 ASTContext *ast_context = getASTContext();
3113 assert (ast_context != NULL);
3114 llvm::APInt ap_element_count (64, element_count);
3115 return ast_context->getConstantArrayType(QualType::getFromOpaquePtr(element_type),
3116 ap_element_count,
3117 ArrayType::Normal,
3118 0).getAsOpaquePtr(); // ElemQuals
3119 }
3120 return NULL;
3121}
3122
3123
3124#pragma mark TagDecl
3125
3126bool
Greg Clayton462d4142010-09-29 01:12:09 +00003127ClangASTContext::StartTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003128{
3129 if (clang_type)
3130 {
3131 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003132 clang::Type *t = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003133 if (t)
3134 {
3135 TagType *tag_type = dyn_cast<TagType>(t);
3136 if (tag_type)
3137 {
3138 TagDecl *tag_decl = tag_type->getDecl();
3139 if (tag_decl)
3140 {
3141 tag_decl->startDefinition();
3142 return true;
3143 }
3144 }
3145 }
3146 }
3147 return false;
3148}
3149
3150bool
Greg Clayton462d4142010-09-29 01:12:09 +00003151ClangASTContext::CompleteTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003152{
3153 if (clang_type)
3154 {
3155 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton55b6c532010-09-29 03:44:17 +00003156
3157 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3158
3159 if (cxx_record_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003160 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003161 cxx_record_decl->completeDefinition();
3162
3163 return true;
3164 }
3165
Sean Callanan04325062010-10-25 00:29:48 +00003166 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type);
3167
3168 if (objc_class_type)
3169 {
3170 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3171
3172 class_interface_decl->setForwardDecl(false);
3173 }
3174
Greg Clayton55b6c532010-09-29 03:44:17 +00003175 const EnumType *enum_type = dyn_cast<EnumType>(qual_type.getTypePtr());
3176
3177 if (enum_type)
3178 {
3179 EnumDecl *enum_decl = enum_type->getDecl();
3180
3181 if (enum_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003182 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003183 /// TODO This really needs to be fixed.
3184
3185 unsigned NumPositiveBits = 1;
3186 unsigned NumNegativeBits = 0;
3187
Greg Clayton48fbdf72010-10-12 04:29:14 +00003188 ASTContext *ast_context = getASTContext();
3189
3190 QualType promotion_qual_type;
3191 // If the enum integer type is less than an integer in bit width,
3192 // then we must promote it to an integer size.
3193 if (ast_context->getTypeSize(enum_decl->getIntegerType()) < ast_context->getTypeSize(ast_context->IntTy))
3194 {
3195 if (enum_decl->getIntegerType()->isSignedIntegerType())
3196 promotion_qual_type = ast_context->IntTy;
3197 else
3198 promotion_qual_type = ast_context->UnsignedIntTy;
3199 }
3200 else
3201 promotion_qual_type = enum_decl->getIntegerType();
3202
3203 enum_decl->completeDefinition(enum_decl->getIntegerType(), promotion_qual_type, NumPositiveBits, NumNegativeBits);
Greg Clayton55b6c532010-09-29 03:44:17 +00003204 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003205 }
3206 }
3207 }
3208 return false;
3209}
3210
3211
3212#pragma mark Enumeration Types
3213
Greg Clayton462d4142010-09-29 01:12:09 +00003214clang_type_t
3215ClangASTContext::CreateEnumerationType (const Declaration &decl, const char *name, clang_type_t integer_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003216{
3217 // TODO: Do something intelligent with the Declaration object passed in
3218 // like maybe filling in the SourceLocation with it...
3219 ASTContext *ast_context = getASTContext();
3220 assert (ast_context != NULL);
Greg Clayton48fbdf72010-10-12 04:29:14 +00003221
3222 // TODO: ask about these...
3223// const bool IsScoped = false;
3224// const bool IsFixed = false;
3225
3226 EnumDecl *enum_decl = EnumDecl::Create (*ast_context,
3227 ast_context->getTranslationUnitDecl(),
3228 SourceLocation(),
3229 name && name[0] ? &ast_context->Idents.get(name) : NULL,
3230 SourceLocation(),
3231 NULL); //IsScoped, IsFixed);
Chris Lattner24943d22010-06-08 16:52:24 +00003232 if (enum_decl)
Greg Claytone37f23c2010-09-12 23:17:56 +00003233 {
3234 // TODO: check if we should be setting the promotion type too?
3235 enum_decl->setIntegerType(QualType::getFromOpaquePtr (integer_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003236 return ast_context->getTagDeclType(enum_decl).getAsOpaquePtr();
Greg Claytone37f23c2010-09-12 23:17:56 +00003237 }
Chris Lattner24943d22010-06-08 16:52:24 +00003238 return NULL;
3239}
3240
Greg Clayton462d4142010-09-29 01:12:09 +00003241clang_type_t
3242ClangASTContext::GetEnumerationIntegerType (clang_type_t enum_clang_type)
3243{
3244 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3245
3246 clang::Type *clang_type = enum_qual_type.getTypePtr();
3247 if (clang_type)
3248 {
3249 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3250 if (enum_type)
3251 {
3252 EnumDecl *enum_decl = enum_type->getDecl();
3253 if (enum_decl)
3254 return enum_decl->getIntegerType().getAsOpaquePtr();
3255 }
3256 }
3257 return NULL;
3258}
Chris Lattner24943d22010-06-08 16:52:24 +00003259bool
3260ClangASTContext::AddEnumerationValueToEnumerationType
3261(
Greg Clayton462d4142010-09-29 01:12:09 +00003262 clang_type_t enum_clang_type,
3263 clang_type_t enumerator_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00003264 const Declaration &decl,
3265 const char *name,
3266 int64_t enum_value,
3267 uint32_t enum_value_bit_size
3268)
3269{
3270 if (enum_clang_type && enumerator_clang_type && name)
3271 {
3272 // TODO: Do something intelligent with the Declaration object passed in
3273 // like maybe filling in the SourceLocation with it...
3274 ASTContext *ast_context = getASTContext();
3275 IdentifierTable *identifier_table = getIdentifierTable();
3276
3277 assert (ast_context != NULL);
3278 assert (identifier_table != NULL);
3279 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3280
Greg Clayton1674b122010-07-21 22:12:05 +00003281 clang::Type *clang_type = enum_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003282 if (clang_type)
3283 {
3284 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3285
3286 if (enum_type)
3287 {
3288 llvm::APSInt enum_llvm_apsint(enum_value_bit_size, false);
3289 enum_llvm_apsint = enum_value;
3290 EnumConstantDecl *enumerator_decl =
3291 EnumConstantDecl::Create(*ast_context,
3292 enum_type->getDecl(),
3293 SourceLocation(),
3294 name ? &identifier_table->get(name) : NULL, // Identifier
3295 QualType::getFromOpaquePtr(enumerator_clang_type),
3296 NULL,
3297 enum_llvm_apsint);
3298
3299 if (enumerator_decl)
3300 {
3301 enum_type->getDecl()->addDecl(enumerator_decl);
3302 return true;
3303 }
3304 }
3305 }
3306 }
3307 return false;
3308}
3309
3310#pragma mark Pointers & References
3311
Greg Clayton462d4142010-09-29 01:12:09 +00003312clang_type_t
3313ClangASTContext::CreatePointerType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003314{
3315 if (clang_type)
Greg Clayton7b541032010-07-29 20:06:32 +00003316 {
3317 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3318
Greg Clayton03e0f972010-09-13 03:32:57 +00003319 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3320 switch (type_class)
Greg Clayton7b541032010-07-29 20:06:32 +00003321 {
3322 case clang::Type::ObjCObject:
3323 case clang::Type::ObjCInterface:
Greg Clayton7b541032010-07-29 20:06:32 +00003324 return getASTContext()->getObjCObjectPointerType(qual_type).getAsOpaquePtr();
3325
Greg Clayton7b541032010-07-29 20:06:32 +00003326 default:
3327 return getASTContext()->getPointerType(qual_type).getAsOpaquePtr();
3328 }
3329 }
Chris Lattner24943d22010-06-08 16:52:24 +00003330 return NULL;
3331}
3332
Greg Clayton462d4142010-09-29 01:12:09 +00003333clang_type_t
3334ClangASTContext::CreateLValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003335{
3336 if (clang_type)
3337 return getASTContext()->getLValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3338 return NULL;
3339}
3340
Greg Clayton462d4142010-09-29 01:12:09 +00003341clang_type_t
3342ClangASTContext::CreateRValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003343{
3344 if (clang_type)
3345 return getASTContext()->getRValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3346 return NULL;
3347}
3348
Greg Clayton462d4142010-09-29 01:12:09 +00003349clang_type_t
3350ClangASTContext::CreateMemberPointerType (clang_type_t clang_pointee_type, clang_type_t clang_class_type)
Greg Claytonfa970692010-06-12 01:20:30 +00003351{
3352 if (clang_pointee_type && clang_pointee_type)
3353 return getASTContext()->getMemberPointerType(QualType::getFromOpaquePtr(clang_pointee_type),
3354 QualType::getFromOpaquePtr(clang_class_type).getTypePtr()).getAsOpaquePtr();
3355 return NULL;
3356}
3357
Chris Lattner24943d22010-06-08 16:52:24 +00003358size_t
3359ClangASTContext::GetPointerBitSize ()
3360{
3361 ASTContext *ast_context = getASTContext();
3362 return ast_context->getTypeSize(ast_context->VoidPtrTy);
3363}
3364
3365bool
Greg Clayton462d4142010-09-29 01:12:09 +00003366ClangASTContext::IsPointerOrReferenceType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003367{
3368 if (clang_type == NULL)
3369 return false;
3370
3371 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003372 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3373 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003374 {
Sean Callanan04325062010-10-25 00:29:48 +00003375 case clang::Type::Builtin:
3376 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3377 {
3378 default:
3379 break;
3380 case clang::BuiltinType::ObjCId:
3381 case clang::BuiltinType::ObjCClass:
3382 case clang::BuiltinType::ObjCSel:
3383 return true;
3384 }
3385 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003386 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003387 if (target_type)
3388 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3389 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003390 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003391 if (target_type)
3392 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3393 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003394 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003395 if (target_type)
3396 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3397 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003398 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003399 if (target_type)
3400 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3401 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003402 case clang::Type::LValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003403 if (target_type)
3404 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3405 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003406 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003407 if (target_type)
3408 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3409 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003410 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003411 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
3412 default:
3413 break;
3414 }
3415 return false;
3416}
3417
Chris Lattner24943d22010-06-08 16:52:24 +00003418bool
Greg Clayton462d4142010-09-29 01:12:09 +00003419ClangASTContext::IsIntegerType (clang_type_t clang_type, bool &is_signed)
Chris Lattner24943d22010-06-08 16:52:24 +00003420{
3421 if (!clang_type)
3422 return false;
3423
3424 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3425 const BuiltinType *builtin_type = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal());
3426
3427 if (builtin_type)
3428 {
3429 if (builtin_type->isInteger())
3430 is_signed = builtin_type->isSignedInteger();
3431
3432 return true;
3433 }
3434
3435 return false;
3436}
3437
3438bool
Greg Clayton462d4142010-09-29 01:12:09 +00003439ClangASTContext::IsPointerType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003440{
3441 if (clang_type)
3442 {
3443 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003444 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3445 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003446 {
Sean Callanan04325062010-10-25 00:29:48 +00003447 case clang::Type::Builtin:
3448 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3449 {
3450 default:
3451 break;
3452 case clang::BuiltinType::ObjCId:
3453 case clang::BuiltinType::ObjCClass:
3454 case clang::BuiltinType::ObjCSel:
3455 return true;
3456 }
3457 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003458 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003459 if (target_type)
3460 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3461 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003462 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003463 if (target_type)
3464 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3465 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003466 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003467 if (target_type)
3468 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3469 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003470 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003471 if (target_type)
3472 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3473 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003474 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003475 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), target_type);
3476 default:
3477 break;
3478 }
3479 }
3480 return false;
3481}
3482
3483bool
Greg Clayton462d4142010-09-29 01:12:09 +00003484ClangASTContext::IsFloatingPointType (clang_type_t clang_type, uint32_t &count, bool &is_complex)
Chris Lattner24943d22010-06-08 16:52:24 +00003485{
3486 if (clang_type)
3487 {
3488 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3489
3490 if (const BuiltinType *BT = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal()))
3491 {
3492 clang::BuiltinType::Kind kind = BT->getKind();
3493 if (kind >= BuiltinType::Float && kind <= BuiltinType::LongDouble)
3494 {
3495 count = 1;
3496 is_complex = false;
3497 return true;
3498 }
3499 }
3500 else if (const ComplexType *CT = dyn_cast<ComplexType>(qual_type->getCanonicalTypeInternal()))
3501 {
3502 if (IsFloatingPointType(CT->getElementType().getAsOpaquePtr(), count, is_complex))
3503 {
3504 count = 2;
3505 is_complex = true;
3506 return true;
3507 }
3508 }
3509 else if (const VectorType *VT = dyn_cast<VectorType>(qual_type->getCanonicalTypeInternal()))
3510 {
3511 if (IsFloatingPointType(VT->getElementType().getAsOpaquePtr(), count, is_complex))
3512 {
3513 count = VT->getNumElements();
3514 is_complex = false;
3515 return true;
3516 }
3517 }
3518 }
3519 return false;
3520}
3521
Greg Claytonbf8e42b2010-10-14 22:52:14 +00003522
3523bool
3524ClangASTContext::GetCXXClassName (clang_type_t clang_type, std::string &class_name)
3525{
3526 if (clang_type)
3527 {
3528 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3529
3530 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3531 if (cxx_record_decl)
3532 {
3533 class_name.assign (cxx_record_decl->getIdentifier()->getNameStart());
3534 return true;
3535 }
3536 }
3537 class_name.clear();
3538 return false;
3539}
3540
3541
Greg Clayton1d8173f2010-09-24 05:15:53 +00003542bool
Greg Clayton462d4142010-09-29 01:12:09 +00003543ClangASTContext::IsCXXClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003544{
3545 if (clang_type)
3546 {
3547 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3548 if (qual_type->getAsCXXRecordDecl() != NULL)
3549 return true;
3550 }
3551 return false;
3552}
3553
3554bool
Greg Clayton462d4142010-09-29 01:12:09 +00003555ClangASTContext::IsObjCClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003556{
3557 if (clang_type)
3558 {
3559 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3560 if (qual_type->isObjCObjectOrInterfaceType())
3561 return true;
3562 }
3563 return false;
3564}
3565
3566
3567
Chris Lattner24943d22010-06-08 16:52:24 +00003568
3569bool
Greg Clayton462d4142010-09-29 01:12:09 +00003570ClangASTContext::IsCStringType (clang_type_t clang_type, uint32_t &length)
Chris Lattner24943d22010-06-08 16:52:24 +00003571{
3572 if (clang_type)
3573 {
3574 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003575 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3576 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003577 {
Greg Clayton1674b122010-07-21 22:12:05 +00003578 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003579 {
3580 ConstantArrayType *array = cast<ConstantArrayType>(qual_type.getTypePtr());
3581 QualType element_qual_type = array->getElementType();
Greg Clayton1674b122010-07-21 22:12:05 +00003582 clang::Type *canonical_type = element_qual_type->getCanonicalTypeInternal().getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003583 if (canonical_type && canonical_type->isCharType())
3584 {
3585 // We know the size of the array and it could be a C string
3586 // since it is an array of characters
3587 length = array->getSize().getLimitedValue();
3588 return true;
3589 }
3590 }
3591 break;
3592
Greg Clayton1674b122010-07-21 22:12:05 +00003593 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003594 {
3595 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
Greg Clayton1674b122010-07-21 22:12:05 +00003596 clang::Type *pointee_type_ptr = pointer_type->getPointeeType().getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003597 if (pointee_type_ptr)
3598 {
Greg Clayton1674b122010-07-21 22:12:05 +00003599 clang::Type *canonical_type_ptr = pointee_type_ptr->getCanonicalTypeInternal().getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003600 length = 0; // No length info, read until a NULL terminator is received
3601 if (canonical_type_ptr)
3602 return canonical_type_ptr->isCharType();
3603 else
3604 return pointee_type_ptr->isCharType();
3605 }
3606 }
3607 break;
3608
Greg Clayton1674b122010-07-21 22:12:05 +00003609 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003610 return ClangASTContext::IsCStringType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), length);
3611
Greg Clayton1674b122010-07-21 22:12:05 +00003612 case clang::Type::LValueReference:
3613 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003614 {
3615 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
Greg Clayton1674b122010-07-21 22:12:05 +00003616 clang::Type *pointee_type_ptr = reference_type->getPointeeType().getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003617 if (pointee_type_ptr)
3618 {
Greg Clayton1674b122010-07-21 22:12:05 +00003619 clang::Type *canonical_type_ptr = pointee_type_ptr->getCanonicalTypeInternal().getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003620 length = 0; // No length info, read until a NULL terminator is received
3621 if (canonical_type_ptr)
3622 return canonical_type_ptr->isCharType();
3623 else
3624 return pointee_type_ptr->isCharType();
3625 }
3626 }
3627 break;
3628 }
3629 }
3630 return false;
3631}
3632
3633bool
Greg Clayton462d4142010-09-29 01:12:09 +00003634ClangASTContext::IsFunctionPointerType (clang_type_t clang_type)
Greg Clayton03e0f972010-09-13 03:32:57 +00003635{
3636 if (clang_type)
3637 {
3638 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3639
3640 if (qual_type->isFunctionPointerType())
3641 return true;
3642
3643 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3644 switch (type_class)
3645 {
3646 case clang::Type::Typedef:
3647 return ClangASTContext::IsFunctionPointerType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
3648
3649 case clang::Type::LValueReference:
3650 case clang::Type::RValueReference:
3651 {
3652 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
3653 if (reference_type)
3654 return ClangASTContext::IsFunctionPointerType (reference_type->getPointeeType().getAsOpaquePtr());
3655 }
3656 break;
3657 }
3658 }
3659 return false;
3660}
3661
3662
3663
3664
3665bool
Greg Clayton462d4142010-09-29 01:12:09 +00003666ClangASTContext::IsArrayType (clang_type_t clang_type, clang_type_t*member_type, uint64_t *size)
Chris Lattner24943d22010-06-08 16:52:24 +00003667{
3668 if (!clang_type)
3669 return false;
3670
3671 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3672
Greg Clayton03e0f972010-09-13 03:32:57 +00003673 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3674 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003675 {
Greg Clayton1674b122010-07-21 22:12:05 +00003676 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003677 if (member_type)
3678 *member_type = cast<ConstantArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3679 if (size)
3680 *size = cast<ConstantArrayType>(qual_type)->getSize().getLimitedValue(ULONG_LONG_MAX);
3681 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003682 case clang::Type::IncompleteArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003683 if (member_type)
3684 *member_type = cast<IncompleteArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3685 if (size)
3686 *size = 0;
3687 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003688 case clang::Type::VariableArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003689 if (member_type)
3690 *member_type = cast<VariableArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3691 if (size)
3692 *size = 0;
Greg Clayton1674b122010-07-21 22:12:05 +00003693 case clang::Type::DependentSizedArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003694 if (member_type)
3695 *member_type = cast<DependentSizedArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3696 if (size)
3697 *size = 0;
3698 return true;
3699 }
3700 return false;
3701}
3702
3703
3704#pragma mark Typedefs
3705
Greg Clayton462d4142010-09-29 01:12:09 +00003706clang_type_t
3707ClangASTContext::CreateTypedefType (const char *name, clang_type_t clang_type, DeclContext *decl_ctx)
Chris Lattner24943d22010-06-08 16:52:24 +00003708{
3709 if (clang_type)
3710 {
3711 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3712 ASTContext *ast_context = getASTContext();
3713 IdentifierTable *identifier_table = getIdentifierTable();
3714 assert (ast_context != NULL);
3715 assert (identifier_table != NULL);
3716 if (decl_ctx == NULL)
3717 decl_ctx = ast_context->getTranslationUnitDecl();
3718 TypedefDecl *decl = TypedefDecl::Create(*ast_context,
3719 decl_ctx,
3720 SourceLocation(),
3721 name ? &identifier_table->get(name) : NULL, // Identifier
3722 ast_context->CreateTypeSourceInfo(qual_type));
3723
3724 // Get a uniqued QualType for the typedef decl type
3725 return ast_context->getTypedefType (decl).getAsOpaquePtr();
3726 }
3727 return NULL;
3728}
3729
3730
3731std::string
Greg Clayton462d4142010-09-29 01:12:09 +00003732ClangASTContext::GetTypeName (clang_type_t opaque_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003733{
3734 std::string return_name;
3735
Greg Clayton462d4142010-09-29 01:12:09 +00003736 QualType qual_type(QualType::getFromOpaquePtr(opaque_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003737
Greg Clayton462d4142010-09-29 01:12:09 +00003738 const TypedefType *typedef_type = qual_type->getAs<TypedefType>();
Chris Lattner24943d22010-06-08 16:52:24 +00003739 if (typedef_type)
3740 {
Greg Clayton462d4142010-09-29 01:12:09 +00003741 const TypedefDecl *typedef_decl = typedef_type->getDecl();
Chris Lattner24943d22010-06-08 16:52:24 +00003742 return_name = typedef_decl->getQualifiedNameAsString();
3743 }
3744 else
3745 {
3746 return_name = qual_type.getAsString();
3747 }
3748
3749 return return_name;
3750}
3751
3752// Disable this for now since I can't seem to get a nicely formatted float
3753// out of the APFloat class without just getting the float, double or quad
3754// and then using a formatted print on it which defeats the purpose. We ideally
3755// would like to get perfect string values for any kind of float semantics
3756// so we can support remote targets. The code below also requires a patch to
3757// llvm::APInt.
3758//bool
Greg Clayton462d4142010-09-29 01:12:09 +00003759//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 +00003760//{
3761// uint32_t count = 0;
3762// bool is_complex = false;
3763// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3764// {
3765// unsigned num_bytes_per_float = byte_size / count;
3766// unsigned num_bits_per_float = num_bytes_per_float * 8;
3767//
3768// float_str.clear();
3769// uint32_t i;
3770// for (i=0; i<count; i++)
3771// {
3772// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
3773// bool is_ieee = false;
3774// APFloat ap_float(ap_int, is_ieee);
3775// char s[1024];
3776// unsigned int hex_digits = 0;
3777// bool upper_case = false;
3778//
3779// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
3780// {
3781// if (i > 0)
3782// float_str.append(", ");
3783// float_str.append(s);
3784// if (i == 1 && is_complex)
3785// float_str.append(1, 'i');
3786// }
3787// }
3788// return !float_str.empty();
3789// }
3790// return false;
3791//}
3792
3793size_t
Greg Clayton462d4142010-09-29 01:12:09 +00003794ClangASTContext::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 +00003795{
3796 if (clang_type)
3797 {
3798 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3799 uint32_t count = 0;
3800 bool is_complex = false;
3801 if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3802 {
3803 // TODO: handle complex and vector types
3804 if (count != 1)
3805 return false;
3806
3807 StringRef s_sref(s);
3808 APFloat ap_float(ast_context->getFloatTypeSemantics(qual_type), s_sref);
3809
3810 const uint64_t bit_size = ast_context->getTypeSize (qual_type);
3811 const uint64_t byte_size = bit_size / 8;
3812 if (dst_size >= byte_size)
3813 {
3814 if (bit_size == sizeof(float)*8)
3815 {
3816 float float32 = ap_float.convertToFloat();
3817 ::memcpy (dst, &float32, byte_size);
3818 return byte_size;
3819 }
3820 else if (bit_size >= 64)
3821 {
3822 llvm::APInt ap_int(ap_float.bitcastToAPInt());
3823 ::memcpy (dst, ap_int.getRawData(), byte_size);
3824 return byte_size;
3825 }
3826 }
3827 }
3828 }
3829 return 0;
3830}
Sean Callanana751f7b2010-09-17 02:24:29 +00003831
3832unsigned
Greg Clayton462d4142010-09-29 01:12:09 +00003833ClangASTContext::GetTypeQualifiers(clang_type_t clang_type)
Sean Callanana751f7b2010-09-17 02:24:29 +00003834{
3835 assert (clang_type);
3836
3837 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3838
3839 return qual_type.getQualifiers().getCVRQualifiers();
3840}