blob: 4e628e7d0b0c476fb05d1b458ecde0d1d781a19b [file] [log] [blame]
Chris Lattner24943d22010-06-08 16:52:24 +00001//===-- ThreadPlanStepOut.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#include "lldb/Target/ThreadPlanStepOut.h"
11
12// C Includes
13// C++ Includes
14// Other libraries and framework includes
15// Project includes
16#include "lldb/Breakpoint/Breakpoint.h"
17#include "lldb/lldb-private-log.h"
18#include "lldb/Core/Log.h"
Jim Ingham1586d972011-12-17 01:35:57 +000019#include "lldb/Core/Value.h"
20#include "lldb/Core/ValueObjectConstResult.h"
Greg Clayton49ce8962012-08-29 21:13:06 +000021#include "lldb/Symbol/Block.h"
22#include "lldb/Symbol/Function.h"
23#include "lldb/Symbol/Type.h"
Chris Lattner24943d22010-06-08 16:52:24 +000024#include "lldb/Target/Process.h"
25#include "lldb/Target/RegisterContext.h"
Greg Clayton643ee732010-08-04 01:40:35 +000026#include "lldb/Target/StopInfo.h"
Chris Lattner24943d22010-06-08 16:52:24 +000027#include "lldb/Target/Target.h"
Jim Ingham43d39062011-10-15 00:57:28 +000028#include "lldb/Target/ThreadPlanStepOverRange.h"
Chris Lattner24943d22010-06-08 16:52:24 +000029
30using namespace lldb;
31using namespace lldb_private;
32
33//----------------------------------------------------------------------
34// ThreadPlanStepOut: Step out of the current frame
35//----------------------------------------------------------------------
Chris Lattner24943d22010-06-08 16:52:24 +000036ThreadPlanStepOut::ThreadPlanStepOut
37(
38 Thread &thread,
39 SymbolContext *context,
40 bool first_insn,
41 bool stop_others,
42 Vote stop_vote,
Greg Clayton1ebdcc72011-01-21 06:11:58 +000043 Vote run_vote,
44 uint32_t frame_idx
Chris Lattner24943d22010-06-08 16:52:24 +000045) :
Jim Ingham5a47e8b2010-06-19 04:45:32 +000046 ThreadPlan (ThreadPlan::eKindStepOut, "Step out", thread, stop_vote, run_vote),
Chris Lattner24943d22010-06-08 16:52:24 +000047 m_step_from_context (context),
48 m_step_from_insn (LLDB_INVALID_ADDRESS),
Benjamin Kramer36a08102010-07-16 12:32:33 +000049 m_return_bp_id (LLDB_INVALID_BREAK_ID),
Chris Lattner24943d22010-06-08 16:52:24 +000050 m_return_addr (LLDB_INVALID_ADDRESS),
51 m_first_insn (first_insn),
Jim Ingham43d39062011-10-15 00:57:28 +000052 m_stop_others (stop_others),
53 m_step_through_inline_plan_sp(),
Jim Ingham1586d972011-12-17 01:35:57 +000054 m_step_out_plan_sp (),
55 m_immediate_step_from_function(NULL)
Jim Ingham43d39062011-10-15 00:57:28 +000056
Chris Lattner24943d22010-06-08 16:52:24 +000057{
58 m_step_from_insn = m_thread.GetRegisterContext()->GetPC(0);
59
Greg Clayton1ebdcc72011-01-21 06:11:58 +000060 StackFrameSP return_frame_sp (m_thread.GetStackFrameAtIndex(frame_idx + 1));
Jim Ingham43d39062011-10-15 00:57:28 +000061 StackFrameSP immediate_return_from_sp (m_thread.GetStackFrameAtIndex (frame_idx));
62
Sean Callanancebfad12012-03-13 16:34:56 +000063 if (!return_frame_sp || !immediate_return_from_sp)
64 return; // we can't do anything here. ValidatePlan() will return false.
65
Jim Ingham441e3b92012-03-01 00:50:50 +000066 m_step_out_to_id = return_frame_sp->GetStackID();
67 m_immediate_step_from_id = immediate_return_from_sp->GetStackID();
68
69 StackID frame_zero_id = m_thread.GetStackFrameAtIndex(0)->GetStackID();
Jim Ingham43d39062011-10-15 00:57:28 +000070
71 // If the frame directly below the one we are returning to is inlined, we have to be
72 // a little more careful. It is non-trivial to determine the real "return code address" for
73 // an inlined frame, so we have to work our way to that frame and then step out.
74 if (immediate_return_from_sp && immediate_return_from_sp->IsInlined())
Chris Lattner24943d22010-06-08 16:52:24 +000075 {
Jim Ingham43d39062011-10-15 00:57:28 +000076 if (frame_idx > 0)
77 {
78 // First queue a plan that gets us to this inlined frame, and when we get there we'll queue a second
79 // plan that walks us out of this frame.
Jim Ingham441e3b92012-03-01 00:50:50 +000080 m_step_out_plan_sp.reset (new ThreadPlanStepOut(m_thread,
81 NULL,
82 false,
83 stop_others,
84 eVoteNoOpinion,
85 eVoteNoOpinion,
86 frame_idx - 1));
Jim Ingham43d39062011-10-15 00:57:28 +000087 }
88 else
89 {
90 // If we're already at the inlined frame we're stepping through, then just do that now.
91 QueueInlinedStepPlan(false);
92 }
93
94 }
95 else if (return_frame_sp)
96 {
97 // Find the return address and set a breakpoint there:
98 // FIXME - can we do this more securely if we know first_insn?
99
Greg Claytonf4124de2012-02-21 00:09:25 +0000100 m_return_addr = return_frame_sp->GetFrameCodeAddress().GetLoadAddress(&m_thread.GetProcess()->GetTarget());
Sean Callananf6d5fea2012-07-31 22:19:25 +0000101
102 if (m_return_addr == LLDB_INVALID_ADDRESS)
103 return;
104
Greg Claytonf4124de2012-02-21 00:09:25 +0000105 Breakpoint *return_bp = m_thread.CalculateTarget()->CreateBreakpoint (m_return_addr, true).get();
Chris Lattner24943d22010-06-08 16:52:24 +0000106 if (return_bp != NULL)
107 {
108 return_bp->SetThreadID(m_thread.GetID());
109 m_return_bp_id = return_bp->GetID();
110 }
Jim Ingham1586d972011-12-17 01:35:57 +0000111
112 if (immediate_return_from_sp)
113 {
114 const SymbolContext &sc = immediate_return_from_sp->GetSymbolContext(eSymbolContextFunction);
115 if (sc.function)
116 {
117 m_immediate_step_from_function = sc.function;
118 }
119 }
Chris Lattner24943d22010-06-08 16:52:24 +0000120 }
121
Jim Ingham43d39062011-10-15 00:57:28 +0000122}
123
124void
125ThreadPlanStepOut::DidPush()
126{
127 if (m_step_out_plan_sp)
128 m_thread.QueueThreadPlan(m_step_out_plan_sp, false);
129 else if (m_step_through_inline_plan_sp)
130 m_thread.QueueThreadPlan(m_step_through_inline_plan_sp, false);
Chris Lattner24943d22010-06-08 16:52:24 +0000131}
132
133ThreadPlanStepOut::~ThreadPlanStepOut ()
134{
135 if (m_return_bp_id != LLDB_INVALID_BREAK_ID)
Greg Claytonf4124de2012-02-21 00:09:25 +0000136 m_thread.CalculateTarget()->RemoveBreakpointByID(m_return_bp_id);
Chris Lattner24943d22010-06-08 16:52:24 +0000137}
138
139void
140ThreadPlanStepOut::GetDescription (Stream *s, lldb::DescriptionLevel level)
141{
142 if (level == lldb::eDescriptionLevelBrief)
143 s->Printf ("step out");
144 else
145 {
Jim Ingham43d39062011-10-15 00:57:28 +0000146 if (m_step_out_plan_sp)
Jim Ingham441e3b92012-03-01 00:50:50 +0000147 s->Printf ("Stepping out to inlined frame so we can walk through it.");
Jim Ingham43d39062011-10-15 00:57:28 +0000148 else if (m_step_through_inline_plan_sp)
149 s->Printf ("Stepping out by stepping through inlined function.");
150 else
Jim Ingham441e3b92012-03-01 00:50:50 +0000151 s->Printf ("Stepping out from address 0x%llx to return address 0x%llx using breakpoint site %d",
Jim Ingham43d39062011-10-15 00:57:28 +0000152 (uint64_t)m_step_from_insn,
153 (uint64_t)m_return_addr,
Jim Ingham43d39062011-10-15 00:57:28 +0000154 m_return_bp_id);
Chris Lattner24943d22010-06-08 16:52:24 +0000155 }
156}
157
158bool
159ThreadPlanStepOut::ValidatePlan (Stream *error)
160{
Jim Ingham43d39062011-10-15 00:57:28 +0000161 if (m_step_out_plan_sp)
162 return m_step_out_plan_sp->ValidatePlan (error);
163 else if (m_step_through_inline_plan_sp)
164 return m_step_through_inline_plan_sp->ValidatePlan (error);
165 else if (m_return_bp_id == LLDB_INVALID_BREAK_ID)
166 {
Sean Callananf6d5fea2012-07-31 22:19:25 +0000167 if (error)
168 error->PutCString("Could not create return address breakpoint.");
Chris Lattner24943d22010-06-08 16:52:24 +0000169 return false;
Jim Ingham43d39062011-10-15 00:57:28 +0000170 }
Chris Lattner24943d22010-06-08 16:52:24 +0000171 else
172 return true;
173}
174
175bool
176ThreadPlanStepOut::PlanExplainsStop ()
177{
Jim Ingham43d39062011-10-15 00:57:28 +0000178 // If one of our child plans just finished, then we do explain the stop.
179 if (m_step_out_plan_sp)
180 {
181 if (m_step_out_plan_sp->MischiefManaged())
182 {
183 // If this one is done, then we are all done.
Jim Ingham1586d972011-12-17 01:35:57 +0000184 CalculateReturnValue();
Jim Ingham43d39062011-10-15 00:57:28 +0000185 SetPlanComplete();
186 return true;
187 }
188 else
189 return false;
190 }
191 else if (m_step_through_inline_plan_sp)
192 {
193 if (m_step_through_inline_plan_sp->MischiefManaged())
194 return true;
195 else
196 return false;
197 }
198
Chris Lattner24943d22010-06-08 16:52:24 +0000199 // We don't explain signals or breakpoints (breakpoints that handle stepping in or
200 // out will be handled by a child plan.
Jim Ingham43d39062011-10-15 00:57:28 +0000201
Jim Ingham6297a3a2010-10-20 00:39:53 +0000202 StopInfoSP stop_info_sp = GetPrivateStopReason();
203 if (stop_info_sp)
Chris Lattner24943d22010-06-08 16:52:24 +0000204 {
Jim Ingham6297a3a2010-10-20 00:39:53 +0000205 StopReason reason = stop_info_sp->GetStopReason();
Chris Lattner24943d22010-06-08 16:52:24 +0000206 switch (reason)
207 {
Greg Clayton643ee732010-08-04 01:40:35 +0000208 case eStopReasonBreakpoint:
209 {
210 // If this is OUR breakpoint, we're fine, otherwise we don't know why this happened...
Greg Claytonf4124de2012-02-21 00:09:25 +0000211 BreakpointSiteSP site_sp (m_thread.GetProcess()->GetBreakpointSiteList().FindByID (stop_info_sp->GetValue()));
Greg Clayton643ee732010-08-04 01:40:35 +0000212 if (site_sp && site_sp->IsBreakpointAtThisSite (m_return_bp_id))
Chris Lattner24943d22010-06-08 16:52:24 +0000213 {
Jim Ingham441e3b92012-03-01 00:50:50 +0000214 bool done;
215
216 StackID frame_zero_id = m_thread.GetStackFrameAtIndex(0)->GetStackID();
217
218 if (m_step_out_to_id == frame_zero_id)
219 done = true;
220 else if (m_step_out_to_id < frame_zero_id)
221 {
222 // Either we stepped past the breakpoint, or the stack ID calculation
223 // was incorrect and we should probably stop.
224 done = true;
225 }
226 else
227 {
228 if (m_immediate_step_from_id < frame_zero_id)
229 done = true;
230 else
231 done = false;
232 }
233
234 if (done)
Jim Ingham1586d972011-12-17 01:35:57 +0000235 {
236 CalculateReturnValue();
Greg Clayton1ebdcc72011-01-21 06:11:58 +0000237 SetPlanComplete();
Jim Ingham1586d972011-12-17 01:35:57 +0000238 }
Greg Clayton1ebdcc72011-01-21 06:11:58 +0000239
Greg Clayton643ee732010-08-04 01:40:35 +0000240 // If there was only one owner, then we're done. But if we also hit some
241 // user breakpoint on our way out, we should mark ourselves as done, but
242 // also not claim to explain the stop, since it is more important to report
243 // the user breakpoint than the step out completion.
Chris Lattner24943d22010-06-08 16:52:24 +0000244
Greg Clayton643ee732010-08-04 01:40:35 +0000245 if (site_sp->GetNumberOfOwners() == 1)
246 return true;
247
Chris Lattner24943d22010-06-08 16:52:24 +0000248 }
Greg Clayton643ee732010-08-04 01:40:35 +0000249 return false;
250 }
251 case eStopReasonWatchpoint:
252 case eStopReasonSignal:
253 case eStopReasonException:
254 return false;
255
256 default:
257 return true;
Chris Lattner24943d22010-06-08 16:52:24 +0000258 }
259 }
260 return true;
261}
262
263bool
264ThreadPlanStepOut::ShouldStop (Event *event_ptr)
265{
Jim Ingham43d39062011-10-15 00:57:28 +0000266 if (IsPlanComplete())
Jim Ingham43d39062011-10-15 00:57:28 +0000267 return true;
Jim Ingham441e3b92012-03-01 00:50:50 +0000268
269 bool done;
270
271 StackID frame_zero_id = m_thread.GetStackFrameAtIndex(0)->GetStackID();
272 if (frame_zero_id < m_step_out_to_id)
273 done = false;
274 else
275 done = true;
276
277 if (done)
Jim Ingham43d39062011-10-15 00:57:28 +0000278 {
Jim Ingham1586d972011-12-17 01:35:57 +0000279 CalculateReturnValue();
Jim Ingham43d39062011-10-15 00:57:28 +0000280 SetPlanComplete();
281 return true;
282 }
283 else
284 {
285 if (m_step_out_plan_sp)
286 {
287 if (m_step_out_plan_sp->MischiefManaged())
288 {
289 // Now step through the inlined stack we are in:
290 if (QueueInlinedStepPlan(true))
291 {
292 return false;
293 }
294 else
295 {
Jim Ingham1586d972011-12-17 01:35:57 +0000296 CalculateReturnValue();
Jim Ingham43d39062011-10-15 00:57:28 +0000297 SetPlanComplete ();
298 return true;
299 }
300 }
301 else
302 return m_step_out_plan_sp->ShouldStop(event_ptr);
303 }
304 else if (m_step_through_inline_plan_sp)
305 {
306 if (m_step_through_inline_plan_sp->MischiefManaged())
307 {
Jim Ingham1586d972011-12-17 01:35:57 +0000308 // We don't calculate the return value here because we don't know how to.
309 // But in case we had a return value sitting around from our process in
310 // getting here, let's clear it out.
311 m_return_valobj_sp.reset();
Jim Ingham43d39062011-10-15 00:57:28 +0000312 SetPlanComplete();
313 return true;
314 }
315 else
316 return m_step_through_inline_plan_sp->ShouldStop(event_ptr);
317 }
318 else
319 return false;
320 }
Chris Lattner24943d22010-06-08 16:52:24 +0000321}
322
323bool
324ThreadPlanStepOut::StopOthers ()
325{
326 return m_stop_others;
327}
328
329StateType
Jim Ingham745ac7a2010-11-11 19:26:09 +0000330ThreadPlanStepOut::GetPlanRunState ()
Chris Lattner24943d22010-06-08 16:52:24 +0000331{
332 return eStateRunning;
333}
334
335bool
336ThreadPlanStepOut::WillResume (StateType resume_state, bool current_plan)
337{
338 ThreadPlan::WillResume (resume_state, current_plan);
Jim Ingham43d39062011-10-15 00:57:28 +0000339 if (m_step_out_plan_sp || m_step_through_inline_plan_sp)
340 return true;
341
Chris Lattner24943d22010-06-08 16:52:24 +0000342 if (m_return_bp_id == LLDB_INVALID_BREAK_ID)
343 return false;
344
345 if (current_plan)
346 {
Greg Claytonf4124de2012-02-21 00:09:25 +0000347 Breakpoint *return_bp = m_thread.CalculateTarget()->GetBreakpointByID(m_return_bp_id).get();
Chris Lattner24943d22010-06-08 16:52:24 +0000348 if (return_bp != NULL)
349 return_bp->SetEnabled (true);
350 }
351 return true;
352}
353
354bool
355ThreadPlanStepOut::WillStop ()
356{
Jim Ingham43d39062011-10-15 00:57:28 +0000357 if (m_return_bp_id != LLDB_INVALID_BREAK_ID)
358 {
Greg Claytonf4124de2012-02-21 00:09:25 +0000359 Breakpoint *return_bp = m_thread.CalculateTarget()->GetBreakpointByID(m_return_bp_id).get();
Jim Ingham43d39062011-10-15 00:57:28 +0000360 if (return_bp != NULL)
361 return_bp->SetEnabled (false);
362 }
363
Chris Lattner24943d22010-06-08 16:52:24 +0000364 return true;
365}
366
367bool
368ThreadPlanStepOut::MischiefManaged ()
369{
Jim Ingham43d39062011-10-15 00:57:28 +0000370 if (IsPlanComplete())
Chris Lattner24943d22010-06-08 16:52:24 +0000371 {
372 // Did I reach my breakpoint? If so I'm done.
373 //
374 // I also check the stack depth, since if we've blown past the breakpoint for some
375 // reason and we're now stopping for some other reason altogether, then we're done
376 // with this step out operation.
377
Greg Claytone005f2c2010-11-06 01:53:30 +0000378 LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
Chris Lattner24943d22010-06-08 16:52:24 +0000379 if (log)
380 log->Printf("Completed step out plan.");
Jim Ingham43d39062011-10-15 00:57:28 +0000381 if (m_return_bp_id != LLDB_INVALID_BREAK_ID)
382 {
Greg Claytonf4124de2012-02-21 00:09:25 +0000383 m_thread.CalculateTarget()->RemoveBreakpointByID (m_return_bp_id);
Jim Ingham43d39062011-10-15 00:57:28 +0000384 m_return_bp_id = LLDB_INVALID_BREAK_ID;
385 }
386
Chris Lattner24943d22010-06-08 16:52:24 +0000387 ThreadPlan::MischiefManaged ();
388 return true;
389 }
390 else
391 {
392 return false;
393 }
394}
395
Jim Ingham43d39062011-10-15 00:57:28 +0000396bool
397ThreadPlanStepOut::QueueInlinedStepPlan (bool queue_now)
398{
399 // Now figure out the range of this inlined block, and set up a "step through range"
400 // plan for that. If we've been provided with a context, then use the block in that
401 // context.
402 StackFrameSP immediate_return_from_sp (m_thread.GetStackFrameAtIndex (0));
403 if (!immediate_return_from_sp)
404 return false;
405
406 LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
407 if (log)
408 {
409 StreamString s;
410 immediate_return_from_sp->Dump(&s, true, false);
411 log->Printf("Queuing inlined frame to step past: %s.", s.GetData());
412 }
413
414 Block *from_block = immediate_return_from_sp->GetFrameBlock();
415 if (from_block)
416 {
417 Block *inlined_block = from_block->GetContainingInlinedBlock();
418 if (inlined_block)
419 {
420 size_t num_ranges = inlined_block->GetNumRanges();
421 AddressRange inline_range;
422 if (inlined_block->GetRangeAtIndex(0, inline_range))
423 {
424 SymbolContext inlined_sc;
425 inlined_block->CalculateSymbolContext(&inlined_sc);
Jim Inghamc3ba2af2012-07-26 18:23:21 +0000426 inlined_sc.target_sp = GetTarget().shared_from_this();
Jim Ingham43d39062011-10-15 00:57:28 +0000427 RunMode run_mode = m_stop_others ? lldb::eOnlyThisThread : lldb::eAllThreads;
428 ThreadPlanStepOverRange *step_through_inline_plan_ptr = new ThreadPlanStepOverRange(m_thread,
429 inline_range,
430 inlined_sc,
431 run_mode);
432 step_through_inline_plan_ptr->SetOkayToDiscard(true);
433 StreamString errors;
434 if (!step_through_inline_plan_ptr->ValidatePlan(&errors))
435 {
436 //FIXME: Log this failure.
437 delete step_through_inline_plan_ptr;
438 return false;
439 }
440
441 for (size_t i = 1; i < num_ranges; i++)
442 {
443 if (inlined_block->GetRangeAtIndex (i, inline_range))
444 step_through_inline_plan_ptr->AddRange (inline_range);
445 }
446 m_step_through_inline_plan_sp.reset (step_through_inline_plan_ptr);
447 if (queue_now)
448 m_thread.QueueThreadPlan (m_step_through_inline_plan_sp, false);
449 return true;
450 }
451 }
452 }
453
454 return false;
455}
Jim Ingham1586d972011-12-17 01:35:57 +0000456
457void
458ThreadPlanStepOut::CalculateReturnValue ()
459{
460 if (m_return_valobj_sp)
461 return;
462
463 if (m_immediate_step_from_function != NULL)
464 {
465 Type *return_type = m_immediate_step_from_function->GetType();
466 lldb::clang_type_t return_clang_type = m_immediate_step_from_function->GetReturnClangType();
467 if (return_type && return_clang_type)
468 {
469 ClangASTType ast_type (return_type->GetClangAST(), return_clang_type);
470
Greg Claytonf4124de2012-02-21 00:09:25 +0000471 lldb::ABISP abi_sp = m_thread.GetProcess()->GetABI();
Jim Ingham1586d972011-12-17 01:35:57 +0000472 if (abi_sp)
473 {
474 m_return_valobj_sp = abi_sp->GetReturnValueObject(m_thread, ast_type);
475 }
476 }
477 }
478}
Jim Ingham88e3de22012-05-03 21:19:36 +0000479
480bool
481ThreadPlanStepOut::IsPlanStale()
482{
483 // If we are still lower on the stack than the frame we are returning to, then
484 // there's something for us to do. Otherwise, we're stale.
485
486 StackID frame_zero_id = m_thread.GetStackFrameAtIndex(0)->GetStackID();
487 if (frame_zero_id < m_step_out_to_id)
488 return false;
489 else
490 return true;
491}
492