130fdc8d8SChris Lattner //===-- ThreadPlanStepInRange.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 #include "lldb/Target/ThreadPlanStepInRange.h" 1130fdc8d8SChris Lattner 1230fdc8d8SChris Lattner // C Includes 1330fdc8d8SChris Lattner // C++ Includes 1430fdc8d8SChris Lattner // Other libraries and framework includes 1530fdc8d8SChris Lattner // Project includes 1630fdc8d8SChris Lattner 1730fdc8d8SChris Lattner #include "lldb/lldb-private-log.h" 1830fdc8d8SChris Lattner #include "lldb/Core/Log.h" 1930fdc8d8SChris Lattner #include "lldb/Core/Stream.h" 20a56c8006SJim Ingham #include "lldb/Symbol/Symbol.h" 217ce490c6SJim Ingham #include "lldb/Symbol/Function.h" 2230fdc8d8SChris Lattner #include "lldb/Target/Process.h" 2330fdc8d8SChris Lattner #include "lldb/Target/RegisterContext.h" 24514487e8SGreg Clayton #include "lldb/Target/Target.h" 2530fdc8d8SChris Lattner #include "lldb/Target/Thread.h" 2630fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepOut.h" 2730fdc8d8SChris Lattner #include "lldb/Target/ThreadPlanStepThrough.h" 28a56c8006SJim Ingham #include "lldb/Core/RegularExpression.h" 2930fdc8d8SChris Lattner 3030fdc8d8SChris Lattner using namespace lldb; 3130fdc8d8SChris Lattner using namespace lldb_private; 3230fdc8d8SChris Lattner 3330fdc8d8SChris Lattner uint32_t ThreadPlanStepInRange::s_default_flag_values = ThreadPlanShouldStopHere::eAvoidNoDebug; 3430fdc8d8SChris Lattner 3530fdc8d8SChris Lattner //---------------------------------------------------------------------- 3630fdc8d8SChris Lattner // ThreadPlanStepInRange: Step through a stack range, either stepping over or into 3730fdc8d8SChris Lattner // based on the value of \a type. 3830fdc8d8SChris Lattner //---------------------------------------------------------------------- 3930fdc8d8SChris Lattner 4030fdc8d8SChris Lattner ThreadPlanStepInRange::ThreadPlanStepInRange 4130fdc8d8SChris Lattner ( 4230fdc8d8SChris Lattner Thread &thread, 4330fdc8d8SChris Lattner const AddressRange &range, 4430fdc8d8SChris Lattner const SymbolContext &addr_context, 4530fdc8d8SChris Lattner lldb::RunMode stop_others 4630fdc8d8SChris Lattner ) : 47b01e742aSJim Ingham ThreadPlanStepRange (ThreadPlan::eKindStepInRange, "Step Range stepping in", thread, range, addr_context, stop_others), 487ce490c6SJim Ingham ThreadPlanShouldStopHere (this, ThreadPlanStepInRange::DefaultShouldStopHereCallback, NULL), 497ce490c6SJim Ingham m_step_past_prologue (true) 5030fdc8d8SChris Lattner { 5130fdc8d8SChris Lattner SetFlagsToDefault (); 5230fdc8d8SChris Lattner } 5330fdc8d8SChris Lattner 5430fdc8d8SChris Lattner ThreadPlanStepInRange::~ThreadPlanStepInRange () 5530fdc8d8SChris Lattner { 5630fdc8d8SChris Lattner } 5730fdc8d8SChris Lattner 5830fdc8d8SChris Lattner void 5930fdc8d8SChris Lattner ThreadPlanStepInRange::GetDescription (Stream *s, lldb::DescriptionLevel level) 6030fdc8d8SChris Lattner { 6130fdc8d8SChris Lattner if (level == lldb::eDescriptionLevelBrief) 6230fdc8d8SChris Lattner s->Printf("step in"); 6330fdc8d8SChris Lattner else 6430fdc8d8SChris Lattner { 6530fdc8d8SChris Lattner s->Printf ("Stepping through range (stepping into functions): "); 66c4c9fedcSJim Ingham DumpRanges(s); 6730fdc8d8SChris Lattner } 6830fdc8d8SChris Lattner } 6930fdc8d8SChris Lattner 7030fdc8d8SChris Lattner bool 7130fdc8d8SChris Lattner ThreadPlanStepInRange::ShouldStop (Event *event_ptr) 7230fdc8d8SChris Lattner { 732d4edfbcSGreg Clayton LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP)); 7430fdc8d8SChris Lattner m_no_more_plans = false; 7530fdc8d8SChris Lattner 7630fdc8d8SChris Lattner if (log) 7730fdc8d8SChris Lattner { 7830fdc8d8SChris Lattner StreamString s; 79514487e8SGreg Clayton s.Address (m_thread.GetRegisterContext()->GetPC(), 801ac04c30SGreg Clayton m_thread.CalculateTarget()->GetArchitecture().GetAddressByteSize()); 8130fdc8d8SChris Lattner log->Printf("ThreadPlanStepInRange reached %s.", s.GetData()); 8230fdc8d8SChris Lattner } 8330fdc8d8SChris Lattner 8425f66700SJim Ingham if (IsPlanComplete()) 8525f66700SJim Ingham return true; 8625f66700SJim Ingham 8730fdc8d8SChris Lattner ThreadPlan* new_plan = NULL; 8830fdc8d8SChris Lattner 899d790c5dSJim Ingham // Stepping through should be done stopping other threads in general, since we're setting a breakpoint and 909d790c5dSJim Ingham // continuing... 919d790c5dSJim Ingham 9230fdc8d8SChris Lattner bool stop_others; 939d790c5dSJim Ingham if (m_stop_others != lldb::eAllThreads) 9430fdc8d8SChris Lattner stop_others = true; 9530fdc8d8SChris Lattner else 9630fdc8d8SChris Lattner stop_others = false; 9730fdc8d8SChris Lattner 98b5c0d1ccSJim Ingham FrameComparison frame_order = CompareCurrentFrameToStartFrame(); 99b5c0d1ccSJim Ingham 100b5c0d1ccSJim Ingham if (frame_order == eFrameCompareOlder) 1015822173bSJim Ingham { 1025822173bSJim Ingham // If we're in an older frame then we should stop. 1035822173bSJim Ingham // 1045822173bSJim Ingham // A caveat to this is if we think the frame is older but we're actually in a trampoline. 1055822173bSJim Ingham // I'm going to make the assumption that you wouldn't RETURN to a trampoline. So if we are 1065822173bSJim Ingham // in a trampoline we think the frame is older because the trampoline confused the backtracer. 1075822173bSJim Ingham new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others); 1085822173bSJim Ingham if (new_plan == NULL) 1095822173bSJim Ingham return true; 1105822173bSJim Ingham else if (log) 1115822173bSJim Ingham { 1125822173bSJim Ingham log->Printf("Thought I stepped out, but in fact arrived at a trampoline."); 1135822173bSJim Ingham } 1145822173bSJim Ingham 1155822173bSJim Ingham } 116564d8bc2SJim Ingham else if (frame_order == eFrameCompareEqual && InSymbol()) 1175822173bSJim Ingham { 1185822173bSJim Ingham // If we are not in a place we should step through, we're done. 1195822173bSJim Ingham // One tricky bit here is that some stubs don't push a frame, so we have to check 1205822173bSJim Ingham // both the case of a frame that is younger, or the same as this frame. 1215822173bSJim Ingham // However, if the frame is the same, and we are still in the symbol we started 1225822173bSJim Ingham // in, the we don't need to do this. This first check isn't strictly necessary, 1235822173bSJim Ingham // but it is more efficient. 1245822173bSJim Ingham 125564d8bc2SJim Ingham // If we're still in the range, keep going, either by running to the next branch breakpoint, or by 126564d8bc2SJim Ingham // stepping. 127564d8bc2SJim Ingham if (InRange()) 128564d8bc2SJim Ingham { 129564d8bc2SJim Ingham SetNextBranchBreakpoint(); 130564d8bc2SJim Ingham return false; 131564d8bc2SJim Ingham } 132564d8bc2SJim Ingham 1335822173bSJim Ingham SetPlanComplete(); 1345822173bSJim Ingham return true; 1355822173bSJim Ingham } 1365822173bSJim Ingham 137564d8bc2SJim Ingham // If we get to this point, we're not going to use a previously set "next branch" breakpoint, so delete it: 138564d8bc2SJim Ingham ClearNextBranchBreakpoint(); 139564d8bc2SJim Ingham 1405822173bSJim Ingham // We may have set the plan up above in the FrameIsOlder section: 1415822173bSJim Ingham 1425822173bSJim Ingham if (new_plan == NULL) 14330fdc8d8SChris Lattner new_plan = m_thread.QueueThreadPlanForStepThrough (false, stop_others); 14408b87e0dSJim Ingham 14508b87e0dSJim Ingham if (log) 14608b87e0dSJim Ingham { 14708b87e0dSJim Ingham if (new_plan != NULL) 14808b87e0dSJim Ingham log->Printf ("Found a step through plan: %s", new_plan->GetName()); 14908b87e0dSJim Ingham else 15008b87e0dSJim Ingham log->Printf ("No step through plan found."); 15108b87e0dSJim Ingham } 15208b87e0dSJim Ingham 15330fdc8d8SChris Lattner // If not, give the "should_stop" callback a chance to push a plan to get us out of here. 15430fdc8d8SChris Lattner // But only do that if we actually have stepped in. 155b5c0d1ccSJim Ingham if (!new_plan && frame_order == eFrameCompareYounger) 15630fdc8d8SChris Lattner new_plan = InvokeShouldStopHereCallback(); 15730fdc8d8SChris Lattner 1587ce490c6SJim Ingham // If we've stepped in and we are going to stop here, check to see if we were asked to 1597ce490c6SJim Ingham // run past the prologue, and if so do that. 1607ce490c6SJim Ingham 161b5c0d1ccSJim Ingham if (new_plan == NULL && frame_order == eFrameCompareYounger && m_step_past_prologue) 1627ce490c6SJim Ingham { 1637ce490c6SJim Ingham lldb::StackFrameSP curr_frame = m_thread.GetStackFrameAtIndex(0); 1647ce490c6SJim Ingham if (curr_frame) 1657ce490c6SJim Ingham { 1667ce490c6SJim Ingham size_t bytes_to_skip = 0; 1677ce490c6SJim Ingham lldb::addr_t curr_addr = m_thread.GetRegisterContext()->GetPC(); 1687ce490c6SJim Ingham Address func_start_address; 1697ce490c6SJim Ingham 1707ce490c6SJim Ingham SymbolContext sc = curr_frame->GetSymbolContext (eSymbolContextFunction | eSymbolContextSymbol); 1717ce490c6SJim Ingham 1727ce490c6SJim Ingham if (sc.function) 1737ce490c6SJim Ingham { 1747ce490c6SJim Ingham func_start_address = sc.function->GetAddressRange().GetBaseAddress(); 175d9e416c0SGreg Clayton if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget().get())) 1767ce490c6SJim Ingham bytes_to_skip = sc.function->GetPrologueByteSize(); 1777ce490c6SJim Ingham } 1787ce490c6SJim Ingham else if (sc.symbol) 1797ce490c6SJim Ingham { 180e7612134SGreg Clayton func_start_address = sc.symbol->GetAddress(); 181d9e416c0SGreg Clayton if (curr_addr == func_start_address.GetLoadAddress(m_thread.CalculateTarget().get())) 1827ce490c6SJim Ingham bytes_to_skip = sc.symbol->GetPrologueByteSize(); 1837ce490c6SJim Ingham } 1847ce490c6SJim Ingham 1857ce490c6SJim Ingham if (bytes_to_skip != 0) 1867ce490c6SJim Ingham { 1877ce490c6SJim Ingham func_start_address.Slide (bytes_to_skip); 18820ad3c40SCaroline Tice log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP); 1897ce490c6SJim Ingham if (log) 1907ce490c6SJim Ingham log->Printf ("Pushing past prologue "); 1917ce490c6SJim Ingham 1927ce490c6SJim Ingham new_plan = m_thread.QueueThreadPlanForRunToAddress(false, func_start_address,true); 1937ce490c6SJim Ingham } 1947ce490c6SJim Ingham } 1957ce490c6SJim Ingham } 1967ce490c6SJim Ingham 19730fdc8d8SChris Lattner if (new_plan == NULL) 19830fdc8d8SChris Lattner { 19930fdc8d8SChris Lattner m_no_more_plans = true; 20030fdc8d8SChris Lattner SetPlanComplete(); 20130fdc8d8SChris Lattner return true; 20230fdc8d8SChris Lattner } 20330fdc8d8SChris Lattner else 20430fdc8d8SChris Lattner { 20530fdc8d8SChris Lattner m_no_more_plans = false; 20630fdc8d8SChris Lattner return false; 20730fdc8d8SChris Lattner } 20830fdc8d8SChris Lattner } 20930fdc8d8SChris Lattner 21030fdc8d8SChris Lattner void 21130fdc8d8SChris Lattner ThreadPlanStepInRange::SetFlagsToDefault () 21230fdc8d8SChris Lattner { 21330fdc8d8SChris Lattner GetFlags().Set(ThreadPlanStepInRange::s_default_flag_values); 21430fdc8d8SChris Lattner } 21530fdc8d8SChris Lattner 21630fdc8d8SChris Lattner void 217a56c8006SJim Ingham ThreadPlanStepInRange::SetAvoidRegexp(const char *name) 218a56c8006SJim Ingham { 219a56c8006SJim Ingham if (m_avoid_regexp_ap.get() == NULL) 220a56c8006SJim Ingham m_avoid_regexp_ap.reset (new RegularExpression(name)); 221a56c8006SJim Ingham 222a56c8006SJim Ingham m_avoid_regexp_ap->Compile (name); 223a56c8006SJim Ingham } 224a56c8006SJim Ingham 225a56c8006SJim Ingham void 22630fdc8d8SChris Lattner ThreadPlanStepInRange::SetDefaultFlagValue (uint32_t new_value) 22730fdc8d8SChris Lattner { 22830fdc8d8SChris Lattner // TODO: Should we test this for sanity? 22930fdc8d8SChris Lattner ThreadPlanStepInRange::s_default_flag_values = new_value; 23030fdc8d8SChris Lattner } 23130fdc8d8SChris Lattner 232a56c8006SJim Ingham bool 233a56c8006SJim Ingham ThreadPlanStepInRange::FrameMatchesAvoidRegexp () 234a56c8006SJim Ingham { 235a56c8006SJim Ingham StackFrame *frame = GetThread().GetStackFrameAtIndex(0).get(); 236a56c8006SJim Ingham 237ee8aea10SJim Ingham RegularExpression *avoid_regexp_to_use; 238ee8aea10SJim Ingham 239ee8aea10SJim Ingham avoid_regexp_to_use = m_avoid_regexp_ap.get(); 240ee8aea10SJim Ingham if (avoid_regexp_to_use == NULL) 241ee8aea10SJim Ingham avoid_regexp_to_use = GetThread().GetSymbolsToAvoidRegexp(); 242ee8aea10SJim Ingham 243ee8aea10SJim Ingham if (avoid_regexp_to_use != NULL) 244a56c8006SJim Ingham { 245a56c8006SJim Ingham SymbolContext sc = frame->GetSymbolContext(eSymbolContextSymbol); 246a56c8006SJim Ingham if (sc.symbol != NULL) 247a56c8006SJim Ingham { 248a56c8006SJim Ingham const char *unnamed_symbol = "<UNKNOWN>"; 249a56c8006SJim Ingham const char *sym_name = sc.symbol->GetMangled().GetName().AsCString(unnamed_symbol); 250a56c8006SJim Ingham if (strcmp (sym_name, unnamed_symbol) != 0) 251ee8aea10SJim Ingham return avoid_regexp_to_use->Execute(sym_name); 252a56c8006SJim Ingham } 253a56c8006SJim Ingham } 254a56c8006SJim Ingham return false; 255a56c8006SJim Ingham } 256a56c8006SJim Ingham 25730fdc8d8SChris Lattner ThreadPlan * 25830fdc8d8SChris Lattner ThreadPlanStepInRange::DefaultShouldStopHereCallback (ThreadPlan *current_plan, Flags &flags, void *baton) 25930fdc8d8SChris Lattner { 260a56c8006SJim Ingham bool should_step_out = false; 26130fdc8d8SChris Lattner StackFrame *frame = current_plan->GetThread().GetStackFrameAtIndex(0).get(); 2622d4edfbcSGreg Clayton LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP)); 26330fdc8d8SChris Lattner 26473b472d4SGreg Clayton if (flags.Test(eAvoidNoDebug)) 265a56c8006SJim Ingham { 26630fdc8d8SChris Lattner if (!frame->HasDebugInformation()) 267af0f1759SJim Ingham { 268af0f1759SJim Ingham if (log) 269af0f1759SJim Ingham log->Printf ("Stepping out of frame with no debug info"); 270af0f1759SJim Ingham 271a56c8006SJim Ingham should_step_out = true; 272a56c8006SJim Ingham } 273af0f1759SJim Ingham } 274a56c8006SJim Ingham 275a56c8006SJim Ingham if (!should_step_out) 276a56c8006SJim Ingham { 277a56c8006SJim Ingham if (current_plan->GetKind() == eKindStepInRange) 278a56c8006SJim Ingham { 279a56c8006SJim Ingham ThreadPlanStepInRange *step_in_range_plan = static_cast<ThreadPlanStepInRange *> (current_plan); 280a56c8006SJim Ingham should_step_out = step_in_range_plan->FrameMatchesAvoidRegexp (); 281a56c8006SJim Ingham } 282a56c8006SJim Ingham } 283a56c8006SJim Ingham 284a56c8006SJim Ingham if (should_step_out) 28530fdc8d8SChris Lattner { 28630fdc8d8SChris Lattner // FIXME: Make sure the ThreadPlanForStepOut does the right thing with inlined functions. 287481cef25SGreg Clayton return current_plan->GetThread().QueueThreadPlanForStepOut (false, 288481cef25SGreg Clayton NULL, 289481cef25SGreg Clayton true, 290a56c8006SJim Ingham current_plan->StopOthers(), 291481cef25SGreg Clayton eVoteNo, 292481cef25SGreg Clayton eVoteNoOpinion, 293481cef25SGreg Clayton 0); // Frame index 29430fdc8d8SChris Lattner } 29530fdc8d8SChris Lattner 29630fdc8d8SChris Lattner return NULL; 29730fdc8d8SChris Lattner } 298*fbbfe6ecSJim Ingham 299*fbbfe6ecSJim Ingham bool 300*fbbfe6ecSJim Ingham ThreadPlanStepInRange::PlanExplainsStop () 301*fbbfe6ecSJim Ingham { 302*fbbfe6ecSJim Ingham // We always explain a stop. Either we've just done a single step, in which 303*fbbfe6ecSJim Ingham // case we'll do our ordinary processing, or we stopped for some 304*fbbfe6ecSJim Ingham // reason that isn't handled by our sub-plans, in which case we want to just stop right 305*fbbfe6ecSJim Ingham // away. 306*fbbfe6ecSJim Ingham // We also set ourselves complete when we stop for this sort of unintended reason, but mark 307*fbbfe6ecSJim Ingham // success as false so we don't end up being the reason for the stop. 308*fbbfe6ecSJim Ingham // 309*fbbfe6ecSJim Ingham // The only variation is that if we are doing "step by running to next branch" in which case 310*fbbfe6ecSJim Ingham // if we hit our branch breakpoint we don't set the plan to complete. 311*fbbfe6ecSJim Ingham 312*fbbfe6ecSJim Ingham LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_STEP)); 313*fbbfe6ecSJim Ingham StopInfoSP stop_info_sp = GetPrivateStopReason(); 314*fbbfe6ecSJim Ingham if (stop_info_sp) 315*fbbfe6ecSJim Ingham { 316*fbbfe6ecSJim Ingham StopReason reason = stop_info_sp->GetStopReason(); 317*fbbfe6ecSJim Ingham 318*fbbfe6ecSJim Ingham switch (reason) 319*fbbfe6ecSJim Ingham { 320*fbbfe6ecSJim Ingham case eStopReasonBreakpoint: 321*fbbfe6ecSJim Ingham if (NextRangeBreakpointExplainsStop(stop_info_sp)) 322*fbbfe6ecSJim Ingham return true; 323*fbbfe6ecSJim Ingham case eStopReasonWatchpoint: 324*fbbfe6ecSJim Ingham case eStopReasonSignal: 325*fbbfe6ecSJim Ingham case eStopReasonException: 326*fbbfe6ecSJim Ingham if (log) 327*fbbfe6ecSJim Ingham log->PutCString ("ThreadPlanStepInRange got asked if it explains the stop for some reason other than step."); 328*fbbfe6ecSJim Ingham SetPlanComplete(false); 329*fbbfe6ecSJim Ingham break; 330*fbbfe6ecSJim Ingham default: 331*fbbfe6ecSJim Ingham break; 332*fbbfe6ecSJim Ingham } 333*fbbfe6ecSJim Ingham } 334*fbbfe6ecSJim Ingham return true; 335*fbbfe6ecSJim Ingham } 336