Skip to content

Commit

Permalink
[Symbol] Add DeclVendor::FindTypes
Browse files Browse the repository at this point in the history
Summary:
Following up on the plan I outlined in D63622, we can remove the
dependence on clang in all the places where we only want to find the
types from the DeclVendor. This means that currently DeclVendor depends
on clang, but centralizing the dependency makes it easier to refactor
cleanly.

Differential Revision: https://reviews.llvm.org/D63853

llvm-svn: 364962
  • Loading branch information
bulbazord committed Jul 2, 2019
1 parent 9931604 commit 8055cbc
Show file tree
Hide file tree
Showing 7 changed files with 73 additions and 64 deletions.
13 changes: 13 additions & 0 deletions lldb/include/lldb/Symbol/DeclVendor.h
Expand Up @@ -47,6 +47,19 @@ class DeclVendor {
uint32_t max_matches,
std::vector<clang::NamedDecl *> &decls) = 0;

/// Look up the types that the DeclVendor currently knows about matching a
/// given name.
///
/// \param[in] name
/// The name to look for.
///
/// \param[in] max_matches
// The maximum number of matches. UINT32_MAX means "as many as possible".
///
/// \return
/// The vector of CompilerTypes that was found.
std::vector<CompilerType> FindTypes(ConstString name, uint32_t max_matches);

/// Interface for ExternalASTMerger. Returns an ImporterSource
/// allowing type completion.
///
Expand Down
26 changes: 7 additions & 19 deletions lldb/source/API/SBTarget.cpp
Expand Up @@ -1847,18 +1847,12 @@ lldb::SBType SBTarget::FindFirstType(const char *typename_cstr) {
}

// Didn't find the type in the symbols; Try the loaded language runtimes
// FIXME: This depends on clang, but should be able to support any
// TypeSystem/compiler.
if (auto process_sp = target_sp->GetProcessSP()) {
for (auto *runtime : process_sp->GetLanguageRuntimes()) {
if (auto vendor = runtime->GetDeclVendor()) {
std::vector<clang::NamedDecl *> decls;
if (vendor->FindDecls(const_typename, /*append*/ true,
/*max_matches*/ 1, decls) > 0) {
if (CompilerType type =
ClangASTContext::GetTypeForDecl(decls.front()))
return LLDB_RECORD_RESULT(SBType(type));
}
auto types = vendor->FindTypes(const_typename, /*max_matches*/ 1);
if (!types.empty())
return LLDB_RECORD_RESULT(SBType(types.front()));
}
}
}
Expand Down Expand Up @@ -1911,19 +1905,13 @@ lldb::SBTypeList SBTarget::FindTypes(const char *typename_cstr) {
}

