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"
1530fdc8d8SChris Lattner #include "lldb/Breakpoint/Breakpoint.h"
1630fdc8d8SChris Lattner #include "lldb/Target/Process.h"
1730fdc8d8SChris Lattner #include "lldb/Target/RegisterContext.h"
18f4b47e15SGreg Clayton #include "lldb/Target/StopInfo.h"
1930fdc8d8SChris Lattner #include "lldb/Target/Target.h"
20*6f9e6901SZachary Turner #include "lldb/Utility/Log.h"
2130fdc8d8SChris Lattner 
2230fdc8d8SChris Lattner using namespace lldb;
2330fdc8d8SChris Lattner using namespace lldb_private;
2430fdc8d8SChris Lattner 
2530fdc8d8SChris Lattner //----------------------------------------------------------------------
26b9c1b51eSKate Stone // ThreadPlanStepUntil: Run until we reach a given line number or step out of
27b9c1b51eSKate Stone // the current frame
2830fdc8d8SChris Lattner //----------------------------------------------------------------------
2930fdc8d8SChris Lattner 
30b9c1b51eSKate Stone ThreadPlanStepUntil::ThreadPlanStepUntil(Thread &thread,
3130fdc8d8SChris Lattner                                          lldb::addr_t *address_list,
32b9c1b51eSKate Stone                                          size_t num_addresses, bool stop_others,
33b9c1b51eSKate Stone                                          uint32_t frame_idx)
34b9c1b51eSKate Stone     : ThreadPlan(ThreadPlan::eKindStepUntil, "Step until", thread,
35b9c1b51eSKate Stone                  eVoteNoOpinion, eVoteNoOpinion),
3630fdc8d8SChris Lattner       m_step_from_insn(LLDB_INVALID_ADDRESS),
3730fdc8d8SChris Lattner       m_return_bp_id(LLDB_INVALID_BREAK_ID),
38b9c1b51eSKate Stone       m_return_addr(LLDB_INVALID_ADDRESS), m_stepped_out(false),
39b9c1b51eSKate Stone       m_should_stop(false), m_ran_analyze(false), m_explains_stop(false),
40b9c1b51eSKate Stone       m_until_points(), m_stop_others(stop_others) {
4130fdc8d8SChris Lattner   // Stash away our "until" addresses:
421ac04c30SGreg Clayton   TargetSP target_sp(m_thread.CalculateTarget());
4330fdc8d8SChris Lattner 
44b57e4a1bSJason Molenda   StackFrameSP frame_sp(m_thread.GetStackFrameAtIndex(frame_idx));
45b9c1b51eSKate Stone   if (frame_sp) {
46481cef25SGreg Clayton     m_step_from_insn = frame_sp->GetStackID().GetPC();
4730fdc8d8SChris Lattner     lldb::user_id_t thread_id = m_thread.GetID();
4830fdc8d8SChris Lattner 
4930fdc8d8SChris Lattner     // Find the return address and set a breakpoint there:
5030fdc8d8SChris Lattner     // FIXME - can we do this more securely if we know first_insn?
5130fdc8d8SChris Lattner 
52b57e4a1bSJason Molenda     StackFrameSP return_frame_sp(m_thread.GetStackFrameAtIndex(frame_idx + 1));
53b9c1b51eSKate Stone     if (return_frame_sp) {
549da7bd07SGreg Clayton       // TODO: add inline functionality
55481cef25SGreg Clayton       m_return_addr = return_frame_sp->GetStackID().GetPC();
56b9c1b51eSKate Stone       Breakpoint *return_bp =
57b9c1b51eSKate Stone           target_sp->CreateBreakpoint(m_return_addr, true, false).get();
58b9c1b51eSKate Stone       if (return_bp != nullptr) {
5930fdc8d8SChris Lattner         return_bp->SetThreadID(thread_id);
6030fdc8d8SChris Lattner         m_return_bp_id = return_bp->GetID();
612995077dSJim Ingham         return_bp->SetBreakpointKind("until-return-backstop");
6230fdc8d8SChris Lattner       }
6330fdc8d8SChris Lattner     }
6430fdc8d8SChris Lattner 
6576447851SJim Ingham     m_stack_id = frame_sp->GetStackID();
6630fdc8d8SChris Lattner 
6730fdc8d8SChris Lattner     // Now set breakpoints on all our return addresses:
68b9c1b51eSKate Stone     for (size_t i = 0; i < num_addresses; i++) {
69b9c1b51eSKate Stone       Breakpoint *until_bp =
70b9c1b51eSKate Stone           target_sp->CreateBreakpoint(address_list[i], true, false).get();
71b9c1b51eSKate Stone       if (until_bp != nullptr) {
7230fdc8d8SChris Lattner         until_bp->SetThreadID(thread_id);
7330fdc8d8SChris Lattner         m_until_points[address_list[i]] = until_bp->GetID();
742995077dSJim Ingham         until_bp->SetBreakpointKind("until-target");
75b9c1b51eSKate Stone       } else {
7630fdc8d8SChris Lattner         m_until_points[address_list[i]] = LLDB_INVALID_BREAK_ID;
7730fdc8d8SChris Lattner       }
7830fdc8d8SChris Lattner     }
7930fdc8d8SChris Lattner   }
80481cef25SGreg Clayton }
8130fdc8d8SChris Lattner 
82b9c1b51eSKate Stone ThreadPlanStepUntil::~ThreadPlanStepUntil() { Clear(); }
8330fdc8d8SChris Lattner 
84b9c1b51eSKate Stone void ThreadPlanStepUntil::Clear() {
851ac04c30SGreg Clayton   TargetSP target_sp(m_thread.CalculateTarget());
86b9c1b51eSKate Stone   if (target_sp) {
87b9c1b51eSKate Stone     if (m_return_bp_id != LLDB_INVALID_BREAK_ID) {
881ac04c30SGreg Clayton       target_sp->RemoveBreakpointByID(m_return_bp_id);
8930fdc8d8SChris Lattner       m_return_bp_id = LLDB_INVALID_BREAK_ID;
9030fdc8d8SChris Lattner     }
9130fdc8d8SChris Lattner 
9230fdc8d8SChris Lattner     until_collection::iterator pos, end = m_until_points.end();
93b9c1b51eSKate Stone     for (pos = m_until_points.begin(); pos != end; pos++) {
941ac04c30SGreg Clayton       target_sp->RemoveBreakpointByID((*pos).second);
951ac04c30SGreg Clayton     }
9630fdc8d8SChris Lattner   }
9730fdc8d8SChris Lattner   m_until_points.clear();
9830fdc8d8SChris Lattner }
9930fdc8d8SChris Lattner 
100b9c1b51eSKate Stone void ThreadPlanStepUntil::GetDescription(Stream *s,
101b9c1b51eSKate Stone                                          lldb::DescriptionLevel level) {
102b9c1b51eSKate Stone   if (level == lldb::eDescriptionLevelBrief) {
10330fdc8d8SChris Lattner     s->Printf("step until");
10430fdc8d8SChris Lattner     if (m_stepped_out)
10530fdc8d8SChris Lattner       s->Printf(" - stepped out");
106b9c1b51eSKate Stone   } else {
10730fdc8d8SChris Lattner     if (m_until_points.size() == 1)
108b9c1b51eSKate Stone       s->Printf("Stepping from address 0x%" PRIx64 " until we reach 0x%" PRIx64
109b9c1b51eSKate Stone                 " using breakpoint %d",
11030fdc8d8SChris Lattner                 (uint64_t)m_step_from_insn,
11130fdc8d8SChris Lattner                 (uint64_t)(*m_until_points.begin()).first,
11230fdc8d8SChris Lattner                 (*m_until_points.begin()).second);
113b9c1b51eSKate Stone     else {
11430fdc8d8SChris Lattner       until_collection::iterator pos, end = m_until_points.end();
115d01b2953SDaniel Malea       s->Printf("Stepping from address 0x%" PRIx64 " until we reach one of:",
11630fdc8d8SChris Lattner                 (uint64_t)m_step_from_insn);
117b9c1b51eSKate Stone       for (pos = m_until_points.begin(); pos != end; pos++) {
118b9c1b51eSKate Stone         s->Printf("\n\t0x%" PRIx64 " (bp: %d)", (uint64_t)(*pos).first,
119b9c1b51eSKate Stone                   (*pos).second);
12030fdc8d8SChris Lattner       }
12130fdc8d8SChris Lattner     }
122b9c1b51eSKate Stone     s->Printf(" stepped out address is 0x%" PRIx64 ".",
123b9c1b51eSKate Stone               (uint64_t)m_return_addr);
12430fdc8d8SChris Lattner   }
12530fdc8d8SChris Lattner }
12630fdc8d8SChris Lattner 
127b9c1b51eSKate Stone bool ThreadPlanStepUntil::ValidatePlan(Stream *error) {
12830fdc8d8SChris Lattner   if (m_return_bp_id == LLDB_INVALID_BREAK_ID)
12930fdc8d8SChris Lattner     return false;
130b9c1b51eSKate Stone   else {
13130fdc8d8SChris Lattner     until_collection::iterator pos, end = m_until_points.end();
132b9c1b51eSKate Stone     for (pos = m_until_points.begin(); pos != end; pos++) {
13330fdc8d8SChris Lattner       if (!LLDB_BREAK_ID_IS_VALID((*pos).second))
13430fdc8d8SChris Lattner         return false;
13530fdc8d8SChris Lattner     }
13630fdc8d8SChris Lattner     return true;
13730fdc8d8SChris Lattner   }
13830fdc8d8SChris Lattner }
13930fdc8d8SChris Lattner 
140b9c1b51eSKate Stone void ThreadPlanStepUntil::AnalyzeStop() {
14130fdc8d8SChris Lattner   if (m_ran_analyze)
14230fdc8d8SChris Lattner     return;
14330fdc8d8SChris Lattner 
14460c4118cSJim Ingham   StopInfoSP stop_info_sp = GetPrivateStopInfo();
14530fdc8d8SChris Lattner   m_should_stop = true;
14630fdc8d8SChris Lattner   m_explains_stop = false;
14730fdc8d8SChris Lattner 
148b9c1b51eSKate Stone   if (stop_info_sp) {
149b15bfc75SJim Ingham     StopReason reason = stop_info_sp->GetStopReason();
15030fdc8d8SChris Lattner 
151b9c1b51eSKate Stone     if (reason == eStopReasonBreakpoint) {
152b9c1b51eSKate Stone       // If this is OUR breakpoint, we're fine, otherwise we don't know why this
153b9c1b51eSKate Stone       // happened...
154b9c1b51eSKate Stone       BreakpointSiteSP this_site =
155b9c1b51eSKate Stone           m_thread.GetProcess()->GetBreakpointSiteList().FindByID(
156b9c1b51eSKate Stone               stop_info_sp->GetValue());
157b9c1b51eSKate Stone       if (!this_site) {
15830fdc8d8SChris Lattner         m_explains_stop = false;
15930fdc8d8SChris Lattner         return;
16030fdc8d8SChris Lattner       }
16130fdc8d8SChris Lattner 
162b9c1b51eSKate Stone       if (this_site->IsBreakpointAtThisSite(m_return_bp_id)) {
163b9c1b51eSKate Stone         // If we are at our "step out" breakpoint, and the stack depth has
164b9c1b51eSKate Stone         // shrunk, then
16530fdc8d8SChris Lattner         // this is indeed our stop.
166b9c1b51eSKate Stone         // If the stack depth has grown, then we've hit our step out breakpoint
167b9c1b51eSKate Stone         // recursively.
168b9c1b51eSKate Stone         // If we are the only breakpoint at that location, then we do explain
169b9c1b51eSKate Stone         // the stop, and
17030fdc8d8SChris Lattner         // we'll just continue.
171b9c1b51eSKate Stone         // If there was another breakpoint here, then we don't explain the stop,
172b9c1b51eSKate Stone         // but we won't
173b9c1b51eSKate Stone         // mark ourselves Completed, because maybe that breakpoint will
174b9c1b51eSKate Stone         // continue, and then
17530fdc8d8SChris Lattner         // we'll finish the "until".
176b5c0d1ccSJim Ingham         bool done;
177b5c0d1ccSJim Ingham         StackID cur_frame_zero_id;
178b5c0d1ccSJim Ingham 
179e65b2cf2SEugene Zelenko         done = (m_stack_id < cur_frame_zero_id);
180b5c0d1ccSJim Ingham 
181b9c1b51eSKate Stone         if (done) {
18230fdc8d8SChris Lattner           m_stepped_out = true;
18330fdc8d8SChris Lattner           SetPlanComplete();
184b9c1b51eSKate Stone         } else
18530fdc8d8SChris Lattner           m_should_stop = false;
18630fdc8d8SChris Lattner 
18730fdc8d8SChris Lattner         if (this_site->GetNumberOfOwners() == 1)
18830fdc8d8SChris Lattner           m_explains_stop = true;
18930fdc8d8SChris Lattner         else
19030fdc8d8SChris Lattner           m_explains_stop = false;
19130fdc8d8SChris Lattner         return;
192b9c1b51eSKate Stone       } else {
19330fdc8d8SChris Lattner         // Check if we've hit one of our "until" breakpoints.
19430fdc8d8SChris Lattner         until_collection::iterator pos, end = m_until_points.end();
195b9c1b51eSKate Stone         for (pos = m_until_points.begin(); pos != end; pos++) {
196b9c1b51eSKate Stone           if (this_site->IsBreakpointAtThisSite((*pos).second)) {
19730fdc8d8SChris Lattner             // If we're at the right stack depth, then we're done.
198b5c0d1ccSJim Ingham 
199b5c0d1ccSJim Ingham             bool done;
200b9c1b51eSKate Stone             StackID frame_zero_id =
201b9c1b51eSKate Stone                 m_thread.GetStackFrameAtIndex(0)->GetStackID();
202b5c0d1ccSJim Ingham 
203b5c0d1ccSJim Ingham             if (frame_zero_id == m_stack_id)
204b5c0d1ccSJim Ingham               done = true;
205b5c0d1ccSJim Ingham             else if (frame_zero_id < m_stack_id)
206b5c0d1ccSJim Ingham               done = false;
207b9c1b51eSKate Stone             else {
208b57e4a1bSJason Molenda               StackFrameSP older_frame_sp = m_thread.GetStackFrameAtIndex(1);
209b5c0d1ccSJim Ingham 
210b9c1b51eSKate Stone               // But if we can't even unwind one frame we should just get out of
211b9c1b51eSKate Stone               // here & stop...
212b9c1b51eSKate Stone               if (older_frame_sp) {
213b9c1b51eSKate Stone                 const SymbolContext &older_context =
214b9c1b51eSKate Stone                     older_frame_sp->GetSymbolContext(eSymbolContextEverything);
215b5c0d1ccSJim Ingham                 SymbolContext stack_context;
216b9c1b51eSKate Stone                 m_stack_id.GetSymbolContextScope()->CalculateSymbolContext(
217b9c1b51eSKate Stone                     &stack_context);
218b5c0d1ccSJim Ingham 
219e65b2cf2SEugene Zelenko                 done = (older_context == stack_context);
220b9c1b51eSKate Stone               } else
221b5c0d1ccSJim Ingham                 done = false;
222b5c0d1ccSJim Ingham             }
223b5c0d1ccSJim Ingham 
224b5c0d1ccSJim Ingham             if (done)
22530fdc8d8SChris Lattner               SetPlanComplete();
22630fdc8d8SChris Lattner             else
22730fdc8d8SChris Lattner               m_should_stop = false;
22830fdc8d8SChris Lattner 
22930fdc8d8SChris Lattner             // Otherwise we've hit this breakpoint recursively.  If we're the
230b9c1b51eSKate Stone             // only breakpoint here, then we do explain the stop, and we'll
231b9c1b51eSKate Stone             // continue.
23230fdc8d8SChris Lattner             // If not then we should let higher plans handle this stop.
23330fdc8d8SChris Lattner             if (this_site->GetNumberOfOwners() == 1)
23430fdc8d8SChris Lattner               m_explains_stop = true;
235b9c1b51eSKate Stone             else {
23630fdc8d8SChris Lattner               m_should_stop = true;
23730fdc8d8SChris Lattner               m_explains_stop = false;
23830fdc8d8SChris Lattner             }
23930fdc8d8SChris Lattner             return;
24030fdc8d8SChris Lattner           }
24130fdc8d8SChris Lattner         }
24230fdc8d8SChris Lattner       }
24330fdc8d8SChris Lattner       // If we get here we haven't hit any of our breakpoints, so let the higher
24430fdc8d8SChris Lattner       // plans take care of the stop.
24530fdc8d8SChris Lattner       m_explains_stop = false;
24630fdc8d8SChris Lattner       return;
247b9c1b51eSKate Stone     } else if (IsUsuallyUnexplainedStopReason(reason)) {
24830fdc8d8SChris Lattner       m_explains_stop = false;
249b9c1b51eSKate Stone     } else {
25030fdc8d8SChris Lattner       m_explains_stop = true;
25130fdc8d8SChris Lattner     }
25230fdc8d8SChris Lattner   }
25330fdc8d8SChris Lattner }
25430fdc8d8SChris Lattner 
255b9c1b51eSKate Stone bool ThreadPlanStepUntil::DoPlanExplainsStop(Event *event_ptr) {
256b9c1b51eSKate Stone   // We don't explain signals or breakpoints (breakpoints that handle stepping
257b9c1b51eSKate Stone   // in or
25830fdc8d8SChris Lattner   // out will be handled by a child plan.
25930fdc8d8SChris Lattner   AnalyzeStop();
26030fdc8d8SChris Lattner   return m_explains_stop;
26130fdc8d8SChris Lattner }
26230fdc8d8SChris Lattner 
263b9c1b51eSKate Stone bool ThreadPlanStepUntil::ShouldStop(Event *event_ptr) {
26430fdc8d8SChris Lattner   // If we've told our self in ExplainsStop that we plan to continue, then
26530fdc8d8SChris Lattner   // do so here.  Otherwise, as long as this thread has stopped for a reason,
26630fdc8d8SChris Lattner   // we will stop.
26730fdc8d8SChris Lattner 
26860c4118cSJim Ingham   StopInfoSP stop_info_sp = GetPrivateStopInfo();
2699a028519SSean Callanan   if (!stop_info_sp || stop_info_sp->GetStopReason() == eStopReasonNone)
27030fdc8d8SChris Lattner     return false;
27130fdc8d8SChris Lattner 
27230fdc8d8SChris Lattner   AnalyzeStop();
27330fdc8d8SChris Lattner   return m_should_stop;
27430fdc8d8SChris Lattner }
27530fdc8d8SChris Lattner 
276b9c1b51eSKate Stone bool ThreadPlanStepUntil::StopOthers() { return m_stop_others; }
27730fdc8d8SChris Lattner 
278b9c1b51eSKate Stone StateType ThreadPlanStepUntil::GetPlanRunState() { return eStateRunning; }
27930fdc8d8SChris Lattner 
280b9c1b51eSKate Stone bool ThreadPlanStepUntil::DoWillResume(StateType resume_state,
281b9c1b51eSKate Stone                                        bool current_plan) {
282b9c1b51eSKate Stone   if (current_plan) {
2831ac04c30SGreg Clayton     TargetSP target_sp(m_thread.CalculateTarget());
284b9c1b51eSKate Stone     if (target_sp) {
285b9c1b51eSKate Stone       Breakpoint *return_bp =
286b9c1b51eSKate Stone           target_sp->GetBreakpointByID(m_return_bp_id).get();
287e65b2cf2SEugene Zelenko       if (return_bp != nullptr)
28830fdc8d8SChris Lattner         return_bp->SetEnabled(true);
28930fdc8d8SChris Lattner 
29030fdc8d8SChris Lattner       until_collection::iterator pos, end = m_until_points.end();
291b9c1b51eSKate Stone       for (pos = m_until_points.begin(); pos != end; pos++) {
292b9c1b51eSKate Stone         Breakpoint *until_bp =
293b9c1b51eSKate Stone             target_sp->GetBreakpointByID((*pos).second).get();
294e65b2cf2SEugene Zelenko         if (until_bp != nullptr)
29530fdc8d8SChris Lattner           until_bp->SetEnabled(true);
29630fdc8d8SChris Lattner       }
29730fdc8d8SChris Lattner     }
2981ac04c30SGreg Clayton   }
29930fdc8d8SChris Lattner 
30030fdc8d8SChris Lattner   m_should_stop = true;
30130fdc8d8SChris Lattner   m_ran_analyze = false;
30230fdc8d8SChris Lattner   m_explains_stop = false;
30330fdc8d8SChris Lattner   return true;
30430fdc8d8SChris Lattner }
30530fdc8d8SChris Lattner 
306b9c1b51eSKate Stone bool ThreadPlanStepUntil::WillStop() {
3071ac04c30SGreg Clayton   TargetSP target_sp(m_thread.CalculateTarget());
308b9c1b51eSKate Stone   if (target_sp) {
3091ac04c30SGreg Clayton     Breakpoint *return_bp = target_sp->GetBreakpointByID(m_return_bp_id).get();
310e65b2cf2SEugene Zelenko     if (return_bp != nullptr)
31130fdc8d8SChris Lattner       return_bp->SetEnabled(false);
31230fdc8d8SChris Lattner 
31330fdc8d8SChris Lattner     until_collection::iterator pos, end = m_until_points.end();
314b9c1b51eSKate Stone     for (pos = m_until_points.begin(); pos != end; pos++) {
3151ac04c30SGreg Clayton       Breakpoint *until_bp = target_sp->GetBreakpointByID((*pos).second).get();
316e65b2cf2SEugene Zelenko       if (until_bp != nullptr)
31730fdc8d8SChris Lattner         until_bp->SetEnabled(false);
31830fdc8d8SChris Lattner     }
3191ac04c30SGreg Clayton   }
32030fdc8d8SChris Lattner   return true;
32130fdc8d8SChris Lattner }
32230fdc8d8SChris Lattner 
323b9c1b51eSKate Stone bool ThreadPlanStepUntil::MischiefManaged() {
324b9c1b51eSKate Stone   // I'm letting "PlanExplainsStop" do all the work, and just reporting that
325b9c1b51eSKate Stone   // here.
32630fdc8d8SChris Lattner   bool done = false;
327b9c1b51eSKate Stone   if (IsPlanComplete()) {
3285160ce5cSGreg Clayton     Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
32930fdc8d8SChris Lattner     if (log)
33030fdc8d8SChris Lattner       log->Printf("Completed step until plan.");
33130fdc8d8SChris Lattner 
33230fdc8d8SChris Lattner     Clear();
33330fdc8d8SChris Lattner     done = true;
33430fdc8d8SChris Lattner   }
33530fdc8d8SChris Lattner   if (done)
33630fdc8d8SChris Lattner     ThreadPlan::MischiefManaged();
33730fdc8d8SChris Lattner 
33830fdc8d8SChris Lattner   return done;
33930fdc8d8SChris Lattner }
340