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"
24*514487e8SGreg 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): ");
66f5e56de0SGreg Clayton         m_address_range.Dump (s, &m_thread.GetProcess().GetTarget(), Address::DumpStyleLoadAddress);
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;
79*514487e8SGreg Clayton         s.Address (m_thread.GetRegisterContext()->GetPC(),
80*514487e8SGreg Clayton                    m_thread.GetProcess().GetTarget().GetArchitecture().GetAddressByteSize());
8130fdc8d8SChris Lattner         log->Printf("ThreadPlanStepInRange reached %s.", s.GetData());
8230fdc8d8SChris Lattner     }
8330fdc8d8SChris Lattner 
8430fdc8d8SChris Lattner     // If we're still in the range, keep going.
8530fdc8d8SChris Lattner     if (InRange())
8630fdc8d8SChris Lattner         return false;
8730fdc8d8SChris Lattner 
8830fdc8d8SChris Lattner     ThreadPlan* new_plan = NULL;
8930fdc8d8SChris Lattner 
909d790c5dSJim Ingham     // Stepping through should be done stopping other threads in general, since we're setting a breakpoint and
919d790c5dSJim Ingham     // continuing...
929d790c5dSJim Ingham 
9330fdc8d8SChris Lattner     bool stop_others;
949d790c5dSJim Ingham     if (m_stop_others != lldb::eAllThreads)
9530fdc8d8SChris Lattner         stop_others = true;
9630fdc8d8SChris Lattner     else
9730fdc8d8SChris Lattner         stop_others = false;
9830fdc8d8SChris Lattner 
995822173bSJim Ingham     if (FrameIsOlder())
1005822173bSJim Ingham     {
1015822173bSJim Ingham         // If we're in an older frame then we should stop.
1025822173bSJim Ingham         //
1035822173bSJim Ingham         // A caveat to this is if we think the frame is older but we're actually in a trampoline.
1045822173bSJim Ingham         // I'm going to make the assumption that you wouldn't RETURN to a trampoline.  So if we are
1055822173bSJim Ingham         // in a trampoline we think the frame is older because the trampoline confused the backtracer.
1065822173bSJim Ingham         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
1075822173bSJim Ingham         if (new_plan == NULL)
1085822173bSJim Ingham             return true;
1095822173bSJim Ingham         else if (log)
1105822173bSJim Ingham         {
1115822173bSJim Ingham             log->Printf("Thought I stepped out, but in fact arrived at a trampoline.");
1125822173bSJim Ingham         }
1135822173bSJim Ingham 
1145822173bSJim Ingham     }
1155822173bSJim Ingham     else if (!FrameIsYounger() && InSymbol())
1165822173bSJim Ingham     {
1175822173bSJim Ingham         // If we are not in a place we should step through, we're done.
1185822173bSJim Ingham         // One tricky bit here is that some stubs don't push a frame, so we have to check
1195822173bSJim Ingham         // both the case of a frame that is younger, or the same as this frame.
1205822173bSJim Ingham         // However, if the frame is the same, and we are still in the symbol we started
1215822173bSJim Ingham         // in, the we don't need to do this.  This first check isn't strictly necessary,
1225822173bSJim Ingham         // but it is more efficient.
1235822173bSJim Ingham 
1245822173bSJim Ingham         SetPlanComplete();
1255822173bSJim Ingham         return true;
1265822173bSJim Ingham     }
1275822173bSJim Ingham 
1285822173bSJim Ingham     // We may have set the plan up above in the FrameIsOlder section:
1295822173bSJim Ingham 
1305822173bSJim Ingham     if (new_plan == NULL)
13130fdc8d8SChris Lattner         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
13208b87e0dSJim Ingham 
13308b87e0dSJim Ingham     if (log)
13408b87e0dSJim Ingham     {
13508b87e0dSJim Ingham         if (new_plan != NULL)
13608b87e0dSJim Ingham             log->Printf ("Found a step through plan: %s", new_plan->GetName());
13708b87e0dSJim Ingham         else
13808b87e0dSJim Ingham             log->Printf ("No step through plan found.");
13908b87e0dSJim Ingham     }
14008b87e0dSJim Ingham 
14130fdc8d8SChris Lattner     // If not, give the "should_stop" callback a chance to push a plan to get us out of here.
14230fdc8d8SChris Lattner     // But only do that if we actually have stepped in.
14330fdc8d8SChris Lattner     if (!new_plan && FrameIsYounger())
14430fdc8d8SChris Lattner         new_plan = InvokeShouldStopHereCallback();
14530fdc8d8SChris Lattner 
1467ce490c6SJim Ingham     // If we've stepped in and we are going to stop here, check to see if we were asked to
1477ce490c6SJim Ingham     // run past the prologue, and if so do that.
1487ce490c6SJim Ingham 
1497ce490c6SJim Ingham     if (new_plan == NULL && FrameIsYounger() && m_step_past_prologue)
1507ce490c6SJim Ingham     {
1517ce490c6SJim Ingham         lldb::StackFrameSP curr_frame = m_thread.GetStackFrameAtIndex(0);
1527ce490c6SJim Ingham         if (curr_frame)
1537ce490c6SJim Ingham         {
1547ce490c6SJim Ingham             size_t bytes_to_skip = 0;
1557ce490c6SJim Ingham             lldb::addr_t curr_addr = m_thread.GetRegisterContext()->GetPC();
1567ce490c6SJim Ingham             Address func_start_address;
1577ce490c6SJim Ingham 
1587ce490c6SJim Ingham             SymbolContext sc = curr_frame->GetSymbolContext (eSymbolContextFunction | eSymbolContextSymbol);
1597ce490c6SJim Ingham 
1607ce490c6SJim Ingham             if (sc.function)
1617ce490c6SJim Ingham             {
1627ce490c6SJim Ingham                 func_start_address = sc.function->GetAddressRange().GetBaseAddress();
1637ce490c6SJim Ingham                 if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget()))
1647ce490c6SJim Ingham                     bytes_to_skip = sc.function->GetPrologueByteSize();
1657ce490c6SJim Ingham             }
1667ce490c6SJim Ingham             else if (sc.symbol)
1677ce490c6SJim Ingham             {
1687ce490c6SJim Ingham                 func_start_address = sc.symbol->GetValue();
1697ce490c6SJim Ingham                 if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget()))
1707ce490c6SJim Ingham                     bytes_to_skip = sc.symbol->GetPrologueByteSize();
1717ce490c6SJim Ingham             }
1727ce490c6SJim Ingham 
1737ce490c6SJim Ingham             if (bytes_to_skip != 0)
1747ce490c6SJim Ingham             {
1757ce490c6SJim Ingham                 func_start_address.Slide (bytes_to_skip);
17620ad3c40SCaroline Tice                 log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP);
1777ce490c6SJim Ingham                 if (log)
1787ce490c6SJim Ingham                     log->Printf ("Pushing past prologue ");
1797ce490c6SJim Ingham 
1807ce490c6SJim Ingham                 new_plan = m_thread.QueueThreadPlanForRunToAddress(false, func_start_address,true);
1817ce490c6SJim Ingham             }
1827ce490c6SJim Ingham         }
1837ce490c6SJim Ingham     }
1847ce490c6SJim Ingham 
18530fdc8d8SChris Lattner      if (new_plan == NULL)
18630fdc8d8SChris Lattner      {
18730fdc8d8SChris Lattner         m_no_more_plans = true;
18830fdc8d8SChris Lattner         SetPlanComplete();
18930fdc8d8SChris Lattner         return true;
19030fdc8d8SChris Lattner     }
19130fdc8d8SChris Lattner     else
19230fdc8d8SChris Lattner     {
19330fdc8d8SChris Lattner         m_no_more_plans = false;
19430fdc8d8SChris Lattner         return false;
19530fdc8d8SChris Lattner     }
19630fdc8d8SChris Lattner }
19730fdc8d8SChris Lattner 
19830fdc8d8SChris Lattner void
19930fdc8d8SChris Lattner ThreadPlanStepInRange::SetFlagsToDefault ()
20030fdc8d8SChris Lattner {
20130fdc8d8SChris Lattner     GetFlags().Set(ThreadPlanStepInRange::s_default_flag_values);
20230fdc8d8SChris Lattner }
20330fdc8d8SChris Lattner 
20430fdc8d8SChris Lattner void
205a56c8006SJim Ingham ThreadPlanStepInRange::SetAvoidRegexp(const char *name)
206a56c8006SJim Ingham {
207a56c8006SJim Ingham     if (m_avoid_regexp_ap.get() == NULL)
208a56c8006SJim Ingham         m_avoid_regexp_ap.reset (new RegularExpression(name));
209a56c8006SJim Ingham 
210a56c8006SJim Ingham     m_avoid_regexp_ap->Compile (name);
211a56c8006SJim Ingham }
212a56c8006SJim Ingham 
213a56c8006SJim Ingham void
21430fdc8d8SChris Lattner ThreadPlanStepInRange::SetDefaultFlagValue (uint32_t new_value)
21530fdc8d8SChris Lattner {
21630fdc8d8SChris Lattner     // TODO: Should we test this for sanity?
21730fdc8d8SChris Lattner     ThreadPlanStepInRange::s_default_flag_values = new_value;
21830fdc8d8SChris Lattner }
21930fdc8d8SChris Lattner 
220a56c8006SJim Ingham bool
221a56c8006SJim Ingham ThreadPlanStepInRange::FrameMatchesAvoidRegexp ()
222a56c8006SJim Ingham {
223a56c8006SJim Ingham     StackFrame *frame = GetThread().GetStackFrameAtIndex(0).get();
224a56c8006SJim Ingham 
225ee8aea10SJim Ingham     RegularExpression *avoid_regexp_to_use;
226ee8aea10SJim Ingham 
227ee8aea10SJim Ingham     avoid_regexp_to_use = m_avoid_regexp_ap.get();
228ee8aea10SJim Ingham     if (avoid_regexp_to_use == NULL)
229ee8aea10SJim Ingham         avoid_regexp_to_use = GetThread().GetSymbolsToAvoidRegexp();
230ee8aea10SJim Ingham 
231ee8aea10SJim Ingham     if (avoid_regexp_to_use != NULL)
232a56c8006SJim Ingham     {
233a56c8006SJim Ingham         SymbolContext sc = frame->GetSymbolContext(eSymbolContextSymbol);
234a56c8006SJim Ingham         if (sc.symbol != NULL)
235a56c8006SJim Ingham         {
236a56c8006SJim Ingham             const char *unnamed_symbol = "<UNKNOWN>";
237a56c8006SJim Ingham             const char *sym_name = sc.symbol->GetMangled().GetName().AsCString(unnamed_symbol);
238a56c8006SJim Ingham             if (strcmp (sym_name, unnamed_symbol) != 0)
239ee8aea10SJim Ingham                return avoid_regexp_to_use->Execute(sym_name);
240a56c8006SJim Ingham         }
241a56c8006SJim Ingham     }
242a56c8006SJim Ingham     return false;
243a56c8006SJim Ingham }
244a56c8006SJim Ingham 
24530fdc8d8SChris Lattner ThreadPlan *
24630fdc8d8SChris Lattner ThreadPlanStepInRange::DefaultShouldStopHereCallback (ThreadPlan *current_plan, Flags &flags, void *baton)
24730fdc8d8SChris Lattner {
248a56c8006SJim Ingham     bool should_step_out = false;
24930fdc8d8SChris Lattner     StackFrame *frame = current_plan->GetThread().GetStackFrameAtIndex(0).get();
2502d4edfbcSGreg Clayton     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
25130fdc8d8SChris Lattner 
25273b472d4SGreg Clayton     if (flags.Test(eAvoidNoDebug))
253a56c8006SJim Ingham     {
25430fdc8d8SChris Lattner         if (!frame->HasDebugInformation())
255af0f1759SJim Ingham         {
256af0f1759SJim Ingham             if (log)
257af0f1759SJim Ingham                 log->Printf ("Stepping out of frame with no debug info");
258af0f1759SJim Ingham 
259a56c8006SJim Ingham             should_step_out = true;
260a56c8006SJim Ingham         }
261af0f1759SJim Ingham     }
262a56c8006SJim Ingham 
263a56c8006SJim Ingham     if (!should_step_out)
264a56c8006SJim Ingham     {
265a56c8006SJim Ingham         if (current_plan->GetKind() == eKindStepInRange)
266a56c8006SJim Ingham         {
267a56c8006SJim Ingham             ThreadPlanStepInRange *step_in_range_plan = static_cast<ThreadPlanStepInRange *> (current_plan);
268a56c8006SJim Ingham             should_step_out = step_in_range_plan->FrameMatchesAvoidRegexp ();
269a56c8006SJim Ingham         }
270a56c8006SJim Ingham     }
271a56c8006SJim Ingham 
272a56c8006SJim Ingham     if (should_step_out)
27330fdc8d8SChris Lattner     {
27430fdc8d8SChris Lattner         // FIXME: Make sure the ThreadPlanForStepOut does the right thing with inlined functions.
275481cef25SGreg Clayton         return current_plan->GetThread().QueueThreadPlanForStepOut (false,
276481cef25SGreg Clayton                                                                     NULL,
277481cef25SGreg Clayton                                                                     true,
278a56c8006SJim Ingham                                                                     current_plan->StopOthers(),
279481cef25SGreg Clayton                                                                     eVoteNo,
280481cef25SGreg Clayton                                                                     eVoteNoOpinion,
281481cef25SGreg Clayton                                                                     0); // Frame index
28230fdc8d8SChris Lattner     }
28330fdc8d8SChris Lattner 
28430fdc8d8SChris Lattner     return NULL;
28530fdc8d8SChris Lattner }
286