1*0b57cec5SDimitry Andric //===-- ASTStructExtractor.cpp --------------------------------------------===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric
9*0b57cec5SDimitry Andric #include "ASTStructExtractor.h"
10*0b57cec5SDimitry Andric
11*0b57cec5SDimitry Andric #include "lldb/Utility/Log.h"
12*0b57cec5SDimitry Andric #include "clang/AST/ASTContext.h"
13*0b57cec5SDimitry Andric #include "clang/AST/Decl.h"
14*0b57cec5SDimitry Andric #include "clang/AST/DeclCXX.h"
15*0b57cec5SDimitry Andric #include "clang/AST/DeclGroup.h"
16*0b57cec5SDimitry Andric #include "clang/AST/Expr.h"
17*0b57cec5SDimitry Andric #include "clang/AST/RecordLayout.h"
18*0b57cec5SDimitry Andric #include "clang/AST/Stmt.h"
19*0b57cec5SDimitry Andric #include "clang/Parse/Parser.h"
20*0b57cec5SDimitry Andric #include "clang/Sema/Sema.h"
21*0b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
22*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
23*0b57cec5SDimitry Andric #include <cstdlib>
24*0b57cec5SDimitry Andric
25*0b57cec5SDimitry Andric using namespace llvm;
26*0b57cec5SDimitry Andric using namespace clang;
27*0b57cec5SDimitry Andric using namespace lldb_private;
28*0b57cec5SDimitry Andric
ASTStructExtractor(ASTConsumer * passthrough,const char * struct_name,ClangFunctionCaller & function)29*0b57cec5SDimitry Andric ASTStructExtractor::ASTStructExtractor(ASTConsumer *passthrough,
30*0b57cec5SDimitry Andric const char *struct_name,
31*0b57cec5SDimitry Andric ClangFunctionCaller &function)
32*0b57cec5SDimitry Andric : m_ast_context(nullptr), m_passthrough(passthrough),
33*0b57cec5SDimitry Andric m_passthrough_sema(nullptr), m_sema(nullptr), m_function(function),
34*0b57cec5SDimitry Andric m_struct_name(struct_name) {
35*0b57cec5SDimitry Andric if (!m_passthrough)
36*0b57cec5SDimitry Andric return;
37*0b57cec5SDimitry Andric
38*0b57cec5SDimitry Andric m_passthrough_sema = dyn_cast<SemaConsumer>(passthrough);
39*0b57cec5SDimitry Andric }
40*0b57cec5SDimitry Andric
41*0b57cec5SDimitry Andric ASTStructExtractor::~ASTStructExtractor() = default;
42*0b57cec5SDimitry Andric
Initialize(ASTContext & Context)43*0b57cec5SDimitry Andric void ASTStructExtractor::Initialize(ASTContext &Context) {
44*0b57cec5SDimitry Andric m_ast_context = &Context;
45*0b57cec5SDimitry Andric
46*0b57cec5SDimitry Andric if (m_passthrough)
47*0b57cec5SDimitry Andric m_passthrough->Initialize(Context);
48*0b57cec5SDimitry Andric }
49*0b57cec5SDimitry Andric
ExtractFromFunctionDecl(FunctionDecl * F)50*0b57cec5SDimitry Andric void ASTStructExtractor::ExtractFromFunctionDecl(FunctionDecl *F) {
51*0b57cec5SDimitry Andric if (!F->hasBody())
52*0b57cec5SDimitry Andric return;
53*0b57cec5SDimitry Andric
54*0b57cec5SDimitry Andric Stmt *body_stmt = F->getBody();
55*0b57cec5SDimitry Andric CompoundStmt *body_compound_stmt = dyn_cast<CompoundStmt>(body_stmt);
56*0b57cec5SDimitry Andric
57*0b57cec5SDimitry Andric if (!body_compound_stmt)
58*0b57cec5SDimitry Andric return; // do we have to handle this?
59*0b57cec5SDimitry Andric
60*0b57cec5SDimitry Andric RecordDecl *struct_decl = nullptr;
61*0b57cec5SDimitry Andric
62*0b57cec5SDimitry Andric StringRef desired_name(m_struct_name);
63*0b57cec5SDimitry Andric
64*0b57cec5SDimitry Andric for (CompoundStmt::const_body_iterator bi = body_compound_stmt->body_begin(),
65*0b57cec5SDimitry Andric be = body_compound_stmt->body_end();
66*0b57cec5SDimitry Andric bi != be; ++bi) {
67*0b57cec5SDimitry Andric Stmt *curr_stmt = *bi;
68*0b57cec5SDimitry Andric DeclStmt *curr_decl_stmt = dyn_cast<DeclStmt>(curr_stmt);
69*0b57cec5SDimitry Andric if (!curr_decl_stmt)
70*0b57cec5SDimitry Andric continue;
71*0b57cec5SDimitry Andric DeclGroupRef decl_group = curr_decl_stmt->getDeclGroup();
72*0b57cec5SDimitry Andric for (Decl *candidate_decl : decl_group) {
73*0b57cec5SDimitry Andric RecordDecl *candidate_record_decl = dyn_cast<RecordDecl>(candidate_decl);
74*0b57cec5SDimitry Andric if (!candidate_record_decl)
75*0b57cec5SDimitry Andric continue;
76*0b57cec5SDimitry Andric if (candidate_record_decl->getName() == desired_name) {
77*0b57cec5SDimitry Andric struct_decl = candidate_record_decl;
78*0b57cec5SDimitry Andric break;
79*0b57cec5SDimitry Andric }
80*0b57cec5SDimitry Andric }
81*0b57cec5SDimitry Andric if (struct_decl)
82*0b57cec5SDimitry Andric break;
83*0b57cec5SDimitry Andric }
84*0b57cec5SDimitry Andric
85*0b57cec5SDimitry Andric if (!struct_decl)
86*0b57cec5SDimitry Andric return;
87*0b57cec5SDimitry Andric
88*0b57cec5SDimitry Andric const ASTRecordLayout *struct_layout(
89*0b57cec5SDimitry Andric &m_ast_context->getASTRecordLayout(struct_decl));
90*0b57cec5SDimitry Andric
91*0b57cec5SDimitry Andric if (!struct_layout)
92*0b57cec5SDimitry Andric return;
93*0b57cec5SDimitry Andric
94*0b57cec5SDimitry Andric m_function.m_struct_size =
95*0b57cec5SDimitry Andric struct_layout->getSize()
96*0b57cec5SDimitry Andric .getQuantity(); // TODO Store m_struct_size as CharUnits
97*0b57cec5SDimitry Andric m_function.m_return_offset =
98*0b57cec5SDimitry Andric struct_layout->getFieldOffset(struct_layout->getFieldCount() - 1) / 8;
99*0b57cec5SDimitry Andric m_function.m_return_size =
100*0b57cec5SDimitry Andric struct_layout->getDataSize().getQuantity() - m_function.m_return_offset;
101*0b57cec5SDimitry Andric
102*0b57cec5SDimitry Andric for (unsigned field_index = 0, num_fields = struct_layout->getFieldCount();
103*0b57cec5SDimitry Andric field_index < num_fields; ++field_index) {
104*0b57cec5SDimitry Andric m_function.m_member_offsets.push_back(
105*0b57cec5SDimitry Andric struct_layout->getFieldOffset(field_index) / 8);
106*0b57cec5SDimitry Andric }
107*0b57cec5SDimitry Andric
108*0b57cec5SDimitry Andric m_function.m_struct_valid = true;
109*0b57cec5SDimitry Andric }
110*0b57cec5SDimitry Andric
ExtractFromTopLevelDecl(Decl * D)111*0b57cec5SDimitry Andric void ASTStructExtractor::ExtractFromTopLevelDecl(Decl *D) {
112*0b57cec5SDimitry Andric LinkageSpecDecl *linkage_spec_decl = dyn_cast<LinkageSpecDecl>(D);
113*0b57cec5SDimitry Andric
114*0b57cec5SDimitry Andric if (linkage_spec_decl) {
115*0b57cec5SDimitry Andric RecordDecl::decl_iterator decl_iterator;
116*0b57cec5SDimitry Andric
117*0b57cec5SDimitry Andric for (decl_iterator = linkage_spec_decl->decls_begin();
118*0b57cec5SDimitry Andric decl_iterator != linkage_spec_decl->decls_end(); ++decl_iterator) {
119*0b57cec5SDimitry Andric ExtractFromTopLevelDecl(*decl_iterator);
120*0b57cec5SDimitry Andric }
121*0b57cec5SDimitry Andric }
122*0b57cec5SDimitry Andric
123*0b57cec5SDimitry Andric FunctionDecl *function_decl = dyn_cast<FunctionDecl>(D);
124*0b57cec5SDimitry Andric
125*0b57cec5SDimitry Andric if (m_ast_context && function_decl &&
126*0b57cec5SDimitry Andric !m_function.m_wrapper_function_name.compare(
127*0b57cec5SDimitry Andric function_decl->getNameAsString())) {
128*0b57cec5SDimitry Andric ExtractFromFunctionDecl(function_decl);
129*0b57cec5SDimitry Andric }
130*0b57cec5SDimitry Andric }
131*0b57cec5SDimitry Andric
HandleTopLevelDecl(DeclGroupRef D)132*0b57cec5SDimitry Andric bool ASTStructExtractor::HandleTopLevelDecl(DeclGroupRef D) {
133*0b57cec5SDimitry Andric DeclGroupRef::iterator decl_iterator;
134*0b57cec5SDimitry Andric
135*0b57cec5SDimitry Andric for (decl_iterator = D.begin(); decl_iterator != D.end(); ++decl_iterator) {
136*0b57cec5SDimitry Andric Decl *decl = *decl_iterator;
137*0b57cec5SDimitry Andric
138*0b57cec5SDimitry Andric ExtractFromTopLevelDecl(decl);
139*0b57cec5SDimitry Andric }
140*0b57cec5SDimitry Andric
141*0b57cec5SDimitry Andric if (m_passthrough)
142*0b57cec5SDimitry Andric return m_passthrough->HandleTopLevelDecl(D);
143*0b57cec5SDimitry Andric return true;
144*0b57cec5SDimitry Andric }
145*0b57cec5SDimitry Andric
HandleTranslationUnit(ASTContext & Ctx)146*0b57cec5SDimitry Andric void ASTStructExtractor::HandleTranslationUnit(ASTContext &Ctx) {
147*0b57cec5SDimitry Andric if (m_passthrough)
148*0b57cec5SDimitry Andric m_passthrough->HandleTranslationUnit(Ctx);
149*0b57cec5SDimitry Andric }
150*0b57cec5SDimitry Andric
HandleTagDeclDefinition(TagDecl * D)151*0b57cec5SDimitry Andric void ASTStructExtractor::HandleTagDeclDefinition(TagDecl *D) {
152*0b57cec5SDimitry Andric if (m_passthrough)
153*0b57cec5SDimitry Andric m_passthrough->HandleTagDeclDefinition(D);
154*0b57cec5SDimitry Andric }
155*0b57cec5SDimitry Andric
CompleteTentativeDefinition(VarDecl * D)156*0b57cec5SDimitry Andric void ASTStructExtractor::CompleteTentativeDefinition(VarDecl *D) {
157*0b57cec5SDimitry Andric if (m_passthrough)
158*0b57cec5SDimitry Andric m_passthrough->CompleteTentativeDefinition(D);
159*0b57cec5SDimitry Andric }
160*0b57cec5SDimitry Andric
HandleVTable(CXXRecordDecl * RD)161*0b57cec5SDimitry Andric void ASTStructExtractor::HandleVTable(CXXRecordDecl *RD) {
162*0b57cec5SDimitry Andric if (m_passthrough)
163*0b57cec5SDimitry Andric m_passthrough->HandleVTable(RD);
164*0b57cec5SDimitry Andric }
165*0b57cec5SDimitry Andric
PrintStats()166*0b57cec5SDimitry Andric void ASTStructExtractor::PrintStats() {
167*0b57cec5SDimitry Andric if (m_passthrough)
168*0b57cec5SDimitry Andric m_passthrough->PrintStats();
169*0b57cec5SDimitry Andric }
170*0b57cec5SDimitry Andric
InitializeSema(Sema & S)171*0b57cec5SDimitry Andric void ASTStructExtractor::InitializeSema(Sema &S) {
172*0b57cec5SDimitry Andric m_sema = &S;
173*0b57cec5SDimitry Andric
174*0b57cec5SDimitry Andric if (m_passthrough_sema)
175*0b57cec5SDimitry Andric m_passthrough_sema->InitializeSema(S);
176*0b57cec5SDimitry Andric }
177*0b57cec5SDimitry Andric
ForgetSema()178*0b57cec5SDimitry Andric void ASTStructExtractor::ForgetSema() {
179*0b57cec5SDimitry Andric m_sema = nullptr;
180*0b57cec5SDimitry Andric
181*0b57cec5SDimitry Andric if (m_passthrough_sema)
182*0b57cec5SDimitry Andric m_passthrough_sema->ForgetSema();
183*0b57cec5SDimitry Andric }
184*0b57cec5SDimitry Andric