1 //===-- ThreadPlanStepRange.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/ThreadPlanStepRange.h"
11
12 // C Includes
13 // C++ Includes
14 // Other libraries and framework includes
15 // Project includes
16
17 #include "lldb/lldb-private-log.h"
18 #include "lldb/Breakpoint/BreakpointLocation.h"
19 #include "lldb/Breakpoint/BreakpointSite.h"
20 #include "lldb/Core/Disassembler.h"
21 #include "lldb/Core/Log.h"
22 #include "lldb/Core/Stream.h"
23 #include "lldb/Symbol/Function.h"
24 #include "lldb/Symbol/Symbol.h"
25 #include "lldb/Target/ExecutionContext.h"
26 #include "lldb/Target/Process.h"
27 #include "lldb/Target/RegisterContext.h"
28 #include "lldb/Target/StopInfo.h"
29 #include "lldb/Target/Target.h"
30 #include "lldb/Target/Thread.h"
31 #include "lldb/Target/ThreadPlanRunToAddress.h"
32
33 using namespace lldb;
34 using namespace lldb_private;
35
36
37 //----------------------------------------------------------------------
38 // ThreadPlanStepRange: Step through a stack range, either stepping over or into
39 // based on the value of \a type.
40 //----------------------------------------------------------------------
41
ThreadPlanStepRange(ThreadPlanKind kind,const char * name,Thread & thread,const AddressRange & range,const SymbolContext & addr_context,lldb::RunMode stop_others)42 ThreadPlanStepRange::ThreadPlanStepRange (ThreadPlanKind kind,
43 const char *name,
44 Thread &thread,
45 const AddressRange &range,
46 const SymbolContext &addr_context,
47 lldb::RunMode stop_others) :
48 ThreadPlan (kind, name, thread, eVoteNoOpinion, eVoteNoOpinion),
49 m_addr_context (addr_context),
50 m_address_ranges (),
51 m_stop_others (stop_others),
52 m_stack_id (),
53 m_no_more_plans (false),
54 m_first_run_event (true),
55 m_use_fast_step(false)
56 {
57 m_use_fast_step = GetTarget().GetUseFastStepping();
58 AddRange(range);
59 m_stack_id = m_thread.GetStackFrameAtIndex(0)->GetStackID();
60 }
61
~ThreadPlanStepRange()62 ThreadPlanStepRange::~ThreadPlanStepRange ()
63 {
64 ClearNextBranchBreakpoint();
65
66 size_t num_instruction_ranges = m_instruction_ranges.size();
67
68 // FIXME: The DisassemblerLLVMC has a reference cycle and won't go away if it has any active instructions.
69 // I'll fix that but for now, just clear the list and it will go away nicely.
70 for (size_t i = 0; i < num_instruction_ranges; i++)
71 {
72 if (m_instruction_ranges[i])
73 m_instruction_ranges[i]->GetInstructionList().Clear();
74 }
75 }
76
77 void
DidPush()78 ThreadPlanStepRange::DidPush ()
79 {
80 // See if we can find a "next range" breakpoint:
81 SetNextBranchBreakpoint();
82 }
83
84 bool
ValidatePlan(Stream * error)85 ThreadPlanStepRange::ValidatePlan (Stream *error)
86 {
87 return true;
88 }
89
90 Vote
ShouldReportStop(Event * event_ptr)91 ThreadPlanStepRange::ShouldReportStop (Event *event_ptr)
92 {
93 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
94
95 const Vote vote = IsPlanComplete() ? eVoteYes : eVoteNo;
96 if (log)
97 log->Printf ("ThreadPlanStepRange::ShouldReportStop() returning vote %i\n", vote);
98 return vote;
99 }
100
101 void
AddRange(const AddressRange & new_range)102 ThreadPlanStepRange::AddRange(const AddressRange &new_range)
103 {
104 // For now I'm just adding the ranges. At some point we may want to
105 // condense the ranges if they overlap, though I don't think it is likely
106 // to be very important.
107 m_address_ranges.push_back (new_range);
108
109 // Fill the slot for this address range with an empty DisassemblerSP in the instruction ranges. I want the
110 // indices to match, but I don't want to do the work to disassemble this range if I don't step into it.
111 m_instruction_ranges.push_back (DisassemblerSP());
112 }
113
114 void
DumpRanges(Stream * s)115 ThreadPlanStepRange::DumpRanges(Stream *s)
116 {
117 size_t num_ranges = m_address_ranges.size();
118 if (num_ranges == 1)
119 {
120 m_address_ranges[0].Dump (s, m_thread.CalculateTarget().get(), Address::DumpStyleLoadAddress);
121 }
122 else
123 {
124 for (size_t i = 0; i < num_ranges; i++)
125 {
126 s->PutCString("%d: ");
127 m_address_ranges[i].Dump (s, m_thread.CalculateTarget().get(), Address::DumpStyleLoadAddress);
128 }
129 }
130 }
131
132 bool
InRange()133 ThreadPlanStepRange::InRange ()
134 {
135 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
136 bool ret_value = false;
137
138 lldb::addr_t pc_load_addr = m_thread.GetRegisterContext()->GetPC();
139
140 size_t num_ranges = m_address_ranges.size();
141 for (size_t i = 0; i < num_ranges; i++)
142 {
143 ret_value = m_address_ranges[i].ContainsLoadAddress(pc_load_addr, m_thread.CalculateTarget().get());
144 if (ret_value)
145 break;
146 }
147
148 if (!ret_value)
149 {
150 // See if we've just stepped to another part of the same line number...
151 StackFrame *frame = m_thread.GetStackFrameAtIndex(0).get();
152
153 SymbolContext new_context(frame->GetSymbolContext(eSymbolContextEverything));
154 if (m_addr_context.line_entry.IsValid() && new_context.line_entry.IsValid())
155 {
156 if (m_addr_context.line_entry.file == new_context.line_entry.file)
157 {
158 if (m_addr_context.line_entry.line == new_context.line_entry.line)
159 {
160 m_addr_context = new_context;
161 AddRange(m_addr_context.line_entry.range);
162 ret_value = true;
163 if (log)
164 {
165 StreamString s;
166 m_addr_context.line_entry.Dump (&s,
167 m_thread.CalculateTarget().get(),
168 true,
169 Address::DumpStyleLoadAddress,
170 Address::DumpStyleLoadAddress,
171 true);
172
173 log->Printf ("Step range plan stepped to another range of same line: %s", s.GetData());
174 }
175 }
176 else if (new_context.line_entry.range.GetBaseAddress().GetLoadAddress(m_thread.CalculateTarget().get())
177 != pc_load_addr)
178 {
179 // Another thing that sometimes happens here is that we step out of one line into the MIDDLE of another
180 // line. So far I mostly see this due to bugs in the debug information.
181 // But we probably don't want to be in the middle of a line range, so in that case reset the stepping
182 // range to the line we've stepped into the middle of and continue.
183 m_addr_context = new_context;
184 m_address_ranges.clear();
185 AddRange(m_addr_context.line_entry.range);
186 ret_value = true;
187 if (log)
188 {
189 StreamString s;
190 m_addr_context.line_entry.Dump (&s,
191 m_thread.CalculateTarget().get(),
192 true,
193 Address::DumpStyleLoadAddress,
194 Address::DumpStyleLoadAddress,
195 true);
196
197 log->Printf ("Step range plan stepped to the middle of new line(%d): %s, continuing to clear this line.",
198 new_context.line_entry.line,
199 s.GetData());
200 }
201
202 }
203 }
204
205 }
206
207 }
208
209 if (!ret_value && log)
210 log->Printf ("Step range plan out of range to 0x%" PRIx64, pc_load_addr);
211
212 return ret_value;
213 }
214
215 bool
InSymbol()216 ThreadPlanStepRange::InSymbol()
217 {
218 lldb::addr_t cur_pc = m_thread.GetRegisterContext()->GetPC();
219 if (m_addr_context.function != NULL)
220 {
221 return m_addr_context.function->GetAddressRange().ContainsLoadAddress (cur_pc, m_thread.CalculateTarget().get());
222 }
223 else if (m_addr_context.symbol)
224 {
225 AddressRange range(m_addr_context.symbol->GetAddress(), m_addr_context.symbol->GetByteSize());
226 return range.ContainsLoadAddress (cur_pc, m_thread.CalculateTarget().get());
227 }
228 return false;
229 }
230
231 // FIXME: This should also handle inlining if we aren't going to do inlining in the
232 // main stack.
233 //
234 // Ideally we should remember the whole stack frame list, and then compare that
235 // to the current list.
236
237 lldb::FrameComparison
CompareCurrentFrameToStartFrame()238 ThreadPlanStepRange::CompareCurrentFrameToStartFrame()
239 {
240 FrameComparison frame_order;
241
242 StackID cur_frame_id = m_thread.GetStackFrameAtIndex(0)->GetStackID();
243
244 if (cur_frame_id == m_stack_id)
245 {
246 frame_order = eFrameCompareEqual;
247 }
248 else if (cur_frame_id < m_stack_id)
249 {
250 frame_order = eFrameCompareYounger;
251 }
252 else
253 {
254 frame_order = eFrameCompareOlder;
255 }
256 return frame_order;
257 }
258
259 bool
StopOthers()260 ThreadPlanStepRange::StopOthers ()
261 {
262 if (m_stop_others == lldb::eOnlyThisThread
263 || m_stop_others == lldb::eOnlyDuringStepping)
264 return true;
265 else
266 return false;
267 }
268
269 InstructionList *
GetInstructionsForAddress(lldb::addr_t addr,size_t & range_index,size_t & insn_offset)270 ThreadPlanStepRange::GetInstructionsForAddress(lldb::addr_t addr, size_t &range_index, size_t &insn_offset)
271 {
272 size_t num_ranges = m_address_ranges.size();
273 for (size_t i = 0; i < num_ranges; i++)
274 {
275 if (m_address_ranges[i].ContainsLoadAddress(addr, &GetTarget()))
276 {
277 // Some joker added a zero size range to the stepping range...
278 if (m_address_ranges[i].GetByteSize() == 0)
279 return NULL;
280
281 if (!m_instruction_ranges[i])
282 {
283 //Disassemble the address range given:
284 ExecutionContext exe_ctx (m_thread.GetProcess());
285 const char *plugin_name = NULL;
286 const char *flavor = NULL;
287 m_instruction_ranges[i] = Disassembler::DisassembleRange(GetTarget().GetArchitecture(),
288 plugin_name,
289 flavor,
290 exe_ctx,
291 m_address_ranges[i]);
292
293 }
294 if (!m_instruction_ranges[i])
295 return NULL;
296 else
297 {
298 // Find where we are in the instruction list as well. If we aren't at an instruction,
299 // return NULL. In this case, we're probably lost, and shouldn't try to do anything fancy.
300
301 insn_offset = m_instruction_ranges[i]->GetInstructionList().GetIndexOfInstructionAtLoadAddress(addr, GetTarget());
302 if (insn_offset == UINT32_MAX)
303 return NULL;
304 else
305 {
306 range_index = i;
307 return &m_instruction_ranges[i]->GetInstructionList();
308 }
309 }
310 }
311 }
312 return NULL;
313 }
314
315 void
ClearNextBranchBreakpoint()316 ThreadPlanStepRange::ClearNextBranchBreakpoint()
317 {
318 if (m_next_branch_bp_sp)
319 {
320 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
321 if (log)
322 log->Printf ("Removing next branch breakpoint: %d.", m_next_branch_bp_sp->GetID());
323 GetTarget().RemoveBreakpointByID (m_next_branch_bp_sp->GetID());
324 m_next_branch_bp_sp.reset();
325 }
326 }
327
328 bool
SetNextBranchBreakpoint()329 ThreadPlanStepRange::SetNextBranchBreakpoint ()
330 {
331 if (m_next_branch_bp_sp)
332 return true;
333
334 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
335 // Stepping through ranges using breakpoints doesn't work yet, but with this off we fall back to instruction
336 // single stepping.
337 if (!m_use_fast_step)
338 return false;
339
340 lldb::addr_t cur_addr = GetThread().GetRegisterContext()->GetPC();
341 // Find the current address in our address ranges, and fetch the disassembly if we haven't already:
342 size_t pc_index;
343 size_t range_index;
344 InstructionList *instructions = GetInstructionsForAddress (cur_addr, range_index, pc_index);
345 if (instructions == NULL)
346 return false;
347 else
348 {
349 uint32_t branch_index;
350 branch_index = instructions->GetIndexOfNextBranchInstruction (pc_index);
351
352 Address run_to_address;
353
354 // If we didn't find a branch, run to the end of the range.
355 if (branch_index == UINT32_MAX)
356 {
357 branch_index = instructions->GetSize() - 1;
358 }
359
360 if (branch_index - pc_index > 1)
361 {
362 const bool is_internal = true;
363 run_to_address = instructions->GetInstructionAtIndex(branch_index)->GetAddress();
364 m_next_branch_bp_sp = GetTarget().CreateBreakpoint(run_to_address, is_internal);
365 if (m_next_branch_bp_sp)
366 {
367 if (log)
368 {
369 lldb::break_id_t bp_site_id = LLDB_INVALID_BREAK_ID;
370 BreakpointLocationSP bp_loc = m_next_branch_bp_sp->GetLocationAtIndex(0);
371 if (bp_loc)
372 {
373 BreakpointSiteSP bp_site = bp_loc->GetBreakpointSite();
374 if (bp_site)
375 {
376 bp_site_id = bp_site->GetID();
377 }
378 }
379 log->Printf ("ThreadPlanStepRange::SetNextBranchBreakpoint - Setting breakpoint %d (site %d) to run to address 0x%" PRIx64,
380 m_next_branch_bp_sp->GetID(),
381 bp_site_id,
382 run_to_address.GetLoadAddress(&m_thread.GetProcess()->GetTarget()));
383 }
384 m_next_branch_bp_sp->SetThreadID(m_thread.GetID());
385 m_next_branch_bp_sp->SetBreakpointKind ("next-branch-location");
386 return true;
387 }
388 else
389 return false;
390 }
391 }
392 return false;
393 }
394
395 bool
NextRangeBreakpointExplainsStop(lldb::StopInfoSP stop_info_sp)396 ThreadPlanStepRange::NextRangeBreakpointExplainsStop (lldb::StopInfoSP stop_info_sp)
397 {
398 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
399 if (!m_next_branch_bp_sp)
400 return false;
401
402 break_id_t bp_site_id = stop_info_sp->GetValue();
403 BreakpointSiteSP bp_site_sp = m_thread.GetProcess()->GetBreakpointSiteList().FindByID(bp_site_id);
404 if (!bp_site_sp)
405 return false;
406 else if (!bp_site_sp->IsBreakpointAtThisSite (m_next_branch_bp_sp->GetID()))
407 return false;
408 else
409 {
410 // If we've hit the next branch breakpoint, then clear it.
411 size_t num_owners = bp_site_sp->GetNumberOfOwners();
412 bool explains_stop = true;
413 // If all the owners are internal, then we are probably just stepping over this range from multiple threads,
414 // or multiple frames, so we want to continue. If one is not internal, then we should not explain the stop,
415 // and let the user breakpoint handle the stop.
416 for (size_t i = 0; i < num_owners; i++)
417 {
418 if (!bp_site_sp->GetOwnerAtIndex(i)->GetBreakpoint().IsInternal())
419 {
420 explains_stop = false;
421 break;
422 }
423 }
424 if (log)
425 log->Printf ("ThreadPlanStepRange::NextRangeBreakpointExplainsStop - Hit next range breakpoint which has %zu owners - explains stop: %u.",
426 num_owners,
427 explains_stop);
428 ClearNextBranchBreakpoint();
429 return explains_stop;
430 }
431 }
432
433 bool
WillStop()434 ThreadPlanStepRange::WillStop ()
435 {
436 return true;
437 }
438
439 StateType
GetPlanRunState()440 ThreadPlanStepRange::GetPlanRunState ()
441 {
442 if (m_next_branch_bp_sp)
443 return eStateRunning;
444 else
445 return eStateStepping;
446 }
447
448 bool
MischiefManaged()449 ThreadPlanStepRange::MischiefManaged ()
450 {
451 // If we have pushed some plans between ShouldStop & MischiefManaged, then we're not done...
452 // I do this check first because we might have stepped somewhere that will fool InRange into
453 // thinking it needs to step past the end of that line. This happens, for instance, when stepping
454 // over inlined code that is in the middle of the current line.
455
456 if (!m_no_more_plans)
457 return false;
458
459 bool done = true;
460 if (!IsPlanComplete())
461 {
462 if (InRange())
463 {
464 done = false;
465 }
466 else
467 {
468 FrameComparison frame_order = CompareCurrentFrameToStartFrame();
469 if (frame_order != eFrameCompareOlder)
470 {
471 if (m_no_more_plans)
472 done = true;
473 else
474 done = false;
475 }
476 else
477 done = true;
478 }
479 }
480
481 if (done)
482 {
483 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
484 if (log)
485 log->Printf("Completed step through range plan.");
486 ClearNextBranchBreakpoint();
487 ThreadPlan::MischiefManaged ();
488 return true;
489 }
490 else
491 {
492 return false;
493 }
494
495 }
496
497 bool
IsPlanStale()498 ThreadPlanStepRange::IsPlanStale ()
499 {
500 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
501 FrameComparison frame_order = CompareCurrentFrameToStartFrame();
502
503 if (frame_order == eFrameCompareOlder)
504 {
505 if (log)
506 {
507 log->Printf("ThreadPlanStepRange::IsPlanStale returning true, we've stepped out.");
508 }
509 return true;
510 }
511 else if (frame_order == eFrameCompareEqual && InSymbol())
512 {
513 // If we are not in a place we should step through, we've gotten stale.
514 // One tricky bit here is that some stubs don't push a frame, so we should.
515 // check that we are in the same symbol.
516 if (!InRange())
517 {
518 return true;
519 }
520 }
521 return false;
522 }
523