130fdc8d8SChris Lattner //===-- ThreadPlanStepOverRange.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/ThreadPlanStepOverRange.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"
2030fdc8d8SChris Lattner #include "lldb/Target/Process.h"
2130fdc8d8SChris Lattner #include "lldb/Target/RegisterContext.h"
22514487e8SGreg Clayton #include "lldb/Target/Target.h"
2330fdc8d8SChris Lattner #include "lldb/Target/Thread.h"
2430fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepOut.h"
2530fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepThrough.h"
2630fdc8d8SChris Lattner 
2730fdc8d8SChris Lattner using namespace lldb_private;
282d4edfbcSGreg Clayton using namespace lldb;
2930fdc8d8SChris Lattner 
3030fdc8d8SChris Lattner 
3130fdc8d8SChris Lattner //----------------------------------------------------------------------
3230fdc8d8SChris Lattner // ThreadPlanStepOverRange: Step through a stack range, either stepping over or into
3330fdc8d8SChris Lattner // based on the value of \a type.
3430fdc8d8SChris Lattner //----------------------------------------------------------------------
3530fdc8d8SChris Lattner 
3630fdc8d8SChris Lattner ThreadPlanStepOverRange::ThreadPlanStepOverRange
3730fdc8d8SChris Lattner (
3830fdc8d8SChris Lattner     Thread &thread,
3930fdc8d8SChris Lattner     const AddressRange &range,
4030fdc8d8SChris Lattner     const SymbolContext &addr_context,
4130fdc8d8SChris Lattner     lldb::RunMode stop_others,
4230fdc8d8SChris Lattner     bool okay_to_discard
4330fdc8d8SChris Lattner ) :
44b01e742aSJim Ingham     ThreadPlanStepRange (ThreadPlan::eKindStepOverRange, "Step range stepping over", thread, range, addr_context, stop_others)
4530fdc8d8SChris Lattner {
46cf274f91SJim Ingham     // Step over range plans can be master plans, since you could hit a breakpoint while stepping over, step around
47cf274f91SJim Ingham     // a bit, then continue to finish up the step over.
48cf274f91SJim Ingham     SetIsMasterPlan (true);
4930fdc8d8SChris Lattner     SetOkayToDiscard (okay_to_discard);
5030fdc8d8SChris Lattner }
5130fdc8d8SChris Lattner 
5230fdc8d8SChris Lattner ThreadPlanStepOverRange::~ThreadPlanStepOverRange ()
5330fdc8d8SChris Lattner {
5430fdc8d8SChris Lattner }
5530fdc8d8SChris Lattner 
5630fdc8d8SChris Lattner void
5730fdc8d8SChris Lattner ThreadPlanStepOverRange::GetDescription (Stream *s, lldb::DescriptionLevel level)
5830fdc8d8SChris Lattner {
5930fdc8d8SChris Lattner     if (level == lldb::eDescriptionLevelBrief)
6030fdc8d8SChris Lattner         s->Printf("step over");
6130fdc8d8SChris Lattner     else
6230fdc8d8SChris Lattner     {
6330fdc8d8SChris Lattner         s->Printf ("stepping through range (stepping over functions): ");
64c4c9fedcSJim Ingham         DumpRanges(s);
6530fdc8d8SChris Lattner     }
6630fdc8d8SChris Lattner }
6730fdc8d8SChris Lattner 
6830fdc8d8SChris Lattner bool
6930fdc8d8SChris Lattner ThreadPlanStepOverRange::ShouldStop (Event *event_ptr)
7030fdc8d8SChris Lattner {
712d4edfbcSGreg Clayton     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
7230fdc8d8SChris Lattner 
7330fdc8d8SChris Lattner     if (log)
7430fdc8d8SChris Lattner     {
7530fdc8d8SChris Lattner         StreamString s;
76514487e8SGreg Clayton         s.Address (m_thread.GetRegisterContext()->GetPC(),
771ac04c30SGreg Clayton                    m_thread.CalculateTarget()->GetArchitecture().GetAddressByteSize());
7830fdc8d8SChris Lattner         log->Printf("ThreadPlanStepOverRange reached %s.", s.GetData());
7930fdc8d8SChris Lattner     }
8030fdc8d8SChris Lattner 
8130fdc8d8SChris Lattner     // If we're out of the range but in the same frame or in our caller's frame
8230fdc8d8SChris Lattner     // then we should stop.
8330fdc8d8SChris Lattner     // When stepping out we only step if we are forcing running one thread.
8430fdc8d8SChris Lattner     bool stop_others;
8530fdc8d8SChris Lattner     if (m_stop_others == lldb::eOnlyThisThread)
8630fdc8d8SChris Lattner         stop_others = true;
8730fdc8d8SChris Lattner     else
8830fdc8d8SChris Lattner         stop_others = false;
8930fdc8d8SChris Lattner 
9030fdc8d8SChris Lattner     ThreadPlan* new_plan = NULL;
9130fdc8d8SChris Lattner 
92b5c0d1ccSJim Ingham     FrameComparison frame_order = CompareCurrentFrameToStartFrame();
93b5c0d1ccSJim Ingham 
94b5c0d1ccSJim Ingham     if (frame_order == eFrameCompareOlder)
955822173bSJim Ingham     {
965822173bSJim Ingham         // If we're in an older frame then we should stop.
975822173bSJim Ingham         //
985822173bSJim Ingham         // A caveat to this is if we think the frame is older but we're actually in a trampoline.
995822173bSJim Ingham         // I'm going to make the assumption that you wouldn't RETURN to a trampoline.  So if we are
1005822173bSJim Ingham         // in a trampoline we think the frame is older because the trampoline confused the backtracer.
1015822173bSJim Ingham         // As below, we step through first, and then try to figure out how to get back out again.
1025822173bSJim Ingham 
1035822173bSJim Ingham         new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
1045822173bSJim Ingham 
1055822173bSJim Ingham         if (new_plan != NULL && log)
1065822173bSJim Ingham             log->Printf("Thought I stepped out, but in fact arrived at a trampoline.");
1075822173bSJim Ingham     }
108b5c0d1ccSJim Ingham     else if (frame_order == eFrameCompareYounger)
109b5c0d1ccSJim Ingham     {
110b5c0d1ccSJim Ingham         // Make sure we really are in a new frame.  Do that by unwinding and seeing if the
111b5c0d1ccSJim Ingham         // start function really is our start function...
112b5c0d1ccSJim Ingham         StackFrameSP older_frame_sp = m_thread.GetStackFrameAtIndex(1);
113b5c0d1ccSJim Ingham 
114b5c0d1ccSJim Ingham         // But if we can't even unwind one frame we should just get out of here & stop...
115b5c0d1ccSJim Ingham         if (older_frame_sp)
116b5c0d1ccSJim Ingham         {
117b5c0d1ccSJim Ingham             const SymbolContext &older_context = older_frame_sp->GetSymbolContext(eSymbolContextEverything);
118b5c0d1ccSJim Ingham             if (older_context == m_addr_context)
11930fdc8d8SChris Lattner             {
120481cef25SGreg Clayton                 new_plan = m_thread.QueueThreadPlanForStepOut (false,
121481cef25SGreg Clayton                                                            NULL,
122481cef25SGreg Clayton                                                            true,
123481cef25SGreg Clayton                                                            stop_others,
124e0d378b3SGreg Clayton                                                            eVoteNo,
125e0d378b3SGreg Clayton                                                            eVoteNoOpinion,
126481cef25SGreg Clayton                                                            0);
12730fdc8d8SChris Lattner             }
128b5c0d1ccSJim Ingham             else
129b5c0d1ccSJim Ingham             {
130b5c0d1ccSJim Ingham                 new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
131b5c0d1ccSJim Ingham 
132b5c0d1ccSJim Ingham             }
133b5c0d1ccSJim Ingham         }
134b5c0d1ccSJim Ingham     }
135564d8bc2SJim Ingham     else
136564d8bc2SJim Ingham     {
137564d8bc2SJim Ingham         // If we're still in the range, keep going.
138564d8bc2SJim Ingham         if (InRange())
139564d8bc2SJim Ingham         {
140564d8bc2SJim Ingham             SetNextBranchBreakpoint();
141564d8bc2SJim Ingham             return false;
142564d8bc2SJim Ingham         }
143564d8bc2SJim Ingham 
144564d8bc2SJim Ingham 
145564d8bc2SJim Ingham         if (!InSymbol())
14630fdc8d8SChris Lattner         {
14730fdc8d8SChris Lattner             // This one is a little tricky.  Sometimes we may be in a stub or something similar,
14830fdc8d8SChris Lattner             // in which case we need to get out of there.  But if we are in a stub then it's
14930fdc8d8SChris Lattner             // likely going to be hard to get out from here.  It is probably easiest to step into the
15030fdc8d8SChris Lattner             // stub, and then it will be straight-forward to step out.
15130fdc8d8SChris Lattner             new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others);
15230fdc8d8SChris Lattner         }
153564d8bc2SJim Ingham     }
154564d8bc2SJim Ingham 
155564d8bc2SJim Ingham     // If we get to this point, we're not going to use a previously set "next branch" breakpoint, so delete it:
156564d8bc2SJim Ingham     ClearNextBranchBreakpoint();
15730fdc8d8SChris Lattner 
15830fdc8d8SChris Lattner     if (new_plan == NULL)
15930fdc8d8SChris Lattner         m_no_more_plans = true;
16030fdc8d8SChris Lattner     else
16130fdc8d8SChris Lattner         m_no_more_plans = false;
16230fdc8d8SChris Lattner 
16330fdc8d8SChris Lattner     if (new_plan == NULL)
16430fdc8d8SChris Lattner     {
16530fdc8d8SChris Lattner         // For efficiencies sake, we know we're done here so we don't have to do this
16630fdc8d8SChris Lattner         // calculation again in MischiefManaged.
16730fdc8d8SChris Lattner         SetPlanComplete();
16830fdc8d8SChris Lattner         return true;
16930fdc8d8SChris Lattner     }
17030fdc8d8SChris Lattner     else
17130fdc8d8SChris Lattner         return false;
17230fdc8d8SChris Lattner }
173*fbbfe6ecSJim Ingham 
174*fbbfe6ecSJim Ingham bool
175*fbbfe6ecSJim Ingham ThreadPlanStepOverRange::PlanExplainsStop ()
176*fbbfe6ecSJim Ingham {
177*fbbfe6ecSJim Ingham     // For crashes, breakpoint hits, signals, etc, let the base plan (or some plan above us)
178*fbbfe6ecSJim Ingham     // handle the stop.  That way the user can see the stop, step around, and then when they
179*fbbfe6ecSJim Ingham     // are done, continue and have their step complete.  The exception is if we've hit our
180*fbbfe6ecSJim Ingham     // "run to next branch" breakpoint.
181*fbbfe6ecSJim Ingham     // Note, unlike the step in range plan, we don't mark ourselves complete if we hit an
182*fbbfe6ecSJim Ingham     // unexplained breakpoint/crash.
183*fbbfe6ecSJim Ingham 
184*fbbfe6ecSJim Ingham     LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP));
185*fbbfe6ecSJim Ingham     StopInfoSP stop_info_sp = GetPrivateStopReason();
186*fbbfe6ecSJim Ingham     if (stop_info_sp)
187*fbbfe6ecSJim Ingham     {
188*fbbfe6ecSJim Ingham         StopReason reason = stop_info_sp->GetStopReason();
189*fbbfe6ecSJim Ingham 
190*fbbfe6ecSJim Ingham         switch (reason)
191*fbbfe6ecSJim Ingham         {
192*fbbfe6ecSJim Ingham         case eStopReasonBreakpoint:
193*fbbfe6ecSJim Ingham             if (NextRangeBreakpointExplainsStop(stop_info_sp))
194*fbbfe6ecSJim Ingham                 return true;
195*fbbfe6ecSJim Ingham             else
196*fbbfe6ecSJim Ingham                 return false;
197*fbbfe6ecSJim Ingham             break;
198*fbbfe6ecSJim Ingham         case eStopReasonWatchpoint:
199*fbbfe6ecSJim Ingham         case eStopReasonSignal:
200*fbbfe6ecSJim Ingham         case eStopReasonException:
201*fbbfe6ecSJim Ingham             if (log)
202*fbbfe6ecSJim Ingham                 log->PutCString ("ThreadPlanStepInRange got asked if it explains the stop for some reason other than step.");
203*fbbfe6ecSJim Ingham             return false;
204*fbbfe6ecSJim Ingham             break;
205*fbbfe6ecSJim Ingham         default:
206*fbbfe6ecSJim Ingham             break;
207*fbbfe6ecSJim Ingham         }
208*fbbfe6ecSJim Ingham     }
209*fbbfe6ecSJim Ingham     return true;
210*fbbfe6ecSJim Ingham }
211