15ffd83dbSDimitry Andric //===-- ASTStructExtractor.cpp --------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric
90b57cec5SDimitry Andric #include "ASTStructExtractor.h"
100b57cec5SDimitry Andric
110b57cec5SDimitry Andric #include "lldb/Utility/Log.h"
120b57cec5SDimitry Andric #include "clang/AST/ASTContext.h"
130b57cec5SDimitry Andric #include "clang/AST/Decl.h"
140b57cec5SDimitry Andric #include "clang/AST/DeclCXX.h"
150b57cec5SDimitry Andric #include "clang/AST/DeclGroup.h"
160b57cec5SDimitry Andric #include "clang/AST/Expr.h"
170b57cec5SDimitry Andric #include "clang/AST/RecordLayout.h"
180b57cec5SDimitry Andric #include "clang/AST/Stmt.h"
190b57cec5SDimitry Andric #include "clang/Parse/Parser.h"
200b57cec5SDimitry Andric #include "clang/Sema/Sema.h"
210b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
220b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
23*fe6060f1SDimitry Andric #include <cstdlib>
240b57cec5SDimitry Andric
250b57cec5SDimitry Andric using namespace llvm;
260b57cec5SDimitry Andric using namespace clang;
270b57cec5SDimitry Andric using namespace lldb_private;
280b57cec5SDimitry Andric
ASTStructExtractor(ASTConsumer * passthrough,const char * struct_name,ClangFunctionCaller & function)290b57cec5SDimitry Andric ASTStructExtractor::ASTStructExtractor(ASTConsumer *passthrough,
300b57cec5SDimitry Andric const char *struct_name,
310b57cec5SDimitry Andric ClangFunctionCaller &function)
320b57cec5SDimitry Andric : m_ast_context(nullptr), m_passthrough(passthrough),
33480093f4SDimitry Andric m_passthrough_sema(nullptr), m_sema(nullptr), m_function(function),
34480093f4SDimitry Andric m_struct_name(struct_name) {
350b57cec5SDimitry Andric if (!m_passthrough)
360b57cec5SDimitry Andric return;
370b57cec5SDimitry Andric
380b57cec5SDimitry Andric m_passthrough_sema = dyn_cast<SemaConsumer>(passthrough);
390b57cec5SDimitry Andric }
400b57cec5SDimitry Andric
41*fe6060f1SDimitry Andric ASTStructExtractor::~ASTStructExtractor() = default;
420b57cec5SDimitry Andric
Initialize(ASTContext & Context)430b57cec5SDimitry Andric void ASTStructExtractor::Initialize(ASTContext &Context) {
440b57cec5SDimitry Andric m_ast_context = &Context;
450b57cec5SDimitry Andric
460b57cec5SDimitry Andric if (m_passthrough)
470b57cec5SDimitry Andric m_passthrough->Initialize(Context);
480b57cec5SDimitry Andric }
490b57cec5SDimitry Andric
ExtractFromFunctionDecl(FunctionDecl * F)500b57cec5SDimitry Andric void ASTStructExtractor::ExtractFromFunctionDecl(FunctionDecl *F) {
510b57cec5SDimitry Andric if (!F->hasBody())
520b57cec5SDimitry Andric return;
530b57cec5SDimitry Andric
540b57cec5SDimitry Andric Stmt *body_stmt = F->getBody();
550b57cec5SDimitry Andric CompoundStmt *body_compound_stmt = dyn_cast<CompoundStmt>(body_stmt);
560b57cec5SDimitry Andric
570b57cec5SDimitry Andric if (!body_compound_stmt)
580b57cec5SDimitry Andric return; // do we have to handle this?
590b57cec5SDimitry Andric
600b57cec5SDimitry Andric RecordDecl *struct_decl = nullptr;
610b57cec5SDimitry Andric
620b57cec5SDimitry Andric StringRef desired_name(m_struct_name);
630b57cec5SDimitry Andric
640b57cec5SDimitry Andric for (CompoundStmt::const_body_iterator bi = body_compound_stmt->body_begin(),
650b57cec5SDimitry Andric be = body_compound_stmt->body_end();
660b57cec5SDimitry Andric bi != be; ++bi) {
670b57cec5SDimitry Andric Stmt *curr_stmt = *bi;
680b57cec5SDimitry Andric DeclStmt *curr_decl_stmt = dyn_cast<DeclStmt>(curr_stmt);
690b57cec5SDimitry Andric if (!curr_decl_stmt)
700b57cec5SDimitry Andric continue;
710b57cec5SDimitry Andric DeclGroupRef decl_group = curr_decl_stmt->getDeclGroup();
720b57cec5SDimitry Andric for (Decl *candidate_decl : decl_group) {
730b57cec5SDimitry Andric RecordDecl *candidate_record_decl = dyn_cast<RecordDecl>(candidate_decl);
740b57cec5SDimitry Andric if (!candidate_record_decl)
750b57cec5SDimitry Andric continue;
760b57cec5SDimitry Andric if (candidate_record_decl->getName() == desired_name) {
770b57cec5SDimitry Andric struct_decl = candidate_record_decl;
780b57cec5SDimitry Andric break;
790b57cec5SDimitry Andric }
800b57cec5SDimitry Andric }
810b57cec5SDimitry Andric if (struct_decl)
820b57cec5SDimitry Andric break;
830b57cec5SDimitry Andric }
840b57cec5SDimitry Andric
850b57cec5SDimitry Andric if (!struct_decl)
860b57cec5SDimitry Andric return;
870b57cec5SDimitry Andric
880b57cec5SDimitry Andric const ASTRecordLayout *struct_layout(
890b57cec5SDimitry Andric &m_ast_context->getASTRecordLayout(struct_decl));
900b57cec5SDimitry Andric
910b57cec5SDimitry Andric if (!struct_layout)
920b57cec5SDimitry Andric return;
930b57cec5SDimitry Andric
940b57cec5SDimitry Andric m_function.m_struct_size =
950b57cec5SDimitry Andric struct_layout->getSize()
960b57cec5SDimitry Andric .getQuantity(); // TODO Store m_struct_size as CharUnits
970b57cec5SDimitry Andric m_function.m_return_offset =
980b57cec5SDimitry Andric struct_layout->getFieldOffset(struct_layout->getFieldCount() - 1) / 8;
990b57cec5SDimitry Andric m_function.m_return_size =
1000b57cec5SDimitry Andric struct_layout->getDataSize().getQuantity() - m_function.m_return_offset;
1010b57cec5SDimitry Andric
1020b57cec5SDimitry Andric for (unsigned field_index = 0, num_fields = struct_layout->getFieldCount();
1030b57cec5SDimitry Andric field_index < num_fields; ++field_index) {
1040b57cec5SDimitry Andric m_function.m_member_offsets.push_back(
1050b57cec5SDimitry Andric struct_layout->getFieldOffset(field_index) / 8);
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric
1080b57cec5SDimitry Andric m_function.m_struct_valid = true;
1090b57cec5SDimitry Andric }
1100b57cec5SDimitry Andric
ExtractFromTopLevelDecl(Decl * D)1110b57cec5SDimitry Andric void ASTStructExtractor::ExtractFromTopLevelDecl(Decl *D) {
1120b57cec5SDimitry Andric LinkageSpecDecl *linkage_spec_decl = dyn_cast<LinkageSpecDecl>(D);
1130b57cec5SDimitry Andric
1140b57cec5SDimitry Andric if (linkage_spec_decl) {
1150b57cec5SDimitry Andric RecordDecl::decl_iterator decl_iterator;
1160b57cec5SDimitry Andric
1170b57cec5SDimitry Andric for (decl_iterator = linkage_spec_decl->decls_begin();
1180b57cec5SDimitry Andric decl_iterator != linkage_spec_decl->decls_end(); ++decl_iterator) {
1190b57cec5SDimitry Andric ExtractFromTopLevelDecl(*decl_iterator);
1200b57cec5SDimitry Andric }
1210b57cec5SDimitry Andric }
1220b57cec5SDimitry Andric
1230b57cec5SDimitry Andric FunctionDecl *function_decl = dyn_cast<FunctionDecl>(D);
1240b57cec5SDimitry Andric
1250b57cec5SDimitry Andric if (m_ast_context && function_decl &&
1260b57cec5SDimitry Andric !m_function.m_wrapper_function_name.compare(
1270b57cec5SDimitry Andric function_decl->getNameAsString())) {
1280b57cec5SDimitry Andric ExtractFromFunctionDecl(function_decl);
1290b57cec5SDimitry Andric }
1300b57cec5SDimitry Andric }
1310b57cec5SDimitry Andric
HandleTopLevelDecl(DeclGroupRef D)1320b57cec5SDimitry Andric bool ASTStructExtractor::HandleTopLevelDecl(DeclGroupRef D) {
1330b57cec5SDimitry Andric DeclGroupRef::iterator decl_iterator;
1340b57cec5SDimitry Andric
1350b57cec5SDimitry Andric for (decl_iterator = D.begin(); decl_iterator != D.end(); ++decl_iterator) {
1360b57cec5SDimitry Andric Decl *decl = *decl_iterator;
1370b57cec5SDimitry Andric
1380b57cec5SDimitry Andric ExtractFromTopLevelDecl(decl);
1390b57cec5SDimitry Andric }
1400b57cec5SDimitry Andric
1410b57cec5SDimitry Andric if (m_passthrough)
1420b57cec5SDimitry Andric return m_passthrough->HandleTopLevelDecl(D);
1430b57cec5SDimitry Andric return true;
1440b57cec5SDimitry Andric }
1450b57cec5SDimitry Andric
HandleTranslationUnit(ASTContext & Ctx)1460b57cec5SDimitry Andric void ASTStructExtractor::HandleTranslationUnit(ASTContext &Ctx) {
1470b57cec5SDimitry Andric if (m_passthrough)
1480b57cec5SDimitry Andric m_passthrough->HandleTranslationUnit(Ctx);
1490b57cec5SDimitry Andric }
1500b57cec5SDimitry Andric
HandleTagDeclDefinition(TagDecl * D)1510b57cec5SDimitry Andric void ASTStructExtractor::HandleTagDeclDefinition(TagDecl *D) {
1520b57cec5SDimitry Andric if (m_passthrough)
1530b57cec5SDimitry Andric m_passthrough->HandleTagDeclDefinition(D);
1540b57cec5SDimitry Andric }
1550b57cec5SDimitry Andric
CompleteTentativeDefinition(VarDecl * D)1560b57cec5SDimitry Andric void ASTStructExtractor::CompleteTentativeDefinition(VarDecl *D) {
1570b57cec5SDimitry Andric if (m_passthrough)
1580b57cec5SDimitry Andric m_passthrough->CompleteTentativeDefinition(D);
1590b57cec5SDimitry Andric }
1600b57cec5SDimitry Andric
HandleVTable(CXXRecordDecl * RD)1610b57cec5SDimitry Andric void ASTStructExtractor::HandleVTable(CXXRecordDecl *RD) {
1620b57cec5SDimitry Andric if (m_passthrough)
1630b57cec5SDimitry Andric m_passthrough->HandleVTable(RD);
1640b57cec5SDimitry Andric }
1650b57cec5SDimitry Andric
PrintStats()1660b57cec5SDimitry Andric void ASTStructExtractor::PrintStats() {
1670b57cec5SDimitry Andric if (m_passthrough)
1680b57cec5SDimitry Andric m_passthrough->PrintStats();
1690b57cec5SDimitry Andric }
1700b57cec5SDimitry Andric
InitializeSema(Sema & S)1710b57cec5SDimitry Andric void ASTStructExtractor::InitializeSema(Sema &S) {
1720b57cec5SDimitry Andric m_sema = &S;
1730b57cec5SDimitry Andric
1740b57cec5SDimitry Andric if (m_passthrough_sema)
1750b57cec5SDimitry Andric m_passthrough_sema->InitializeSema(S);
1760b57cec5SDimitry Andric }
1770b57cec5SDimitry Andric
ForgetSema()1780b57cec5SDimitry Andric void ASTStructExtractor::ForgetSema() {
1790b57cec5SDimitry Andric m_sema = nullptr;
1800b57cec5SDimitry Andric
1810b57cec5SDimitry Andric if (m_passthrough_sema)
1820b57cec5SDimitry Andric m_passthrough_sema->ForgetSema();
1830b57cec5SDimitry Andric }
184