// Try the loaded language runtimes
// FIXME: This depends on clang, but should be able to support any
// TypeSystem/compiler.
if (auto process_sp = target_sp->GetProcessSP()) {
for (auto *runtime : process_sp->GetLanguageRuntimes()) {
if (auto *vendor = runtime->GetDeclVendor()) {
std::vector<clang::NamedDecl *> decls;
if (vendor->FindDecls(const_typename, /*append*/ true,
/*max_matches*/ 1, decls) > 0) {
for (auto *decl : decls) {
if (CompilerType type = ClangASTContext::GetTypeForDecl(decl))
sb_type_list.Append(SBType(type));
}
}
auto types =
vendor->FindTypes(const_typename, /*max_matches*/ UINT32_MAX);
for (auto type : types)
sb_type_list.Append(SBType(type));
}
}
}
Expand Down
44 changes: 15 additions & 29 deletions lldb/source/Plugins/Language/ObjC/ObjCLanguage.cpp
Expand Up @@ -932,25 +932,16 @@ std::unique_ptr<Language::TypeScavenger> ObjCLanguage::GetTypeScavenger() {
ResultSet &results) override {
bool result = false;

Process *process = exe_scope->CalculateProcess().get();
if (process) {
auto objc_runtime = ObjCLanguageRuntime::Get(*process);
if (objc_runtime) {
auto decl_vendor = objc_runtime->GetDeclVendor();
if (decl_vendor) {
std::vector<clang::NamedDecl *> decls;
if (auto *process = exe_scope->CalculateProcess().get()) {
if (auto *objc_runtime = ObjCLanguageRuntime::Get(*process)) {
if (auto *decl_vendor = objc_runtime->GetDeclVendor()) {
ConstString name(key);
decl_vendor->FindDecls(name, true, UINT32_MAX, decls);
for (auto decl : decls) {
if (decl) {
if (CompilerType candidate =
ClangASTContext::GetTypeForDecl(decl)) {
result = true;
std::unique_ptr<Language::TypeScavenger::Result> result(
new ObjCScavengerResult(candidate));
results.insert(std::move(result));
}
}
for (const CompilerType &type :
decl_vendor->FindTypes(name, /*max_matches*/ UINT32_MAX)) {
result = true;
std::unique_ptr<Language::TypeScavenger::Result> result(
new ObjCScavengerResult(type));
results.insert(std::move(result));
}
}
}
Expand All @@ -968,21 +959,16 @@ std::unique_ptr<Language::TypeScavenger> ObjCLanguage::GetTypeScavenger() {
ResultSet &results) override {
bool result = false;

Target *target = exe_scope->CalculateTarget().get();
if (target) {
if (auto clang_modules_decl_vendor =
if (auto *target = exe_scope->CalculateTarget().get()) {
if (auto *clang_modules_decl_vendor =
target->GetClangModulesDeclVendor()) {
std::vector<clang::NamedDecl *> decls;
ConstString key_cs(key);

if (clang_modules_decl_vendor->FindDecls(key_cs, false, UINT32_MAX,
decls) > 0 &&
!decls.empty()) {
CompilerType module_type =
ClangASTContext::GetTypeForDecl(decls.front());
auto types = clang_modules_decl_vendor->FindTypes(
key_cs, /*max_matches*/ UINT32_MAX);
if (!types.empty()) {
result = true;
std::unique_ptr<Language::TypeScavenger::Result> result(
new ObjCScavengerResult(module_type));
new ObjCScavengerResult(types.front()));
results.insert(std::move(result));
}
}
Expand Down
Expand Up @@ -474,12 +474,10 @@ bool AppleObjCRuntimeV2::GetDynamicTypeAndAddress(
class_type_or_name.SetTypeSP(type_sp);
} else {
// try to go for a CompilerType at least
DeclVendor *vendor = GetDeclVendor();
if (vendor) {
std::vector<clang::NamedDecl *> decls;
if (vendor->FindDecls(class_name, false, 1, decls) && decls.size())
class_type_or_name.SetCompilerType(
ClangASTContext::GetTypeForDecl(decls[0]));
if (auto *vendor = GetDeclVendor()) {
auto types = vendor->FindTypes(class_name, /*max_matches*/ 1);
if (!types.empty())
class_type_or_name.SetCompilerType(types.front());
}
}
}
Expand Down
Expand Up @@ -245,25 +245,19 @@ clang::QualType AppleObjCTypeEncodingParser::BuildObjCObjectPointerType(
if (!decl_vendor)
return clang::QualType();

const bool append = false;
const uint32_t max_matches = 1;
std::vector<clang::NamedDecl *> decls;

uint32_t num_types =
decl_vendor->FindDecls(ConstString(name), append, max_matches, decls);
auto types = decl_vendor->FindTypes(ConstString(name), /*max_matches*/ 1);

// The user can forward-declare something that has no definition. The runtime
// doesn't prohibit this at all. This is a rare and very weird case. We keep
// this assert in debug builds so we catch other weird cases.
#ifdef LLDB_CONFIGURATION_DEBUG
assert(num_types);
assert(!types.empty());
#else
if (!num_types)
if (types.empty())
return ast_ctx.getObjCIdType();
#endif

return ClangUtil::GetQualType(
ClangASTContext::GetTypeForDecl(decls[0]).GetPointerType());
return ClangUtil::GetQualType(types.front().GetPointerType());
} else {
// We're going to resolve this dynamically anyway, so just smile and wave.
return ast_ctx.getObjCIdType();
Expand Down
1 change: 1 addition & 0 deletions lldb/source/Symbol/CMakeLists.txt
Expand Up @@ -21,6 +21,7 @@ add_lldb_library(lldbSymbol
DWARFCallFrameInfo.cpp
DebugMacros.cpp
Declaration.cpp
DeclVendor.cpp
FuncUnwinders.cpp
Function.cpp
LineEntry.cpp
Expand Down
29 changes: 29 additions & 0 deletions lldb/source/Symbol/DeclVendor.cpp
@@ -0,0 +1,29 @@
//===-- DeclVendor.cpp ------------------------------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "lldb/Symbol/DeclVendor.h"

#include "lldb/Symbol/ClangASTContext.h"

#include <vector>

using namespace lldb;
using namespace lldb_private;

std::vector<CompilerType> DeclVendor::FindTypes(ConstString name,
uint32_t max_matches) {
// FIXME: This depends on clang, but should be able to support any
// TypeSystem.
std::vector<CompilerType> ret;
std::vector<clang::NamedDecl *> decls;
if (FindDecls(name, /*append*/ true, max_matches, decls))
for (auto *decl : decls)
if (auto type = ClangASTContext::GetTypeForDecl(decl))
ret.push_back(type);
return ret;
}

0 comments on commit 8055cbc

Please sign in to comment.