blob: 71a528280d9758b83e2f303f7b5a4138b903ef4a [file] [log] [blame]
Sean Callanan79763a42011-05-23 21:40:23 +00001//===-- ClangUserExpression.cpp ---------------------------------*- C++ -*-===//
Sean Callanan1a8d4092010-08-27 01:01:44 +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
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 Claytonc4e411f2011-01-18 19:36:39 +000023#include "lldb/Core/StreamFile.h"
Sean Callanan1a8d4092010-08-27 01:01:44 +000024#include "lldb/Core/StreamString.h"
Greg Claytonb71f3842010-10-05 03:13:51 +000025#include "lldb/Core/ValueObjectConstResult.h"
Sean Callanane4ec90e2010-12-16 03:17:46 +000026#include "lldb/Expression/ASTResultSynthesizer.h"
Sean Callanan1a8d4092010-08-27 01:01:44 +000027#include "lldb/Expression/ClangExpressionDeclMap.h"
28#include "lldb/Expression/ClangExpressionParser.h"
29#include "lldb/Expression/ClangFunction.h"
Sean Callanan1a8d4092010-08-27 01:01:44 +000030#include "lldb/Expression/ClangUserExpression.h"
31#include "lldb/Host/Host.h"
Sean Callananfc55f5d2010-09-21 00:44:12 +000032#include "lldb/Symbol/VariableList.h"
Sean Callanan1a8d4092010-08-27 01:01:44 +000033#include "lldb/Target/ExecutionContext.h"
Greg Clayton8f343b02010-11-04 01:54:29 +000034#include "lldb/Target/Process.h"
Sean Callananfc55f5d2010-09-21 00:44:12 +000035#include "lldb/Target/StackFrame.h"
Sean Callanan1a8d4092010-08-27 01:01:44 +000036#include "lldb/Target/Target.h"
Jim Inghamf48169b2010-11-30 02:22:11 +000037#include "lldb/Target/ThreadPlan.h"
38#include "lldb/Target/ThreadPlanCallUserExpression.h"
Sean Callanan1a8d4092010-08-27 01:01:44 +000039
40using namespace lldb_private;
41
Sean Callanan322f5292010-10-29 00:29:03 +000042ClangUserExpression::ClangUserExpression (const char *expr,
43 const char *expr_prefix) :
Greg Clayton22a939a2011-01-19 23:00:49 +000044 ClangExpression (),
45 m_expr_text (expr),
46 m_expr_prefix (expr_prefix ? expr_prefix : ""),
47 m_transformed_text (),
Stephen Wilson71c21d12011-04-11 19:41:40 +000048 m_desired_type (NULL, NULL),
Greg Clayton22a939a2011-01-19 23:00:49 +000049 m_cplusplus (false),
50 m_objectivec (false),
51 m_needs_object_ptr (false),
Sean Callanan63697e52011-05-07 01:06:41 +000052 m_const_object (false),
53 m_const_result ()
Sean Callanan1a8d4092010-08-27 01:01:44 +000054{
Sean Callanan1a8d4092010-08-27 01:01:44 +000055}
56
Sean Callanane71d5532010-08-27 23:31:21 +000057ClangUserExpression::~ClangUserExpression ()
58{
59}
60
Sean Callanan1a8d4092010-08-27 01:01:44 +000061clang::ASTConsumer *
62ClangUserExpression::ASTTransformer (clang::ASTConsumer *passthrough)
63{
Sean Callananf7c3e272010-11-19 02:52:21 +000064 return new ASTResultSynthesizer(passthrough,
65 m_desired_type);
Sean Callanan1a8d4092010-08-27 01:01:44 +000066}
67
Sean Callananfc55f5d2010-09-21 00:44:12 +000068void
69ClangUserExpression::ScanContext(ExecutionContext &exe_ctx)
70{
Sean Callananfc55f5d2010-09-21 00:44:12 +000071 VariableList *vars = exe_ctx.frame->GetVariableList(false);
72
73 if (!vars)
74 return;
75
Sean Callanan3670ba52010-12-01 21:35:54 +000076 lldb::VariableSP this_var(vars->FindVariable(ConstString("this")));
77 lldb::VariableSP self_var(vars->FindVariable(ConstString("self")));
78
79 if (this_var.get())
80 {
81 Type *this_type = this_var->GetType();
82
83 lldb::clang_type_t pointer_target_type;
84
Greg Claytonf4ecaa52011-02-16 23:00:21 +000085 if (ClangASTContext::IsPointerType(this_type->GetClangForwardType(),
Sean Callanan3670ba52010-12-01 21:35:54 +000086 &pointer_target_type))
87 {
88 TypeFromUser target_ast_type(pointer_target_type, this_type->GetClangAST());
89
Greg Claytonf4ecaa52011-02-16 23:00:21 +000090 if (ClangASTContext::IsCXXClassType(target_ast_type.GetOpaqueQualType()))
Sean Callanan9d2127a2011-01-24 08:11:45 +000091 {
Sean Callanan3670ba52010-12-01 21:35:54 +000092 m_cplusplus = true;
93
Sean Callanan9d2127a2011-01-24 08:11:45 +000094 if (target_ast_type.IsConst())
95 m_const_object = true;
96 }
Sean Callanan3670ba52010-12-01 21:35:54 +000097 }
98 }
99 else if (self_var.get())
100 {
Sean Callananfc55f5d2010-09-21 00:44:12 +0000101 m_objectivec = true;
Sean Callanana789aa72011-08-03 16:23:08 +0000102
103 Type *self_type = self_var->GetType();
104
105 if (self_type->GetClangForwardType() == self_type->GetClangASTContext().GetBuiltInType_objc_id())
106 {
107 m_objectivec = false;
108 }
Sean Callanan3670ba52010-12-01 21:35:54 +0000109 }
Sean Callananfc55f5d2010-09-21 00:44:12 +0000110}
111
Sean Callanancf5498f2010-10-22 23:25:16 +0000112// This is a really nasty hack, meant to fix Objective-C expressions of the form
113// (int)[myArray count]. Right now, because the type information for count is
114// not available, [myArray count] returns id, which can't be directly cast to
115// int without causing a clang error.
116static void
117ApplyObjcCastHack(std::string &expr)
118{
119#define OBJC_CAST_HACK_FROM "(int)["
120#define OBJC_CAST_HACK_TO "(int)(long long)["
121
122 size_t from_offset;
123
124 while ((from_offset = expr.find(OBJC_CAST_HACK_FROM)) != expr.npos)
125 expr.replace(from_offset, sizeof(OBJC_CAST_HACK_FROM) - 1, OBJC_CAST_HACK_TO);
126
127#undef OBJC_CAST_HACK_TO
128#undef OBJC_CAST_HACK_FROM
129}
130
Sean Callanan64186e72010-10-24 20:45:49 +0000131// Another hack, meant to allow use of unichar despite it not being available in
132// the type information. Although we could special-case it in type lookup,
133// hopefully we'll figure out a way to #include the same environment as is
134// present in the original source file rather than try to hack specific type
135// definitions in as needed.
136static void
137ApplyUnicharHack(std::string &expr)
138{
139#define UNICHAR_HACK_FROM "unichar"
140#define UNICHAR_HACK_TO "unsigned short"
141
142 size_t from_offset;
143
144 while ((from_offset = expr.find(UNICHAR_HACK_FROM)) != expr.npos)
145 expr.replace(from_offset, sizeof(UNICHAR_HACK_FROM) - 1, UNICHAR_HACK_TO);
146
147#undef UNICHAR_HACK_TO
148#undef UNICHAR_HACK_FROM
149}
150
Sean Callanancf5498f2010-10-22 23:25:16 +0000151bool
Sean Callananf7c3e272010-11-19 02:52:21 +0000152ClangUserExpression::Parse (Stream &error_stream,
153 ExecutionContext &exe_ctx,
Sean Callanane4ec90e2010-12-16 03:17:46 +0000154 TypeFromUser desired_type,
Sean Callanan63697e52011-05-07 01:06:41 +0000155 bool keep_result_in_memory)
Sean Callanan1a8d4092010-08-27 01:01:44 +0000156{
Greg Clayton2d4edfb2010-11-06 01:53:30 +0000157 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan1a8d4092010-08-27 01:01:44 +0000158
Sean Callananfc55f5d2010-09-21 00:44:12 +0000159 ScanContext(exe_ctx);
160
161 StreamString m_transformed_stream;
162
163 ////////////////////////////////////
164 // Generate the expression
165 //
Sean Callanancf5498f2010-10-22 23:25:16 +0000166
167 ApplyObjcCastHack(m_expr_text);
Greg Clayton73b472d2010-10-27 03:32:59 +0000168 //ApplyUnicharHack(m_expr_text);
Sean Callananfc55f5d2010-09-21 00:44:12 +0000169
170 if (m_cplusplus)
171 {
Sean Callanan322f5292010-10-29 00:29:03 +0000172 m_transformed_stream.Printf("%s \n"
173 "typedef unsigned short unichar; \n"
Greg Clayton73b472d2010-10-27 03:32:59 +0000174 "void \n"
Sean Callanan3670ba52010-12-01 21:35:54 +0000175 "$__lldb_class::%s(void *$__lldb_arg) %s\n"
Sean Callananfc55f5d2010-09-21 00:44:12 +0000176 "{ \n"
177 " %s; \n"
178 "} \n",
Sean Callanan322f5292010-10-29 00:29:03 +0000179 m_expr_prefix.c_str(),
Sean Callananfc55f5d2010-09-21 00:44:12 +0000180 FunctionName(),
Sean Callanan3670ba52010-12-01 21:35:54 +0000181 (m_const_object ? "const" : ""),
Sean Callananfc55f5d2010-09-21 00:44:12 +0000182 m_expr_text.c_str());
183
184 m_needs_object_ptr = true;
185 }
Enrico Granata20edcdb2011-07-19 18:03:25 +0000186 else if (m_objectivec)
Sean Callanan17827832010-12-13 22:46:15 +0000187 {
188 const char *function_name = FunctionName();
189
190 m_transformed_stream.Printf("%s \n"
Greg Claytonf028a1f2010-12-17 02:26:24 +0000191 "typedef unsigned short unichar; \n"
Sean Callanan17827832010-12-13 22:46:15 +0000192 "@interface $__lldb_objc_class ($__lldb_category) \n"
193 "-(void)%s:(void *)$__lldb_arg; \n"
194 "@end \n"
195 "@implementation $__lldb_objc_class ($__lldb_category) \n"
196 "-(void)%s:(void *)$__lldb_arg \n"
197 "{ \n"
198 " %s; \n"
199 "} \n"
200 "@end \n",
201 m_expr_prefix.c_str(),
202 function_name,
203 function_name,
204 m_expr_text.c_str());
205
206 m_needs_object_ptr = true;
207 }
Sean Callananfc55f5d2010-09-21 00:44:12 +0000208 else
209 {
Sean Callanan322f5292010-10-29 00:29:03 +0000210 m_transformed_stream.Printf("%s \n"
211 "typedef unsigned short unichar;\n"
Greg Clayton73b472d2010-10-27 03:32:59 +0000212 "void \n"
Sean Callanancf5498f2010-10-22 23:25:16 +0000213 "%s(void *$__lldb_arg) \n"
Sean Callananfc55f5d2010-09-21 00:44:12 +0000214 "{ \n"
215 " %s; \n"
216 "} \n",
Sean Callanan322f5292010-10-29 00:29:03 +0000217 m_expr_prefix.c_str(),
Sean Callananfc55f5d2010-09-21 00:44:12 +0000218 FunctionName(),
219 m_expr_text.c_str());
220 }
221
222 m_transformed_text = m_transformed_stream.GetData();
223
224
225 if (log)
226 log->Printf("Parsing the following code:\n%s", m_transformed_text.c_str());
227
Sean Callanan1a8d4092010-08-27 01:01:44 +0000228 ////////////////////////////////////
229 // Set up the target and compiler
230 //
231
232 Target *target = exe_ctx.target;
233
234 if (!target)
235 {
236 error_stream.PutCString ("error: invalid target\n");
237 return false;
238 }
239
Sean Callanan1a8d4092010-08-27 01:01:44 +0000240 //////////////////////////
241 // Parse the expression
242 //
243
Sean Callananf7c3e272010-11-19 02:52:21 +0000244 m_desired_type = desired_type;
245
Sean Callanan92adcac2011-01-13 08:53:35 +0000246 m_expr_decl_map.reset(new ClangExpressionDeclMap(keep_result_in_memory));
Sean Callanan979f74d2010-12-03 01:38:59 +0000247
Sean Callananb9951192011-08-01 18:18:33 +0000248 if (!m_expr_decl_map->WillParse(exe_ctx))
249 {
250 error_stream.PutCString ("error: current process state is unsuitable for expression parsing\n");
251 return false;
252 }
Sean Callanan1a8d4092010-08-27 01:01:44 +0000253
Greg Clayton514487e2011-02-15 21:59:32 +0000254 ClangExpressionParser parser(exe_ctx.process, *this);
Sean Callanan1a8d4092010-08-27 01:01:44 +0000255
256 unsigned num_errors = parser.Parse (error_stream);
257
258 if (num_errors)
259 {
260 error_stream.Printf ("error: %d errors parsing expression\n", num_errors);
Sean Callanan979f74d2010-12-03 01:38:59 +0000261
262 m_expr_decl_map->DidParse();
263
Sean Callanan1a8d4092010-08-27 01:01:44 +0000264 return false;
265 }
266
267 ///////////////////////////////////////////////
268 // Convert the output of the parser to DWARF
269 //
270
271 m_dwarf_opcodes.reset(new StreamString);
Greg Clayton7fb56d02011-02-01 01:31:41 +0000272 m_dwarf_opcodes->SetByteOrder (lldb::endian::InlHostByteOrder());
Sean Callanan1a8d4092010-08-27 01:01:44 +0000273 m_dwarf_opcodes->GetFlags ().Set (Stream::eBinary);
274
Greg Clayton8b2fe6d2010-12-14 02:59:59 +0000275 m_local_variables.reset(new ClangExpressionVariableList());
Sean Callanan1a8d4092010-08-27 01:01:44 +0000276
277 Error dwarf_error = parser.MakeDWARF ();
278
279 if (dwarf_error.Success())
280 {
281 if (log)
282 log->Printf("Code can be interpreted.");
283
Sean Callanan979f74d2010-12-03 01:38:59 +0000284 m_expr_decl_map->DidParse();
285
Sean Callanan1a8d4092010-08-27 01:01:44 +0000286 return true;
287 }
288
289 //////////////////////////////////
290 // JIT the output of the parser
291 //
292
293 m_dwarf_opcodes.reset();
294
Sean Callanan79763a42011-05-23 21:40:23 +0000295 m_data_allocator.reset(new ProcessDataAllocator(*exe_ctx.process));
296
297 Error jit_error = parser.MakeJIT (m_jit_alloc, m_jit_start_addr, m_jit_end_addr, exe_ctx, m_data_allocator.get(), m_const_result, true);
298
299 if (log)
300 {
301 StreamString dump_string;
302 m_data_allocator->Dump(dump_string);
303
304 log->Printf("Data buffer contents:\n%s", dump_string.GetString().c_str());
305 }
Sean Callanan1a8d4092010-08-27 01:01:44 +0000306
Sean Callanan979f74d2010-12-03 01:38:59 +0000307 m_expr_decl_map->DidParse();
308
Sean Callanan1a8d4092010-08-27 01:01:44 +0000309 if (jit_error.Success())
310 {
Greg Clayton22a939a2011-01-19 23:00:49 +0000311 if (exe_ctx.process && m_jit_alloc != LLDB_INVALID_ADDRESS)
312 m_jit_process_sp = exe_ctx.process->GetSP();
Sean Callanan1a8d4092010-08-27 01:01:44 +0000313 return true;
314 }
315 else
316 {
Greg Claytone6a9e432011-05-17 03:51:29 +0000317 const char *error_cstr = jit_error.AsCString();
318 if (error_cstr && error_cstr[0])
319 error_stream.Printf ("error: %s\n", error_cstr);
320 else
321 error_stream.Printf ("error: expression can't be interpreted or run\n", num_errors);
Sean Callanan1a8d4092010-08-27 01:01:44 +0000322 return false;
323 }
324}
325
326bool
Jim Ingham36f3b362010-10-14 23:45:03 +0000327ClangUserExpression::PrepareToExecuteJITExpression (Stream &error_stream,
Sean Callanan104a6e92010-10-19 23:57:21 +0000328 ExecutionContext &exe_ctx,
329 lldb::addr_t &struct_address,
Sean Callanan9d48e802010-12-14 00:42:36 +0000330 lldb::addr_t &object_ptr,
331 lldb::addr_t &cmd_ptr)
Sean Callanan1a8d4092010-08-27 01:01:44 +0000332{
Greg Clayton2d4edfb2010-11-06 01:53:30 +0000333 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan1a8d4092010-08-27 01:01:44 +0000334
Greg Clayton22a939a2011-01-19 23:00:49 +0000335 if (m_jit_start_addr != LLDB_INVALID_ADDRESS)
Sean Callanan1a8d4092010-08-27 01:01:44 +0000336 {
Sean Callanan1a8d4092010-08-27 01:01:44 +0000337 Error materialize_error;
338
Sean Callanan17827832010-12-13 22:46:15 +0000339 if (m_needs_object_ptr)
Sean Callananfc55f5d2010-09-21 00:44:12 +0000340 {
Sean Callanan17827832010-12-13 22:46:15 +0000341 ConstString object_name;
342
343 if (m_cplusplus)
344 {
345 object_name.SetCString("this");
346 }
347 else if (m_objectivec)
348 {
349 object_name.SetCString("self");
350 }
351 else
352 {
353 error_stream.Printf("Need object pointer but don't know the language\n");
354 return false;
355 }
356
357 if (!(m_expr_decl_map->GetObjectPointer(object_ptr, object_name, exe_ctx, materialize_error)))
358 {
359 error_stream.Printf("Couldn't get required object pointer: %s\n", materialize_error.AsCString());
360 return false;
361 }
Sean Callanan9d48e802010-12-14 00:42:36 +0000362
363 if (m_objectivec)
364 {
365 ConstString cmd_name("_cmd");
366
367 if (!(m_expr_decl_map->GetObjectPointer(cmd_ptr, cmd_name, exe_ctx, materialize_error, true)))
368 {
369 error_stream.Printf("Couldn't get required object pointer: %s\n", materialize_error.AsCString());
370 return false;
371 }
372 }
Sean Callananfc55f5d2010-09-21 00:44:12 +0000373 }
374
Sean Callanan979f74d2010-12-03 01:38:59 +0000375 if (!m_expr_decl_map->Materialize(exe_ctx, struct_address, materialize_error))
Sean Callanan1a8d4092010-08-27 01:01:44 +0000376 {
Sean Callananfc55f5d2010-09-21 00:44:12 +0000377 error_stream.Printf("Couldn't materialize struct: %s\n", materialize_error.AsCString());
Sean Callanan1a8d4092010-08-27 01:01:44 +0000378 return false;
379 }
Greg Claytonc4e411f2011-01-18 19:36:39 +0000380
381#if 0
382 // jingham: look here
383 StreamFile logfile ("/tmp/exprs.txt", "a");
Greg Clayton22a939a2011-01-19 23:00:49 +0000384 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 Claytonc4e411f2011-01-18 19:36:39 +0000385#endif
Sean Callanan1a8d4092010-08-27 01:01:44 +0000386
387 if (log)
388 {
Sean Callanana162eba2010-12-07 22:55:01 +0000389 log->Printf("-- [ClangUserExpression::PrepareToExecuteJITExpression] Materializing for execution --");
Sean Callananc673a6e2010-12-07 10:00:20 +0000390
Greg Clayton22a939a2011-01-19 23:00:49 +0000391 log->Printf(" Function address : 0x%llx", (uint64_t)m_jit_start_addr);
Sean Callananfc55f5d2010-09-21 00:44:12 +0000392
393 if (m_needs_object_ptr)
Sean Callananc673a6e2010-12-07 10:00:20 +0000394 log->Printf(" Object pointer : 0x%llx", (uint64_t)object_ptr);
Sean Callananfc55f5d2010-09-21 00:44:12 +0000395
Sean Callananc673a6e2010-12-07 10:00:20 +0000396 log->Printf(" Structure address : 0x%llx", (uint64_t)struct_address);
Sean Callanan1a8d4092010-08-27 01:01:44 +0000397
398 StreamString args;
399
400 Error dump_error;
401
Sean Callanan9e6ed532010-09-13 21:34:21 +0000402 if (struct_address)
Sean Callanan1a8d4092010-08-27 01:01:44 +0000403 {
Sean Callanan979f74d2010-12-03 01:38:59 +0000404 if (!m_expr_decl_map->DumpMaterializedStruct(exe_ctx, args, dump_error))
Sean Callanan9e6ed532010-09-13 21:34:21 +0000405 {
Sean Callananc673a6e2010-12-07 10:00:20 +0000406 log->Printf(" Couldn't extract variable values : %s", dump_error.AsCString("unknown error"));
Sean Callanan9e6ed532010-09-13 21:34:21 +0000407 }
408 else
409 {
Sean Callananc673a6e2010-12-07 10:00:20 +0000410 log->Printf(" Structure contents:\n%s", args.GetData());
Sean Callanan9e6ed532010-09-13 21:34:21 +0000411 }
Sean Callanan1a8d4092010-08-27 01:01:44 +0000412 }
413 }
Jim Ingham36f3b362010-10-14 23:45:03 +0000414 }
415 return true;
416}
417
418ThreadPlan *
419ClangUserExpression::GetThreadPlanToExecuteJITExpression (Stream &error_stream,
Sean Callanan92adcac2011-01-13 08:53:35 +0000420 ExecutionContext &exe_ctx)
Jim Ingham36f3b362010-10-14 23:45:03 +0000421{
422 lldb::addr_t struct_address;
423
Johnny Chen44805302011-07-19 19:48:13 +0000424 lldb::addr_t object_ptr = 0;
425 lldb::addr_t cmd_ptr = 0;
Jim Ingham36f3b362010-10-14 23:45:03 +0000426
Sean Callanan9d48e802010-12-14 00:42:36 +0000427 PrepareToExecuteJITExpression (error_stream, exe_ctx, struct_address, object_ptr, cmd_ptr);
Jim Ingham36f3b362010-10-14 23:45:03 +0000428
Jim Inghamf48169b2010-11-30 02:22:11 +0000429 // FIXME: This should really return a ThreadPlanCallUserExpression, in order to make sure that we don't release the
430 // ClangUserExpression resources before the thread plan finishes execution in the target. But because we are
Sean Callanan17827832010-12-13 22:46:15 +0000431 // forcing unwind_on_error to be true here, in practical terms that can't happen.
432
Jim Ingham36f3b362010-10-14 23:45:03 +0000433 return ClangFunction::GetThreadPlanToCallFunction (exe_ctx,
Greg Clayton22a939a2011-01-19 23:00:49 +0000434 m_jit_start_addr,
Sean Callanan1d47caf2010-12-01 01:28:23 +0000435 struct_address,
436 error_stream,
437 true,
438 true,
Sean Callanan17827832010-12-13 22:46:15 +0000439 (m_needs_object_ptr ? &object_ptr : NULL),
440 (m_needs_object_ptr && m_objectivec) ? &cmd_ptr : NULL);
Jim Ingham36f3b362010-10-14 23:45:03 +0000441}
442
443bool
444ClangUserExpression::FinalizeJITExecution (Stream &error_stream,
445 ExecutionContext &exe_ctx,
Sean Callanane359d9b2011-05-09 22:04:36 +0000446 lldb::ClangExpressionVariableSP &result,
447 lldb::addr_t function_stack_pointer)
Jim Ingham36f3b362010-10-14 23:45:03 +0000448{
449 Error expr_error;
450
Sean Callananc673a6e2010-12-07 10:00:20 +0000451 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
452
453 if (log)
454 {
Sean Callanana162eba2010-12-07 22:55:01 +0000455 log->Printf("-- [ClangUserExpression::FinalizeJITExecution] Dematerializing after execution --");
Sean Callananc673a6e2010-12-07 10:00:20 +0000456
457 StreamString args;
458
459 Error dump_error;
460
461 if (!m_expr_decl_map->DumpMaterializedStruct(exe_ctx, args, dump_error))
462 {
463 log->Printf(" Couldn't extract variable values : %s", dump_error.AsCString("unknown error"));
464 }
465 else
466 {
467 log->Printf(" Structure contents:\n%s", args.GetData());
468 }
469 }
Sean Callanane359d9b2011-05-09 22:04:36 +0000470
471 lldb::addr_t function_stack_bottom = function_stack_pointer - Host::GetPageSize();
472
Sean Callananc673a6e2010-12-07 10:00:20 +0000473
Sean Callanane359d9b2011-05-09 22:04:36 +0000474 if (!m_expr_decl_map->Dematerialize(exe_ctx, result, function_stack_pointer, function_stack_bottom, expr_error))
Jim Ingham36f3b362010-10-14 23:45:03 +0000475 {
476 error_stream.Printf ("Couldn't dematerialize struct : %s\n", expr_error.AsCString("unknown error"));
477 return false;
478 }
479 return true;
480}
481
Greg Claytone0d378b2011-03-24 21:19:54 +0000482ExecutionResults
Jim Ingham36f3b362010-10-14 23:45:03 +0000483ClangUserExpression::Execute (Stream &error_stream,
484 ExecutionContext &exe_ctx,
Jim Ingham399f1ca2010-11-05 19:25:48 +0000485 bool discard_on_error,
Jim Inghamf48169b2010-11-30 02:22:11 +0000486 ClangUserExpression::ClangUserExpressionSP &shared_ptr_to_me,
Greg Clayton8b2fe6d2010-12-14 02:59:59 +0000487 lldb::ClangExpressionVariableSP &result)
Jim Ingham36f3b362010-10-14 23:45:03 +0000488{
Jim Inghamb086ff72011-01-18 22:20:08 +0000489 // The expression log is quite verbose, and if you're just tracking the execution of the
490 // expression, it's quite convenient to have these logs come out with the STEP log as well.
491 lldb::LogSP log(lldb_private::GetLogIfAnyCategoriesSet (LIBLLDB_LOG_EXPRESSIONS | LIBLLDB_LOG_STEP));
Sean Callananc673a6e2010-12-07 10:00:20 +0000492
Jim Ingham36f3b362010-10-14 23:45:03 +0000493 if (m_dwarf_opcodes.get())
494 {
495 // TODO execute the JITted opcodes
496
497 error_stream.Printf("We don't currently support executing DWARF expressions");
498
Greg Claytone0d378b2011-03-24 21:19:54 +0000499 return eExecutionSetupError;
Jim Ingham36f3b362010-10-14 23:45:03 +0000500 }
Greg Clayton22a939a2011-01-19 23:00:49 +0000501 else if (m_jit_start_addr != LLDB_INVALID_ADDRESS)
Jim Ingham36f3b362010-10-14 23:45:03 +0000502 {
503 lldb::addr_t struct_address;
504
Johnny Chen44805302011-07-19 19:48:13 +0000505 lldb::addr_t object_ptr = 0;
506 lldb::addr_t cmd_ptr = 0;
Jim Ingham36f3b362010-10-14 23:45:03 +0000507
Sean Callanan9d48e802010-12-14 00:42:36 +0000508 if (!PrepareToExecuteJITExpression (error_stream, exe_ctx, struct_address, object_ptr, cmd_ptr))
Greg Claytone0d378b2011-03-24 21:19:54 +0000509 return eExecutionSetupError;
Sean Callanan1a8d4092010-08-27 01:01:44 +0000510
Jim Ingham399f1ca2010-11-05 19:25:48 +0000511 const bool stop_others = true;
512 const bool try_all_threads = true;
Sean Callanan1a8d4092010-08-27 01:01:44 +0000513
Greg Clayton22a939a2011-01-19 23:00:49 +0000514 Address wrapper_address (NULL, m_jit_start_addr);
Sean Callanan17827832010-12-13 22:46:15 +0000515 lldb::ThreadPlanSP call_plan_sp(new ThreadPlanCallUserExpression (*(exe_ctx.thread),
516 wrapper_address,
517 struct_address,
518 stop_others,
519 discard_on_error,
520 (m_needs_object_ptr ? &object_ptr : NULL),
521 ((m_needs_object_ptr && m_objectivec) ? &cmd_ptr : NULL),
522 shared_ptr_to_me));
523
Jim Inghamf48169b2010-11-30 02:22:11 +0000524 if (call_plan_sp == NULL || !call_plan_sp->ValidatePlan (NULL))
Greg Claytone0d378b2011-03-24 21:19:54 +0000525 return eExecutionSetupError;
Sean Callanane359d9b2011-05-09 22:04:36 +0000526
527 lldb::addr_t function_stack_pointer = static_cast<ThreadPlanCallFunction *>(call_plan_sp.get())->GetFunctionStackPointer();
Jim Inghamf48169b2010-11-30 02:22:11 +0000528
Jim Ingham17e5c4e2011-05-17 22:24:54 +0000529 call_plan_sp->SetPrivate(true);
Jim Inghamf48169b2010-11-30 02:22:11 +0000530
Greg Claytone2d4f0d2011-01-19 07:54:15 +0000531 uint32_t single_thread_timeout_usec = 500000;
Sean Callananc673a6e2010-12-07 10:00:20 +0000532
533 if (log)
Sean Callanana162eba2010-12-07 22:55:01 +0000534 log->Printf("-- [ClangUserExpression::Execute] Execution of expression begins --");
Sean Callananc673a6e2010-12-07 10:00:20 +0000535
Greg Claytone0d378b2011-03-24 21:19:54 +0000536 ExecutionResults execution_result = exe_ctx.process->RunThreadPlan (exe_ctx,
Sean Callanane359d9b2011-05-09 22:04:36 +0000537 call_plan_sp,
538 stop_others,
539 try_all_threads,
540 discard_on_error,
541 single_thread_timeout_usec,
542 error_stream);
Sean Callananc673a6e2010-12-07 10:00:20 +0000543
544 if (log)
Sean Callanana162eba2010-12-07 22:55:01 +0000545 log->Printf("-- [ClangUserExpression::Execute] Execution of expression completed --");
Jim Inghamf48169b2010-11-30 02:22:11 +0000546
Greg Claytone0d378b2011-03-24 21:19:54 +0000547 if (execution_result == eExecutionInterrupted)
Sean Callanan1a8d4092010-08-27 01:01:44 +0000548 {
Jim Ingham160f78c2011-05-17 01:10:11 +0000549 const char *error_desc = NULL;
550
551 if (call_plan_sp)
552 {
553 lldb::StopInfoSP real_stop_info_sp = call_plan_sp->GetRealStopInfo();
554 if (real_stop_info_sp)
555 error_desc = real_stop_info_sp->GetDescription();
556 }
557 if (error_desc)
558 error_stream.Printf ("Execution was interrupted, reason: %s.", error_desc);
Jim Inghamf48169b2010-11-30 02:22:11 +0000559 else
Jim Ingham160f78c2011-05-17 01:10:11 +0000560 error_stream.Printf ("Execution was interrupted.", error_desc);
561
562 if (discard_on_error)
563 error_stream.Printf ("\nThe process has been returned to the state before execution.");
564 else
565 error_stream.Printf ("\nThe process has been left at the point where it was interrupted.");
Jim Inghamf48169b2010-11-30 02:22:11 +0000566
567 return execution_result;
568 }
Greg Claytone0d378b2011-03-24 21:19:54 +0000569 else if (execution_result != eExecutionCompleted)
Jim Inghamf48169b2010-11-30 02:22:11 +0000570 {
571 error_stream.Printf ("Couldn't execute function; result was %s\n", Process::ExecutionResultAsCString (execution_result));
572 return execution_result;
Sean Callanan1a8d4092010-08-27 01:01:44 +0000573 }
574
Sean Callanane359d9b2011-05-09 22:04:36 +0000575 if (FinalizeJITExecution (error_stream, exe_ctx, result, function_stack_pointer))
Greg Claytone0d378b2011-03-24 21:19:54 +0000576 return eExecutionCompleted;
Jim Inghamf48169b2010-11-30 02:22:11 +0000577 else
Greg Claytone0d378b2011-03-24 21:19:54 +0000578 return eExecutionSetupError;
Sean Callanan1a8d4092010-08-27 01:01:44 +0000579 }
580 else
581 {
Johnny Chenfec456d2010-11-10 19:02:11 +0000582 error_stream.Printf("Expression can't be run; neither DWARF nor a JIT compiled function is present");
Greg Claytone0d378b2011-03-24 21:19:54 +0000583 return eExecutionSetupError;
Sean Callanan1a8d4092010-08-27 01:01:44 +0000584 }
585}
586
587StreamString &
588ClangUserExpression::DwarfOpcodeStream ()
589{
590 if (!m_dwarf_opcodes.get())
591 m_dwarf_opcodes.reset(new StreamString());
592
593 return *m_dwarf_opcodes.get();
594}
Greg Clayton0184f012010-10-05 00:31:29 +0000595
Greg Claytone0d378b2011-03-24 21:19:54 +0000596ExecutionResults
Sean Callanan322f5292010-10-29 00:29:03 +0000597ClangUserExpression::Evaluate (ExecutionContext &exe_ctx,
Jim Ingham399f1ca2010-11-05 19:25:48 +0000598 bool discard_on_error,
Sean Callanan322f5292010-10-29 00:29:03 +0000599 const char *expr_cstr,
Jim Inghamf48169b2010-11-30 02:22:11 +0000600 const char *expr_prefix,
601 lldb::ValueObjectSP &result_valobj_sp)
Greg Clayton0184f012010-10-05 00:31:29 +0000602{
Jim Inghamb086ff72011-01-18 22:20:08 +0000603 lldb::LogSP log(lldb_private::GetLogIfAnyCategoriesSet (LIBLLDB_LOG_EXPRESSIONS | LIBLLDB_LOG_STEP));
Sean Callanana162eba2010-12-07 22:55:01 +0000604
Greg Clayton0184f012010-10-05 00:31:29 +0000605 Error error;
Greg Claytone0d378b2011-03-24 21:19:54 +0000606 ExecutionResults execution_results = eExecutionSetupError;
Greg Clayton8f343b02010-11-04 01:54:29 +0000607
Jim Inghamf72ce3a2011-06-20 17:32:44 +0000608 if (exe_ctx.process == NULL || exe_ctx.process->GetState() != lldb::eStateStopped)
Jim Inghamf48169b2010-11-30 02:22:11 +0000609 {
Greg Clayton5fd05902011-06-24 22:31:10 +0000610 error.SetErrorString ("must have a stopped process to evaluate expressions.");
Jim Inghamf48169b2010-11-30 02:22:11 +0000611
Jim Ingham58b59f92011-04-22 23:53:53 +0000612 result_valobj_sp = ValueObjectConstResult::Create (NULL, error);
Greg Claytone0d378b2011-03-24 21:19:54 +0000613 return eExecutionSetupError;
Jim Inghamf48169b2010-11-30 02:22:11 +0000614 }
615
Greg Clayton8f343b02010-11-04 01:54:29 +0000616 if (!exe_ctx.process->GetDynamicCheckers())
617 {
Sean Callanana162eba2010-12-07 22:55:01 +0000618 if (log)
619 log->Printf("== [ClangUserExpression::Evaluate] Installing dynamic checkers ==");
620
Greg Clayton8f343b02010-11-04 01:54:29 +0000621 DynamicCheckerFunctions *dynamic_checkers = new DynamicCheckerFunctions();
622
623 StreamString install_errors;
624
625 if (!dynamic_checkers->Install(install_errors, exe_ctx))
Sean Callanan2a396522010-11-05 00:57:06 +0000626 {
627 if (install_errors.GetString().empty())
628 error.SetErrorString ("couldn't install checkers, unknown error");
629 else
630 error.SetErrorString (install_errors.GetString().c_str());
631
Jim Ingham58b59f92011-04-22 23:53:53 +0000632 result_valobj_sp = ValueObjectConstResult::Create (NULL, error);
Greg Claytone0d378b2011-03-24 21:19:54 +0000633 return eExecutionSetupError;
Sean Callanan2a396522010-11-05 00:57:06 +0000634 }
635
Greg Clayton8f343b02010-11-04 01:54:29 +0000636 exe_ctx.process->SetDynamicCheckers(dynamic_checkers);
Sean Callanana162eba2010-12-07 22:55:01 +0000637
638 if (log)
639 log->Printf("== [ClangUserExpression::Evaluate] Finished installing dynamic checkers ==");
Greg Clayton8f343b02010-11-04 01:54:29 +0000640 }
641
Jim Inghamf48169b2010-11-30 02:22:11 +0000642 ClangUserExpressionSP user_expression_sp (new ClangUserExpression (expr_cstr, expr_prefix));
643
Greg Clayton0184f012010-10-05 00:31:29 +0000644 StreamString error_stream;
Sean Callanan63697e52011-05-07 01:06:41 +0000645
Sean Callanana162eba2010-12-07 22:55:01 +0000646 if (log)
647 log->Printf("== [ClangUserExpression::Evaluate] Parsing expression %s ==", expr_cstr);
648
Sean Callanan63697e52011-05-07 01:06:41 +0000649 if (!user_expression_sp->Parse (error_stream, exe_ctx, TypeFromUser(NULL, NULL), true))
Greg Clayton0184f012010-10-05 00:31:29 +0000650 {
651 if (error_stream.GetString().empty())
652 error.SetErrorString ("expression failed to parse, unknown error");
653 else
654 error.SetErrorString (error_stream.GetString().c_str());
655 }
656 else
657 {
Greg Clayton8b2fe6d2010-12-14 02:59:59 +0000658 lldb::ClangExpressionVariableSP expr_result;
Greg Clayton0184f012010-10-05 00:31:29 +0000659
Sean Callanan63697e52011-05-07 01:06:41 +0000660 if (user_expression_sp->m_const_result.get())
Greg Clayton0184f012010-10-05 00:31:29 +0000661 {
Sean Callanana162eba2010-12-07 22:55:01 +0000662 if (log)
Sean Callanane4ec90e2010-12-16 03:17:46 +0000663 log->Printf("== [ClangUserExpression::Evaluate] Expression evaluated as a constant ==");
Sean Callanana162eba2010-12-07 22:55:01 +0000664
Sean Callanan63697e52011-05-07 01:06:41 +0000665 result_valobj_sp = user_expression_sp->m_const_result->GetValueObject();
Greg Clayton0184f012010-10-05 00:31:29 +0000666 }
Sean Callanane4ec90e2010-12-16 03:17:46 +0000667 else
668 {
669 error_stream.GetString().clear();
670
671 if (log)
672 log->Printf("== [ClangUserExpression::Evaluate] Executing expression ==");
673
674 execution_results = user_expression_sp->Execute (error_stream,
675 exe_ctx,
Sean Callanan92adcac2011-01-13 08:53:35 +0000676 discard_on_error,
Sean Callanane4ec90e2010-12-16 03:17:46 +0000677 user_expression_sp,
678 expr_result);
679
Greg Claytone0d378b2011-03-24 21:19:54 +0000680 if (execution_results != eExecutionCompleted)
Greg Clayton0184f012010-10-05 00:31:29 +0000681 {
Sean Callanana162eba2010-12-07 22:55:01 +0000682 if (log)
Sean Callanane4ec90e2010-12-16 03:17:46 +0000683 log->Printf("== [ClangUserExpression::Evaluate] Execution completed abnormally ==");
684
685 if (error_stream.GetString().empty())
686 error.SetErrorString ("expression failed to execute, unknown error");
687 else
688 error.SetErrorString (error_stream.GetString().c_str());
Greg Clayton0184f012010-10-05 00:31:29 +0000689 }
Sean Callanane4ec90e2010-12-16 03:17:46 +0000690 else
Greg Clayton0184f012010-10-05 00:31:29 +0000691 {
Sean Callanane4ec90e2010-12-16 03:17:46 +0000692 if (expr_result)
693 {
694 result_valobj_sp = expr_result->GetValueObject();
695
696 if (log)
Jim Ingham6035b672011-03-31 00:19:25 +0000697 log->Printf("== [ClangUserExpression::Evaluate] Execution completed normally with result %s ==", result_valobj_sp->GetValueAsCString());
Sean Callanane4ec90e2010-12-16 03:17:46 +0000698 }
699 else
700 {
701 if (log)
702 log->Printf("== [ClangUserExpression::Evaluate] Execution completed normally with no result ==");
703
704 error.SetErrorString ("Expression did not return a result");
705 }
Greg Clayton0184f012010-10-05 00:31:29 +0000706 }
707 }
708 }
Sean Callananc57f64d2010-10-19 20:15:00 +0000709
Greg Claytonb71f3842010-10-05 03:13:51 +0000710 if (result_valobj_sp.get() == NULL)
Jim Ingham58b59f92011-04-22 23:53:53 +0000711 result_valobj_sp = ValueObjectConstResult::Create (NULL, error);
Greg Claytonb71f3842010-10-05 03:13:51 +0000712
Jim Inghamf48169b2010-11-30 02:22:11 +0000713 return execution_results;
Johnny Chendabefd02010-10-29 20:19:44 +0000714}