blob: eebfe8cd29a54f6682f56e3e24b9dd2ee59bba14 [file] [log] [blame]
Sean Callanan65dafa82010-08-27 01:01:44 +00001//===-- ClangUserExpression.cpp -------------------------------------*- C++ -*-===//
2//
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
10// C Includes
11#include <stdio.h>
12#if HAVE_SYS_TYPES_H
13# include <sys/types.h>
14#endif
15
16// C++ Includes
17#include <cstdlib>
18#include <string>
19#include <map>
20
21#include "lldb/Core/ConstString.h"
22#include "lldb/Core/Log.h"
23#include "lldb/Core/StreamString.h"
Greg Claytond1719722010-10-05 03:13:51 +000024#include "lldb/Core/ValueObjectConstResult.h"
Sean Callanan05a5a1b2010-12-16 03:17:46 +000025#include "lldb/Expression/ASTResultSynthesizer.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000026#include "lldb/Expression/ClangExpressionDeclMap.h"
27#include "lldb/Expression/ClangExpressionParser.h"
28#include "lldb/Expression/ClangFunction.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000029#include "lldb/Expression/ClangUserExpression.h"
30#include "lldb/Host/Host.h"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000031#include "lldb/Symbol/VariableList.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000032#include "lldb/Target/ExecutionContext.h"
Greg Clayton0baa3942010-11-04 01:54:29 +000033#include "lldb/Target/Process.h"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000034#include "lldb/Target/StackFrame.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000035#include "lldb/Target/Target.h"
Jim Ingham360f53f2010-11-30 02:22:11 +000036#include "lldb/Target/ThreadPlan.h"
37#include "lldb/Target/ThreadPlanCallUserExpression.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000038
39using namespace lldb_private;
40
Sean Callanan77e93942010-10-29 00:29:03 +000041ClangUserExpression::ClangUserExpression (const char *expr,
42 const char *expr_prefix) :
Sean Callanan65dafa82010-08-27 01:01:44 +000043 m_expr_text(expr),
Johnny Chenb4c0f022010-10-29 20:19:44 +000044 m_expr_prefix(expr_prefix ? expr_prefix : ""),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000045 m_transformed_text(),
46 m_jit_addr(LLDB_INVALID_ADDRESS),
47 m_cplusplus(false),
48 m_objectivec(false),
Sean Callanana91dd992010-11-19 02:52:21 +000049 m_needs_object_ptr(false),
Sean Callanane8e55572010-12-01 21:35:54 +000050 m_const_object(false),
Sean Callanana91dd992010-11-19 02:52:21 +000051 m_desired_type(NULL, NULL)
Sean Callanan65dafa82010-08-27 01:01:44 +000052{
Sean Callanan65dafa82010-08-27 01:01:44 +000053}
54
Sean Callanan830a9032010-08-27 23:31:21 +000055ClangUserExpression::~ClangUserExpression ()
56{
57}
58
Sean Callanan65dafa82010-08-27 01:01:44 +000059clang::ASTConsumer *
60ClangUserExpression::ASTTransformer (clang::ASTConsumer *passthrough)
61{
Sean Callanana91dd992010-11-19 02:52:21 +000062 return new ASTResultSynthesizer(passthrough,
63 m_desired_type);
Sean Callanan65dafa82010-08-27 01:01:44 +000064}
65
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000066void
67ClangUserExpression::ScanContext(ExecutionContext &exe_ctx)
68{
69 if (!exe_ctx.frame)
70 return;
71
72 VariableList *vars = exe_ctx.frame->GetVariableList(false);
73
74 if (!vars)
75 return;
76
Sean Callanane8e55572010-12-01 21:35:54 +000077 lldb::VariableSP this_var(vars->FindVariable(ConstString("this")));
78 lldb::VariableSP self_var(vars->FindVariable(ConstString("self")));
79
80 if (this_var.get())
81 {
82 Type *this_type = this_var->GetType();
83
84 lldb::clang_type_t pointer_target_type;
85
86 if (ClangASTContext::IsPointerType(this_type->GetClangType(),
87 &pointer_target_type))
88 {
89 TypeFromUser target_ast_type(pointer_target_type, this_type->GetClangAST());
90
91 if (target_ast_type.IsDefined())
92 m_cplusplus = true;
93
94 if (target_ast_type.IsConst())
95 m_const_object = true;
96 }
97 }
98 else if (self_var.get())
99 {
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000100 m_objectivec = true;
Sean Callanane8e55572010-12-01 21:35:54 +0000101 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000102}
103
Sean Callanan550f2762010-10-22 23:25:16 +0000104// This is a really nasty hack, meant to fix Objective-C expressions of the form
105// (int)[myArray count]. Right now, because the type information for count is
106// not available, [myArray count] returns id, which can't be directly cast to
107// int without causing a clang error.
108static void
109ApplyObjcCastHack(std::string &expr)
110{
111#define OBJC_CAST_HACK_FROM "(int)["
112#define OBJC_CAST_HACK_TO "(int)(long long)["
113
114 size_t from_offset;
115
116 while ((from_offset = expr.find(OBJC_CAST_HACK_FROM)) != expr.npos)
117 expr.replace(from_offset, sizeof(OBJC_CAST_HACK_FROM) - 1, OBJC_CAST_HACK_TO);
118
119#undef OBJC_CAST_HACK_TO
120#undef OBJC_CAST_HACK_FROM
121}
122
Sean Callanan30892372010-10-24 20:45:49 +0000123// Another hack, meant to allow use of unichar despite it not being available in
124// the type information. Although we could special-case it in type lookup,
125// hopefully we'll figure out a way to #include the same environment as is
126// present in the original source file rather than try to hack specific type
127// definitions in as needed.
128static void
129ApplyUnicharHack(std::string &expr)
130{
131#define UNICHAR_HACK_FROM "unichar"
132#define UNICHAR_HACK_TO "unsigned short"
133
134 size_t from_offset;
135
136 while ((from_offset = expr.find(UNICHAR_HACK_FROM)) != expr.npos)
137 expr.replace(from_offset, sizeof(UNICHAR_HACK_FROM) - 1, UNICHAR_HACK_TO);
138
139#undef UNICHAR_HACK_TO
140#undef UNICHAR_HACK_FROM
141}
142
Sean Callanan550f2762010-10-22 23:25:16 +0000143bool
Sean Callanana91dd992010-11-19 02:52:21 +0000144ClangUserExpression::Parse (Stream &error_stream,
145 ExecutionContext &exe_ctx,
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000146 TypeFromUser desired_type,
147 lldb::ClangExpressionVariableSP *const_result)
Sean Callanan65dafa82010-08-27 01:01:44 +0000148{
Greg Claytone005f2c2010-11-06 01:53:30 +0000149 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan65dafa82010-08-27 01:01:44 +0000150
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000151 ScanContext(exe_ctx);
152
153 StreamString m_transformed_stream;
154
155 ////////////////////////////////////
156 // Generate the expression
157 //
Sean Callanan550f2762010-10-22 23:25:16 +0000158
159 ApplyObjcCastHack(m_expr_text);
Greg Claytonf3d0b0c2010-10-27 03:32:59 +0000160 //ApplyUnicharHack(m_expr_text);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000161
162 if (m_cplusplus)
163 {
Sean Callanan77e93942010-10-29 00:29:03 +0000164 m_transformed_stream.Printf("%s \n"
165 "typedef unsigned short unichar; \n"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +0000166 "void \n"
Sean Callanane8e55572010-12-01 21:35:54 +0000167 "$__lldb_class::%s(void *$__lldb_arg) %s\n"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000168 "{ \n"
169 " %s; \n"
170 "} \n",
Sean Callanan77e93942010-10-29 00:29:03 +0000171 m_expr_prefix.c_str(),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000172 FunctionName(),
Sean Callanane8e55572010-12-01 21:35:54 +0000173 (m_const_object ? "const" : ""),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000174 m_expr_text.c_str());
175
176 m_needs_object_ptr = true;
177 }
Sean Callanan3aa7da52010-12-13 22:46:15 +0000178 else if(m_objectivec)
179 {
180 const char *function_name = FunctionName();
181
182 m_transformed_stream.Printf("%s \n"
Greg Claytonc5157ec2010-12-17 02:26:24 +0000183 "typedef unsigned short unichar; \n"
Sean Callanan3aa7da52010-12-13 22:46:15 +0000184 "@interface $__lldb_objc_class ($__lldb_category) \n"
185 "-(void)%s:(void *)$__lldb_arg; \n"
186 "@end \n"
187 "@implementation $__lldb_objc_class ($__lldb_category) \n"
188 "-(void)%s:(void *)$__lldb_arg \n"
189 "{ \n"
190 " %s; \n"
191 "} \n"
192 "@end \n",
193 m_expr_prefix.c_str(),
194 function_name,
195 function_name,
196 m_expr_text.c_str());
197
198 m_needs_object_ptr = true;
199 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000200 else
201 {
Sean Callanan77e93942010-10-29 00:29:03 +0000202 m_transformed_stream.Printf("%s \n"
203 "typedef unsigned short unichar;\n"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +0000204 "void \n"
Sean Callanan550f2762010-10-22 23:25:16 +0000205 "%s(void *$__lldb_arg) \n"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000206 "{ \n"
207 " %s; \n"
208 "} \n",
Sean Callanan77e93942010-10-29 00:29:03 +0000209 m_expr_prefix.c_str(),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000210 FunctionName(),
211 m_expr_text.c_str());
212 }
213
214 m_transformed_text = m_transformed_stream.GetData();
215
216
217 if (log)
218 log->Printf("Parsing the following code:\n%s", m_transformed_text.c_str());
219
Sean Callanan65dafa82010-08-27 01:01:44 +0000220 ////////////////////////////////////
221 // Set up the target and compiler
222 //
223
224 Target *target = exe_ctx.target;
225
226 if (!target)
227 {
228 error_stream.PutCString ("error: invalid target\n");
229 return false;
230 }
231
232 ConstString target_triple;
233
234 target->GetTargetTriple (target_triple);
235
236 if (!target_triple)
237 target_triple = Host::GetTargetTriple ();
238
239 if (!target_triple)
240 {
241 error_stream.PutCString ("error: invalid target triple\n");
242 return false;
243 }
244
245 //////////////////////////
246 // Parse the expression
247 //
248
Sean Callanana91dd992010-11-19 02:52:21 +0000249 m_desired_type = desired_type;
250
Sean Callananaa301c42010-12-03 01:38:59 +0000251 m_expr_decl_map.reset(new ClangExpressionDeclMap());
252
253 m_expr_decl_map->WillParse(exe_ctx);
Sean Callanan65dafa82010-08-27 01:01:44 +0000254
255 ClangExpressionParser parser(target_triple.GetCString(), *this);
256
257 unsigned num_errors = parser.Parse (error_stream);
258
259 if (num_errors)
260 {
261 error_stream.Printf ("error: %d errors parsing expression\n", num_errors);
Sean Callananaa301c42010-12-03 01:38:59 +0000262
263 m_expr_decl_map->DidParse();
264
Sean Callanan65dafa82010-08-27 01:01:44 +0000265 return false;
266 }
267
268 ///////////////////////////////////////////////
269 // Convert the output of the parser to DWARF
270 //
271
272 m_dwarf_opcodes.reset(new StreamString);
273 m_dwarf_opcodes->SetByteOrder (lldb::eByteOrderHost);
274 m_dwarf_opcodes->GetFlags ().Set (Stream::eBinary);
275
Greg Clayton427f2902010-12-14 02:59:59 +0000276 m_local_variables.reset(new ClangExpressionVariableList());
Sean Callanan65dafa82010-08-27 01:01:44 +0000277
278 Error dwarf_error = parser.MakeDWARF ();
279
280 if (dwarf_error.Success())
281 {
282 if (log)
283 log->Printf("Code can be interpreted.");
284
Sean Callananaa301c42010-12-03 01:38:59 +0000285 m_expr_decl_map->DidParse();
286
Sean Callanan65dafa82010-08-27 01:01:44 +0000287 return true;
288 }
289
290 //////////////////////////////////
291 // JIT the output of the parser
292 //
293
294 m_dwarf_opcodes.reset();
295
Sean Callanan830a9032010-08-27 23:31:21 +0000296 lldb::addr_t jit_end;
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000297
298 Error jit_error = parser.MakeJIT (m_jit_addr, jit_end, exe_ctx, const_result);
Sean Callanan65dafa82010-08-27 01:01:44 +0000299
Sean Callananaa301c42010-12-03 01:38:59 +0000300 m_expr_decl_map->DidParse();
301
Sean Callanan65dafa82010-08-27 01:01:44 +0000302 if (jit_error.Success())
303 {
Sean Callanan65dafa82010-08-27 01:01:44 +0000304 return true;
305 }
306 else
307 {
308 error_stream.Printf ("error: expression can't be interpreted or run\n", num_errors);
309 return false;
310 }
311}
312
313bool
Jim Inghamd1686902010-10-14 23:45:03 +0000314ClangUserExpression::PrepareToExecuteJITExpression (Stream &error_stream,
Sean Callananab06af92010-10-19 23:57:21 +0000315 ExecutionContext &exe_ctx,
316 lldb::addr_t &struct_address,
Sean Callanan047923c2010-12-14 00:42:36 +0000317 lldb::addr_t &object_ptr,
318 lldb::addr_t &cmd_ptr)
Sean Callanan65dafa82010-08-27 01:01:44 +0000319{
Greg Claytone005f2c2010-11-06 01:53:30 +0000320 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan65dafa82010-08-27 01:01:44 +0000321
Jim Inghamd1686902010-10-14 23:45:03 +0000322 if (m_jit_addr != LLDB_INVALID_ADDRESS)
Sean Callanan65dafa82010-08-27 01:01:44 +0000323 {
Sean Callanan65dafa82010-08-27 01:01:44 +0000324 Error materialize_error;
325
Sean Callanan3aa7da52010-12-13 22:46:15 +0000326 if (m_needs_object_ptr)
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000327 {
Sean Callanan3aa7da52010-12-13 22:46:15 +0000328 ConstString object_name;
329
330 if (m_cplusplus)
331 {
332 object_name.SetCString("this");
333 }
334 else if (m_objectivec)
335 {
336 object_name.SetCString("self");
337 }
338 else
339 {
340 error_stream.Printf("Need object pointer but don't know the language\n");
341 return false;
342 }
343
344 if (!(m_expr_decl_map->GetObjectPointer(object_ptr, object_name, exe_ctx, materialize_error)))
345 {
346 error_stream.Printf("Couldn't get required object pointer: %s\n", materialize_error.AsCString());
347 return false;
348 }
Sean Callanan047923c2010-12-14 00:42:36 +0000349
350 if (m_objectivec)
351 {
352 ConstString cmd_name("_cmd");
353
354 if (!(m_expr_decl_map->GetObjectPointer(cmd_ptr, cmd_name, exe_ctx, materialize_error, true)))
355 {
356 error_stream.Printf("Couldn't get required object pointer: %s\n", materialize_error.AsCString());
357 return false;
358 }
359 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000360 }
361
Sean Callananaa301c42010-12-03 01:38:59 +0000362 if (!m_expr_decl_map->Materialize(exe_ctx, struct_address, materialize_error))
Sean Callanan65dafa82010-08-27 01:01:44 +0000363 {
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000364 error_stream.Printf("Couldn't materialize struct: %s\n", materialize_error.AsCString());
Sean Callanan65dafa82010-08-27 01:01:44 +0000365 return false;
366 }
367
368 if (log)
369 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000370 log->Printf("-- [ClangUserExpression::PrepareToExecuteJITExpression] Materializing for execution --");
Sean Callanan33711022010-12-07 10:00:20 +0000371
372 log->Printf(" Function address : 0x%llx", (uint64_t)m_jit_addr);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000373
374 if (m_needs_object_ptr)
Sean Callanan33711022010-12-07 10:00:20 +0000375 log->Printf(" Object pointer : 0x%llx", (uint64_t)object_ptr);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000376
Sean Callanan33711022010-12-07 10:00:20 +0000377 log->Printf(" Structure address : 0x%llx", (uint64_t)struct_address);
Sean Callanan65dafa82010-08-27 01:01:44 +0000378
379 StreamString args;
380
381 Error dump_error;
382
Sean Callanane8a59a82010-09-13 21:34:21 +0000383 if (struct_address)
Sean Callanan65dafa82010-08-27 01:01:44 +0000384 {
Sean Callananaa301c42010-12-03 01:38:59 +0000385 if (!m_expr_decl_map->DumpMaterializedStruct(exe_ctx, args, dump_error))
Sean Callanane8a59a82010-09-13 21:34:21 +0000386 {
Sean Callanan33711022010-12-07 10:00:20 +0000387 log->Printf(" Couldn't extract variable values : %s", dump_error.AsCString("unknown error"));
Sean Callanane8a59a82010-09-13 21:34:21 +0000388 }
389 else
390 {
Sean Callanan33711022010-12-07 10:00:20 +0000391 log->Printf(" Structure contents:\n%s", args.GetData());
Sean Callanane8a59a82010-09-13 21:34:21 +0000392 }
Sean Callanan65dafa82010-08-27 01:01:44 +0000393 }
394 }
Jim Inghamd1686902010-10-14 23:45:03 +0000395 }
396 return true;
397}
398
399ThreadPlan *
400ClangUserExpression::GetThreadPlanToExecuteJITExpression (Stream &error_stream,
401 ExecutionContext &exe_ctx)
402{
403 lldb::addr_t struct_address;
404
405 lldb::addr_t object_ptr = NULL;
Sean Callanan3aa7da52010-12-13 22:46:15 +0000406 lldb::addr_t cmd_ptr = NULL;
Jim Inghamd1686902010-10-14 23:45:03 +0000407
Sean Callanan047923c2010-12-14 00:42:36 +0000408 PrepareToExecuteJITExpression (error_stream, exe_ctx, struct_address, object_ptr, cmd_ptr);
Jim Inghamd1686902010-10-14 23:45:03 +0000409
Jim Ingham360f53f2010-11-30 02:22:11 +0000410 // FIXME: This should really return a ThreadPlanCallUserExpression, in order to make sure that we don't release the
411 // ClangUserExpression resources before the thread plan finishes execution in the target. But because we are
Sean Callanan3aa7da52010-12-13 22:46:15 +0000412 // forcing unwind_on_error to be true here, in practical terms that can't happen.
413
Jim Inghamd1686902010-10-14 23:45:03 +0000414 return ClangFunction::GetThreadPlanToCallFunction (exe_ctx,
Sean Callanana65b5272010-12-01 01:28:23 +0000415 m_jit_addr,
416 struct_address,
417 error_stream,
418 true,
419 true,
Sean Callanan3aa7da52010-12-13 22:46:15 +0000420 (m_needs_object_ptr ? &object_ptr : NULL),
421 (m_needs_object_ptr && m_objectivec) ? &cmd_ptr : NULL);
Jim Inghamd1686902010-10-14 23:45:03 +0000422}
423
424bool
425ClangUserExpression::FinalizeJITExecution (Stream &error_stream,
426 ExecutionContext &exe_ctx,
Greg Clayton427f2902010-12-14 02:59:59 +0000427 lldb::ClangExpressionVariableSP &result)
Jim Inghamd1686902010-10-14 23:45:03 +0000428{
429 Error expr_error;
430
Sean Callanan33711022010-12-07 10:00:20 +0000431 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
432
433 if (log)
434 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000435 log->Printf("-- [ClangUserExpression::FinalizeJITExecution] Dematerializing after execution --");
Sean Callanan33711022010-12-07 10:00:20 +0000436
437 StreamString args;
438
439 Error dump_error;
440
441 if (!m_expr_decl_map->DumpMaterializedStruct(exe_ctx, args, dump_error))
442 {
443 log->Printf(" Couldn't extract variable values : %s", dump_error.AsCString("unknown error"));
444 }
445 else
446 {
447 log->Printf(" Structure contents:\n%s", args.GetData());
448 }
449 }
450
Sean Callananaa301c42010-12-03 01:38:59 +0000451 if (!m_expr_decl_map->Dematerialize(exe_ctx, result, expr_error))
Jim Inghamd1686902010-10-14 23:45:03 +0000452 {
453 error_stream.Printf ("Couldn't dematerialize struct : %s\n", expr_error.AsCString("unknown error"));
454 return false;
455 }
456 return true;
457}
458
Greg Clayton427f2902010-12-14 02:59:59 +0000459lldb::ExecutionResults
Jim Inghamd1686902010-10-14 23:45:03 +0000460ClangUserExpression::Execute (Stream &error_stream,
461 ExecutionContext &exe_ctx,
Jim Inghamea9d4262010-11-05 19:25:48 +0000462 bool discard_on_error,
Jim Ingham360f53f2010-11-30 02:22:11 +0000463 ClangUserExpression::ClangUserExpressionSP &shared_ptr_to_me,
Greg Clayton427f2902010-12-14 02:59:59 +0000464 lldb::ClangExpressionVariableSP &result)
Jim Inghamd1686902010-10-14 23:45:03 +0000465{
Sean Callanan33711022010-12-07 10:00:20 +0000466 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
467
Jim Inghamd1686902010-10-14 23:45:03 +0000468 if (m_dwarf_opcodes.get())
469 {
470 // TODO execute the JITted opcodes
471
472 error_stream.Printf("We don't currently support executing DWARF expressions");
473
Greg Clayton427f2902010-12-14 02:59:59 +0000474 return lldb::eExecutionSetupError;
Jim Inghamd1686902010-10-14 23:45:03 +0000475 }
476 else if (m_jit_addr != LLDB_INVALID_ADDRESS)
477 {
478 lldb::addr_t struct_address;
479
480 lldb::addr_t object_ptr = NULL;
Sean Callanan3aa7da52010-12-13 22:46:15 +0000481 lldb::addr_t cmd_ptr = NULL;
Jim Inghamd1686902010-10-14 23:45:03 +0000482
Sean Callanan047923c2010-12-14 00:42:36 +0000483 if (!PrepareToExecuteJITExpression (error_stream, exe_ctx, struct_address, object_ptr, cmd_ptr))
Greg Clayton427f2902010-12-14 02:59:59 +0000484 return lldb::eExecutionSetupError;
Sean Callanan65dafa82010-08-27 01:01:44 +0000485
Jim Inghamea9d4262010-11-05 19:25:48 +0000486 const bool stop_others = true;
487 const bool try_all_threads = true;
Sean Callanan65dafa82010-08-27 01:01:44 +0000488
Jim Ingham360f53f2010-11-30 02:22:11 +0000489 Address wrapper_address (NULL, m_jit_addr);
Sean Callanan3aa7da52010-12-13 22:46:15 +0000490 lldb::ThreadPlanSP call_plan_sp(new ThreadPlanCallUserExpression (*(exe_ctx.thread),
491 wrapper_address,
492 struct_address,
493 stop_others,
494 discard_on_error,
495 (m_needs_object_ptr ? &object_ptr : NULL),
496 ((m_needs_object_ptr && m_objectivec) ? &cmd_ptr : NULL),
497 shared_ptr_to_me));
498
Jim Ingham360f53f2010-11-30 02:22:11 +0000499 if (call_plan_sp == NULL || !call_plan_sp->ValidatePlan (NULL))
Greg Clayton427f2902010-12-14 02:59:59 +0000500 return lldb::eExecutionSetupError;
Jim Ingham360f53f2010-11-30 02:22:11 +0000501
502 call_plan_sp->SetPrivate(true);
503
504 uint32_t single_thread_timeout_usec = 10000000;
Sean Callanan33711022010-12-07 10:00:20 +0000505
506 if (log)
Sean Callanan94d255f2010-12-07 22:55:01 +0000507 log->Printf("-- [ClangUserExpression::Execute] Execution of expression begins --");
Sean Callanan33711022010-12-07 10:00:20 +0000508
Greg Clayton427f2902010-12-14 02:59:59 +0000509 lldb::ExecutionResults execution_result = exe_ctx.process->RunThreadPlan (exe_ctx,
510 call_plan_sp,
511 stop_others,
512 try_all_threads,
513 discard_on_error,
514 single_thread_timeout_usec,
515 error_stream);
Sean Callanan33711022010-12-07 10:00:20 +0000516
517 if (log)
Sean Callanan94d255f2010-12-07 22:55:01 +0000518 log->Printf("-- [ClangUserExpression::Execute] Execution of expression completed --");
Jim Ingham360f53f2010-11-30 02:22:11 +0000519
Greg Clayton427f2902010-12-14 02:59:59 +0000520 if (execution_result == lldb::eExecutionInterrupted)
Sean Callanan65dafa82010-08-27 01:01:44 +0000521 {
Jim Ingham360f53f2010-11-30 02:22:11 +0000522 if (discard_on_error)
523 error_stream.Printf ("Expression execution was interrupted. The process has been returned to the state before execution.");
524 else
525 error_stream.Printf ("Expression execution was interrupted. The process has been left at the point where it was interrupted.");
526
527 return execution_result;
528 }
Greg Clayton427f2902010-12-14 02:59:59 +0000529 else if (execution_result != lldb::eExecutionCompleted)
Jim Ingham360f53f2010-11-30 02:22:11 +0000530 {
531 error_stream.Printf ("Couldn't execute function; result was %s\n", Process::ExecutionResultAsCString (execution_result));
532 return execution_result;
Sean Callanan65dafa82010-08-27 01:01:44 +0000533 }
534
Jim Ingham360f53f2010-11-30 02:22:11 +0000535 if (FinalizeJITExecution (error_stream, exe_ctx, result))
Greg Clayton427f2902010-12-14 02:59:59 +0000536 return lldb::eExecutionCompleted;
Jim Ingham360f53f2010-11-30 02:22:11 +0000537 else
Greg Clayton427f2902010-12-14 02:59:59 +0000538 return lldb::eExecutionSetupError;
Sean Callanan65dafa82010-08-27 01:01:44 +0000539 }
540 else
541 {
Johnny Chencb395442010-11-10 19:02:11 +0000542 error_stream.Printf("Expression can't be run; neither DWARF nor a JIT compiled function is present");
Greg Clayton427f2902010-12-14 02:59:59 +0000543 return lldb::eExecutionSetupError;
Sean Callanan65dafa82010-08-27 01:01:44 +0000544 }
545}
546
547StreamString &
548ClangUserExpression::DwarfOpcodeStream ()
549{
550 if (!m_dwarf_opcodes.get())
551 m_dwarf_opcodes.reset(new StreamString());
552
553 return *m_dwarf_opcodes.get();
554}
Greg Clayton377e0b42010-10-05 00:31:29 +0000555
Greg Clayton427f2902010-12-14 02:59:59 +0000556lldb::ExecutionResults
Sean Callanan77e93942010-10-29 00:29:03 +0000557ClangUserExpression::Evaluate (ExecutionContext &exe_ctx,
Jim Inghamea9d4262010-11-05 19:25:48 +0000558 bool discard_on_error,
Sean Callanan77e93942010-10-29 00:29:03 +0000559 const char *expr_cstr,
Jim Ingham360f53f2010-11-30 02:22:11 +0000560 const char *expr_prefix,
561 lldb::ValueObjectSP &result_valobj_sp)
Greg Clayton377e0b42010-10-05 00:31:29 +0000562{
Sean Callanan94d255f2010-12-07 22:55:01 +0000563 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
564
Greg Clayton377e0b42010-10-05 00:31:29 +0000565 Error error;
Greg Clayton427f2902010-12-14 02:59:59 +0000566 lldb::ExecutionResults execution_results = lldb::eExecutionSetupError;
Greg Clayton0baa3942010-11-04 01:54:29 +0000567
568 if (exe_ctx.process == NULL)
Jim Ingham360f53f2010-11-30 02:22:11 +0000569 {
570 error.SetErrorString ("Must have a process to evaluate expressions.");
571
572 result_valobj_sp.reset (new ValueObjectConstResult (error));
Greg Clayton427f2902010-12-14 02:59:59 +0000573 return lldb::eExecutionSetupError;
Jim Ingham360f53f2010-11-30 02:22:11 +0000574 }
575
Greg Clayton0baa3942010-11-04 01:54:29 +0000576 if (!exe_ctx.process->GetDynamicCheckers())
577 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000578 if (log)
579 log->Printf("== [ClangUserExpression::Evaluate] Installing dynamic checkers ==");
580
Greg Clayton0baa3942010-11-04 01:54:29 +0000581 DynamicCheckerFunctions *dynamic_checkers = new DynamicCheckerFunctions();
582
583 StreamString install_errors;
584
585 if (!dynamic_checkers->Install(install_errors, exe_ctx))
Sean Callananf7731452010-11-05 00:57:06 +0000586 {
587 if (install_errors.GetString().empty())
588 error.SetErrorString ("couldn't install checkers, unknown error");
589 else
590 error.SetErrorString (install_errors.GetString().c_str());
591
592 result_valobj_sp.reset (new ValueObjectConstResult (error));
Greg Clayton427f2902010-12-14 02:59:59 +0000593 return lldb::eExecutionSetupError;
Sean Callananf7731452010-11-05 00:57:06 +0000594 }
595
Greg Clayton0baa3942010-11-04 01:54:29 +0000596 exe_ctx.process->SetDynamicCheckers(dynamic_checkers);
Sean Callanan94d255f2010-12-07 22:55:01 +0000597
598 if (log)
599 log->Printf("== [ClangUserExpression::Evaluate] Finished installing dynamic checkers ==");
Greg Clayton0baa3942010-11-04 01:54:29 +0000600 }
601
Jim Ingham360f53f2010-11-30 02:22:11 +0000602 ClangUserExpressionSP user_expression_sp (new ClangUserExpression (expr_cstr, expr_prefix));
603
Greg Clayton377e0b42010-10-05 00:31:29 +0000604 StreamString error_stream;
605
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000606 lldb::ClangExpressionVariableSP const_result;
607
Sean Callanan94d255f2010-12-07 22:55:01 +0000608 if (log)
609 log->Printf("== [ClangUserExpression::Evaluate] Parsing expression %s ==", expr_cstr);
610
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000611 if (!user_expression_sp->Parse (error_stream, exe_ctx, TypeFromUser(NULL, NULL), &const_result))
Greg Clayton377e0b42010-10-05 00:31:29 +0000612 {
613 if (error_stream.GetString().empty())
614 error.SetErrorString ("expression failed to parse, unknown error");
615 else
616 error.SetErrorString (error_stream.GetString().c_str());
617 }
618 else
619 {
Greg Clayton427f2902010-12-14 02:59:59 +0000620 lldb::ClangExpressionVariableSP expr_result;
Greg Clayton377e0b42010-10-05 00:31:29 +0000621
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000622 if (const_result.get())
Greg Clayton377e0b42010-10-05 00:31:29 +0000623 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000624 if (log)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000625 log->Printf("== [ClangUserExpression::Evaluate] Expression evaluated as a constant ==");
Sean Callanan94d255f2010-12-07 22:55:01 +0000626
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000627 result_valobj_sp = const_result->GetValueObject();
Greg Clayton377e0b42010-10-05 00:31:29 +0000628 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000629 else
630 {
631 error_stream.GetString().clear();
632
633 if (log)
634 log->Printf("== [ClangUserExpression::Evaluate] Executing expression ==");
635
636 execution_results = user_expression_sp->Execute (error_stream,
637 exe_ctx,
638 discard_on_error,
639 user_expression_sp,
640 expr_result);
641
642 if (execution_results != lldb::eExecutionCompleted)
Greg Clayton377e0b42010-10-05 00:31:29 +0000643 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000644 if (log)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000645 log->Printf("== [ClangUserExpression::Evaluate] Execution completed abnormally ==");
646
647 if (error_stream.GetString().empty())
648 error.SetErrorString ("expression failed to execute, unknown error");
649 else
650 error.SetErrorString (error_stream.GetString().c_str());
Greg Clayton377e0b42010-10-05 00:31:29 +0000651 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000652 else
Greg Clayton377e0b42010-10-05 00:31:29 +0000653 {
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000654 if (expr_result)
655 {
656 result_valobj_sp = expr_result->GetValueObject();
657
658 if (log)
659 log->Printf("== [ClangUserExpression::Evaluate] Execution completed normally with result %s ==", result_valobj_sp->GetValueAsCString(exe_ctx.GetBestExecutionContextScope()));
660 }
661 else
662 {
663 if (log)
664 log->Printf("== [ClangUserExpression::Evaluate] Execution completed normally with no result ==");
665
666 error.SetErrorString ("Expression did not return a result");
667 }
Greg Clayton377e0b42010-10-05 00:31:29 +0000668 }
669 }
670 }
Sean Callanan44820ec2010-10-19 20:15:00 +0000671
Greg Claytond1719722010-10-05 03:13:51 +0000672 if (result_valobj_sp.get() == NULL)
673 result_valobj_sp.reset (new ValueObjectConstResult (error));
674
Jim Ingham360f53f2010-11-30 02:22:11 +0000675 return execution_results;
Johnny Chenb4c0f022010-10-29 20:19:44 +0000676}