blob: e8c2db1886333d40ce5f11af8627c07b7d0052db [file] [log] [blame]
//===-- Coroutines.cpp ----------------------------------------------------===//
//
// 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 "Coroutines.h"
#include "Plugins/TypeSystem/Clang/TypeSystemClang.h"
#include "lldb/Symbol/Function.h"
#include "lldb/Symbol/VariableList.h"
using namespace lldb;
using namespace lldb_private;
using namespace lldb_private::formatters;
static lldb::addr_t GetCoroFramePtrFromHandle(ValueObjectSP valobj_sp) {
if (!valobj_sp)
return LLDB_INVALID_ADDRESS;
// We expect a single pointer in the `coroutine_handle` class.
// We don't care about its name.
if (valobj_sp->GetNumChildrenIgnoringErrors() != 1)
return LLDB_INVALID_ADDRESS;
ValueObjectSP ptr_sp(valobj_sp->GetChildAtIndex(0));
if (!ptr_sp)
return LLDB_INVALID_ADDRESS;
if (!ptr_sp->GetCompilerType().IsPointerType())
return LLDB_INVALID_ADDRESS;
auto [frame_ptr_addr, addr_type] = ptr_sp->GetPointerValue();
if (!frame_ptr_addr || frame_ptr_addr == LLDB_INVALID_ADDRESS)
return LLDB_INVALID_ADDRESS;
lldbassert(addr_type == AddressType::eAddressTypeLoad);
if (addr_type != AddressType::eAddressTypeLoad)
return LLDB_INVALID_ADDRESS;
return frame_ptr_addr;
}
static Function *ExtractDestroyFunction(lldb::TargetSP target_sp,
lldb::addr_t frame_ptr_addr) {
lldb::ProcessSP process_sp = target_sp->GetProcessSP();
auto ptr_size = process_sp->GetAddressByteSize();
Status error;
auto destroy_func_ptr_addr = frame_ptr_addr + ptr_size;
lldb::addr_t destroy_func_addr =
process_sp->ReadPointerFromMemory(destroy_func_ptr_addr, error);
if (error.Fail())
return nullptr;
Address destroy_func_address;
if (!target_sp->ResolveLoadAddress(destroy_func_addr, destroy_func_address))
return nullptr;
return destroy_func_address.CalculateSymbolContextFunction();
}
// clang generates aritifical `__promise` and `__coro_frame` variables inside
// the destroy function. Look for those variables and extract their type.
static CompilerType InferArtificialCoroType(Function *destroy_func,
ConstString var_name) {
if (!destroy_func)
return {};
Block &block = destroy_func->GetBlock(true);
auto variable_list = block.GetBlockVariableList(true);
auto var = variable_list->FindVariable(var_name);
if (!var)
return {};
if (!var->IsArtificial())
return {};
Type *promise_type = var->GetType();
if (!promise_type)
return {};
return promise_type->GetForwardCompilerType();
}
bool lldb_private::formatters::StdlibCoroutineHandleSummaryProvider(
ValueObject &valobj, Stream &stream, const TypeSummaryOptions &options) {
lldb::addr_t frame_ptr_addr =
GetCoroFramePtrFromHandle(valobj.GetNonSyntheticValue());
if (frame_ptr_addr == LLDB_INVALID_ADDRESS)
return false;
if (frame_ptr_addr == 0) {
stream << "nullptr";
} else {
stream.Printf("coro frame = 0x%" PRIx64, frame_ptr_addr);
}
return true;
}
lldb_private::formatters::StdlibCoroutineHandleSyntheticFrontEnd::
StdlibCoroutineHandleSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)
: SyntheticChildrenFrontEnd(*valobj_sp) {
if (valobj_sp)
Update();
}
lldb_private::formatters::StdlibCoroutineHandleSyntheticFrontEnd::
~StdlibCoroutineHandleSyntheticFrontEnd() = default;
llvm::Expected<uint32_t> lldb_private::formatters::
StdlibCoroutineHandleSyntheticFrontEnd::CalculateNumChildren() {
return m_children.size();
}
lldb::ValueObjectSP lldb_private::formatters::
StdlibCoroutineHandleSyntheticFrontEnd::GetChildAtIndex(uint32_t idx) {
return idx < m_children.size() ? m_children[idx] : lldb::ValueObjectSP();
}
lldb::ChildCacheState
lldb_private::formatters::StdlibCoroutineHandleSyntheticFrontEnd::Update() {
m_children.clear();
ValueObjectSP valobj_sp = m_backend.GetNonSyntheticValue();
if (!valobj_sp)
return lldb::ChildCacheState::eRefetch;
lldb::addr_t frame_ptr_addr = GetCoroFramePtrFromHandle(valobj_sp);
if (frame_ptr_addr == 0 || frame_ptr_addr == LLDB_INVALID_ADDRESS)
return lldb::ChildCacheState::eRefetch;
lldb::TargetSP target_sp = m_backend.GetTargetSP();
auto &exe_ctx = m_backend.GetExecutionContextRef();
lldb::ProcessSP process_sp = target_sp->GetProcessSP();
auto ptr_size = process_sp->GetAddressByteSize();
auto ast_ctx = valobj_sp->GetCompilerType().GetTypeSystem<TypeSystemClang>();
if (!ast_ctx)
return lldb::ChildCacheState::eRefetch;
// Determine the coroutine frame type and the promise type. Fall back
// to `void`, since even the pointer itself might be useful, even if the
// type inference failed.
Function *destroy_func = ExtractDestroyFunction(target_sp, frame_ptr_addr);
CompilerType void_type = ast_ctx->GetBasicType(lldb::eBasicTypeVoid);
CompilerType promise_type;
if (CompilerType template_arg =
valobj_sp->GetCompilerType().GetTypeTemplateArgument(0))
promise_type = std::move(template_arg);
if (promise_type.IsVoidType()) {
// Try to infer the promise_type if it was type-erased
if (destroy_func) {
if (CompilerType inferred_type =
InferArtificialCoroType(destroy_func, ConstString("__promise"))) {
promise_type = inferred_type;
}
}
}
CompilerType coro_frame_type =
InferArtificialCoroType(destroy_func, ConstString("__coro_frame"));
if (!coro_frame_type)
coro_frame_type = void_type;
// Create the `resume` and `destroy` children.
std::array<CompilerType, 1> args{coro_frame_type};
CompilerType coro_func_type = ast_ctx->CreateFunctionType(
/*result_type=*/void_type, args,
/*is_variadic=*/false, /*qualifiers=*/0);
CompilerType coro_func_ptr_type = coro_func_type.GetPointerType();
ValueObjectSP resume_ptr_sp = CreateValueObjectFromAddress(
"resume", frame_ptr_addr + 0 * ptr_size, exe_ctx, coro_func_ptr_type);
assert(resume_ptr_sp);
m_children.push_back(std::move(resume_ptr_sp));
ValueObjectSP destroy_ptr_sp = CreateValueObjectFromAddress(
"destroy", frame_ptr_addr + 1 * ptr_size, exe_ctx, coro_func_ptr_type);
assert(destroy_ptr_sp);
m_children.push_back(std::move(destroy_ptr_sp));
// Add promise and coro_frame
// Add the `promise` and `coro_frame` member. We intentionally add them as
// pointer types instead of a value type, and don't automatically dereference
// those pointers. We do so to avoid potential very deep recursion in case
// there is a cycle formed between `std::coroutine_handle`s and their
// promises.
ValueObjectSP promise_ptr_sp = CreateValueObjectFromAddress(
"promise", frame_ptr_addr + 2 * ptr_size, exe_ctx,
promise_type.GetPointerType(), /*do_deref=*/false);
m_children.push_back(std::move(promise_ptr_sp));
ValueObjectSP coroframe_ptr_sp = CreateValueObjectFromAddress(
"coro_frame", frame_ptr_addr, exe_ctx, coro_frame_type.GetPointerType(),
/*do_deref=*/false);
m_children.push_back(std::move(coroframe_ptr_sp));
return lldb::ChildCacheState::eRefetch;
}
llvm::Expected<size_t>
StdlibCoroutineHandleSyntheticFrontEnd::GetIndexOfChildWithName(
ConstString name) {
for (const auto &[idx, child_sp] : llvm::enumerate(m_children)) {
if (child_sp->GetName() == name)
return idx;
}
return llvm::createStringError("Type has no child named '%s'",
name.AsCString());
}
SyntheticChildrenFrontEnd *
lldb_private::formatters::StdlibCoroutineHandleSyntheticFrontEndCreator(
CXXSyntheticChildren *, lldb::ValueObjectSP valobj_sp) {
return (valobj_sp ? new StdlibCoroutineHandleSyntheticFrontEnd(valobj_sp)
: nullptr);
}