blob: e46eba00184e1ca37d758b78c7b38e9166ffd2de [file] [log] [blame]
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001//===-- ThreadPlanStepThrough.cpp -------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Chris Lattner30fdc8d2010-06-08 16:52:24 +00006//
7//===----------------------------------------------------------------------===//
8
Eugene Zelenkoe65b2cf2015-12-15 01:33:19 +00009#include "lldb/Target/ThreadPlanStepThrough.h"
Kate Stoneb9c1b512016-09-06 20:57:50 +000010#include "lldb/Breakpoint/Breakpoint.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000011#include "lldb/Target/DynamicLoader.h"
Alex Langforde5a7a852019-05-30 22:00:18 +000012#include "lldb/Target/LanguageRuntime.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000013#include "lldb/Target/Process.h"
14#include "lldb/Target/RegisterContext.h"
Jim Ingham25f66702011-12-03 01:52:59 +000015#include "lldb/Target/Target.h"
Zachary Turner6f9e6902017-03-03 20:56:28 +000016#include "lldb/Utility/Log.h"
Zachary Turnerbf9a7732017-02-02 21:39:50 +000017#include "lldb/Utility/Stream.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000018
19using namespace lldb;
20using namespace lldb_private;
21
Kate Stoneb9c1b512016-09-06 20:57:50 +000022// ThreadPlanStepThrough: If the current instruction is a trampoline, step
Adrian Prantl05097242018-04-30 16:49:04 +000023// through it If it is the beginning of the prologue of a function, step
24// through that as well.
Chris Lattner30fdc8d2010-06-08 16:52:24 +000025// FIXME: At present only handles DYLD trampolines.
Chris Lattner30fdc8d2010-06-08 16:52:24 +000026
Kate Stoneb9c1b512016-09-06 20:57:50 +000027ThreadPlanStepThrough::ThreadPlanStepThrough(Thread &thread,
28 StackID &m_stack_id,
29 bool stop_others)
30 : ThreadPlan(ThreadPlan::eKindStepThrough,
31 "Step through trampolines and prologues", thread,
32 eVoteNoOpinion, eVoteNoOpinion),
33 m_start_address(0), m_backstop_bkpt_id(LLDB_INVALID_BREAK_ID),
34 m_backstop_addr(LLDB_INVALID_ADDRESS), m_return_stack_id(m_stack_id),
35 m_stop_others(stop_others) {
36 LookForPlanToStepThroughFromCurrentPC();
37
38 // If we don't get a valid step through plan, don't bother to set up a
39 // backstop.
40 if (m_sub_plan_sp) {
41 m_start_address = GetThread().GetRegisterContext()->GetPC(0);
42
43 // We are going to return back to the concrete frame 1, we might pass by
Adrian Prantl05097242018-04-30 16:49:04 +000044 // some inlined code that we're in the middle of by doing this, but it's
45 // easier than trying to figure out where the inlined code might return to.
Kate Stoneb9c1b512016-09-06 20:57:50 +000046
47 StackFrameSP return_frame_sp = m_thread.GetFrameWithStackID(m_stack_id);
48
49 if (return_frame_sp) {
50 m_backstop_addr = return_frame_sp->GetFrameCodeAddress().GetLoadAddress(
51 m_thread.CalculateTarget().get());
52 Breakpoint *return_bp =
53 m_thread.GetProcess()
54 ->GetTarget()
55 .CreateBreakpoint(m_backstop_addr, true, false)
56 .get();
Jonas Devliegheree103ae92018-11-15 01:18:15 +000057
Kate Stoneb9c1b512016-09-06 20:57:50 +000058 if (return_bp != nullptr) {
Jonas Devliegheree103ae92018-11-15 01:18:15 +000059 if (return_bp->IsHardware() && !return_bp->HasResolvedLocations())
60 m_could_not_resolve_hw_bp = true;
Kate Stoneb9c1b512016-09-06 20:57:50 +000061 return_bp->SetThreadID(m_thread.GetID());
62 m_backstop_bkpt_id = return_bp->GetID();
63 return_bp->SetBreakpointKind("step-through-backstop");
64 }
65 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
66 if (log) {
67 log->Printf("Setting backstop breakpoint %d at address: 0x%" PRIx64,
68 m_backstop_bkpt_id, m_backstop_addr);
69 }
Jim Ingham25f66702011-12-03 01:52:59 +000070 }
Kate Stoneb9c1b512016-09-06 20:57:50 +000071 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +000072}
73
Kate Stoneb9c1b512016-09-06 20:57:50 +000074ThreadPlanStepThrough::~ThreadPlanStepThrough() { ClearBackstopBreakpoint(); }
75
76void ThreadPlanStepThrough::DidPush() {
77 if (m_sub_plan_sp)
78 PushPlan(m_sub_plan_sp);
Jim Ingham25f66702011-12-03 01:52:59 +000079}
80
Kate Stoneb9c1b512016-09-06 20:57:50 +000081void ThreadPlanStepThrough::LookForPlanToStepThroughFromCurrentPC() {
82 DynamicLoader *loader = m_thread.GetProcess()->GetDynamicLoader();
83 if (loader)
84 m_sub_plan_sp =
85 loader->GetStepThroughTrampolinePlan(m_thread, m_stop_others);
Jim Ingham25f66702011-12-03 01:52:59 +000086
Alex Langforde5a7a852019-05-30 22:00:18 +000087 // If the DynamicLoader was unable to provide us with a ThreadPlan, then we
88 // try the LanguageRuntimes.
89 if (!m_sub_plan_sp) {
90 for (LanguageRuntime *runtime :
91 m_thread.GetProcess()->GetLanguageRuntimes()) {
Kate Stoneb9c1b512016-09-06 20:57:50 +000092 m_sub_plan_sp =
Alex Langforde5a7a852019-05-30 22:00:18 +000093 runtime->GetStepThroughTrampolinePlan(m_thread, m_stop_others);
Shafik Yaghmouraa302682018-10-12 17:20:39 +000094
Alex Langforde5a7a852019-05-30 22:00:18 +000095 if (m_sub_plan_sp)
96 break;
97 }
Kate Stoneb9c1b512016-09-06 20:57:50 +000098 }
99
100 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
101 if (log) {
102 lldb::addr_t current_address = GetThread().GetRegisterContext()->GetPC(0);
103 if (m_sub_plan_sp) {
104 StreamString s;
105 m_sub_plan_sp->GetDescription(&s, lldb::eDescriptionLevelFull);
106 log->Printf("Found step through plan from 0x%" PRIx64 ": %s",
107 current_address, s.GetData());
108 } else {
109 log->Printf("Couldn't find step through plan from address 0x%" PRIx64 ".",
110 current_address);
Jim Ingham25f66702011-12-03 01:52:59 +0000111 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000112 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000113}
114
Kate Stoneb9c1b512016-09-06 20:57:50 +0000115void ThreadPlanStepThrough::GetDescription(Stream *s,
116 lldb::DescriptionLevel level) {
117 if (level == lldb::eDescriptionLevelBrief)
118 s->Printf("Step through");
119 else {
120 s->PutCString("Stepping through trampoline code from: ");
121 s->Address(m_start_address, sizeof(addr_t));
122 if (m_backstop_bkpt_id != LLDB_INVALID_BREAK_ID) {
123 s->Printf(" with backstop breakpoint ID: %d at address: ",
124 m_backstop_bkpt_id);
125 s->Address(m_backstop_addr, sizeof(addr_t));
126 } else
127 s->PutCString(" unable to set a backstop breakpoint.");
128 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000129}
130
Kate Stoneb9c1b512016-09-06 20:57:50 +0000131bool ThreadPlanStepThrough::ValidatePlan(Stream *error) {
Jonas Devliegheree103ae92018-11-15 01:18:15 +0000132 if (m_could_not_resolve_hw_bp) {
133 if (error)
134 error->PutCString(
135 "Could not create hardware breakpoint for thread plan.");
136 return false;
137 }
138
139 if (m_backstop_bkpt_id == LLDB_INVALID_BREAK_ID) {
140 if (error)
141 error->PutCString("Could not create backstop breakpoint.");
142 return false;
143 }
144
145 if (!m_sub_plan_sp.get()) {
146 if (error)
147 error->PutCString("Does not have a subplan.");
148 return false;
149 }
150
151 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000152}
153
Kate Stoneb9c1b512016-09-06 20:57:50 +0000154bool ThreadPlanStepThrough::DoPlanExplainsStop(Event *event_ptr) {
155 // If we have a sub-plan, it will have been asked first if we explain the
Adrian Prantl05097242018-04-30 16:49:04 +0000156 // stop, and we won't get asked. The only time we would be the one directly
157 // asked this question is if we hit our backstop breakpoint.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000158
159 return HitOurBackstopBreakpoint();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000160}
161
Kate Stoneb9c1b512016-09-06 20:57:50 +0000162bool ThreadPlanStepThrough::ShouldStop(Event *event_ptr) {
163 // If we've already marked ourselves done, then we're done...
164 if (IsPlanComplete())
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000165 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000166
Kate Stoneb9c1b512016-09-06 20:57:50 +0000167 // First, did we hit the backstop breakpoint?
168 if (HitOurBackstopBreakpoint()) {
169 SetPlanComplete(true);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000170 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000171 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000172
Kate Stoneb9c1b512016-09-06 20:57:50 +0000173 // If we don't have a sub-plan, then we're also done (can't see how we would
Adrian Prantl05097242018-04-30 16:49:04 +0000174 // ever get here without a plan, but just in case.
Jim Ingham18de2fd2012-05-10 01:35:39 +0000175
Kate Stoneb9c1b512016-09-06 20:57:50 +0000176 if (!m_sub_plan_sp) {
177 SetPlanComplete();
178 return true;
179 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000180
Kate Stoneb9c1b512016-09-06 20:57:50 +0000181 // If the current sub plan is not done, we don't want to stop. Actually, we
Adrian Prantl05097242018-04-30 16:49:04 +0000182 // probably won't ever get here in this state, since we generally won't get
183 // asked any questions if out current sub-plan is not done...
Kate Stoneb9c1b512016-09-06 20:57:50 +0000184 if (!m_sub_plan_sp->IsPlanComplete())
Jim Ingham25f66702011-12-03 01:52:59 +0000185 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000186
Adrian Prantl05097242018-04-30 16:49:04 +0000187 // If our current sub plan failed, then let's just run to our backstop. If
188 // we can't do that then just stop.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000189 if (!m_sub_plan_sp->PlanSucceeded()) {
190 if (m_backstop_bkpt_id != LLDB_INVALID_BREAK_ID) {
191 m_sub_plan_sp.reset();
192 return false;
193 } else {
194 SetPlanComplete(false);
195 return true;
196 }
197 }
198
199 // Next see if there is a specific step through plan at our current pc (these
Adrian Prantl05097242018-04-30 16:49:04 +0000200 // might chain, for instance stepping through a dylib trampoline to the objc
Kate Stoneb9c1b512016-09-06 20:57:50 +0000201 // dispatch function...)
202 LookForPlanToStepThroughFromCurrentPC();
203 if (m_sub_plan_sp) {
204 PushPlan(m_sub_plan_sp);
205 return false;
206 } else {
207 SetPlanComplete();
208 return true;
209 }
210}
211
212bool ThreadPlanStepThrough::StopOthers() { return m_stop_others; }
213
214StateType ThreadPlanStepThrough::GetPlanRunState() { return eStateRunning; }
215
216bool ThreadPlanStepThrough::DoWillResume(StateType resume_state,
217 bool current_plan) {
218 return true;
219}
220
221bool ThreadPlanStepThrough::WillStop() { return true; }
222
223void ThreadPlanStepThrough::ClearBackstopBreakpoint() {
224 if (m_backstop_bkpt_id != LLDB_INVALID_BREAK_ID) {
225 m_thread.GetProcess()->GetTarget().RemoveBreakpointByID(m_backstop_bkpt_id);
226 m_backstop_bkpt_id = LLDB_INVALID_BREAK_ID;
Jonas Devliegheree103ae92018-11-15 01:18:15 +0000227 m_could_not_resolve_hw_bp = false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000228 }
229}
230
231bool ThreadPlanStepThrough::MischiefManaged() {
232 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
233
234 if (!IsPlanComplete()) {
235 return false;
236 } else {
237 if (log)
238 log->Printf("Completed step through step plan.");
239
240 ClearBackstopBreakpoint();
241 ThreadPlan::MischiefManaged();
242 return true;
243 }
244}
245
246bool ThreadPlanStepThrough::HitOurBackstopBreakpoint() {
247 StopInfoSP stop_info_sp(m_thread.GetStopInfo());
248 if (stop_info_sp && stop_info_sp->GetStopReason() == eStopReasonBreakpoint) {
249 break_id_t stop_value = (break_id_t)stop_info_sp->GetValue();
250 BreakpointSiteSP cur_site_sp =
251 m_thread.GetProcess()->GetBreakpointSiteList().FindByID(stop_value);
252 if (cur_site_sp &&
253 cur_site_sp->IsBreakpointAtThisSite(m_backstop_bkpt_id)) {
254 StackID cur_frame_zero_id =
255 m_thread.GetStackFrameAtIndex(0)->GetStackID();
256
257 if (cur_frame_zero_id == m_return_stack_id) {
258 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
259 if (log)
260 log->PutCString("ThreadPlanStepThrough hit backstop breakpoint.");
261 return true;
262 }
263 }
264 }
265 return false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000266}