blob: f64448a4bd2250f9cc919c1d04d2c440594b475f [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"
Greg Claytonc71899e2011-01-18 19:36:39 +000023#include "lldb/Core/StreamFile.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000024#include "lldb/Core/StreamString.h"
Greg Claytond1719722010-10-05 03:13:51 +000025#include "lldb/Core/ValueObjectConstResult.h"
Sean Callanan05a5a1b2010-12-16 03:17:46 +000026#include "lldb/Expression/ASTResultSynthesizer.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000027#include "lldb/Expression/ClangExpressionDeclMap.h"
28#include "lldb/Expression/ClangExpressionParser.h"
29#include "lldb/Expression/ClangFunction.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000030#include "lldb/Expression/ClangUserExpression.h"
31#include "lldb/Host/Host.h"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000032#include "lldb/Symbol/VariableList.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000033#include "lldb/Target/ExecutionContext.h"
Greg Clayton0baa3942010-11-04 01:54:29 +000034#include "lldb/Target/Process.h"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000035#include "lldb/Target/StackFrame.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000036#include "lldb/Target/Target.h"
Jim Ingham360f53f2010-11-30 02:22:11 +000037#include "lldb/Target/ThreadPlan.h"
38#include "lldb/Target/ThreadPlanCallUserExpression.h"
Sean Callanan65dafa82010-08-27 01:01:44 +000039
40using namespace lldb_private;
41
Sean Callanan77e93942010-10-29 00:29:03 +000042ClangUserExpression::ClangUserExpression (const char *expr,
43 const char *expr_prefix) :
Greg Claytond0882d02011-01-19 23:00:49 +000044 ClangExpression (),
45 m_expr_text (expr),
46 m_expr_prefix (expr_prefix ? expr_prefix : ""),
47 m_transformed_text (),
48 m_cplusplus (false),
49 m_objectivec (false),
50 m_needs_object_ptr (false),
51 m_const_object (false),
52 m_desired_type (NULL, NULL)
Sean Callanan65dafa82010-08-27 01:01:44 +000053{
Sean Callanan65dafa82010-08-27 01:01:44 +000054}
55
Sean Callanan830a9032010-08-27 23:31:21 +000056ClangUserExpression::~ClangUserExpression ()
57{
58}
59
Sean Callanan65dafa82010-08-27 01:01:44 +000060clang::ASTConsumer *
61ClangUserExpression::ASTTransformer (clang::ASTConsumer *passthrough)
62{
Sean Callanana91dd992010-11-19 02:52:21 +000063 return new ASTResultSynthesizer(passthrough,
64 m_desired_type);
Sean Callanan65dafa82010-08-27 01:01:44 +000065}
66
Sean Callanan3c9c5eb2010-09-21 00:44:12 +000067void
68ClangUserExpression::ScanContext(ExecutionContext &exe_ctx)
69{
70 if (!exe_ctx.frame)
71 return;
72
73 VariableList *vars = exe_ctx.frame->GetVariableList(false);
74
75 if (!vars)
76 return;
77
Sean Callanane8e55572010-12-01 21:35:54 +000078 lldb::VariableSP this_var(vars->FindVariable(ConstString("this")));
79 lldb::VariableSP self_var(vars->FindVariable(ConstString("self")));
80
81 if (this_var.get())
82 {
83 Type *this_type = this_var->GetType();
84
85 lldb::clang_type_t pointer_target_type;
86
87 if (ClangASTContext::IsPointerType(this_type->GetClangType(),
88 &pointer_target_type))
89 {
90 TypeFromUser target_ast_type(pointer_target_type, this_type->GetClangAST());
91
Sean Callanan14404f82011-01-24 08:11:45 +000092 if (target_ast_type.IsDefined() &&
93 ClangASTContext::IsCXXClassType(target_ast_type.GetOpaqueQualType()))
94 {
Sean Callanane8e55572010-12-01 21:35:54 +000095 m_cplusplus = true;
96
Sean Callanan14404f82011-01-24 08:11:45 +000097 if (target_ast_type.IsConst())
98 m_const_object = true;
99 }
Sean Callanane8e55572010-12-01 21:35:54 +0000100 }
101 }
102 else if (self_var.get())
103 {
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000104 m_objectivec = true;
Sean Callanane8e55572010-12-01 21:35:54 +0000105 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000106}
107
Sean Callanan550f2762010-10-22 23:25:16 +0000108// This is a really nasty hack, meant to fix Objective-C expressions of the form
109// (int)[myArray count]. Right now, because the type information for count is
110// not available, [myArray count] returns id, which can't be directly cast to
111// int without causing a clang error.
112static void
113ApplyObjcCastHack(std::string &expr)
114{
115#define OBJC_CAST_HACK_FROM "(int)["
116#define OBJC_CAST_HACK_TO "(int)(long long)["
117
118 size_t from_offset;
119
120 while ((from_offset = expr.find(OBJC_CAST_HACK_FROM)) != expr.npos)
121 expr.replace(from_offset, sizeof(OBJC_CAST_HACK_FROM) - 1, OBJC_CAST_HACK_TO);
122
123#undef OBJC_CAST_HACK_TO
124#undef OBJC_CAST_HACK_FROM
125}
126
Sean Callanan30892372010-10-24 20:45:49 +0000127// Another hack, meant to allow use of unichar despite it not being available in
128// the type information. Although we could special-case it in type lookup,
129// hopefully we'll figure out a way to #include the same environment as is
130// present in the original source file rather than try to hack specific type
131// definitions in as needed.
132static void
133ApplyUnicharHack(std::string &expr)
134{
135#define UNICHAR_HACK_FROM "unichar"
136#define UNICHAR_HACK_TO "unsigned short"
137
138 size_t from_offset;
139
140 while ((from_offset = expr.find(UNICHAR_HACK_FROM)) != expr.npos)
141 expr.replace(from_offset, sizeof(UNICHAR_HACK_FROM) - 1, UNICHAR_HACK_TO);
142
143#undef UNICHAR_HACK_TO
144#undef UNICHAR_HACK_FROM
145}
146
Sean Callanan550f2762010-10-22 23:25:16 +0000147bool
Sean Callanana91dd992010-11-19 02:52:21 +0000148ClangUserExpression::Parse (Stream &error_stream,
149 ExecutionContext &exe_ctx,
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000150 TypeFromUser desired_type,
Sean Callanan6a925532011-01-13 08:53:35 +0000151 bool keep_result_in_memory,
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000152 lldb::ClangExpressionVariableSP *const_result)
Sean Callanan65dafa82010-08-27 01:01:44 +0000153{
Greg Claytone005f2c2010-11-06 01:53:30 +0000154 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan65dafa82010-08-27 01:01:44 +0000155
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000156 ScanContext(exe_ctx);
157
158 StreamString m_transformed_stream;
159
160 ////////////////////////////////////
161 // Generate the expression
162 //
Sean Callanan550f2762010-10-22 23:25:16 +0000163
164 ApplyObjcCastHack(m_expr_text);
Greg Claytonf3d0b0c2010-10-27 03:32:59 +0000165 //ApplyUnicharHack(m_expr_text);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000166
167 if (m_cplusplus)
168 {
Sean Callanan77e93942010-10-29 00:29:03 +0000169 m_transformed_stream.Printf("%s \n"
170 "typedef unsigned short unichar; \n"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +0000171 "void \n"
Sean Callanane8e55572010-12-01 21:35:54 +0000172 "$__lldb_class::%s(void *$__lldb_arg) %s\n"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000173 "{ \n"
174 " %s; \n"
175 "} \n",
Sean Callanan77e93942010-10-29 00:29:03 +0000176 m_expr_prefix.c_str(),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000177 FunctionName(),
Sean Callanane8e55572010-12-01 21:35:54 +0000178 (m_const_object ? "const" : ""),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000179 m_expr_text.c_str());
180
181 m_needs_object_ptr = true;
182 }
Sean Callanan3aa7da52010-12-13 22:46:15 +0000183 else if(m_objectivec)
184 {
185 const char *function_name = FunctionName();
186
187 m_transformed_stream.Printf("%s \n"
Greg Claytonc5157ec2010-12-17 02:26:24 +0000188 "typedef unsigned short unichar; \n"
Sean Callanan3aa7da52010-12-13 22:46:15 +0000189 "@interface $__lldb_objc_class ($__lldb_category) \n"
190 "-(void)%s:(void *)$__lldb_arg; \n"
191 "@end \n"
192 "@implementation $__lldb_objc_class ($__lldb_category) \n"
193 "-(void)%s:(void *)$__lldb_arg \n"
194 "{ \n"
195 " %s; \n"
196 "} \n"
197 "@end \n",
198 m_expr_prefix.c_str(),
199 function_name,
200 function_name,
201 m_expr_text.c_str());
202
203 m_needs_object_ptr = true;
204 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000205 else
206 {
Sean Callanan77e93942010-10-29 00:29:03 +0000207 m_transformed_stream.Printf("%s \n"
208 "typedef unsigned short unichar;\n"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +0000209 "void \n"
Sean Callanan550f2762010-10-22 23:25:16 +0000210 "%s(void *$__lldb_arg) \n"
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000211 "{ \n"
212 " %s; \n"
213 "} \n",
Sean Callanan77e93942010-10-29 00:29:03 +0000214 m_expr_prefix.c_str(),
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000215 FunctionName(),
216 m_expr_text.c_str());
217 }
218
219 m_transformed_text = m_transformed_stream.GetData();
220
221
222 if (log)
223 log->Printf("Parsing the following code:\n%s", m_transformed_text.c_str());
224
Sean Callanan65dafa82010-08-27 01:01:44 +0000225 ////////////////////////////////////
226 // Set up the target and compiler
227 //
228
229 Target *target = exe_ctx.target;
230
231 if (!target)
232 {
233 error_stream.PutCString ("error: invalid target\n");
234 return false;
235 }
236
237 ConstString target_triple;
238
239 target->GetTargetTriple (target_triple);
240
241 if (!target_triple)
242 target_triple = Host::GetTargetTriple ();
243
244 if (!target_triple)
245 {
246 error_stream.PutCString ("error: invalid target triple\n");
247 return false;
248 }
249
250 //////////////////////////
251 // Parse the expression
252 //
253
Sean Callanana91dd992010-11-19 02:52:21 +0000254 m_desired_type = desired_type;
255
Sean Callanan6a925532011-01-13 08:53:35 +0000256 m_expr_decl_map.reset(new ClangExpressionDeclMap(keep_result_in_memory));
Sean Callananaa301c42010-12-03 01:38:59 +0000257
258 m_expr_decl_map->WillParse(exe_ctx);
Sean Callanan65dafa82010-08-27 01:01:44 +0000259
Sean Callananc7674af2011-01-17 23:42:46 +0000260 ClangExpressionParser parser(target_triple.GetCString(), exe_ctx.process, *this);
Sean Callanan65dafa82010-08-27 01:01:44 +0000261
262 unsigned num_errors = parser.Parse (error_stream);
263
264 if (num_errors)
265 {
266 error_stream.Printf ("error: %d errors parsing expression\n", num_errors);
Sean Callananaa301c42010-12-03 01:38:59 +0000267
268 m_expr_decl_map->DidParse();
269
Sean Callanan65dafa82010-08-27 01:01:44 +0000270 return false;
271 }
272
273 ///////////////////////////////////////////////
274 // Convert the output of the parser to DWARF
275 //
276
277 m_dwarf_opcodes.reset(new StreamString);
Greg Claytoncd548032011-02-01 01:31:41 +0000278 m_dwarf_opcodes->SetByteOrder (lldb::endian::InlHostByteOrder());
Sean Callanan65dafa82010-08-27 01:01:44 +0000279 m_dwarf_opcodes->GetFlags ().Set (Stream::eBinary);
280
Greg Clayton427f2902010-12-14 02:59:59 +0000281 m_local_variables.reset(new ClangExpressionVariableList());
Sean Callanan65dafa82010-08-27 01:01:44 +0000282
283 Error dwarf_error = parser.MakeDWARF ();
284
285 if (dwarf_error.Success())
286 {
287 if (log)
288 log->Printf("Code can be interpreted.");
289
Sean Callananaa301c42010-12-03 01:38:59 +0000290 m_expr_decl_map->DidParse();
291
Sean Callanan65dafa82010-08-27 01:01:44 +0000292 return true;
293 }
294
295 //////////////////////////////////
296 // JIT the output of the parser
297 //
298
299 m_dwarf_opcodes.reset();
300
Greg Claytond0882d02011-01-19 23:00:49 +0000301 Error jit_error = parser.MakeJIT (m_jit_alloc, m_jit_start_addr, m_jit_end_addr, exe_ctx, const_result);
Sean Callanan65dafa82010-08-27 01:01:44 +0000302
Sean Callananaa301c42010-12-03 01:38:59 +0000303 m_expr_decl_map->DidParse();
304
Sean Callanan65dafa82010-08-27 01:01:44 +0000305 if (jit_error.Success())
306 {
Greg Claytond0882d02011-01-19 23:00:49 +0000307 if (exe_ctx.process && m_jit_alloc != LLDB_INVALID_ADDRESS)
308 m_jit_process_sp = exe_ctx.process->GetSP();
Sean Callanan65dafa82010-08-27 01:01:44 +0000309 return true;
310 }
311 else
312 {
313 error_stream.Printf ("error: expression can't be interpreted or run\n", num_errors);
314 return false;
315 }
316}
317
318bool
Jim Inghamd1686902010-10-14 23:45:03 +0000319ClangUserExpression::PrepareToExecuteJITExpression (Stream &error_stream,
Sean Callananab06af92010-10-19 23:57:21 +0000320 ExecutionContext &exe_ctx,
321 lldb::addr_t &struct_address,
Sean Callanan047923c2010-12-14 00:42:36 +0000322 lldb::addr_t &object_ptr,
323 lldb::addr_t &cmd_ptr)
Sean Callanan65dafa82010-08-27 01:01:44 +0000324{
Greg Claytone005f2c2010-11-06 01:53:30 +0000325 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan65dafa82010-08-27 01:01:44 +0000326
Greg Claytond0882d02011-01-19 23:00:49 +0000327 if (m_jit_start_addr != LLDB_INVALID_ADDRESS)
Sean Callanan65dafa82010-08-27 01:01:44 +0000328 {
Sean Callanan65dafa82010-08-27 01:01:44 +0000329 Error materialize_error;
330
Sean Callanan3aa7da52010-12-13 22:46:15 +0000331 if (m_needs_object_ptr)
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000332 {
Sean Callanan3aa7da52010-12-13 22:46:15 +0000333 ConstString object_name;
334
335 if (m_cplusplus)
336 {
337 object_name.SetCString("this");
338 }
339 else if (m_objectivec)
340 {
341 object_name.SetCString("self");
342 }
343 else
344 {
345 error_stream.Printf("Need object pointer but don't know the language\n");
346 return false;
347 }
348
349 if (!(m_expr_decl_map->GetObjectPointer(object_ptr, object_name, exe_ctx, materialize_error)))
350 {
351 error_stream.Printf("Couldn't get required object pointer: %s\n", materialize_error.AsCString());
352 return false;
353 }
Sean Callanan047923c2010-12-14 00:42:36 +0000354
355 if (m_objectivec)
356 {
357 ConstString cmd_name("_cmd");
358
359 if (!(m_expr_decl_map->GetObjectPointer(cmd_ptr, cmd_name, exe_ctx, materialize_error, true)))
360 {
361 error_stream.Printf("Couldn't get required object pointer: %s\n", materialize_error.AsCString());
362 return false;
363 }
364 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000365 }
366
Sean Callananaa301c42010-12-03 01:38:59 +0000367 if (!m_expr_decl_map->Materialize(exe_ctx, struct_address, materialize_error))
Sean Callanan65dafa82010-08-27 01:01:44 +0000368 {
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000369 error_stream.Printf("Couldn't materialize struct: %s\n", materialize_error.AsCString());
Sean Callanan65dafa82010-08-27 01:01:44 +0000370 return false;
371 }
Greg Claytonc71899e2011-01-18 19:36:39 +0000372
373#if 0
374 // jingham: look here
375 StreamFile logfile ("/tmp/exprs.txt", "a");
Greg Claytond0882d02011-01-19 23:00:49 +0000376 logfile.Printf("0x%16.16llx: thread = 0x%4.4x, expr = '%s'\n", m_jit_start_addr, exe_ctx.thread ? exe_ctx.thread->GetID() : -1, m_expr_text.c_str());
Greg Claytonc71899e2011-01-18 19:36:39 +0000377#endif
Sean Callanan65dafa82010-08-27 01:01:44 +0000378
379 if (log)
380 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000381 log->Printf("-- [ClangUserExpression::PrepareToExecuteJITExpression] Materializing for execution --");
Sean Callanan33711022010-12-07 10:00:20 +0000382
Greg Claytond0882d02011-01-19 23:00:49 +0000383 log->Printf(" Function address : 0x%llx", (uint64_t)m_jit_start_addr);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000384
385 if (m_needs_object_ptr)
Sean Callanan33711022010-12-07 10:00:20 +0000386 log->Printf(" Object pointer : 0x%llx", (uint64_t)object_ptr);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000387
Sean Callanan33711022010-12-07 10:00:20 +0000388 log->Printf(" Structure address : 0x%llx", (uint64_t)struct_address);
Sean Callanan65dafa82010-08-27 01:01:44 +0000389
390 StreamString args;
391
392 Error dump_error;
393
Sean Callanane8a59a82010-09-13 21:34:21 +0000394 if (struct_address)
Sean Callanan65dafa82010-08-27 01:01:44 +0000395 {
Sean Callananaa301c42010-12-03 01:38:59 +0000396 if (!m_expr_decl_map->DumpMaterializedStruct(exe_ctx, args, dump_error))
Sean Callanane8a59a82010-09-13 21:34:21 +0000397 {
Sean Callanan33711022010-12-07 10:00:20 +0000398 log->Printf(" Couldn't extract variable values : %s", dump_error.AsCString("unknown error"));
Sean Callanane8a59a82010-09-13 21:34:21 +0000399 }
400 else
401 {
Sean Callanan33711022010-12-07 10:00:20 +0000402 log->Printf(" Structure contents:\n%s", args.GetData());
Sean Callanane8a59a82010-09-13 21:34:21 +0000403 }
Sean Callanan65dafa82010-08-27 01:01:44 +0000404 }
405 }
Jim Inghamd1686902010-10-14 23:45:03 +0000406 }
407 return true;
408}
409
410ThreadPlan *
411ClangUserExpression::GetThreadPlanToExecuteJITExpression (Stream &error_stream,
Sean Callanan6a925532011-01-13 08:53:35 +0000412 ExecutionContext &exe_ctx)
Jim Inghamd1686902010-10-14 23:45:03 +0000413{
414 lldb::addr_t struct_address;
415
416 lldb::addr_t object_ptr = NULL;
Sean Callanan3aa7da52010-12-13 22:46:15 +0000417 lldb::addr_t cmd_ptr = NULL;
Jim Inghamd1686902010-10-14 23:45:03 +0000418
Sean Callanan047923c2010-12-14 00:42:36 +0000419 PrepareToExecuteJITExpression (error_stream, exe_ctx, struct_address, object_ptr, cmd_ptr);
Jim Inghamd1686902010-10-14 23:45:03 +0000420
Jim Ingham360f53f2010-11-30 02:22:11 +0000421 // FIXME: This should really return a ThreadPlanCallUserExpression, in order to make sure that we don't release the
422 // ClangUserExpression resources before the thread plan finishes execution in the target. But because we are
Sean Callanan3aa7da52010-12-13 22:46:15 +0000423 // forcing unwind_on_error to be true here, in practical terms that can't happen.
424
Jim Inghamd1686902010-10-14 23:45:03 +0000425 return ClangFunction::GetThreadPlanToCallFunction (exe_ctx,
Greg Claytond0882d02011-01-19 23:00:49 +0000426 m_jit_start_addr,
Sean Callanana65b5272010-12-01 01:28:23 +0000427 struct_address,
428 error_stream,
429 true,
430 true,
Sean Callanan3aa7da52010-12-13 22:46:15 +0000431 (m_needs_object_ptr ? &object_ptr : NULL),
432 (m_needs_object_ptr && m_objectivec) ? &cmd_ptr : NULL);
Jim Inghamd1686902010-10-14 23:45:03 +0000433}
434
435bool
436ClangUserExpression::FinalizeJITExecution (Stream &error_stream,
437 ExecutionContext &exe_ctx,
Greg Clayton427f2902010-12-14 02:59:59 +0000438 lldb::ClangExpressionVariableSP &result)
Jim Inghamd1686902010-10-14 23:45:03 +0000439{
440 Error expr_error;
441
Sean Callanan33711022010-12-07 10:00:20 +0000442 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
443
444 if (log)
445 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000446 log->Printf("-- [ClangUserExpression::FinalizeJITExecution] Dematerializing after execution --");
Sean Callanan33711022010-12-07 10:00:20 +0000447
448 StreamString args;
449
450 Error dump_error;
451
452 if (!m_expr_decl_map->DumpMaterializedStruct(exe_ctx, args, dump_error))
453 {
454 log->Printf(" Couldn't extract variable values : %s", dump_error.AsCString("unknown error"));
455 }
456 else
457 {
458 log->Printf(" Structure contents:\n%s", args.GetData());
459 }
460 }
461
Sean Callananaa301c42010-12-03 01:38:59 +0000462 if (!m_expr_decl_map->Dematerialize(exe_ctx, result, expr_error))
Jim Inghamd1686902010-10-14 23:45:03 +0000463 {
464 error_stream.Printf ("Couldn't dematerialize struct : %s\n", expr_error.AsCString("unknown error"));
465 return false;
466 }
467 return true;
468}
469
Greg Clayton427f2902010-12-14 02:59:59 +0000470lldb::ExecutionResults
Jim Inghamd1686902010-10-14 23:45:03 +0000471ClangUserExpression::Execute (Stream &error_stream,
472 ExecutionContext &exe_ctx,
Jim Inghamea9d4262010-11-05 19:25:48 +0000473 bool discard_on_error,
Sean Callanan6a925532011-01-13 08:53:35 +0000474 bool keep_in_memory,
Jim Ingham360f53f2010-11-30 02:22:11 +0000475 ClangUserExpression::ClangUserExpressionSP &shared_ptr_to_me,
Greg Clayton427f2902010-12-14 02:59:59 +0000476 lldb::ClangExpressionVariableSP &result)
Jim Inghamd1686902010-10-14 23:45:03 +0000477{
Jim Ingham7812e012011-01-18 22:20:08 +0000478 // The expression log is quite verbose, and if you're just tracking the execution of the
479 // expression, it's quite convenient to have these logs come out with the STEP log as well.
480 lldb::LogSP log(lldb_private::GetLogIfAnyCategoriesSet (LIBLLDB_LOG_EXPRESSIONS | LIBLLDB_LOG_STEP));
Sean Callanan33711022010-12-07 10:00:20 +0000481
Jim Inghamd1686902010-10-14 23:45:03 +0000482 if (m_dwarf_opcodes.get())
483 {
484 // TODO execute the JITted opcodes
485
486 error_stream.Printf("We don't currently support executing DWARF expressions");
487
Greg Clayton427f2902010-12-14 02:59:59 +0000488 return lldb::eExecutionSetupError;
Jim Inghamd1686902010-10-14 23:45:03 +0000489 }
Greg Claytond0882d02011-01-19 23:00:49 +0000490 else if (m_jit_start_addr != LLDB_INVALID_ADDRESS)
Jim Inghamd1686902010-10-14 23:45:03 +0000491 {
492 lldb::addr_t struct_address;
493
494 lldb::addr_t object_ptr = NULL;
Sean Callanan3aa7da52010-12-13 22:46:15 +0000495 lldb::addr_t cmd_ptr = NULL;
Jim Inghamd1686902010-10-14 23:45:03 +0000496
Sean Callanan047923c2010-12-14 00:42:36 +0000497 if (!PrepareToExecuteJITExpression (error_stream, exe_ctx, struct_address, object_ptr, cmd_ptr))
Greg Clayton427f2902010-12-14 02:59:59 +0000498 return lldb::eExecutionSetupError;
Sean Callanan65dafa82010-08-27 01:01:44 +0000499
Jim Inghamea9d4262010-11-05 19:25:48 +0000500 const bool stop_others = true;
501 const bool try_all_threads = true;
Sean Callanan65dafa82010-08-27 01:01:44 +0000502
Greg Claytond0882d02011-01-19 23:00:49 +0000503 Address wrapper_address (NULL, m_jit_start_addr);
Sean Callanan3aa7da52010-12-13 22:46:15 +0000504 lldb::ThreadPlanSP call_plan_sp(new ThreadPlanCallUserExpression (*(exe_ctx.thread),
505 wrapper_address,
506 struct_address,
507 stop_others,
508 discard_on_error,
509 (m_needs_object_ptr ? &object_ptr : NULL),
510 ((m_needs_object_ptr && m_objectivec) ? &cmd_ptr : NULL),
511 shared_ptr_to_me));
512
Jim Ingham360f53f2010-11-30 02:22:11 +0000513 if (call_plan_sp == NULL || !call_plan_sp->ValidatePlan (NULL))
Greg Clayton427f2902010-12-14 02:59:59 +0000514 return lldb::eExecutionSetupError;
Jim Ingham360f53f2010-11-30 02:22:11 +0000515
516 call_plan_sp->SetPrivate(true);
517
Greg Clayton61468e82011-01-19 07:54:15 +0000518 uint32_t single_thread_timeout_usec = 500000;
Sean Callanan33711022010-12-07 10:00:20 +0000519
520 if (log)
Sean Callanan94d255f2010-12-07 22:55:01 +0000521 log->Printf("-- [ClangUserExpression::Execute] Execution of expression begins --");
Sean Callanan33711022010-12-07 10:00:20 +0000522
Greg Clayton427f2902010-12-14 02:59:59 +0000523 lldb::ExecutionResults execution_result = exe_ctx.process->RunThreadPlan (exe_ctx,
524 call_plan_sp,
525 stop_others,
526 try_all_threads,
527 discard_on_error,
528 single_thread_timeout_usec,
529 error_stream);
Sean Callanan33711022010-12-07 10:00:20 +0000530
531 if (log)
Sean Callanan94d255f2010-12-07 22:55:01 +0000532 log->Printf("-- [ClangUserExpression::Execute] Execution of expression completed --");
Jim Ingham360f53f2010-11-30 02:22:11 +0000533
Greg Clayton427f2902010-12-14 02:59:59 +0000534 if (execution_result == lldb::eExecutionInterrupted)
Sean Callanan65dafa82010-08-27 01:01:44 +0000535 {
Jim Ingham360f53f2010-11-30 02:22:11 +0000536 if (discard_on_error)
537 error_stream.Printf ("Expression execution was interrupted. The process has been returned to the state before execution.");
538 else
539 error_stream.Printf ("Expression execution was interrupted. The process has been left at the point where it was interrupted.");
540
541 return execution_result;
542 }
Greg Clayton427f2902010-12-14 02:59:59 +0000543 else if (execution_result != lldb::eExecutionCompleted)
Jim Ingham360f53f2010-11-30 02:22:11 +0000544 {
545 error_stream.Printf ("Couldn't execute function; result was %s\n", Process::ExecutionResultAsCString (execution_result));
546 return execution_result;
Sean Callanan65dafa82010-08-27 01:01:44 +0000547 }
548
Jim Ingham360f53f2010-11-30 02:22:11 +0000549 if (FinalizeJITExecution (error_stream, exe_ctx, result))
Greg Clayton427f2902010-12-14 02:59:59 +0000550 return lldb::eExecutionCompleted;
Jim Ingham360f53f2010-11-30 02:22:11 +0000551 else
Greg Clayton427f2902010-12-14 02:59:59 +0000552 return lldb::eExecutionSetupError;
Sean Callanan65dafa82010-08-27 01:01:44 +0000553 }
554 else
555 {
Johnny Chencb395442010-11-10 19:02:11 +0000556 error_stream.Printf("Expression can't be run; neither DWARF nor a JIT compiled function is present");
Greg Clayton427f2902010-12-14 02:59:59 +0000557 return lldb::eExecutionSetupError;
Sean Callanan65dafa82010-08-27 01:01:44 +0000558 }
559}
560
561StreamString &
562ClangUserExpression::DwarfOpcodeStream ()
563{
564 if (!m_dwarf_opcodes.get())
565 m_dwarf_opcodes.reset(new StreamString());
566
567 return *m_dwarf_opcodes.get();
568}
Greg Clayton377e0b42010-10-05 00:31:29 +0000569
Greg Clayton427f2902010-12-14 02:59:59 +0000570lldb::ExecutionResults
Sean Callanan77e93942010-10-29 00:29:03 +0000571ClangUserExpression::Evaluate (ExecutionContext &exe_ctx,
Jim Inghamea9d4262010-11-05 19:25:48 +0000572 bool discard_on_error,
Sean Callanan6a925532011-01-13 08:53:35 +0000573 bool keep_in_memory,
Sean Callanan77e93942010-10-29 00:29:03 +0000574 const char *expr_cstr,
Jim Ingham360f53f2010-11-30 02:22:11 +0000575 const char *expr_prefix,
576 lldb::ValueObjectSP &result_valobj_sp)
Greg Clayton377e0b42010-10-05 00:31:29 +0000577{
Jim Ingham7812e012011-01-18 22:20:08 +0000578 lldb::LogSP log(lldb_private::GetLogIfAnyCategoriesSet (LIBLLDB_LOG_EXPRESSIONS | LIBLLDB_LOG_STEP));
Sean Callanan94d255f2010-12-07 22:55:01 +0000579
Greg Clayton377e0b42010-10-05 00:31:29 +0000580 Error error;
Greg Clayton427f2902010-12-14 02:59:59 +0000581 lldb::ExecutionResults execution_results = lldb::eExecutionSetupError;
Greg Clayton0baa3942010-11-04 01:54:29 +0000582
583 if (exe_ctx.process == NULL)
Jim Ingham360f53f2010-11-30 02:22:11 +0000584 {
585 error.SetErrorString ("Must have a process to evaluate expressions.");
586
587 result_valobj_sp.reset (new ValueObjectConstResult (error));
Greg Clayton427f2902010-12-14 02:59:59 +0000588 return lldb::eExecutionSetupError;
Jim Ingham360f53f2010-11-30 02:22:11 +0000589 }
590
Greg Clayton0baa3942010-11-04 01:54:29 +0000591 if (!exe_ctx.process->GetDynamicCheckers())
592 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000593 if (log)
594 log->Printf("== [ClangUserExpression::Evaluate] Installing dynamic checkers ==");
595
Greg Clayton0baa3942010-11-04 01:54:29 +0000596 DynamicCheckerFunctions *dynamic_checkers = new DynamicCheckerFunctions();
597
598 StreamString install_errors;
599
600 if (!dynamic_checkers->Install(install_errors, exe_ctx))
Sean Callananf7731452010-11-05 00:57:06 +0000601 {
602 if (install_errors.GetString().empty())
603 error.SetErrorString ("couldn't install checkers, unknown error");
604 else
605 error.SetErrorString (install_errors.GetString().c_str());
606
607 result_valobj_sp.reset (new ValueObjectConstResult (error));
Greg Clayton427f2902010-12-14 02:59:59 +0000608 return lldb::eExecutionSetupError;
Sean Callananf7731452010-11-05 00:57:06 +0000609 }
610
Greg Clayton0baa3942010-11-04 01:54:29 +0000611 exe_ctx.process->SetDynamicCheckers(dynamic_checkers);
Sean Callanan94d255f2010-12-07 22:55:01 +0000612
613 if (log)
614 log->Printf("== [ClangUserExpression::Evaluate] Finished installing dynamic checkers ==");
Greg Clayton0baa3942010-11-04 01:54:29 +0000615 }
616
Jim Ingham360f53f2010-11-30 02:22:11 +0000617 ClangUserExpressionSP user_expression_sp (new ClangUserExpression (expr_cstr, expr_prefix));
618
Greg Clayton377e0b42010-10-05 00:31:29 +0000619 StreamString error_stream;
620
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000621 lldb::ClangExpressionVariableSP const_result;
622
Sean Callanan94d255f2010-12-07 22:55:01 +0000623 if (log)
624 log->Printf("== [ClangUserExpression::Evaluate] Parsing expression %s ==", expr_cstr);
625
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000626 if (!user_expression_sp->Parse (error_stream, exe_ctx, TypeFromUser(NULL, NULL), &const_result))
Greg Clayton377e0b42010-10-05 00:31:29 +0000627 {
628 if (error_stream.GetString().empty())
629 error.SetErrorString ("expression failed to parse, unknown error");
630 else
631 error.SetErrorString (error_stream.GetString().c_str());
632 }
633 else
634 {
Greg Clayton427f2902010-12-14 02:59:59 +0000635 lldb::ClangExpressionVariableSP expr_result;
Greg Clayton377e0b42010-10-05 00:31:29 +0000636
Sean Callanan6a925532011-01-13 08:53:35 +0000637 if (const_result.get() && !keep_in_memory)
Greg Clayton377e0b42010-10-05 00:31:29 +0000638 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000639 if (log)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000640 log->Printf("== [ClangUserExpression::Evaluate] Expression evaluated as a constant ==");
Sean Callanan94d255f2010-12-07 22:55:01 +0000641
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000642 result_valobj_sp = const_result->GetValueObject();
Greg Clayton377e0b42010-10-05 00:31:29 +0000643 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000644 else
645 {
646 error_stream.GetString().clear();
647
648 if (log)
649 log->Printf("== [ClangUserExpression::Evaluate] Executing expression ==");
650
651 execution_results = user_expression_sp->Execute (error_stream,
652 exe_ctx,
Sean Callanan6a925532011-01-13 08:53:35 +0000653 discard_on_error,
654 keep_in_memory,
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000655 user_expression_sp,
656 expr_result);
657
658 if (execution_results != lldb::eExecutionCompleted)
Greg Clayton377e0b42010-10-05 00:31:29 +0000659 {
Sean Callanan94d255f2010-12-07 22:55:01 +0000660 if (log)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000661 log->Printf("== [ClangUserExpression::Evaluate] Execution completed abnormally ==");
662
663 if (error_stream.GetString().empty())
664 error.SetErrorString ("expression failed to execute, unknown error");
665 else
666 error.SetErrorString (error_stream.GetString().c_str());
Greg Clayton377e0b42010-10-05 00:31:29 +0000667 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000668 else
Greg Clayton377e0b42010-10-05 00:31:29 +0000669 {
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000670 if (expr_result)
671 {
672 result_valobj_sp = expr_result->GetValueObject();
673
674 if (log)
675 log->Printf("== [ClangUserExpression::Evaluate] Execution completed normally with result %s ==", result_valobj_sp->GetValueAsCString(exe_ctx.GetBestExecutionContextScope()));
676 }
677 else
678 {
679 if (log)
680 log->Printf("== [ClangUserExpression::Evaluate] Execution completed normally with no result ==");
681
682 error.SetErrorString ("Expression did not return a result");
683 }
Greg Clayton377e0b42010-10-05 00:31:29 +0000684 }
685 }
686 }
Sean Callanan44820ec2010-10-19 20:15:00 +0000687
Greg Claytond1719722010-10-05 03:13:51 +0000688 if (result_valobj_sp.get() == NULL)
689 result_valobj_sp.reset (new ValueObjectConstResult (error));
690
Jim Ingham360f53f2010-11-30 02:22:11 +0000691 return execution_results;
Johnny Chenb4c0f022010-10-29 20:19:44 +0000692}