blob: 6f5972b32bbd2e6e8b61b1579368cfbca87a3705 [file] [log] [blame]
Ryan Brown998c8a1c12015-11-02 19:30:40 +00001//===-- LLVMUserExpression.cpp ----------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Ryan Brown998c8a1c12015-11-02 19:30:40 +00006//
7//===----------------------------------------------------------------------===//
8
Ryan Brown998c8a1c12015-11-02 19:30:40 +00009
Ryan Brown998c8a1c12015-11-02 19:30:40 +000010#include "lldb/Expression/LLVMUserExpression.h"
Ryan Brown998c8a1c12015-11-02 19:30:40 +000011#include "lldb/Core/Module.h"
12#include "lldb/Core/StreamFile.h"
Ryan Brown998c8a1c12015-11-02 19:30:40 +000013#include "lldb/Core/ValueObjectConstResult.h"
Sean Callanan579e70c2016-03-19 00:03:59 +000014#include "lldb/Expression/DiagnosticManager.h"
Ryan Brown998c8a1c12015-11-02 19:30:40 +000015#include "lldb/Expression/IRExecutionUnit.h"
16#include "lldb/Expression/IRInterpreter.h"
17#include "lldb/Expression/Materializer.h"
18#include "lldb/Host/HostInfo.h"
19#include "lldb/Symbol/Block.h"
20#include "lldb/Symbol/ClangASTContext.h"
Sean Callanan579e70c2016-03-19 00:03:59 +000021#include "lldb/Symbol/ClangExternalASTSourceCommon.h"
Ryan Brown998c8a1c12015-11-02 19:30:40 +000022#include "lldb/Symbol/Function.h"
23#include "lldb/Symbol/ObjectFile.h"
24#include "lldb/Symbol/SymbolVendor.h"
25#include "lldb/Symbol/Type.h"
Ryan Brown998c8a1c12015-11-02 19:30:40 +000026#include "lldb/Symbol/VariableList.h"
27#include "lldb/Target/ExecutionContext.h"
28#include "lldb/Target/Process.h"
29#include "lldb/Target/StackFrame.h"
30#include "lldb/Target/Target.h"
31#include "lldb/Target/ThreadPlan.h"
32#include "lldb/Target/ThreadPlanCallUserExpression.h"
Zachary Turnerbf9a7732017-02-02 21:39:50 +000033#include "lldb/Utility/ConstString.h"
Zachary Turner6f9e6902017-03-03 20:56:28 +000034#include "lldb/Utility/Log.h"
Zachary Turnerbf9a7732017-02-02 21:39:50 +000035#include "lldb/Utility/StreamString.h"
Ryan Brown998c8a1c12015-11-02 19:30:40 +000036
37using namespace lldb_private;
38
Kate Stoneb9c1b512016-09-06 20:57:50 +000039LLVMUserExpression::LLVMUserExpression(ExecutionContextScope &exe_scope,
Zachary Turnerc5d7df92016-11-08 04:52:16 +000040 llvm::StringRef expr,
41 llvm::StringRef prefix,
Kate Stoneb9c1b512016-09-06 20:57:50 +000042 lldb::LanguageType language,
43 ResultType desired_type,
Adrian Prantl7e34d782019-03-13 19:46:30 +000044 const EvaluateExpressionOptions &options,
45 ExpressionKind kind)
46 : UserExpression(exe_scope, expr, prefix, language, desired_type, options,
47 kind),
Ryan Brown998c8a1c12015-11-02 19:30:40 +000048 m_stack_frame_bottom(LLDB_INVALID_ADDRESS),
Jonas Devlieghered5b44032019-02-13 06:25:41 +000049 m_stack_frame_top(LLDB_INVALID_ADDRESS), m_allow_cxx(false),
50 m_allow_objc(false), m_transformed_text(), m_execution_unit_sp(),
51 m_materializer_up(), m_jit_module_wp(), m_enforce_valid_object(true),
52 m_in_cplusplus_method(false), m_in_objectivec_method(false),
53 m_in_static_method(false), m_needs_object_ptr(false), m_target(NULL),
54 m_can_interpret(false), m_materialized_address(LLDB_INVALID_ADDRESS) {}
Ryan Brown998c8a1c12015-11-02 19:30:40 +000055
Kate Stoneb9c1b512016-09-06 20:57:50 +000056LLVMUserExpression::~LLVMUserExpression() {
57 if (m_target) {
58 lldb::ModuleSP jit_module_sp(m_jit_module_wp.lock());
59 if (jit_module_sp)
60 m_target->GetImages().Remove(jit_module_sp);
61 }
Ryan Brown998c8a1c12015-11-02 19:30:40 +000062}
63
64lldb::ExpressionResults
Kate Stoneb9c1b512016-09-06 20:57:50 +000065LLVMUserExpression::DoExecute(DiagnosticManager &diagnostic_manager,
66 ExecutionContext &exe_ctx,
67 const EvaluateExpressionOptions &options,
68 lldb::UserExpressionSP &shared_ptr_to_me,
69 lldb::ExpressionVariableSP &result) {
70 // The expression log is quite verbose, and if you're just tracking the
Adrian Prantl05097242018-04-30 16:49:04 +000071 // execution of the expression, it's quite convenient to have these logs come
72 // out with the STEP log as well.
Kate Stoneb9c1b512016-09-06 20:57:50 +000073 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_EXPRESSIONS |
74 LIBLLDB_LOG_STEP));
Ryan Brown998c8a1c12015-11-02 19:30:40 +000075
Kate Stoneb9c1b512016-09-06 20:57:50 +000076 if (m_jit_start_addr != LLDB_INVALID_ADDRESS || m_can_interpret) {
77 lldb::addr_t struct_address = LLDB_INVALID_ADDRESS;
Ryan Brown998c8a1c12015-11-02 19:30:40 +000078
Kate Stoneb9c1b512016-09-06 20:57:50 +000079 if (!PrepareToExecuteJITExpression(diagnostic_manager, exe_ctx,
80 struct_address)) {
81 diagnostic_manager.Printf(
82 eDiagnosticSeverityError,
83 "errored out in %s, couldn't PrepareToExecuteJITExpression",
84 __FUNCTION__);
85 return lldb::eExpressionSetupError;
Ryan Brown998c8a1c12015-11-02 19:30:40 +000086 }
Kate Stoneb9c1b512016-09-06 20:57:50 +000087
88 lldb::addr_t function_stack_bottom = LLDB_INVALID_ADDRESS;
89 lldb::addr_t function_stack_top = LLDB_INVALID_ADDRESS;
90
91 if (m_can_interpret) {
92 llvm::Module *module = m_execution_unit_sp->GetModule();
93 llvm::Function *function = m_execution_unit_sp->GetFunction();
94
95 if (!module || !function) {
Zachary Turnere2411fa2016-11-12 19:12:56 +000096 diagnostic_manager.PutString(
Kate Stoneb9c1b512016-09-06 20:57:50 +000097 eDiagnosticSeverityError,
98 "supposed to interpret, but nothing is there");
Ryan Brown998c8a1c12015-11-02 19:30:40 +000099 return lldb::eExpressionSetupError;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000100 }
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000101
Zachary Turner97206d52017-05-12 04:51:55 +0000102 Status interpreter_error;
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000103
Kate Stoneb9c1b512016-09-06 20:57:50 +0000104 std::vector<lldb::addr_t> args;
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000105
Kate Stoneb9c1b512016-09-06 20:57:50 +0000106 if (!AddArguments(exe_ctx, args, struct_address, diagnostic_manager)) {
Sean Callanan579e70c2016-03-19 00:03:59 +0000107 diagnostic_manager.Printf(eDiagnosticSeverityError,
Kate Stoneb9c1b512016-09-06 20:57:50 +0000108 "errored out in %s, couldn't AddArguments",
109 __FUNCTION__);
110 return lldb::eExpressionSetupError;
111 }
112
113 function_stack_bottom = m_stack_frame_bottom;
114 function_stack_top = m_stack_frame_top;
115
Jonas Devlieghere70355ac2019-02-12 03:47:39 +0000116 IRInterpreter::Interpret(*module, *function, args, *m_execution_unit_sp,
117 interpreter_error, function_stack_bottom,
118 function_stack_top, exe_ctx);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000119
120 if (!interpreter_error.Success()) {
121 diagnostic_manager.Printf(eDiagnosticSeverityError,
122 "supposed to interpret, but failed: %s",
123 interpreter_error.AsCString());
124 return lldb::eExpressionDiscarded;
125 }
126 } else {
127 if (!exe_ctx.HasThreadScope()) {
128 diagnostic_manager.Printf(eDiagnosticSeverityError,
129 "%s called with no thread selected",
130 __FUNCTION__);
131 return lldb::eExpressionSetupError;
132 }
133
134 Address wrapper_address(m_jit_start_addr);
135
136 std::vector<lldb::addr_t> args;
137
138 if (!AddArguments(exe_ctx, args, struct_address, diagnostic_manager)) {
139 diagnostic_manager.Printf(eDiagnosticSeverityError,
140 "errored out in %s, couldn't AddArguments",
141 __FUNCTION__);
142 return lldb::eExpressionSetupError;
143 }
144
145 lldb::ThreadPlanSP call_plan_sp(new ThreadPlanCallUserExpression(
146 exe_ctx.GetThreadRef(), wrapper_address, args, options,
147 shared_ptr_to_me));
148
149 StreamString ss;
150 if (!call_plan_sp || !call_plan_sp->ValidatePlan(&ss)) {
Zachary Turnerc1564272016-11-16 21:15:24 +0000151 diagnostic_manager.PutString(eDiagnosticSeverityError, ss.GetString());
Kate Stoneb9c1b512016-09-06 20:57:50 +0000152 return lldb::eExpressionSetupError;
153 }
154
155 ThreadPlanCallUserExpression *user_expression_plan =
156 static_cast<ThreadPlanCallUserExpression *>(call_plan_sp.get());
157
158 lldb::addr_t function_stack_pointer =
159 user_expression_plan->GetFunctionStackPointer();
160
161 function_stack_bottom = function_stack_pointer - HostInfo::GetPageSize();
162 function_stack_top = function_stack_pointer;
163
164 if (log)
165 log->Printf(
166 "-- [UserExpression::Execute] Execution of expression begins --");
167
168 if (exe_ctx.GetProcessPtr())
169 exe_ctx.GetProcessPtr()->SetRunningUserExpression(true);
170
171 lldb::ExpressionResults execution_result =
172 exe_ctx.GetProcessRef().RunThreadPlan(exe_ctx, call_plan_sp, options,
173 diagnostic_manager);
174
175 if (exe_ctx.GetProcessPtr())
176 exe_ctx.GetProcessPtr()->SetRunningUserExpression(false);
177
178 if (log)
179 log->Printf("-- [UserExpression::Execute] Execution of expression "
180 "completed --");
181
182 if (execution_result == lldb::eExpressionInterrupted ||
183 execution_result == lldb::eExpressionHitBreakpoint) {
184 const char *error_desc = NULL;
185
186 if (call_plan_sp) {
187 lldb::StopInfoSP real_stop_info_sp = call_plan_sp->GetRealStopInfo();
188 if (real_stop_info_sp)
189 error_desc = real_stop_info_sp->GetDescription();
190 }
191 if (error_desc)
192 diagnostic_manager.Printf(eDiagnosticSeverityError,
193 "Execution was interrupted, reason: %s.",
194 error_desc);
195 else
Zachary Turnere2411fa2016-11-12 19:12:56 +0000196 diagnostic_manager.PutString(eDiagnosticSeverityError,
197 "Execution was interrupted.");
Kate Stoneb9c1b512016-09-06 20:57:50 +0000198
199 if ((execution_result == lldb::eExpressionInterrupted &&
200 options.DoesUnwindOnError()) ||
201 (execution_result == lldb::eExpressionHitBreakpoint &&
202 options.DoesIgnoreBreakpoints()))
203 diagnostic_manager.AppendMessageToDiagnostic(
204 "The process has been returned to the state before expression "
205 "evaluation.");
206 else {
207 if (execution_result == lldb::eExpressionHitBreakpoint)
208 user_expression_plan->TransferExpressionOwnership();
209 diagnostic_manager.AppendMessageToDiagnostic(
210 "The process has been left at the point where it was "
211 "interrupted, "
212 "use \"thread return -x\" to return to the state before "
213 "expression evaluation.");
214 }
215
216 return execution_result;
217 } else if (execution_result == lldb::eExpressionStoppedForDebug) {
Zachary Turnere2411fa2016-11-12 19:12:56 +0000218 diagnostic_manager.PutString(
Kate Stoneb9c1b512016-09-06 20:57:50 +0000219 eDiagnosticSeverityRemark,
220 "Execution was halted at the first instruction of the expression "
221 "function because \"debug\" was requested.\n"
222 "Use \"thread return -x\" to return to the state before expression "
223 "evaluation.");
224 return execution_result;
225 } else if (execution_result != lldb::eExpressionCompleted) {
226 diagnostic_manager.Printf(
227 eDiagnosticSeverityError,
228 "Couldn't execute function; result was %s",
229 Process::ExecutionResultAsCString(execution_result));
230 return execution_result;
231 }
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000232 }
233
Kate Stoneb9c1b512016-09-06 20:57:50 +0000234 if (FinalizeJITExecution(diagnostic_manager, exe_ctx, result,
235 function_stack_bottom, function_stack_top)) {
236 return lldb::eExpressionCompleted;
237 } else {
238 return lldb::eExpressionResultUnavailable;
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000239 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000240 } else {
Zachary Turnere2411fa2016-11-12 19:12:56 +0000241 diagnostic_manager.PutString(
Kate Stoneb9c1b512016-09-06 20:57:50 +0000242 eDiagnosticSeverityError,
243 "Expression can't be run, because there is no JIT compiled function");
244 return lldb::eExpressionSetupError;
245 }
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000246}
247
Kate Stoneb9c1b512016-09-06 20:57:50 +0000248bool LLVMUserExpression::FinalizeJITExecution(
249 DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx,
250 lldb::ExpressionVariableSP &result, lldb::addr_t function_stack_bottom,
251 lldb::addr_t function_stack_top) {
252 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000253
Kate Stoneb9c1b512016-09-06 20:57:50 +0000254 if (log)
255 log->Printf("-- [UserExpression::FinalizeJITExecution] Dematerializing "
256 "after execution --");
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000257
Kate Stoneb9c1b512016-09-06 20:57:50 +0000258 if (!m_dematerializer_sp) {
259 diagnostic_manager.Printf(eDiagnosticSeverityError,
260 "Couldn't apply expression side effects : no "
261 "dematerializer is present");
262 return false;
263 }
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000264
Zachary Turner97206d52017-05-12 04:51:55 +0000265 Status dematerialize_error;
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000266
Kate Stoneb9c1b512016-09-06 20:57:50 +0000267 m_dematerializer_sp->Dematerialize(dematerialize_error, function_stack_bottom,
268 function_stack_top);
Jim Ingham2c381412015-11-04 20:32:27 +0000269
Kate Stoneb9c1b512016-09-06 20:57:50 +0000270 if (!dematerialize_error.Success()) {
271 diagnostic_manager.Printf(eDiagnosticSeverityError,
272 "Couldn't apply expression side effects : %s",
273 dematerialize_error.AsCString("unknown error"));
274 return false;
275 }
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000276
Kate Stoneb9c1b512016-09-06 20:57:50 +0000277 result =
278 GetResultAfterDematerialization(exe_ctx.GetBestExecutionContextScope());
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000279
Kate Stoneb9c1b512016-09-06 20:57:50 +0000280 if (result)
281 result->TransferAddress();
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000282
Kate Stoneb9c1b512016-09-06 20:57:50 +0000283 m_dematerializer_sp.reset();
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000284
Kate Stoneb9c1b512016-09-06 20:57:50 +0000285 return true;
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000286}
287
Kate Stoneb9c1b512016-09-06 20:57:50 +0000288bool LLVMUserExpression::PrepareToExecuteJITExpression(
289 DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx,
290 lldb::addr_t &struct_address) {
291 lldb::TargetSP target;
292 lldb::ProcessSP process;
293 lldb::StackFrameSP frame;
294
295 if (!LockAndCheckContext(exe_ctx, target, process, frame)) {
Zachary Turnere2411fa2016-11-12 19:12:56 +0000296 diagnostic_manager.PutString(
Kate Stoneb9c1b512016-09-06 20:57:50 +0000297 eDiagnosticSeverityError,
298 "The context has changed before we could JIT the expression!");
299 return false;
300 }
301
302 if (m_jit_start_addr != LLDB_INVALID_ADDRESS || m_can_interpret) {
303 if (m_materialized_address == LLDB_INVALID_ADDRESS) {
Zachary Turner97206d52017-05-12 04:51:55 +0000304 Status alloc_error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000305
306 IRMemoryMap::AllocationPolicy policy =
307 m_can_interpret ? IRMemoryMap::eAllocationPolicyHostOnly
308 : IRMemoryMap::eAllocationPolicyMirror;
309
310 const bool zero_memory = false;
311
312 m_materialized_address = m_execution_unit_sp->Malloc(
Jonas Devlieghered5b44032019-02-13 06:25:41 +0000313 m_materializer_up->GetStructByteSize(),
314 m_materializer_up->GetStructAlignment(),
Kate Stoneb9c1b512016-09-06 20:57:50 +0000315 lldb::ePermissionsReadable | lldb::ePermissionsWritable, policy,
316 zero_memory, alloc_error);
317
318 if (!alloc_error.Success()) {
319 diagnostic_manager.Printf(
320 eDiagnosticSeverityError,
321 "Couldn't allocate space for materialized struct: %s",
322 alloc_error.AsCString());
323 return false;
324 }
325 }
326
327 struct_address = m_materialized_address;
328
329 if (m_can_interpret && m_stack_frame_bottom == LLDB_INVALID_ADDRESS) {
Zachary Turner97206d52017-05-12 04:51:55 +0000330 Status alloc_error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000331
332 const size_t stack_frame_size = 512 * 1024;
333
334 const bool zero_memory = false;
335
336 m_stack_frame_bottom = m_execution_unit_sp->Malloc(
337 stack_frame_size, 8,
338 lldb::ePermissionsReadable | lldb::ePermissionsWritable,
339 IRMemoryMap::eAllocationPolicyHostOnly, zero_memory, alloc_error);
340
341 m_stack_frame_top = m_stack_frame_bottom + stack_frame_size;
342
343 if (!alloc_error.Success()) {
344 diagnostic_manager.Printf(
345 eDiagnosticSeverityError,
346 "Couldn't allocate space for the stack frame: %s",
347 alloc_error.AsCString());
348 return false;
349 }
350 }
351
Zachary Turner97206d52017-05-12 04:51:55 +0000352 Status materialize_error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000353
Jonas Devlieghered5b44032019-02-13 06:25:41 +0000354 m_dematerializer_sp = m_materializer_up->Materialize(
Kate Stoneb9c1b512016-09-06 20:57:50 +0000355 frame, *m_execution_unit_sp, struct_address, materialize_error);
356
357 if (!materialize_error.Success()) {
358 diagnostic_manager.Printf(eDiagnosticSeverityError,
359 "Couldn't materialize: %s",
360 materialize_error.AsCString());
361 return false;
362 }
363 }
364 return true;
365}
366
367lldb::ModuleSP LLVMUserExpression::GetJITModule() {
368 if (m_execution_unit_sp)
369 return m_execution_unit_sp->GetJITModule();
370 return lldb::ModuleSP();
Ryan Brown998c8a1c12015-11-02 19:30:40 +0000371}