Skip to content

Commit bfd263a

Browse files
authored
[lldb][ExpressionParser][NFCI] Add new DoPrepareForExecution interface to be implemented by language plugins (#96290)
This patch adds a new `DoPrepareForExecution` API, which can be implemented by the Clang and Swift language plugins. This also moves `RunStaticInitializers` into `ExpressionParser::PrepareForExecution`, so we call it consistently between language plugins. This *should* be mostly NFC (the static initializers will still only run after we finished parsing). We've been living on this patch downstream for sometime now. rdar://130267058
1 parent 82f9b0f commit bfd263a

File tree

6 files changed

+102
-80
lines changed

6 files changed

+102
-80
lines changed

lldb/include/lldb/Expression/ExpressionParser.h

Lines changed: 23 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -119,14 +119,35 @@ class ExpressionParser {
119119
/// \return
120120
/// An error code indicating the success or failure of the operation.
121121
/// Test with Success().
122-
virtual Status
122+
Status
123123
PrepareForExecution(lldb::addr_t &func_addr, lldb::addr_t &func_end,
124124
std::shared_ptr<IRExecutionUnit> &execution_unit_sp,
125125
ExecutionContext &exe_ctx, bool &can_interpret,
126-
lldb_private::ExecutionPolicy execution_policy) = 0;
126+
lldb_private::ExecutionPolicy execution_policy);
127127

128128
bool GetGenerateDebugInfo() const { return m_generate_debug_info; }
129129

130+
protected:
131+
virtual Status
132+
DoPrepareForExecution(lldb::addr_t &func_addr, lldb::addr_t &func_end,
133+
std::shared_ptr<IRExecutionUnit> &execution_unit_sp,
134+
ExecutionContext &exe_ctx, bool &can_interpret,
135+
lldb_private::ExecutionPolicy execution_policy) = 0;
136+
137+
private:
138+
/// Run all static initializers for an execution unit.
139+
///
140+
/// \param[in] execution_unit_sp
141+
/// The execution unit.
142+
///
143+
/// \param[in] exe_ctx
144+
/// The execution context to use when running them. Thread can't be null.
145+
///
146+
/// \return
147+
/// The error code indicating the
148+
Status RunStaticInitializers(lldb::IRExecutionUnitSP &execution_unit_sp,
149+
ExecutionContext &exe_ctx);
150+
130151
protected:
131152
Expression &m_expr; ///< The expression to be parsed
132153
bool m_generate_debug_info;

lldb/source/Expression/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@ add_lldb_library(lldbExpression NO_PLUGIN_DEPENDENCIES
33
DWARFExpression.cpp
44
DWARFExpressionList.cpp
55
Expression.cpp
6+
ExpressionParser.cpp
67
ExpressionTypeSystemHelper.cpp
78
ExpressionVariable.cpp
89
FunctionCaller.cpp
Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
//===-- ExpressionParser.cpp ----------------------------------------------===//
2+
//
3+
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4+
// See https://llvm.org/LICENSE.txt for license information.
5+
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6+
//
7+
//===----------------------------------------------------------------------===//
8+
9+
#include "lldb/Expression/ExpressionParser.h"
10+
#include "lldb/Expression/DiagnosticManager.h"
11+
#include "lldb/Expression/IRExecutionUnit.h"
12+
#include "lldb/Target/ExecutionContext.h"
13+
#include "lldb/Target/ThreadPlanCallFunction.h"
14+
15+
using namespace lldb;
16+
using namespace lldb_private;
17+
18+
Status ExpressionParser::PrepareForExecution(
19+
addr_t &func_addr, addr_t &func_end,
20+
std::shared_ptr<IRExecutionUnit> &execution_unit_sp,
21+
ExecutionContext &exe_ctx, bool &can_interpret,
22+
ExecutionPolicy execution_policy) {
23+
Status status =
24+
DoPrepareForExecution(func_addr, func_end, execution_unit_sp, exe_ctx,
25+
can_interpret, execution_policy);
26+
if (status.Success() && exe_ctx.GetProcessPtr() && exe_ctx.HasThreadScope())
27+
status = RunStaticInitializers(execution_unit_sp, exe_ctx);
28+
29+
return status;
30+
}
31+
32+
Status
33+
ExpressionParser::RunStaticInitializers(IRExecutionUnitSP &execution_unit_sp,
34+
ExecutionContext &exe_ctx) {
35+
Status err;
36+
37+
if (!execution_unit_sp.get()) {
38+
err.SetErrorString(
39+
"can't run static initializers for a NULL execution unit");
40+
return err;
41+
}
42+
43+
if (!exe_ctx.HasThreadScope()) {
44+
err.SetErrorString("can't run static initializers without a thread");
45+
return err;
46+
}
47+
48+
std::vector<addr_t> static_initializers;
49+
50+
execution_unit_sp->GetStaticInitializers(static_initializers);
51+
52+
for (addr_t static_initializer : static_initializers) {
53+
EvaluateExpressionOptions options;
54+
55+
ThreadPlanSP call_static_initializer(new ThreadPlanCallFunction(
56+
exe_ctx.GetThreadRef(), Address(static_initializer), CompilerType(),
57+
llvm::ArrayRef<addr_t>(), options));
58+
59+
DiagnosticManager execution_errors;
60+
ExpressionResults results =
61+
exe_ctx.GetThreadRef().GetProcess()->RunThreadPlan(
62+
exe_ctx, call_static_initializer, options, execution_errors);
63+
64+
if (results != eExpressionCompleted) {
65+
err.SetErrorStringWithFormat("couldn't run static initializer: %s",
66+
execution_errors.GetString().c_str());
67+
return err;
68+
}
69+
}
70+
71+
return err;
72+
}

lldb/source/Plugins/ExpressionParser/Clang/ClangExpressionParser.cpp

Lines changed: 1 addition & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -1296,7 +1296,7 @@ static bool FindFunctionInModule(ConstString &mangled_name,
12961296
return false;
12971297
}
12981298

1299-
lldb_private::Status ClangExpressionParser::PrepareForExecution(
1299+
lldb_private::Status ClangExpressionParser::DoPrepareForExecution(
13001300
lldb::addr_t &func_addr, lldb::addr_t &func_end,
13011301
lldb::IRExecutionUnitSP &execution_unit_sp, ExecutionContext &exe_ctx,
13021302
bool &can_interpret, ExecutionPolicy execution_policy) {
@@ -1472,47 +1472,3 @@ lldb_private::Status ClangExpressionParser::PrepareForExecution(
14721472

14731473
return err;
14741474
}
1475-
1476-
lldb_private::Status ClangExpressionParser::RunStaticInitializers(
1477-
lldb::IRExecutionUnitSP &execution_unit_sp, ExecutionContext &exe_ctx) {
1478-
lldb_private::Status err;
1479-
1480-
lldbassert(execution_unit_sp.get());
1481-
lldbassert(exe_ctx.HasThreadScope());
1482-
1483-
if (!execution_unit_sp.get()) {
1484-
err.SetErrorString(
1485-
"can't run static initializers for a NULL execution unit");
1486-
return err;
1487-
}
1488-
1489-
if (!exe_ctx.HasThreadScope()) {
1490-
err.SetErrorString("can't run static initializers without a thread");
1491-
return err;
1492-
}
1493-
1494-
std::vector<lldb::addr_t> static_initializers;
1495-
1496-
execution_unit_sp->GetStaticInitializers(static_initializers);
1497-
1498-
for (lldb::addr_t static_initializer : static_initializers) {
1499-
EvaluateExpressionOptions options;
1500-
1501-
lldb::ThreadPlanSP call_static_initializer(new ThreadPlanCallFunction(
1502-
exe_ctx.GetThreadRef(), Address(static_initializer), CompilerType(),
1503-
llvm::ArrayRef<lldb::addr_t>(), options));
1504-
1505-
DiagnosticManager execution_errors;
1506-
lldb::ExpressionResults results =
1507-
exe_ctx.GetThreadRef().GetProcess()->RunThreadPlan(
1508-
exe_ctx, call_static_initializer, options, execution_errors);
1509-
1510-
if (results != lldb::eExpressionCompleted) {
1511-
err.SetErrorStringWithFormat("couldn't run static initializer: %s",
1512-
execution_errors.GetString().c_str());
1513-
return err;
1514-
}
1515-
}
1516-
1517-
return err;
1518-
}

lldb/source/Plugins/ExpressionParser/Clang/ClangExpressionParser.h

Lines changed: 5 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -113,24 +113,11 @@ class ClangExpressionParser : public ExpressionParser {
113113
/// \return
114114
/// An error code indicating the success or failure of the operation.
115115
/// Test with Success().
116-
Status
117-
PrepareForExecution(lldb::addr_t &func_addr, lldb::addr_t &func_end,
118-
lldb::IRExecutionUnitSP &execution_unit_sp,
119-
ExecutionContext &exe_ctx, bool &can_interpret,
120-
lldb_private::ExecutionPolicy execution_policy) override;
121-
122-
/// Run all static initializers for an execution unit.
123-
///
124-
/// \param[in] execution_unit_sp
125-
/// The execution unit.
126-
///
127-
/// \param[in] exe_ctx
128-
/// The execution context to use when running them. Thread can't be null.
129-
///
130-
/// \return
131-
/// The error code indicating the
132-
Status RunStaticInitializers(lldb::IRExecutionUnitSP &execution_unit_sp,
133-
ExecutionContext &exe_ctx);
116+
Status DoPrepareForExecution(
117+
lldb::addr_t &func_addr, lldb::addr_t &func_end,
118+
lldb::IRExecutionUnitSP &execution_unit_sp, ExecutionContext &exe_ctx,
119+
bool &can_interpret,
120+
lldb_private::ExecutionPolicy execution_policy) override;
134121

135122
/// Returns a string representing current ABI.
136123
///

lldb/source/Plugins/ExpressionParser/Clang/ClangUserExpression.cpp

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -698,21 +698,6 @@ bool ClangUserExpression::Parse(DiagnosticManager &diagnostic_manager,
698698
if (!parse_success)
699699
return false;
700700

701-
if (exe_ctx.GetProcessPtr() && execution_policy == eExecutionPolicyTopLevel) {
702-
Status static_init_error =
703-
m_parser->RunStaticInitializers(m_execution_unit_sp, exe_ctx);
704-
705-
if (!static_init_error.Success()) {
706-
const char *error_cstr = static_init_error.AsCString();
707-
if (error_cstr && error_cstr[0])
708-
diagnostic_manager.Printf(lldb::eSeverityError, "%s\n", error_cstr);
709-
else
710-
diagnostic_manager.PutString(lldb::eSeverityError,
711-
"couldn't run static initializers\n");
712-
return false;
713-
}
714-
}
715-
716701
if (m_execution_unit_sp) {
717702
bool register_execution_unit = false;
718703

0 commit comments

Comments
 (0)