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