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
7125f66700SJim Ingham ThreadPlanStepInRange::PlanExplainsStop ()
7225f66700SJim Ingham {
7325f66700SJim Ingham     // We always explain a stop.  Either we've just done a single step, in which
7425f66700SJim Ingham     // case we'll do our ordinary processing, or we stopped for some
7525f66700SJim Ingham     // reason that isn't handled by our sub-plans, in which case we want to just stop right
7625f66700SJim Ingham     // away.
7725f66700SJim Ingham 
7825f66700SJim Ingham     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
7925f66700SJim Ingham     StopInfoSP stop_info_sp = GetPrivateStopReason();
8025f66700SJim Ingham     if (stop_info_sp)
8125f66700SJim Ingham     {
8225f66700SJim Ingham         StopReason reason = stop_info_sp->GetStopReason();
8325f66700SJim Ingham 
8425f66700SJim Ingham         switch (reason)
8525f66700SJim Ingham         {
8625f66700SJim Ingham         case eStopReasonBreakpoint:
8725f66700SJim Ingham         case eStopReasonWatchpoint:
8825f66700SJim Ingham         case eStopReasonSignal:
8925f66700SJim Ingham         case eStopReasonException:
9025f66700SJim Ingham             if (log)
9125f66700SJim Ingham                 log->PutCString ("ThreadPlanStepInRange got asked if it explains the stop for some reason other than step.");
9225f66700SJim Ingham             SetPlanComplete();
9325f66700SJim Ingham             break;
9425f66700SJim Ingham         default:
9525f66700SJim Ingham             break;
9625f66700SJim Ingham         }
9725f66700SJim Ingham     }
9825f66700SJim Ingham     return true;
9925f66700SJim Ingham }
10025f66700SJim Ingham 
10125f66700SJim Ingham bool
10230fdc8d8SChris Lattner ThreadPlanStepInRange::ShouldStop (Event *event_ptr)
10330fdc8d8SChris Lattner {
1042d4edfbcSGreg Clayton     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
10530fdc8d8SChris Lattner     m_no_more_plans = false;
10630fdc8d8SChris Lattner 
10730fdc8d8SChris Lattner     if (log)
10830fdc8d8SChris Lattner     {
10930fdc8d8SChris Lattner         StreamString s;
110514487e8SGreg Clayton         s.Address (m_thread.GetRegisterContext()->GetPC(),
111514487e8SGreg Clayton                    m_thread.GetProcess().GetTarget().GetArchitecture().GetAddressByteSize());
11230fdc8d8SChris Lattner         log->Printf("ThreadPlanStepInRange reached %s.", s.GetData());
11330fdc8d8SChris Lattner     }
11430fdc8d8SChris Lattner 
11525f66700SJim Ingham     if (IsPlanComplete())
11625f66700SJim Ingham         return true;
11725f66700SJim Ingham 
11830fdc8d8SChris Lattner     // If we're still in the range, keep going.
11930fdc8d8SChris Lattner     if (InRange())
12030fdc8d8SChris Lattner         return false;
12130fdc8d8SChris Lattner 
12230fdc8d8SChris Lattner     ThreadPlan* new_plan = NULL;
12330fdc8d8SChris Lattner 
1249d790c5dSJim Ingham     // Stepping through should be done stopping other threads in general, since we're setting a breakpoint and
1259d790c5dSJim Ingham     // continuing...
1269d790c5dSJim Ingham 
12730fdc8d8SChris Lattner     bool stop_others;
1289d790c5dSJim Ingham     if (m_stop_others != lldb::eAllThreads)
12930fdc8d8SChris Lattner         stop_others = true;
13030fdc8d8SChris Lattner     else
13130fdc8d8SChris Lattner         stop_others = false;
13230fdc8d8SChris Lattner 
1335822173bSJim Ingham     if (FrameIsOlder())
1345822173bSJim Ingham     {
1355822173bSJim Ingham         // If we're in an older frame then we should stop.
1365822173bSJim Ingham         //
1375822173bSJim Ingham         // A caveat to this is if we think the frame is older but we're actually in a trampoline.
1385822173bSJim Ingham         // I'm going to make the assumption that you wouldn't RETURN to a trampoline.  So if we are
1395822173bSJim Ingham         // in a trampoline we think the frame is older because the trampoline confused the backtracer.
1405822173bSJim Ingham         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
1415822173bSJim Ingham         if (new_plan == NULL)
1425822173bSJim Ingham             return true;
1435822173bSJim Ingham         else if (log)
1445822173bSJim Ingham         {
1455822173bSJim Ingham             log->Printf("Thought I stepped out, but in fact arrived at a trampoline.");
1465822173bSJim Ingham         }
1475822173bSJim Ingham 
1485822173bSJim Ingham     }
1495822173bSJim Ingham     else if (!FrameIsYounger() && InSymbol())
1505822173bSJim Ingham     {
1515822173bSJim Ingham         // If we are not in a place we should step through, we're done.
1525822173bSJim Ingham         // One tricky bit here is that some stubs don't push a frame, so we have to check
1535822173bSJim Ingham         // both the case of a frame that is younger, or the same as this frame.
1545822173bSJim Ingham         // However, if the frame is the same, and we are still in the symbol we started
1555822173bSJim Ingham         // in, the we don't need to do this.  This first check isn't strictly necessary,
1565822173bSJim Ingham         // but it is more efficient.
1575822173bSJim Ingham 
1585822173bSJim Ingham         SetPlanComplete();
1595822173bSJim Ingham         return true;
1605822173bSJim Ingham     }
1615822173bSJim Ingham 
1625822173bSJim Ingham     // We may have set the plan up above in the FrameIsOlder section:
1635822173bSJim Ingham 
1645822173bSJim Ingham     if (new_plan == NULL)
16530fdc8d8SChris Lattner         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
16608b87e0dSJim Ingham 
16708b87e0dSJim Ingham     if (log)
16808b87e0dSJim Ingham     {
16908b87e0dSJim Ingham         if (new_plan != NULL)
17008b87e0dSJim Ingham             log->Printf ("Found a step through plan: %s", new_plan->GetName());
17108b87e0dSJim Ingham         else
17208b87e0dSJim Ingham             log->Printf ("No step through plan found.");
17308b87e0dSJim Ingham     }
17408b87e0dSJim Ingham 
17530fdc8d8SChris Lattner     // If not, give the "should_stop" callback a chance to push a plan to get us out of here.
17630fdc8d8SChris Lattner     // But only do that if we actually have stepped in.
17730fdc8d8SChris Lattner     if (!new_plan && FrameIsYounger())
17830fdc8d8SChris Lattner         new_plan = InvokeShouldStopHereCallback();
17930fdc8d8SChris Lattner 
1807ce490c6SJim Ingham     // If we've stepped in and we are going to stop here, check to see if we were asked to
1817ce490c6SJim Ingham     // run past the prologue, and if so do that.
1827ce490c6SJim Ingham 
1837ce490c6SJim Ingham     if (new_plan == NULL && FrameIsYounger() && m_step_past_prologue)
1847ce490c6SJim Ingham     {
1857ce490c6SJim Ingham         lldb::StackFrameSP curr_frame = m_thread.GetStackFrameAtIndex(0);
1867ce490c6SJim Ingham         if (curr_frame)
1877ce490c6SJim Ingham         {
1887ce490c6SJim Ingham             size_t bytes_to_skip = 0;
1897ce490c6SJim Ingham             lldb::addr_t curr_addr = m_thread.GetRegisterContext()->GetPC();
1907ce490c6SJim Ingham             Address func_start_address;
1917ce490c6SJim Ingham 
1927ce490c6SJim Ingham             SymbolContext sc = curr_frame->GetSymbolContext (eSymbolContextFunction | eSymbolContextSymbol);
1937ce490c6SJim Ingham 
1947ce490c6SJim Ingham             if (sc.function)
1957ce490c6SJim Ingham             {
1967ce490c6SJim Ingham                 func_start_address = sc.function->GetAddressRange().GetBaseAddress();
197*d9e416c0SGreg Clayton                 if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget().get()))
1987ce490c6SJim Ingham                     bytes_to_skip = sc.function->GetPrologueByteSize();
1997ce490c6SJim Ingham             }
2007ce490c6SJim Ingham             else if (sc.symbol)
2017ce490c6SJim Ingham             {
2027ce490c6SJim Ingham                 func_start_address = sc.symbol->GetValue();
203*d9e416c0SGreg Clayton                 if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget().get()))
2047ce490c6SJim Ingham                     bytes_to_skip = sc.symbol->GetPrologueByteSize();
2057ce490c6SJim Ingham             }
2067ce490c6SJim Ingham 
2077ce490c6SJim Ingham             if (bytes_to_skip != 0)
2087ce490c6SJim Ingham             {
2097ce490c6SJim Ingham                 func_start_address.Slide (bytes_to_skip);
21020ad3c40SCaroline Tice                 log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP);
2117ce490c6SJim Ingham                 if (log)
2127ce490c6SJim Ingham                     log->Printf ("Pushing past prologue ");
2137ce490c6SJim Ingham 
2147ce490c6SJim Ingham                 new_plan = m_thread.QueueThreadPlanForRunToAddress(false, func_start_address,true);
2157ce490c6SJim Ingham             }
2167ce490c6SJim Ingham         }
2177ce490c6SJim Ingham     }
2187ce490c6SJim Ingham 
21930fdc8d8SChris Lattner      if (new_plan == NULL)
22030fdc8d8SChris Lattner      {
22130fdc8d8SChris Lattner         m_no_more_plans = true;
22230fdc8d8SChris Lattner         SetPlanComplete();
22330fdc8d8SChris Lattner         return true;
22430fdc8d8SChris Lattner     }
22530fdc8d8SChris Lattner     else
22630fdc8d8SChris Lattner     {
22730fdc8d8SChris Lattner         m_no_more_plans = false;
22830fdc8d8SChris Lattner         return false;
22930fdc8d8SChris Lattner     }
23030fdc8d8SChris Lattner }
23130fdc8d8SChris Lattner 
23230fdc8d8SChris Lattner void
23330fdc8d8SChris Lattner ThreadPlanStepInRange::SetFlagsToDefault ()
23430fdc8d8SChris Lattner {
23530fdc8d8SChris Lattner     GetFlags().Set(ThreadPlanStepInRange::s_default_flag_values);
23630fdc8d8SChris Lattner }
23730fdc8d8SChris Lattner 
23830fdc8d8SChris Lattner void
239a56c8006SJim Ingham ThreadPlanStepInRange::SetAvoidRegexp(const char *name)
240a56c8006SJim Ingham {
241a56c8006SJim Ingham     if (m_avoid_regexp_ap.get() == NULL)
242a56c8006SJim Ingham         m_avoid_regexp_ap.reset (new RegularExpression(name));
243a56c8006SJim Ingham 
244a56c8006SJim Ingham     m_avoid_regexp_ap->Compile (name);
245a56c8006SJim Ingham }
246a56c8006SJim Ingham 
247a56c8006SJim Ingham void
24830fdc8d8SChris Lattner ThreadPlanStepInRange::SetDefaultFlagValue (uint32_t new_value)
24930fdc8d8SChris Lattner {
25030fdc8d8SChris Lattner     // TODO: Should we test this for sanity?
25130fdc8d8SChris Lattner     ThreadPlanStepInRange::s_default_flag_values = new_value;
25230fdc8d8SChris Lattner }
25330fdc8d8SChris Lattner 
254a56c8006SJim Ingham bool
255a56c8006SJim Ingham ThreadPlanStepInRange::FrameMatchesAvoidRegexp ()
256a56c8006SJim Ingham {
257a56c8006SJim Ingham     StackFrame *frame = GetThread().GetStackFrameAtIndex(0).get();
258a56c8006SJim Ingham 
259ee8aea10SJim Ingham     RegularExpression *avoid_regexp_to_use;
260ee8aea10SJim Ingham 
261ee8aea10SJim Ingham     avoid_regexp_to_use = m_avoid_regexp_ap.get();
262ee8aea10SJim Ingham     if (avoid_regexp_to_use == NULL)
263ee8aea10SJim Ingham         avoid_regexp_to_use = GetThread().GetSymbolsToAvoidRegexp();
264ee8aea10SJim Ingham 
265ee8aea10SJim Ingham     if (avoid_regexp_to_use != NULL)
266a56c8006SJim Ingham     {
267a56c8006SJim Ingham         SymbolContext sc = frame->GetSymbolContext(eSymbolContextSymbol);
268a56c8006SJim Ingham         if (sc.symbol != NULL)
269a56c8006SJim Ingham         {
270a56c8006SJim Ingham             const char *unnamed_symbol = "<UNKNOWN>";
271a56c8006SJim Ingham             const char *sym_name = sc.symbol->GetMangled().GetName().AsCString(unnamed_symbol);
272a56c8006SJim Ingham             if (strcmp (sym_name, unnamed_symbol) != 0)
273ee8aea10SJim Ingham                return avoid_regexp_to_use->Execute(sym_name);
274a56c8006SJim Ingham         }
275a56c8006SJim Ingham     }
276a56c8006SJim Ingham     return false;
277a56c8006SJim Ingham }
278a56c8006SJim Ingham 
27930fdc8d8SChris Lattner ThreadPlan *
28030fdc8d8SChris Lattner ThreadPlanStepInRange::DefaultShouldStopHereCallback (ThreadPlan *current_plan, Flags &flags, void *baton)
28130fdc8d8SChris Lattner {
282a56c8006SJim Ingham     bool should_step_out = false;
28330fdc8d8SChris Lattner     StackFrame *frame = current_plan->GetThread().GetStackFrameAtIndex(0).get();
2842d4edfbcSGreg Clayton     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
28530fdc8d8SChris Lattner 
28673b472d4SGreg Clayton     if (flags.Test(eAvoidNoDebug))
287a56c8006SJim Ingham     {
28830fdc8d8SChris Lattner         if (!frame->HasDebugInformation())
289af0f1759SJim Ingham         {
290af0f1759SJim Ingham             if (log)
291af0f1759SJim Ingham                 log->Printf ("Stepping out of frame with no debug info");
292af0f1759SJim Ingham 
293a56c8006SJim Ingham             should_step_out = true;
294a56c8006SJim Ingham         }
295af0f1759SJim Ingham     }
296a56c8006SJim Ingham 
297a56c8006SJim Ingham     if (!should_step_out)
298a56c8006SJim Ingham     {
299a56c8006SJim Ingham         if (current_plan->GetKind() == eKindStepInRange)
300a56c8006SJim Ingham         {
301a56c8006SJim Ingham             ThreadPlanStepInRange *step_in_range_plan = static_cast<ThreadPlanStepInRange *> (current_plan);
302a56c8006SJim Ingham             should_step_out = step_in_range_plan->FrameMatchesAvoidRegexp ();
303a56c8006SJim Ingham         }
304a56c8006SJim Ingham     }
305a56c8006SJim Ingham 
306a56c8006SJim Ingham     if (should_step_out)
30730fdc8d8SChris Lattner     {
30830fdc8d8SChris Lattner         // FIXME: Make sure the ThreadPlanForStepOut does the right thing with inlined functions.
309481cef25SGreg Clayton         return current_plan->GetThread().QueueThreadPlanForStepOut (false,
310481cef25SGreg Clayton                                                                     NULL,
311481cef25SGreg Clayton                                                                     true,
312a56c8006SJim Ingham                                                                     current_plan->StopOthers(),
313481cef25SGreg Clayton                                                                     eVoteNo,
314481cef25SGreg Clayton                                                                     eVoteNoOpinion,
315481cef25SGreg Clayton                                                                     0); // Frame index
31630fdc8d8SChris Lattner     }
31730fdc8d8SChris Lattner 
31830fdc8d8SChris Lattner     return NULL;
31930fdc8d8SChris Lattner }
320