130fdc8d8SChris Lattner //===-- ThreadPlanStepUntil.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 // C Includes
1130fdc8d8SChris Lattner // C++ Includes
1230fdc8d8SChris Lattner // Other libraries and framework includes
1330fdc8d8SChris Lattner // Project includes
14e65b2cf2SEugene Zelenko #include "lldb/Target/ThreadPlanStepUntil.h"
15*2f3df613SZachary Turner 
1630fdc8d8SChris Lattner #include "lldb/Breakpoint/Breakpoint.h"
17*2f3df613SZachary Turner #include "lldb/Symbol/SymbolContextScope.h"
1830fdc8d8SChris Lattner #include "lldb/Target/Process.h"
1930fdc8d8SChris Lattner #include "lldb/Target/RegisterContext.h"
20f4b47e15SGreg Clayton #include "lldb/Target/StopInfo.h"
2130fdc8d8SChris Lattner #include "lldb/Target/Target.h"
226f9e6901SZachary Turner #include "lldb/Utility/Log.h"
2330fdc8d8SChris Lattner 
2430fdc8d8SChris Lattner using namespace lldb;
2530fdc8d8SChris Lattner using namespace lldb_private;
2630fdc8d8SChris Lattner 
2730fdc8d8SChris Lattner //----------------------------------------------------------------------
28b9c1b51eSKate Stone // ThreadPlanStepUntil: Run until we reach a given line number or step out of
29b9c1b51eSKate Stone // the current frame
3030fdc8d8SChris Lattner //----------------------------------------------------------------------
3130fdc8d8SChris Lattner 
32b9c1b51eSKate Stone ThreadPlanStepUntil::ThreadPlanStepUntil(Thread &thread,
3330fdc8d8SChris Lattner                                          lldb::addr_t *address_list,
34b9c1b51eSKate Stone                                          size_t num_addresses, bool stop_others,
35b9c1b51eSKate Stone                                          uint32_t frame_idx)
36b9c1b51eSKate Stone     : ThreadPlan(ThreadPlan::eKindStepUntil, "Step until", thread,
37b9c1b51eSKate Stone                  eVoteNoOpinion, eVoteNoOpinion),
3830fdc8d8SChris Lattner       m_step_from_insn(LLDB_INVALID_ADDRESS),
3930fdc8d8SChris Lattner       m_return_bp_id(LLDB_INVALID_BREAK_ID),
40b9c1b51eSKate Stone       m_return_addr(LLDB_INVALID_ADDRESS), m_stepped_out(false),
41b9c1b51eSKate Stone       m_should_stop(false), m_ran_analyze(false), m_explains_stop(false),
42b9c1b51eSKate Stone       m_until_points(), m_stop_others(stop_others) {
4330fdc8d8SChris Lattner   // Stash away our "until" addresses:
441ac04c30SGreg Clayton   TargetSP target_sp(m_thread.CalculateTarget());
4530fdc8d8SChris Lattner 
46b57e4a1bSJason Molenda   StackFrameSP frame_sp(m_thread.GetStackFrameAtIndex(frame_idx));
47b9c1b51eSKate Stone   if (frame_sp) {
48481cef25SGreg Clayton     m_step_from_insn = frame_sp->GetStackID().GetPC();
4930fdc8d8SChris Lattner     lldb::user_id_t thread_id = m_thread.GetID();
5030fdc8d8SChris Lattner 
5130fdc8d8SChris Lattner     // Find the return address and set a breakpoint there:
5230fdc8d8SChris Lattner     // FIXME - can we do this more securely if we know first_insn?
5330fdc8d8SChris Lattner 
54b57e4a1bSJason Molenda     StackFrameSP return_frame_sp(m_thread.GetStackFrameAtIndex(frame_idx + 1));
55b9c1b51eSKate Stone     if (return_frame_sp) {
569da7bd07SGreg Clayton       // TODO: add inline functionality
57481cef25SGreg Clayton       m_return_addr = return_frame_sp->GetStackID().GetPC();
58b9c1b51eSKate Stone       Breakpoint *return_bp =
59b9c1b51eSKate Stone           target_sp->CreateBreakpoint(m_return_addr, true, false).get();
60b9c1b51eSKate Stone       if (return_bp != nullptr) {
6130fdc8d8SChris Lattner         return_bp->SetThreadID(thread_id);
6230fdc8d8SChris Lattner         m_return_bp_id = return_bp->GetID();
632995077dSJim Ingham         return_bp->SetBreakpointKind("until-return-backstop");
6430fdc8d8SChris Lattner       }
6530fdc8d8SChris Lattner     }
6630fdc8d8SChris Lattner 
6776447851SJim Ingham     m_stack_id = frame_sp->GetStackID();
6830fdc8d8SChris Lattner 
6930fdc8d8SChris Lattner     // Now set breakpoints on all our return addresses:
70b9c1b51eSKate Stone     for (size_t i = 0; i < num_addresses; i++) {
71b9c1b51eSKate Stone       Breakpoint *until_bp =
72b9c1b51eSKate Stone           target_sp->CreateBreakpoint(address_list[i], true, false).get();
73b9c1b51eSKate Stone       if (until_bp != nullptr) {
7430fdc8d8SChris Lattner         until_bp->SetThreadID(thread_id);
7530fdc8d8SChris Lattner         m_until_points[address_list[i]] = until_bp->GetID();
762995077dSJim Ingham         until_bp->SetBreakpointKind("until-target");
77b9c1b51eSKate Stone       } else {
7830fdc8d8SChris Lattner         m_until_points[address_list[i]] = LLDB_INVALID_BREAK_ID;
7930fdc8d8SChris Lattner       }
8030fdc8d8SChris Lattner     }
8130fdc8d8SChris Lattner   }
82481cef25SGreg Clayton }
8330fdc8d8SChris Lattner 
84b9c1b51eSKate Stone ThreadPlanStepUntil::~ThreadPlanStepUntil() { Clear(); }
8530fdc8d8SChris Lattner 
86b9c1b51eSKate Stone void ThreadPlanStepUntil::Clear() {
871ac04c30SGreg Clayton   TargetSP target_sp(m_thread.CalculateTarget());
88b9c1b51eSKate Stone   if (target_sp) {
89b9c1b51eSKate Stone     if (m_return_bp_id != LLDB_INVALID_BREAK_ID) {
901ac04c30SGreg Clayton       target_sp->RemoveBreakpointByID(m_return_bp_id);
9130fdc8d8SChris Lattner       m_return_bp_id = LLDB_INVALID_BREAK_ID;
9230fdc8d8SChris Lattner     }
9330fdc8d8SChris Lattner 
9430fdc8d8SChris Lattner     until_collection::iterator pos, end = m_until_points.end();
95b9c1b51eSKate Stone     for (pos = m_until_points.begin(); pos != end; pos++) {
961ac04c30SGreg Clayton       target_sp->RemoveBreakpointByID((*pos).second);
971ac04c30SGreg Clayton     }
9830fdc8d8SChris Lattner   }
9930fdc8d8SChris Lattner   m_until_points.clear();
10030fdc8d8SChris Lattner }
10130fdc8d8SChris Lattner 
102b9c1b51eSKate Stone void ThreadPlanStepUntil::GetDescription(Stream *s,
103b9c1b51eSKate Stone                                          lldb::DescriptionLevel level) {
104b9c1b51eSKate Stone   if (level == lldb::eDescriptionLevelBrief) {
10530fdc8d8SChris Lattner     s->Printf("step until");
10630fdc8d8SChris Lattner     if (m_stepped_out)
10730fdc8d8SChris Lattner       s->Printf(" - stepped out");
108b9c1b51eSKate Stone   } else {
10930fdc8d8SChris Lattner     if (m_until_points.size() == 1)
110b9c1b51eSKate Stone       s->Printf("Stepping from address 0x%" PRIx64 " until we reach 0x%" PRIx64
111b9c1b51eSKate Stone                 " using breakpoint %d",
11230fdc8d8SChris Lattner                 (uint64_t)m_step_from_insn,
11330fdc8d8SChris Lattner                 (uint64_t)(*m_until_points.begin()).first,
11430fdc8d8SChris Lattner                 (*m_until_points.begin()).second);
115b9c1b51eSKate Stone     else {
11630fdc8d8SChris Lattner       until_collection::iterator pos, end = m_until_points.end();
117d01b2953SDaniel Malea       s->Printf("Stepping from address 0x%" PRIx64 " until we reach one of:",
11830fdc8d8SChris Lattner                 (uint64_t)m_step_from_insn);
119b9c1b51eSKate Stone       for (pos = m_until_points.begin(); pos != end; pos++) {
120b9c1b51eSKate Stone         s->Printf("\n\t0x%" PRIx64 " (bp: %d)", (uint64_t)(*pos).first,
121b9c1b51eSKate Stone                   (*pos).second);
12230fdc8d8SChris Lattner       }
12330fdc8d8SChris Lattner     }
124b9c1b51eSKate Stone     s->Printf(" stepped out address is 0x%" PRIx64 ".",
125b9c1b51eSKate Stone               (uint64_t)m_return_addr);
12630fdc8d8SChris Lattner   }
12730fdc8d8SChris Lattner }
12830fdc8d8SChris Lattner 
129b9c1b51eSKate Stone bool ThreadPlanStepUntil::ValidatePlan(Stream *error) {
13030fdc8d8SChris Lattner   if (m_return_bp_id == LLDB_INVALID_BREAK_ID)
13130fdc8d8SChris Lattner     return false;
132b9c1b51eSKate Stone   else {
13330fdc8d8SChris Lattner     until_collection::iterator pos, end = m_until_points.end();
134b9c1b51eSKate Stone     for (pos = m_until_points.begin(); pos != end; pos++) {
13530fdc8d8SChris Lattner       if (!LLDB_BREAK_ID_IS_VALID((*pos).second))
13630fdc8d8SChris Lattner         return false;
13730fdc8d8SChris Lattner     }
13830fdc8d8SChris Lattner     return true;
13930fdc8d8SChris Lattner   }
14030fdc8d8SChris Lattner }
14130fdc8d8SChris Lattner 
142b9c1b51eSKate Stone void ThreadPlanStepUntil::AnalyzeStop() {
14330fdc8d8SChris Lattner   if (m_ran_analyze)
14430fdc8d8SChris Lattner     return;
14530fdc8d8SChris Lattner 
14660c4118cSJim Ingham   StopInfoSP stop_info_sp = GetPrivateStopInfo();
14730fdc8d8SChris Lattner   m_should_stop = true;
14830fdc8d8SChris Lattner   m_explains_stop = false;
14930fdc8d8SChris Lattner 
150b9c1b51eSKate Stone   if (stop_info_sp) {
151b15bfc75SJim Ingham     StopReason reason = stop_info_sp->GetStopReason();
15230fdc8d8SChris Lattner 
153b9c1b51eSKate Stone     if (reason == eStopReasonBreakpoint) {
154b9c1b51eSKate Stone       // If this is OUR breakpoint, we're fine, otherwise we don't know why this
155b9c1b51eSKate Stone       // happened...
156b9c1b51eSKate Stone       BreakpointSiteSP this_site =
157b9c1b51eSKate Stone           m_thread.GetProcess()->GetBreakpointSiteList().FindByID(
158b9c1b51eSKate Stone               stop_info_sp->GetValue());
159b9c1b51eSKate Stone       if (!this_site) {
16030fdc8d8SChris Lattner         m_explains_stop = false;
16130fdc8d8SChris Lattner         return;
16230fdc8d8SChris Lattner       }
16330fdc8d8SChris Lattner 
164b9c1b51eSKate Stone       if (this_site->IsBreakpointAtThisSite(m_return_bp_id)) {
165b9c1b51eSKate Stone         // If we are at our "step out" breakpoint, and the stack depth has
166b9c1b51eSKate Stone         // shrunk, then
16730fdc8d8SChris Lattner         // this is indeed our stop.
168b9c1b51eSKate Stone         // If the stack depth has grown, then we've hit our step out breakpoint
169b9c1b51eSKate Stone         // recursively.
170b9c1b51eSKate Stone         // If we are the only breakpoint at that location, then we do explain
171b9c1b51eSKate Stone         // the stop, and
17230fdc8d8SChris Lattner         // we'll just continue.
173b9c1b51eSKate Stone         // If there was another breakpoint here, then we don't explain the stop,
174b9c1b51eSKate Stone         // but we won't
175b9c1b51eSKate Stone         // mark ourselves Completed, because maybe that breakpoint will
176b9c1b51eSKate Stone         // continue, and then
17730fdc8d8SChris Lattner         // we'll finish the "until".
178b5c0d1ccSJim Ingham         bool done;
179b5c0d1ccSJim Ingham         StackID cur_frame_zero_id;
180b5c0d1ccSJim Ingham 
181e65b2cf2SEugene Zelenko         done = (m_stack_id < cur_frame_zero_id);
182b5c0d1ccSJim Ingham 
183b9c1b51eSKate Stone         if (done) {
18430fdc8d8SChris Lattner           m_stepped_out = true;
18530fdc8d8SChris Lattner           SetPlanComplete();
186b9c1b51eSKate Stone         } else
18730fdc8d8SChris Lattner           m_should_stop = false;
18830fdc8d8SChris Lattner 
18930fdc8d8SChris Lattner         if (this_site->GetNumberOfOwners() == 1)
19030fdc8d8SChris Lattner           m_explains_stop = true;
19130fdc8d8SChris Lattner         else
19230fdc8d8SChris Lattner           m_explains_stop = false;
19330fdc8d8SChris Lattner         return;
194b9c1b51eSKate Stone       } else {
19530fdc8d8SChris Lattner         // Check if we've hit one of our "until" breakpoints.
19630fdc8d8SChris Lattner         until_collection::iterator pos, end = m_until_points.end();
197b9c1b51eSKate Stone         for (pos = m_until_points.begin(); pos != end; pos++) {
198b9c1b51eSKate Stone           if (this_site->IsBreakpointAtThisSite((*pos).second)) {
19930fdc8d8SChris Lattner             // If we're at the right stack depth, then we're done.
200b5c0d1ccSJim Ingham 
201b5c0d1ccSJim Ingham             bool done;
202b9c1b51eSKate Stone             StackID frame_zero_id =
203b9c1b51eSKate Stone                 m_thread.GetStackFrameAtIndex(0)->GetStackID();
204b5c0d1ccSJim Ingham 
205b5c0d1ccSJim Ingham             if (frame_zero_id == m_stack_id)
206b5c0d1ccSJim Ingham               done = true;
207b5c0d1ccSJim Ingham             else if (frame_zero_id < m_stack_id)
208b5c0d1ccSJim Ingham               done = false;
209b9c1b51eSKate Stone             else {
210b57e4a1bSJason Molenda               StackFrameSP older_frame_sp = m_thread.GetStackFrameAtIndex(1);
211b5c0d1ccSJim Ingham 
212b9c1b51eSKate Stone               // But if we can't even unwind one frame we should just get out of
213b9c1b51eSKate Stone               // here & stop...
214b9c1b51eSKate Stone               if (older_frame_sp) {
215b9c1b51eSKate Stone                 const SymbolContext &older_context =
216b9c1b51eSKate Stone                     older_frame_sp->GetSymbolContext(eSymbolContextEverything);
217b5c0d1ccSJim Ingham                 SymbolContext stack_context;
218b9c1b51eSKate Stone                 m_stack_id.GetSymbolContextScope()->CalculateSymbolContext(
219b9c1b51eSKate Stone                     &stack_context);
220b5c0d1ccSJim Ingham 
221e65b2cf2SEugene Zelenko                 done = (older_context == stack_context);
222b9c1b51eSKate Stone               } else
223b5c0d1ccSJim Ingham                 done = false;
224b5c0d1ccSJim Ingham             }
225b5c0d1ccSJim Ingham 
226b5c0d1ccSJim Ingham             if (done)
22730fdc8d8SChris Lattner               SetPlanComplete();
22830fdc8d8SChris Lattner             else
22930fdc8d8SChris Lattner               m_should_stop = false;
23030fdc8d8SChris Lattner 
23130fdc8d8SChris Lattner             // Otherwise we've hit this breakpoint recursively.  If we're the
232b9c1b51eSKate Stone             // only breakpoint here, then we do explain the stop, and we'll
233b9c1b51eSKate Stone             // continue.
23430fdc8d8SChris Lattner             // If not then we should let higher plans handle this stop.
23530fdc8d8SChris Lattner             if (this_site->GetNumberOfOwners() == 1)
23630fdc8d8SChris Lattner               m_explains_stop = true;
237b9c1b51eSKate Stone             else {
23830fdc8d8SChris Lattner               m_should_stop = true;
23930fdc8d8SChris Lattner               m_explains_stop = false;
24030fdc8d8SChris Lattner             }
24130fdc8d8SChris Lattner             return;
24230fdc8d8SChris Lattner           }
24330fdc8d8SChris Lattner         }
24430fdc8d8SChris Lattner       }
24530fdc8d8SChris Lattner       // If we get here we haven't hit any of our breakpoints, so let the higher
24630fdc8d8SChris Lattner       // plans take care of the stop.
24730fdc8d8SChris Lattner       m_explains_stop = false;
24830fdc8d8SChris Lattner       return;
249b9c1b51eSKate Stone     } else if (IsUsuallyUnexplainedStopReason(reason)) {
25030fdc8d8SChris Lattner       m_explains_stop = false;
251b9c1b51eSKate Stone     } else {
25230fdc8d8SChris Lattner       m_explains_stop = true;
25330fdc8d8SChris Lattner     }
25430fdc8d8SChris Lattner   }
25530fdc8d8SChris Lattner }
25630fdc8d8SChris Lattner 
257b9c1b51eSKate Stone bool ThreadPlanStepUntil::DoPlanExplainsStop(Event *event_ptr) {
258b9c1b51eSKate Stone   // We don't explain signals or breakpoints (breakpoints that handle stepping
259b9c1b51eSKate Stone   // in or
26030fdc8d8SChris Lattner   // out will be handled by a child plan.
26130fdc8d8SChris Lattner   AnalyzeStop();
26230fdc8d8SChris Lattner   return m_explains_stop;
26330fdc8d8SChris Lattner }
26430fdc8d8SChris Lattner 
265b9c1b51eSKate Stone bool ThreadPlanStepUntil::ShouldStop(Event *event_ptr) {
26630fdc8d8SChris Lattner   // If we've told our self in ExplainsStop that we plan to continue, then
26730fdc8d8SChris Lattner   // do so here.  Otherwise, as long as this thread has stopped for a reason,
26830fdc8d8SChris Lattner   // we will stop.
26930fdc8d8SChris Lattner 
27060c4118cSJim Ingham   StopInfoSP stop_info_sp = GetPrivateStopInfo();
2719a028519SSean Callanan   if (!stop_info_sp || stop_info_sp->GetStopReason() == eStopReasonNone)
27230fdc8d8SChris Lattner     return false;
27330fdc8d8SChris Lattner 
27430fdc8d8SChris Lattner   AnalyzeStop();
27530fdc8d8SChris Lattner   return m_should_stop;
27630fdc8d8SChris Lattner }
27730fdc8d8SChris Lattner 
278b9c1b51eSKate Stone bool ThreadPlanStepUntil::StopOthers() { return m_stop_others; }
27930fdc8d8SChris Lattner 
280b9c1b51eSKate Stone StateType ThreadPlanStepUntil::GetPlanRunState() { return eStateRunning; }
28130fdc8d8SChris Lattner 
282b9c1b51eSKate Stone bool ThreadPlanStepUntil::DoWillResume(StateType resume_state,
283b9c1b51eSKate Stone                                        bool current_plan) {
284b9c1b51eSKate Stone   if (current_plan) {
2851ac04c30SGreg Clayton     TargetSP target_sp(m_thread.CalculateTarget());
286b9c1b51eSKate Stone     if (target_sp) {
287b9c1b51eSKate Stone       Breakpoint *return_bp =
288b9c1b51eSKate Stone           target_sp->GetBreakpointByID(m_return_bp_id).get();
289e65b2cf2SEugene Zelenko       if (return_bp != nullptr)
29030fdc8d8SChris Lattner         return_bp->SetEnabled(true);
29130fdc8d8SChris Lattner 
29230fdc8d8SChris Lattner       until_collection::iterator pos, end = m_until_points.end();
293b9c1b51eSKate Stone       for (pos = m_until_points.begin(); pos != end; pos++) {
294b9c1b51eSKate Stone         Breakpoint *until_bp =
295b9c1b51eSKate Stone             target_sp->GetBreakpointByID((*pos).second).get();
296e65b2cf2SEugene Zelenko         if (until_bp != nullptr)
29730fdc8d8SChris Lattner           until_bp->SetEnabled(true);
29830fdc8d8SChris Lattner       }
29930fdc8d8SChris Lattner     }
3001ac04c30SGreg Clayton   }
30130fdc8d8SChris Lattner 
30230fdc8d8SChris Lattner   m_should_stop = true;
30330fdc8d8SChris Lattner   m_ran_analyze = false;
30430fdc8d8SChris Lattner   m_explains_stop = false;
30530fdc8d8SChris Lattner   return true;
30630fdc8d8SChris Lattner }
30730fdc8d8SChris Lattner 
308b9c1b51eSKate Stone bool ThreadPlanStepUntil::WillStop() {
3091ac04c30SGreg Clayton   TargetSP target_sp(m_thread.CalculateTarget());
310b9c1b51eSKate Stone   if (target_sp) {
3111ac04c30SGreg Clayton     Breakpoint *return_bp = target_sp->GetBreakpointByID(m_return_bp_id).get();
312e65b2cf2SEugene Zelenko     if (return_bp != nullptr)
31330fdc8d8SChris Lattner       return_bp->SetEnabled(false);
31430fdc8d8SChris Lattner 
31530fdc8d8SChris Lattner     until_collection::iterator pos, end = m_until_points.end();
316b9c1b51eSKate Stone     for (pos = m_until_points.begin(); pos != end; pos++) {
3171ac04c30SGreg Clayton       Breakpoint *until_bp = target_sp->GetBreakpointByID((*pos).second).get();
318e65b2cf2SEugene Zelenko       if (until_bp != nullptr)
31930fdc8d8SChris Lattner         until_bp->SetEnabled(false);
32030fdc8d8SChris Lattner     }
3211ac04c30SGreg Clayton   }
32230fdc8d8SChris Lattner   return true;
32330fdc8d8SChris Lattner }
32430fdc8d8SChris Lattner 
325b9c1b51eSKate Stone bool ThreadPlanStepUntil::MischiefManaged() {
326b9c1b51eSKate Stone   // I'm letting "PlanExplainsStop" do all the work, and just reporting that
327b9c1b51eSKate Stone   // here.
32830fdc8d8SChris Lattner   bool done = false;
329b9c1b51eSKate Stone   if (IsPlanComplete()) {
3305160ce5cSGreg Clayton     Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
33130fdc8d8SChris Lattner     if (log)
33230fdc8d8SChris Lattner       log->Printf("Completed step until plan.");
33330fdc8d8SChris Lattner 
33430fdc8d8SChris Lattner     Clear();
33530fdc8d8SChris Lattner     done = true;
33630fdc8d8SChris Lattner   }
33730fdc8d8SChris Lattner   if (done)
33830fdc8d8SChris Lattner     ThreadPlan::MischiefManaged();
33930fdc8d8SChris Lattner 
34030fdc8d8SChris Lattner   return done;
34130fdc8d8SChris Lattner }
342