blob: 4485d15823f392ad6be54996f39a1c153e4e2167 [file] [log] [blame]
Zachary Turnere2411fa2016-11-12 19:12:56 +00001//===-- FunctionCaller.cpp ---------------------------------------*- C++-*-===//
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Chris Lattner30fdc8d2010-06-08 16:52:24 +000010// C Includes
11// C++ Includes
12// Other libraries and framework includes
Chris Lattner30fdc8d2010-06-08 16:52:24 +000013
14// Project includes
Sean Callanan579e70c2016-03-19 00:03:59 +000015#include "lldb/Expression/FunctionCaller.h"
Greg Clayton23f8c952014-03-24 23:10:19 +000016#include "lldb/Core/Module.h"
Greg Clayton23f8c952014-03-24 23:10:19 +000017#include "lldb/Core/ValueObject.h"
18#include "lldb/Core/ValueObjectList.h"
Sean Callanan579e70c2016-03-19 00:03:59 +000019#include "lldb/Expression/DiagnosticManager.h"
Greg Claytone01e07b2013-04-18 18:10:51 +000020#include "lldb/Expression/IRExecutionUnit.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000021#include "lldb/Interpreter/CommandReturnObject.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000022#include "lldb/Symbol/Function.h"
Greg Clayton23f8c952014-03-24 23:10:19 +000023#include "lldb/Symbol/Type.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000024#include "lldb/Target/ExecutionContext.h"
25#include "lldb/Target/Process.h"
Sean Callananebf77072010-07-23 00:16:21 +000026#include "lldb/Target/RegisterContext.h"
Greg Clayton514487e2011-02-15 21:59:32 +000027#include "lldb/Target/Target.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000028#include "lldb/Target/Thread.h"
29#include "lldb/Target/ThreadPlan.h"
30#include "lldb/Target/ThreadPlanCallFunction.h"
Zachary Turner666cc0b2017-03-04 01:30:05 +000031#include "lldb/Utility/DataExtractor.h"
Zachary Turner6f9e6902017-03-03 20:56:28 +000032#include "lldb/Utility/Log.h"
Pavel Labathd821c992018-08-07 11:07:21 +000033#include "lldb/Utility/State.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000034
35using namespace lldb_private;
Sean Callanan1a8d4092010-08-27 01:01:44 +000036
Chris Lattner30fdc8d2010-06-08 16:52:24 +000037//----------------------------------------------------------------------
Jim Ingham151c0322015-09-15 21:13:50 +000038// FunctionCaller constructor
Chris Lattner30fdc8d2010-06-08 16:52:24 +000039//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +000040FunctionCaller::FunctionCaller(ExecutionContextScope &exe_scope,
41 const CompilerType &return_type,
42 const Address &functionAddress,
43 const ValueList &arg_value_list,
44 const char *name)
45 : Expression(exe_scope), m_execution_unit_sp(), m_parser(),
46 m_jit_module_wp(), m_name(name ? name : "<unknown>"),
47 m_function_ptr(NULL), m_function_addr(functionAddress),
48 m_function_return_type(return_type),
49 m_wrapper_function_name("__lldb_caller_function"),
50 m_wrapper_struct_name("__lldb_caller_struct"), m_wrapper_args_addrs(),
Jason Molendaa6922412018-05-31 20:01:15 +000051 m_struct_valid(false), m_arg_values(arg_value_list), m_compiled(false),
52 m_JITted(false) {
Kate Stoneb9c1b512016-09-06 20:57:50 +000053 m_jit_process_wp = lldb::ProcessWP(exe_scope.CalculateProcess());
54 // Can't make a FunctionCaller without a process.
55 assert(m_jit_process_wp.lock());
Chris Lattner30fdc8d2010-06-08 16:52:24 +000056}
57
Chris Lattner30fdc8d2010-06-08 16:52:24 +000058//----------------------------------------------------------------------
59// Destructor
60//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +000061FunctionCaller::~FunctionCaller() {
62 lldb::ProcessSP process_sp(m_jit_process_wp.lock());
63 if (process_sp) {
64 lldb::ModuleSP jit_module_sp(m_jit_module_wp.lock());
65 if (jit_module_sp)
66 process_sp->GetTarget().GetImages().Remove(jit_module_sp);
67 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +000068}
69
Kate Stoneb9c1b512016-09-06 20:57:50 +000070bool FunctionCaller::WriteFunctionWrapper(
71 ExecutionContext &exe_ctx, DiagnosticManager &diagnostic_manager) {
72 Process *process = exe_ctx.GetProcessPtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +000073
Kate Stoneb9c1b512016-09-06 20:57:50 +000074 if (!process)
75 return false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000076
Kate Stoneb9c1b512016-09-06 20:57:50 +000077 lldb::ProcessSP jit_process_sp(m_jit_process_wp.lock());
Chris Lattner30fdc8d2010-06-08 16:52:24 +000078
Kate Stoneb9c1b512016-09-06 20:57:50 +000079 if (process != jit_process_sp.get())
80 return false;
81
82 if (!m_compiled)
83 return false;
84
85 if (m_JITted)
Chris Lattner30fdc8d2010-06-08 16:52:24 +000086 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000087
Kate Stoneb9c1b512016-09-06 20:57:50 +000088 bool can_interpret = false; // should stay that way
Chris Lattner30fdc8d2010-06-08 16:52:24 +000089
Zachary Turner97206d52017-05-12 04:51:55 +000090 Status jit_error(m_parser->PrepareForExecution(
Kate Stoneb9c1b512016-09-06 20:57:50 +000091 m_jit_start_addr, m_jit_end_addr, m_execution_unit_sp, exe_ctx,
92 can_interpret, eExecutionPolicyAlways));
Chris Lattner30fdc8d2010-06-08 16:52:24 +000093
Jim Ingham0d231f72018-06-28 20:02:11 +000094 if (!jit_error.Success()) {
95 diagnostic_manager.Printf(eDiagnosticSeverityError,
96 "Error in PrepareForExecution: %s.",
97 jit_error.AsCString());
Kate Stoneb9c1b512016-09-06 20:57:50 +000098 return false;
Jim Ingham0d231f72018-06-28 20:02:11 +000099 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000100
101 if (m_parser->GetGenerateDebugInfo()) {
102 lldb::ModuleSP jit_module_sp(m_execution_unit_sp->GetJITModule());
103
104 if (jit_module_sp) {
105 ConstString const_func_name(FunctionName());
106 FileSpec jit_file;
107 jit_file.GetFilename() = const_func_name;
108 jit_module_sp->SetFileSpecAndObjectName(jit_file, ConstString());
109 m_jit_module_wp = jit_module_sp;
110 process->GetTarget().GetImages().Append(jit_module_sp);
Sean Callanan1a8d4092010-08-27 01:01:44 +0000111 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000112 }
113 if (process && m_jit_start_addr)
114 m_jit_process_wp = process->shared_from_this();
Sean Callanan579e70c2016-03-19 00:03:59 +0000115
Kate Stoneb9c1b512016-09-06 20:57:50 +0000116 m_JITted = true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000117
Kate Stoneb9c1b512016-09-06 20:57:50 +0000118 return true;
119}
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000120
Kate Stoneb9c1b512016-09-06 20:57:50 +0000121bool FunctionCaller::WriteFunctionArguments(
122 ExecutionContext &exe_ctx, lldb::addr_t &args_addr_ref,
123 DiagnosticManager &diagnostic_manager) {
124 return WriteFunctionArguments(exe_ctx, args_addr_ref, m_arg_values,
125 diagnostic_manager);
126}
Jim Ingham35944dd2011-03-17 20:02:56 +0000127
Kate Stoneb9c1b512016-09-06 20:57:50 +0000128// FIXME: Assure that the ValueList we were passed in is consistent with the one
129// that defined this function.
130
131bool FunctionCaller::WriteFunctionArguments(
132 ExecutionContext &exe_ctx, lldb::addr_t &args_addr_ref,
133 ValueList &arg_values, DiagnosticManager &diagnostic_manager) {
134 // All the information to reconstruct the struct is provided by the
135 // StructExtractor.
136 if (!m_struct_valid) {
Zachary Turnere2411fa2016-11-12 19:12:56 +0000137 diagnostic_manager.PutString(eDiagnosticSeverityError,
138 "Argument information was not correctly "
139 "parsed, so the function cannot be called.");
Kate Stoneb9c1b512016-09-06 20:57:50 +0000140 return false;
141 }
142
Zachary Turner97206d52017-05-12 04:51:55 +0000143 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000144 lldb::ExpressionResults return_value = lldb::eExpressionSetupError;
145
146 Process *process = exe_ctx.GetProcessPtr();
147
148 if (process == NULL)
149 return return_value;
150
151 lldb::ProcessSP jit_process_sp(m_jit_process_wp.lock());
152
153 if (process != jit_process_sp.get())
154 return false;
155
156 if (args_addr_ref == LLDB_INVALID_ADDRESS) {
157 args_addr_ref = process->AllocateMemory(
158 m_struct_size, lldb::ePermissionsReadable | lldb::ePermissionsWritable,
159 error);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000160 if (args_addr_ref == LLDB_INVALID_ADDRESS)
Kate Stoneb9c1b512016-09-06 20:57:50 +0000161 return false;
162 m_wrapper_args_addrs.push_back(args_addr_ref);
163 } else {
164 // Make sure this is an address that we've already handed out.
165 if (find(m_wrapper_args_addrs.begin(), m_wrapper_args_addrs.end(),
166 args_addr_ref) == m_wrapper_args_addrs.end()) {
167 return false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000168 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000169 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000170
Kate Stoneb9c1b512016-09-06 20:57:50 +0000171 // TODO: verify fun_addr needs to be a callable address
172 Scalar fun_addr(
173 m_function_addr.GetCallableLoadAddress(exe_ctx.GetTargetPtr()));
174 uint64_t first_offset = m_member_offsets[0];
175 process->WriteScalarToMemory(args_addr_ref + first_offset, fun_addr,
176 process->GetAddressByteSize(), error);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000177
Kate Stoneb9c1b512016-09-06 20:57:50 +0000178 // FIXME: We will need to extend this for Variadic functions.
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000179
Zachary Turner97206d52017-05-12 04:51:55 +0000180 Status value_error;
Sean Callanan579e70c2016-03-19 00:03:59 +0000181
Kate Stoneb9c1b512016-09-06 20:57:50 +0000182 size_t num_args = arg_values.GetSize();
183 if (num_args != m_arg_values.GetSize()) {
184 diagnostic_manager.Printf(
185 eDiagnosticSeverityError,
186 "Wrong number of arguments - was: %" PRIu64 " should be: %" PRIu64 "",
187 (uint64_t)num_args, (uint64_t)m_arg_values.GetSize());
188 return false;
189 }
Sean Callanan579e70c2016-03-19 00:03:59 +0000190
Kate Stoneb9c1b512016-09-06 20:57:50 +0000191 for (size_t i = 0; i < num_args; i++) {
192 // FIXME: We should sanity check sizes.
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000193
Kate Stoneb9c1b512016-09-06 20:57:50 +0000194 uint64_t offset = m_member_offsets[i + 1]; // Clang sizes are in bytes.
195 Value *arg_value = arg_values.GetValueAtIndex(i);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000196
Kate Stoneb9c1b512016-09-06 20:57:50 +0000197 // FIXME: For now just do scalars:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000198
Kate Stoneb9c1b512016-09-06 20:57:50 +0000199 // Special case: if it's a pointer, don't do anything (the ABI supports
200 // passing cstrings)
201
202 if (arg_value->GetValueType() == Value::eValueTypeHostAddress &&
203 arg_value->GetContextType() == Value::eContextTypeInvalid &&
204 arg_value->GetCompilerType().IsPointerType())
205 continue;
206
207 const Scalar &arg_scalar = arg_value->ResolveValue(&exe_ctx);
208
209 if (!process->WriteScalarToMemory(args_addr_ref + offset, arg_scalar,
210 arg_scalar.GetByteSize(), error))
211 return false;
212 }
213
214 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000215}
216
Kate Stoneb9c1b512016-09-06 20:57:50 +0000217bool FunctionCaller::InsertFunction(ExecutionContext &exe_ctx,
218 lldb::addr_t &args_addr_ref,
219 DiagnosticManager &diagnostic_manager) {
220 if (CompileFunction(exe_ctx.GetThreadSP(), diagnostic_manager) != 0)
221 return false;
222 if (!WriteFunctionWrapper(exe_ctx, diagnostic_manager))
223 return false;
224 if (!WriteFunctionArguments(exe_ctx, args_addr_ref, diagnostic_manager))
225 return false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000226
Kate Stoneb9c1b512016-09-06 20:57:50 +0000227 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
228 if (log)
229 log->Printf("Call Address: 0x%" PRIx64 " Struct Address: 0x%" PRIx64 ".\n",
230 m_jit_start_addr, args_addr_ref);
231
232 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000233}
234
Kate Stoneb9c1b512016-09-06 20:57:50 +0000235lldb::ThreadPlanSP FunctionCaller::GetThreadPlanToCallFunction(
236 ExecutionContext &exe_ctx, lldb::addr_t args_addr,
237 const EvaluateExpressionOptions &options,
238 DiagnosticManager &diagnostic_manager) {
239 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_EXPRESSIONS |
240 LIBLLDB_LOG_STEP));
Sean Callanan579e70c2016-03-19 00:03:59 +0000241
Kate Stoneb9c1b512016-09-06 20:57:50 +0000242 if (log)
243 log->Printf("-- [FunctionCaller::GetThreadPlanToCallFunction] Creating "
244 "thread plan to call function \"%s\" --",
245 m_name.c_str());
246
247 // FIXME: Use the errors Stream for better error reporting.
248 Thread *thread = exe_ctx.GetThreadPtr();
249 if (thread == NULL) {
Zachary Turnere2411fa2016-11-12 19:12:56 +0000250 diagnostic_manager.PutString(
Kate Stoneb9c1b512016-09-06 20:57:50 +0000251 eDiagnosticSeverityError,
252 "Can't call a function without a valid thread.");
253 return NULL;
254 }
255
256 // Okay, now run the function:
257
258 Address wrapper_address(m_jit_start_addr);
259
260 lldb::addr_t args = {args_addr};
261
262 lldb::ThreadPlanSP new_plan_sp(new ThreadPlanCallFunction(
263 *thread, wrapper_address, CompilerType(), args, options));
264 new_plan_sp->SetIsMasterPlan(true);
265 new_plan_sp->SetOkayToDiscard(false);
266 return new_plan_sp;
267}
268
269bool FunctionCaller::FetchFunctionResults(ExecutionContext &exe_ctx,
270 lldb::addr_t args_addr,
271 Value &ret_value) {
272 // Read the return value - it is the last field in the struct:
273 // FIXME: How does clang tell us there's no return value? We need to handle
274 // that case.
275 // FIXME: Create our ThreadPlanCallFunction with the return CompilerType, and
276 // then use GetReturnValueObject
277 // to fetch the value. That way we can fetch any values we need.
278
279 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_EXPRESSIONS |
280 LIBLLDB_LOG_STEP));
281
282 if (log)
283 log->Printf("-- [FunctionCaller::FetchFunctionResults] Fetching function "
284 "results for \"%s\"--",
285 m_name.c_str());
286
287 Process *process = exe_ctx.GetProcessPtr();
288
289 if (process == NULL)
290 return false;
291
292 lldb::ProcessSP jit_process_sp(m_jit_process_wp.lock());
293
294 if (process != jit_process_sp.get())
295 return false;
296
Zachary Turner97206d52017-05-12 04:51:55 +0000297 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000298 ret_value.GetScalar() = process->ReadUnsignedIntegerFromMemory(
299 args_addr + m_return_offset, m_return_size, 0, error);
300
301 if (error.Fail())
302 return false;
303
304 ret_value.SetCompilerType(m_function_return_type);
305 ret_value.SetValueType(Value::eValueTypeScalar);
306 return true;
307}
308
309void FunctionCaller::DeallocateFunctionResults(ExecutionContext &exe_ctx,
310 lldb::addr_t args_addr) {
311 std::list<lldb::addr_t>::iterator pos;
312 pos = std::find(m_wrapper_args_addrs.begin(), m_wrapper_args_addrs.end(),
313 args_addr);
314 if (pos != m_wrapper_args_addrs.end())
315 m_wrapper_args_addrs.erase(pos);
316
317 exe_ctx.GetProcessRef().DeallocateMemory(args_addr);
318}
319
320lldb::ExpressionResults FunctionCaller::ExecuteFunction(
321 ExecutionContext &exe_ctx, lldb::addr_t *args_addr_ptr,
322 const EvaluateExpressionOptions &options,
323 DiagnosticManager &diagnostic_manager, Value &results) {
324 lldb::ExpressionResults return_value = lldb::eExpressionSetupError;
325
Adrian Prantl05097242018-04-30 16:49:04 +0000326 // FunctionCaller::ExecuteFunction execution is always just to get the
327 // result. Do make sure we ignore breakpoints, unwind on error, and don't try
328 // to debug it.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000329 EvaluateExpressionOptions real_options = options;
330 real_options.SetDebug(false);
331 real_options.SetUnwindOnError(true);
332 real_options.SetIgnoreBreakpoints(true);
333
334 lldb::addr_t args_addr;
335
336 if (args_addr_ptr != NULL)
337 args_addr = *args_addr_ptr;
338 else
339 args_addr = LLDB_INVALID_ADDRESS;
340
341 if (CompileFunction(exe_ctx.GetThreadSP(), diagnostic_manager) != 0)
342 return lldb::eExpressionSetupError;
343
344 if (args_addr == LLDB_INVALID_ADDRESS) {
345 if (!InsertFunction(exe_ctx, args_addr, diagnostic_manager))
346 return lldb::eExpressionSetupError;
347 }
348
349 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_EXPRESSIONS |
350 LIBLLDB_LOG_STEP));
351
352 if (log)
353 log->Printf(
354 "== [FunctionCaller::ExecuteFunction] Executing function \"%s\" ==",
355 m_name.c_str());
356
357 lldb::ThreadPlanSP call_plan_sp = GetThreadPlanToCallFunction(
358 exe_ctx, args_addr, real_options, diagnostic_manager);
359 if (!call_plan_sp)
360 return lldb::eExpressionSetupError;
361
362 // We need to make sure we record the fact that we are running an expression
Adrian Prantl05097242018-04-30 16:49:04 +0000363 // here otherwise this fact will fail to be recorded when fetching an
364 // Objective-C object description
Kate Stoneb9c1b512016-09-06 20:57:50 +0000365 if (exe_ctx.GetProcessPtr())
366 exe_ctx.GetProcessPtr()->SetRunningUserExpression(true);
367
368 return_value = exe_ctx.GetProcessRef().RunThreadPlan(
369 exe_ctx, call_plan_sp, real_options, diagnostic_manager);
370
371 if (log) {
372 if (return_value != lldb::eExpressionCompleted) {
373 log->Printf("== [FunctionCaller::ExecuteFunction] Execution of \"%s\" "
374 "completed abnormally ==",
375 m_name.c_str());
376 } else {
377 log->Printf("== [FunctionCaller::ExecuteFunction] Execution of \"%s\" "
378 "completed normally ==",
379 m_name.c_str());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000380 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000381 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000382
Kate Stoneb9c1b512016-09-06 20:57:50 +0000383 if (exe_ctx.GetProcessPtr())
384 exe_ctx.GetProcessPtr()->SetRunningUserExpression(false);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000385
Kate Stoneb9c1b512016-09-06 20:57:50 +0000386 if (args_addr_ptr != NULL)
387 *args_addr_ptr = args_addr;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000388
Kate Stoneb9c1b512016-09-06 20:57:50 +0000389 if (return_value != lldb::eExpressionCompleted)
390 return return_value;
Enrico Granatadfc88a02012-09-18 00:08:47 +0000391
Kate Stoneb9c1b512016-09-06 20:57:50 +0000392 FetchFunctionResults(exe_ctx, args_addr, results);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000393
Kate Stoneb9c1b512016-09-06 20:57:50 +0000394 if (args_addr_ptr == NULL)
395 DeallocateFunctionResults(exe_ctx, args_addr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000396
Kate Stoneb9c1b512016-09-06 20:57:50 +0000397 return lldb::eExpressionCompleted;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000398}