blob: e46eba00184e1ca37d758b78c7b38e9166ffd2de [file] [log] [blame]
Chris Lattner30fdc8d2010-06-08 16:52:241//===-- ThreadPlanStepThrough.cpp -------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:563// 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:246//
7//===----------------------------------------------------------------------===//
8
Eugene Zelenkoe65b2cf2015-12-15 01:33:199#include "lldb/Target/ThreadPlanStepThrough.h"
Kate Stoneb9c1b512016-09-06 20:57:5010#include "lldb/Breakpoint/Breakpoint.h"
Chris Lattner30fdc8d2010-06-08 16:52:2411#include "lldb/Target/DynamicLoader.h"
Alex Langforde5a7a852019-05-30 22:00:1812#include "lldb/Target/LanguageRuntime.h"
Chris Lattner30fdc8d2010-06-08 16:52:2413#include "lldb/Target/Process.h"
14#include "lldb/Target/RegisterContext.h"
Jim Ingham25f66702011-12-03 01:52:5915#include "lldb/Target/Target.h"
Zachary Turner6f9e6902017-03-03 20:56:2816#include "lldb/Utility/Log.h"
Zachary Turnerbf9a7732017-02-02 21:39:5017#include "lldb/Utility/Stream.h"
Chris Lattner30fdc8d2010-06-08 16:52:2418
19using namespace lldb;
20using namespace lldb_private;
21
Kate Stoneb9c1b512016-09-06 20:57:5022// ThreadPlanStepThrough: If the current instruction is a trampoline, step
Adrian Prantl05097242018-04-30 16:49:0423// 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:2425// FIXME: At present only handles DYLD trampolines.
Chris Lattner30fdc8d2010-06-08 16:52:2426
Kate Stoneb9c1b512016-09-06 20:57:5027ThreadPlanStepThrough::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:0444 // 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:5046
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:1557
Kate Stoneb9c1b512016-09-06 20:57:5058 if (return_bp != nullptr) {
Jonas Devliegheree103ae92018-11-15 01:18:1559 if (return_bp->IsHardware() && !return_bp->HasResolvedLocations())
60 m_could_not_resolve_hw_bp = true;
Kate Stoneb9c1b512016-09-06 20:57:5061 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:5970 }
Kate Stoneb9c1b512016-09-06 20:57:5071 }
Chris Lattner30fdc8d2010-06-08 16:52:2472}
73
Kate Stoneb9c1b512016-09-06 20:57:5074ThreadPlanStepThrough::~ThreadPlanStepThrough() { ClearBackstopBreakpoint(); }
75
76void ThreadPlanStepThrough::DidPush() {
77 if (m_sub_plan_sp)
78 PushPlan(m_sub_plan_sp);
Jim Ingham25f66702011-12-03 01:52:5979}
80
Kate Stoneb9c1b512016-09-06 20:57:5081void 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:5986
Alex Langforde5a7a852019-05-30 22:00:1887 // 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:5092 m_sub_plan_sp =
Alex Langforde5a7a852019-05-30 22:00:1893 runtime->GetStepThroughTrampolinePlan(m_thread, m_stop_others);
Shafik Yaghmouraa302682018-10-12 17:20:3994
Alex Langforde5a7a852019-05-30 22:00:1895 if (m_sub_plan_sp)
96 break;
97 }
Kate Stoneb9c1b512016-09-06 20:57:5098 }
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:59111 }
Kate Stoneb9c1b512016-09-06 20:57:50112 }
Chris Lattner30fdc8d2010-06-08 16:52:24113}
114
Kate Stoneb9c1b512016-09-06 20:57:50115void 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:24129}
130
Kate Stoneb9c1b512016-09-06 20:57:50131bool ThreadPlanStepThrough::ValidatePlan(Stream *error) {
Jonas Devliegheree103ae92018-11-15 01:18:15132 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:24152}
153
Kate Stoneb9c1b512016-09-06 20:57:50154bool 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:04156 // 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:50158
159 return HitOurBackstopBreakpoint();
Chris Lattner30fdc8d2010-06-08 16:52:24160}
161
Kate Stoneb9c1b512016-09-06 20:57:50162bool 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:24165 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24166
Kate Stoneb9c1b512016-09-06 20:57:50167 // First, did we hit the backstop breakpoint?
168 if (HitOurBackstopBreakpoint()) {
169 SetPlanComplete(true);
Chris Lattner30fdc8d2010-06-08 16:52:24170 return true;
Kate Stoneb9c1b512016-09-06 20:57:50171 }
Chris Lattner30fdc8d2010-06-08 16:52:24172
Kate Stoneb9c1b512016-09-06 20:57:50173 // 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:04174 // ever get here without a plan, but just in case.
Jim Ingham18de2fd2012-05-10 01:35:39175
Kate Stoneb9c1b512016-09-06 20:57:50176 if (!m_sub_plan_sp) {
177 SetPlanComplete();
178 return true;
179 }
Chris Lattner30fdc8d2010-06-08 16:52:24180
Kate Stoneb9c1b512016-09-06 20:57:50181 // If the current sub plan is not done, we don't want to stop. Actually, we
Adrian Prantl05097242018-04-30 16:49:04182 // 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:50184 if (!m_sub_plan_sp->IsPlanComplete())
Jim Ingham25f66702011-12-03 01:52:59185 return false;
Kate Stoneb9c1b512016-09-06 20:57:50186
Adrian Prantl05097242018-04-30 16:49:04187 // 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:50189 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:04200 // might chain, for instance stepping through a dylib trampoline to the objc
Kate Stoneb9c1b512016-09-06 20:57:50201 // 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:15227 m_could_not_resolve_hw_bp = false;
Kate Stoneb9c1b512016-09-06 20:57:50228 }
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:24266}