130fdc8d8SChris Lattner //===-- ThreadPlanStepInRange.cpp -------------------------------*- C++ -*-===//
230fdc8d8SChris Lattner //
330fdc8d8SChris Lattner //                     The LLVM Compiler Infrastructure
430fdc8d8SChris Lattner //
530fdc8d8SChris Lattner // This file is distributed under the University of Illinois Open Source
630fdc8d8SChris Lattner // License. See LICENSE.TXT for details.
730fdc8d8SChris Lattner //
830fdc8d8SChris Lattner //===----------------------------------------------------------------------===//
930fdc8d8SChris Lattner 
1030fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepInRange.h"
1130fdc8d8SChris Lattner 
1230fdc8d8SChris Lattner // C Includes
1330fdc8d8SChris Lattner // C++ Includes
1430fdc8d8SChris Lattner // Other libraries and framework includes
1530fdc8d8SChris Lattner // Project includes
1630fdc8d8SChris Lattner 
1730fdc8d8SChris Lattner #include "lldb/lldb-private-log.h"
1830fdc8d8SChris Lattner #include "lldb/Core/Log.h"
1930fdc8d8SChris Lattner #include "lldb/Core/Stream.h"
20a56c8006SJim Ingham #include "lldb/Symbol/Symbol.h"
217ce490c6SJim Ingham #include "lldb/Symbol/Function.h"
2230fdc8d8SChris Lattner #include "lldb/Target/Process.h"
2330fdc8d8SChris Lattner #include "lldb/Target/RegisterContext.h"
24514487e8SGreg Clayton #include "lldb/Target/Target.h"
2530fdc8d8SChris Lattner #include "lldb/Target/Thread.h"
2630fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepOut.h"
2730fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepThrough.h"
28a56c8006SJim Ingham #include "lldb/Core/RegularExpression.h"
2930fdc8d8SChris Lattner 
3030fdc8d8SChris Lattner using namespace lldb;
3130fdc8d8SChris Lattner using namespace lldb_private;
3230fdc8d8SChris Lattner 
3330fdc8d8SChris Lattner uint32_t ThreadPlanStepInRange::s_default_flag_values = ThreadPlanShouldStopHere::eAvoidNoDebug;
3430fdc8d8SChris Lattner 
3530fdc8d8SChris Lattner //----------------------------------------------------------------------
3630fdc8d8SChris Lattner // ThreadPlanStepInRange: Step through a stack range, either stepping over or into
3730fdc8d8SChris Lattner // based on the value of \a type.
3830fdc8d8SChris Lattner //----------------------------------------------------------------------
3930fdc8d8SChris Lattner 
4030fdc8d8SChris Lattner ThreadPlanStepInRange::ThreadPlanStepInRange
4130fdc8d8SChris Lattner (
4230fdc8d8SChris Lattner     Thread &thread,
4330fdc8d8SChris Lattner     const AddressRange &range,
4430fdc8d8SChris Lattner     const SymbolContext &addr_context,
4530fdc8d8SChris Lattner     lldb::RunMode stop_others
4630fdc8d8SChris Lattner ) :
47b01e742aSJim Ingham     ThreadPlanStepRange (ThreadPlan::eKindStepInRange, "Step Range stepping in", thread, range, addr_context, stop_others),
487ce490c6SJim Ingham     ThreadPlanShouldStopHere (this, ThreadPlanStepInRange::DefaultShouldStopHereCallback, NULL),
497ce490c6SJim Ingham     m_step_past_prologue (true)
5030fdc8d8SChris Lattner {
5130fdc8d8SChris Lattner     SetFlagsToDefault ();
5230fdc8d8SChris Lattner }
5330fdc8d8SChris Lattner 
5430fdc8d8SChris Lattner ThreadPlanStepInRange::~ThreadPlanStepInRange ()
5530fdc8d8SChris Lattner {
5630fdc8d8SChris Lattner }
5730fdc8d8SChris Lattner 
5830fdc8d8SChris Lattner void
5930fdc8d8SChris Lattner ThreadPlanStepInRange::GetDescription (Stream *s, lldb::DescriptionLevel level)
6030fdc8d8SChris Lattner {
6130fdc8d8SChris Lattner     if (level == lldb::eDescriptionLevelBrief)
6230fdc8d8SChris Lattner         s->Printf("step in");
6330fdc8d8SChris Lattner     else
6430fdc8d8SChris Lattner     {
6530fdc8d8SChris Lattner         s->Printf ("Stepping through range (stepping into functions): ");
66c4c9fedcSJim Ingham         DumpRanges(s);
6730fdc8d8SChris Lattner     }
6830fdc8d8SChris Lattner }
6930fdc8d8SChris Lattner 
7030fdc8d8SChris Lattner bool
7130fdc8d8SChris Lattner ThreadPlanStepInRange::ShouldStop (Event *event_ptr)
7230fdc8d8SChris Lattner {
732d4edfbcSGreg Clayton     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
7430fdc8d8SChris Lattner     m_no_more_plans = false;
7530fdc8d8SChris Lattner 
7630fdc8d8SChris Lattner     if (log)
7730fdc8d8SChris Lattner     {
7830fdc8d8SChris Lattner         StreamString s;
79514487e8SGreg Clayton         s.Address (m_thread.GetRegisterContext()->GetPC(),
801ac04c30SGreg Clayton                    m_thread.CalculateTarget()->GetArchitecture().GetAddressByteSize());
8130fdc8d8SChris Lattner         log->Printf("ThreadPlanStepInRange reached %s.", s.GetData());
8230fdc8d8SChris Lattner     }
8330fdc8d8SChris Lattner 
8425f66700SJim Ingham     if (IsPlanComplete())
8525f66700SJim Ingham         return true;
8625f66700SJim Ingham 
8730fdc8d8SChris Lattner     ThreadPlan* new_plan = NULL;
8830fdc8d8SChris Lattner 
899d790c5dSJim Ingham     // Stepping through should be done stopping other threads in general, since we're setting a breakpoint and
909d790c5dSJim Ingham     // continuing...
919d790c5dSJim Ingham 
9230fdc8d8SChris Lattner     bool stop_others;
939d790c5dSJim Ingham     if (m_stop_others != lldb::eAllThreads)
9430fdc8d8SChris Lattner         stop_others = true;
9530fdc8d8SChris Lattner     else
9630fdc8d8SChris Lattner         stop_others = false;
9730fdc8d8SChris Lattner 
98b5c0d1ccSJim Ingham     FrameComparison frame_order = CompareCurrentFrameToStartFrame();
99b5c0d1ccSJim Ingham 
100b5c0d1ccSJim Ingham     if (frame_order == eFrameCompareOlder)
1015822173bSJim Ingham     {
1025822173bSJim Ingham         // If we're in an older frame then we should stop.
1035822173bSJim Ingham         //
1045822173bSJim Ingham         // A caveat to this is if we think the frame is older but we're actually in a trampoline.
1055822173bSJim Ingham         // I'm going to make the assumption that you wouldn't RETURN to a trampoline.  So if we are
1065822173bSJim Ingham         // in a trampoline we think the frame is older because the trampoline confused the backtracer.
1075822173bSJim Ingham         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
1085822173bSJim Ingham         if (new_plan == NULL)
1095822173bSJim Ingham             return true;
1105822173bSJim Ingham         else if (log)
1115822173bSJim Ingham         {
1125822173bSJim Ingham             log->Printf("Thought I stepped out, but in fact arrived at a trampoline.");
1135822173bSJim Ingham         }
1145822173bSJim Ingham 
1155822173bSJim Ingham     }
116564d8bc2SJim Ingham     else if (frame_order == eFrameCompareEqual && InSymbol())
1175822173bSJim Ingham     {
1185822173bSJim Ingham         // If we are not in a place we should step through, we're done.
1195822173bSJim Ingham         // One tricky bit here is that some stubs don't push a frame, so we have to check
1205822173bSJim Ingham         // both the case of a frame that is younger, or the same as this frame.
1215822173bSJim Ingham         // However, if the frame is the same, and we are still in the symbol we started
1225822173bSJim Ingham         // in, the we don't need to do this.  This first check isn't strictly necessary,
1235822173bSJim Ingham         // but it is more efficient.
1245822173bSJim Ingham 
125564d8bc2SJim Ingham         // If we're still in the range, keep going, either by running to the next branch breakpoint, or by
126564d8bc2SJim Ingham         // stepping.
127564d8bc2SJim Ingham         if (InRange())
128564d8bc2SJim Ingham         {
129564d8bc2SJim Ingham             SetNextBranchBreakpoint();
130564d8bc2SJim Ingham             return false;
131564d8bc2SJim Ingham         }
132564d8bc2SJim Ingham 
1335822173bSJim Ingham         SetPlanComplete();
1345822173bSJim Ingham         return true;
1355822173bSJim Ingham     }
1365822173bSJim Ingham 
137564d8bc2SJim Ingham     // If we get to this point, we're not going to use a previously set "next branch" breakpoint, so delete it:
138564d8bc2SJim Ingham     ClearNextBranchBreakpoint();
139564d8bc2SJim Ingham 
1405822173bSJim Ingham     // We may have set the plan up above in the FrameIsOlder section:
1415822173bSJim Ingham 
1425822173bSJim Ingham     if (new_plan == NULL)
14330fdc8d8SChris Lattner         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
14408b87e0dSJim Ingham 
14508b87e0dSJim Ingham     if (log)
14608b87e0dSJim Ingham     {
14708b87e0dSJim Ingham         if (new_plan != NULL)
14808b87e0dSJim Ingham             log->Printf ("Found a step through plan: %s", new_plan->GetName());
14908b87e0dSJim Ingham         else
15008b87e0dSJim Ingham             log->Printf ("No step through plan found.");
15108b87e0dSJim Ingham     }
15208b87e0dSJim Ingham 
15330fdc8d8SChris Lattner     // If not, give the "should_stop" callback a chance to push a plan to get us out of here.
15430fdc8d8SChris Lattner     // But only do that if we actually have stepped in.
155b5c0d1ccSJim Ingham     if (!new_plan && frame_order == eFrameCompareYounger)
15630fdc8d8SChris Lattner         new_plan = InvokeShouldStopHereCallback();
15730fdc8d8SChris Lattner 
1587ce490c6SJim Ingham     // If we've stepped in and we are going to stop here, check to see if we were asked to
1597ce490c6SJim Ingham     // run past the prologue, and if so do that.
1607ce490c6SJim Ingham 
161b5c0d1ccSJim Ingham     if (new_plan == NULL && frame_order == eFrameCompareYounger && m_step_past_prologue)
1627ce490c6SJim Ingham     {
1637ce490c6SJim Ingham         lldb::StackFrameSP curr_frame = m_thread.GetStackFrameAtIndex(0);
1647ce490c6SJim Ingham         if (curr_frame)
1657ce490c6SJim Ingham         {
1667ce490c6SJim Ingham             size_t bytes_to_skip = 0;
1677ce490c6SJim Ingham             lldb::addr_t curr_addr = m_thread.GetRegisterContext()->GetPC();
1687ce490c6SJim Ingham             Address func_start_address;
1697ce490c6SJim Ingham 
1707ce490c6SJim Ingham             SymbolContext sc = curr_frame->GetSymbolContext (eSymbolContextFunction | eSymbolContextSymbol);
1717ce490c6SJim Ingham 
1727ce490c6SJim Ingham             if (sc.function)
1737ce490c6SJim Ingham             {
1747ce490c6SJim Ingham                 func_start_address = sc.function->GetAddressRange().GetBaseAddress();
175d9e416c0SGreg Clayton                 if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget().get()))
1767ce490c6SJim Ingham                     bytes_to_skip = sc.function->GetPrologueByteSize();
1777ce490c6SJim Ingham             }
1787ce490c6SJim Ingham             else if (sc.symbol)
1797ce490c6SJim Ingham             {
180e7612134SGreg Clayton                 func_start_address = sc.symbol->GetAddress();
181d9e416c0SGreg Clayton                 if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget().get()))
1827ce490c6SJim Ingham                     bytes_to_skip = sc.symbol->GetPrologueByteSize();
1837ce490c6SJim Ingham             }
1847ce490c6SJim Ingham 
1857ce490c6SJim Ingham             if (bytes_to_skip != 0)
1867ce490c6SJim Ingham             {
1877ce490c6SJim Ingham                 func_start_address.Slide (bytes_to_skip);
18820ad3c40SCaroline Tice                 log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP);
1897ce490c6SJim Ingham                 if (log)
1907ce490c6SJim Ingham                     log->Printf ("Pushing past prologue ");
1917ce490c6SJim Ingham 
1927ce490c6SJim Ingham                 new_plan = m_thread.QueueThreadPlanForRunToAddress(false, func_start_address,true);
1937ce490c6SJim Ingham             }
1947ce490c6SJim Ingham         }
1957ce490c6SJim Ingham     }
1967ce490c6SJim Ingham 
19730fdc8d8SChris Lattner      if (new_plan == NULL)
19830fdc8d8SChris Lattner      {
19930fdc8d8SChris Lattner         m_no_more_plans = true;
20030fdc8d8SChris Lattner         SetPlanComplete();
20130fdc8d8SChris Lattner         return true;
20230fdc8d8SChris Lattner     }
20330fdc8d8SChris Lattner     else
20430fdc8d8SChris Lattner     {
20530fdc8d8SChris Lattner         m_no_more_plans = false;
20630fdc8d8SChris Lattner         return false;
20730fdc8d8SChris Lattner     }
20830fdc8d8SChris Lattner }
20930fdc8d8SChris Lattner 
21030fdc8d8SChris Lattner void
21130fdc8d8SChris Lattner ThreadPlanStepInRange::SetFlagsToDefault ()
21230fdc8d8SChris Lattner {
21330fdc8d8SChris Lattner     GetFlags().Set(ThreadPlanStepInRange::s_default_flag_values);
21430fdc8d8SChris Lattner }
21530fdc8d8SChris Lattner 
21630fdc8d8SChris Lattner void
217a56c8006SJim Ingham ThreadPlanStepInRange::SetAvoidRegexp(const char *name)
218a56c8006SJim Ingham {
219a56c8006SJim Ingham     if (m_avoid_regexp_ap.get() == NULL)
220a56c8006SJim Ingham         m_avoid_regexp_ap.reset (new RegularExpression(name));
221a56c8006SJim Ingham 
222a56c8006SJim Ingham     m_avoid_regexp_ap->Compile (name);
223a56c8006SJim Ingham }
224a56c8006SJim Ingham 
225a56c8006SJim Ingham void
22630fdc8d8SChris Lattner ThreadPlanStepInRange::SetDefaultFlagValue (uint32_t new_value)
22730fdc8d8SChris Lattner {
22830fdc8d8SChris Lattner     // TODO: Should we test this for sanity?
22930fdc8d8SChris Lattner     ThreadPlanStepInRange::s_default_flag_values = new_value;
23030fdc8d8SChris Lattner }
23130fdc8d8SChris Lattner 
232a56c8006SJim Ingham bool
233a56c8006SJim Ingham ThreadPlanStepInRange::FrameMatchesAvoidRegexp ()
234a56c8006SJim Ingham {
235a56c8006SJim Ingham     StackFrame *frame = GetThread().GetStackFrameAtIndex(0).get();
236a56c8006SJim Ingham 
237ee8aea10SJim Ingham     RegularExpression *avoid_regexp_to_use;
238ee8aea10SJim Ingham 
239ee8aea10SJim Ingham     avoid_regexp_to_use = m_avoid_regexp_ap.get();
240ee8aea10SJim Ingham     if (avoid_regexp_to_use == NULL)
241ee8aea10SJim Ingham         avoid_regexp_to_use = GetThread().GetSymbolsToAvoidRegexp();
242ee8aea10SJim Ingham 
243ee8aea10SJim Ingham     if (avoid_regexp_to_use != NULL)
244a56c8006SJim Ingham     {
245a56c8006SJim Ingham         SymbolContext sc = frame->GetSymbolContext(eSymbolContextSymbol);
246a56c8006SJim Ingham         if (sc.symbol != NULL)
247a56c8006SJim Ingham         {
248a56c8006SJim Ingham             const char *unnamed_symbol = "<UNKNOWN>";
249a56c8006SJim Ingham             const char *sym_name = sc.symbol->GetMangled().GetName().AsCString(unnamed_symbol);
250a56c8006SJim Ingham             if (strcmp (sym_name, unnamed_symbol) != 0)
251ee8aea10SJim Ingham                return avoid_regexp_to_use->Execute(sym_name);
252a56c8006SJim Ingham         }
253a56c8006SJim Ingham     }
254a56c8006SJim Ingham     return false;
255a56c8006SJim Ingham }
256a56c8006SJim Ingham 
25730fdc8d8SChris Lattner ThreadPlan *
25830fdc8d8SChris Lattner ThreadPlanStepInRange::DefaultShouldStopHereCallback (ThreadPlan *current_plan, Flags &flags, void *baton)
25930fdc8d8SChris Lattner {
260a56c8006SJim Ingham     bool should_step_out = false;
26130fdc8d8SChris Lattner     StackFrame *frame = current_plan->GetThread().GetStackFrameAtIndex(0).get();
2622d4edfbcSGreg Clayton     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
26330fdc8d8SChris Lattner 
26473b472d4SGreg Clayton     if (flags.Test(eAvoidNoDebug))
265a56c8006SJim Ingham     {
26630fdc8d8SChris Lattner         if (!frame->HasDebugInformation())
267af0f1759SJim Ingham         {
268af0f1759SJim Ingham             if (log)
269af0f1759SJim Ingham                 log->Printf ("Stepping out of frame with no debug info");
270af0f1759SJim Ingham 
271a56c8006SJim Ingham             should_step_out = true;
272a56c8006SJim Ingham         }
273af0f1759SJim Ingham     }
274a56c8006SJim Ingham 
275a56c8006SJim Ingham     if (!should_step_out)
276a56c8006SJim Ingham     {
277a56c8006SJim Ingham         if (current_plan->GetKind() == eKindStepInRange)
278a56c8006SJim Ingham         {
279a56c8006SJim Ingham             ThreadPlanStepInRange *step_in_range_plan = static_cast<ThreadPlanStepInRange *> (current_plan);
280a56c8006SJim Ingham             should_step_out = step_in_range_plan->FrameMatchesAvoidRegexp ();
281a56c8006SJim Ingham         }
282a56c8006SJim Ingham     }
283a56c8006SJim Ingham 
284a56c8006SJim Ingham     if (should_step_out)
28530fdc8d8SChris Lattner     {
28630fdc8d8SChris Lattner         // FIXME: Make sure the ThreadPlanForStepOut does the right thing with inlined functions.
287481cef25SGreg Clayton         return current_plan->GetThread().QueueThreadPlanForStepOut (false,
288481cef25SGreg Clayton                                                                     NULL,
289481cef25SGreg Clayton                                                                     true,
290a56c8006SJim Ingham                                                                     current_plan->StopOthers(),
291481cef25SGreg Clayton                                                                     eVoteNo,
292481cef25SGreg Clayton                                                                     eVoteNoOpinion,
293481cef25SGreg Clayton                                                                     0); // Frame index
29430fdc8d8SChris Lattner     }
29530fdc8d8SChris Lattner 
29630fdc8d8SChris Lattner     return NULL;
29730fdc8d8SChris Lattner }
298*fbbfe6ecSJim Ingham 
299*fbbfe6ecSJim Ingham bool
300*fbbfe6ecSJim Ingham ThreadPlanStepInRange::PlanExplainsStop ()
301*fbbfe6ecSJim Ingham {
302*fbbfe6ecSJim Ingham     // We always explain a stop.  Either we've just done a single step, in which
303*fbbfe6ecSJim Ingham     // case we'll do our ordinary processing, or we stopped for some
304*fbbfe6ecSJim Ingham     // reason that isn't handled by our sub-plans, in which case we want to just stop right
305*fbbfe6ecSJim Ingham     // away.
306*fbbfe6ecSJim Ingham     // We also set ourselves complete when we stop for this sort of unintended reason, but mark
307*fbbfe6ecSJim Ingham     // success as false so we don't end up being the reason for the stop.
308*fbbfe6ecSJim Ingham     //
309*fbbfe6ecSJim Ingham     // The only variation is that if we are doing "step by running to next branch" in which case
310*fbbfe6ecSJim Ingham     // if we hit our branch breakpoint we don't set the plan to complete.
311*fbbfe6ecSJim Ingham 
312*fbbfe6ecSJim Ingham     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
313*fbbfe6ecSJim Ingham     StopInfoSP stop_info_sp = GetPrivateStopReason();
314*fbbfe6ecSJim Ingham     if (stop_info_sp)
315*fbbfe6ecSJim Ingham     {
316*fbbfe6ecSJim Ingham         StopReason reason = stop_info_sp->GetStopReason();
317*fbbfe6ecSJim Ingham 
318*fbbfe6ecSJim Ingham         switch (reason)
319*fbbfe6ecSJim Ingham         {
320*fbbfe6ecSJim Ingham         case eStopReasonBreakpoint:
321*fbbfe6ecSJim Ingham             if (NextRangeBreakpointExplainsStop(stop_info_sp))
322*fbbfe6ecSJim Ingham                 return true;
323*fbbfe6ecSJim Ingham         case eStopReasonWatchpoint:
324*fbbfe6ecSJim Ingham         case eStopReasonSignal:
325*fbbfe6ecSJim Ingham         case eStopReasonException:
326*fbbfe6ecSJim Ingham             if (log)
327*fbbfe6ecSJim Ingham                 log->PutCString ("ThreadPlanStepInRange got asked if it explains the stop for some reason other than step.");
328*fbbfe6ecSJim Ingham             SetPlanComplete(false);
329*fbbfe6ecSJim Ingham             break;
330*fbbfe6ecSJim Ingham         default:
331*fbbfe6ecSJim Ingham             break;
332*fbbfe6ecSJim Ingham         }
333*fbbfe6ecSJim Ingham     }
334*fbbfe6ecSJim Ingham     return true;
335*fbbfe6ecSJim Ingham }
336