xref: /freebsd-src/contrib/llvm-project/lldb/source/Plugins/ExpressionParser/Clang/ASTStructExtractor.cpp (revision fe6060f10f634930ff71b7c50291ddc610da2475)
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