15ffd83dbSDimitry Andric //===-- UnwindAssembly-x86.cpp --------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric
90b57cec5SDimitry Andric #include "UnwindAssembly-x86.h"
100b57cec5SDimitry Andric #include "x86AssemblyInspectionEngine.h"
110b57cec5SDimitry Andric
120b57cec5SDimitry Andric #include "llvm-c/Disassembler.h"
130b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
140b57cec5SDimitry Andric #include "llvm/Support/TargetSelect.h"
150b57cec5SDimitry Andric
160b57cec5SDimitry Andric #include "lldb/Core/Address.h"
170b57cec5SDimitry Andric #include "lldb/Core/PluginManager.h"
180b57cec5SDimitry Andric #include "lldb/Symbol/UnwindPlan.h"
190b57cec5SDimitry Andric #include "lldb/Target/ABI.h"
200b57cec5SDimitry Andric #include "lldb/Target/ExecutionContext.h"
210b57cec5SDimitry Andric #include "lldb/Target/Process.h"
220b57cec5SDimitry Andric #include "lldb/Target/RegisterContext.h"
230b57cec5SDimitry Andric #include "lldb/Target/RegisterNumber.h"
240b57cec5SDimitry Andric #include "lldb/Target/Target.h"
250b57cec5SDimitry Andric #include "lldb/Target/Thread.h"
260b57cec5SDimitry Andric #include "lldb/Target/UnwindAssembly.h"
270b57cec5SDimitry Andric #include "lldb/Utility/ArchSpec.h"
280b57cec5SDimitry Andric #include "lldb/Utility/Status.h"
290b57cec5SDimitry Andric
300b57cec5SDimitry Andric using namespace lldb;
310b57cec5SDimitry Andric using namespace lldb_private;
320b57cec5SDimitry Andric
LLDB_PLUGIN_DEFINE_ADV(UnwindAssembly_x86,UnwindAssemblyX86)335ffd83dbSDimitry Andric LLDB_PLUGIN_DEFINE_ADV(UnwindAssembly_x86, UnwindAssemblyX86)
345ffd83dbSDimitry Andric
350b57cec5SDimitry Andric // UnwindAssemblyParser_x86 method definitions
360b57cec5SDimitry Andric
370b57cec5SDimitry Andric UnwindAssembly_x86::UnwindAssembly_x86(const ArchSpec &arch)
380b57cec5SDimitry Andric : lldb_private::UnwindAssembly(arch),
390b57cec5SDimitry Andric m_assembly_inspection_engine(new x86AssemblyInspectionEngine(arch)) {}
400b57cec5SDimitry Andric
~UnwindAssembly_x86()410b57cec5SDimitry Andric UnwindAssembly_x86::~UnwindAssembly_x86() {
420b57cec5SDimitry Andric delete m_assembly_inspection_engine;
430b57cec5SDimitry Andric }
440b57cec5SDimitry Andric
GetNonCallSiteUnwindPlanFromAssembly(AddressRange & func,Thread & thread,UnwindPlan & unwind_plan)450b57cec5SDimitry Andric bool UnwindAssembly_x86::GetNonCallSiteUnwindPlanFromAssembly(
460b57cec5SDimitry Andric AddressRange &func, Thread &thread, UnwindPlan &unwind_plan) {
470b57cec5SDimitry Andric if (!func.GetBaseAddress().IsValid() || func.GetByteSize() == 0)
480b57cec5SDimitry Andric return false;
490b57cec5SDimitry Andric if (m_assembly_inspection_engine == nullptr)
500b57cec5SDimitry Andric return false;
510b57cec5SDimitry Andric ProcessSP process_sp(thread.GetProcess());
520b57cec5SDimitry Andric if (process_sp.get() == nullptr)
530b57cec5SDimitry Andric return false;
540b57cec5SDimitry Andric std::vector<uint8_t> function_text(func.GetByteSize());
550b57cec5SDimitry Andric Status error;
560b57cec5SDimitry Andric if (process_sp->GetTarget().ReadMemory(
57fe6060f1SDimitry Andric func.GetBaseAddress(), function_text.data(), func.GetByteSize(),
58fe6060f1SDimitry Andric error) == func.GetByteSize()) {
590b57cec5SDimitry Andric RegisterContextSP reg_ctx(thread.GetRegisterContext());
600b57cec5SDimitry Andric m_assembly_inspection_engine->Initialize(reg_ctx);
610b57cec5SDimitry Andric return m_assembly_inspection_engine->GetNonCallSiteUnwindPlanFromAssembly(
620b57cec5SDimitry Andric function_text.data(), func.GetByteSize(), func, unwind_plan);
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric return false;
650b57cec5SDimitry Andric }
660b57cec5SDimitry Andric
AugmentUnwindPlanFromCallSite(AddressRange & func,Thread & thread,UnwindPlan & unwind_plan)670b57cec5SDimitry Andric bool UnwindAssembly_x86::AugmentUnwindPlanFromCallSite(
680b57cec5SDimitry Andric AddressRange &func, Thread &thread, UnwindPlan &unwind_plan) {
690b57cec5SDimitry Andric bool do_augment_unwindplan = true;
700b57cec5SDimitry Andric
710b57cec5SDimitry Andric UnwindPlan::RowSP first_row = unwind_plan.GetRowForFunctionOffset(0);
720b57cec5SDimitry Andric UnwindPlan::RowSP last_row = unwind_plan.GetRowForFunctionOffset(-1);
730b57cec5SDimitry Andric
740b57cec5SDimitry Andric int wordsize = 8;
750b57cec5SDimitry Andric ProcessSP process_sp(thread.GetProcess());
760b57cec5SDimitry Andric if (process_sp.get() == nullptr)
770b57cec5SDimitry Andric return false;
780b57cec5SDimitry Andric
790b57cec5SDimitry Andric wordsize = process_sp->GetTarget().GetArchitecture().GetAddressByteSize();
800b57cec5SDimitry Andric
810b57cec5SDimitry Andric RegisterNumber sp_regnum(thread, eRegisterKindGeneric,
820b57cec5SDimitry Andric LLDB_REGNUM_GENERIC_SP);
830b57cec5SDimitry Andric RegisterNumber pc_regnum(thread, eRegisterKindGeneric,
840b57cec5SDimitry Andric LLDB_REGNUM_GENERIC_PC);
850b57cec5SDimitry Andric
860b57cec5SDimitry Andric // Does this UnwindPlan describe the prologue? I want to see that the CFA is
870b57cec5SDimitry Andric // set in terms of the stack pointer plus an offset, and I want to see that
880b57cec5SDimitry Andric // rip is retrieved at the CFA-wordsize. If there is no description of the
890b57cec5SDimitry Andric // prologue, don't try to augment this eh_frame unwinder code, fall back to
900b57cec5SDimitry Andric // assembly parsing instead.
910b57cec5SDimitry Andric
920b57cec5SDimitry Andric if (first_row->GetCFAValue().GetValueType() !=
930b57cec5SDimitry Andric UnwindPlan::Row::FAValue::isRegisterPlusOffset ||
940b57cec5SDimitry Andric RegisterNumber(thread, unwind_plan.GetRegisterKind(),
950b57cec5SDimitry Andric first_row->GetCFAValue().GetRegisterNumber()) !=
960b57cec5SDimitry Andric sp_regnum ||
970b57cec5SDimitry Andric first_row->GetCFAValue().GetOffset() != wordsize) {
980b57cec5SDimitry Andric return false;
990b57cec5SDimitry Andric }
1000b57cec5SDimitry Andric UnwindPlan::Row::RegisterLocation first_row_pc_loc;
1010b57cec5SDimitry Andric if (!first_row->GetRegisterInfo(
1020b57cec5SDimitry Andric pc_regnum.GetAsKind(unwind_plan.GetRegisterKind()),
1030b57cec5SDimitry Andric first_row_pc_loc) ||
1040b57cec5SDimitry Andric !first_row_pc_loc.IsAtCFAPlusOffset() ||
1050b57cec5SDimitry Andric first_row_pc_loc.GetOffset() != -wordsize) {
1060b57cec5SDimitry Andric return false;
1070b57cec5SDimitry Andric }
1080b57cec5SDimitry Andric
1090b57cec5SDimitry Andric // It looks like the prologue is described. Is the epilogue described? If it
1100b57cec5SDimitry Andric // is, no need to do any augmentation.
1110b57cec5SDimitry Andric
1120b57cec5SDimitry Andric if (first_row != last_row &&
1130b57cec5SDimitry Andric first_row->GetOffset() != last_row->GetOffset()) {
1140b57cec5SDimitry Andric // The first & last row have the same CFA register and the same CFA offset
1150b57cec5SDimitry Andric // value and the CFA register is esp/rsp (the stack pointer).
1160b57cec5SDimitry Andric
1170b57cec5SDimitry Andric // We're checking that both of them have an unwind rule like "CFA=esp+4" or
1180b57cec5SDimitry Andric // CFA+rsp+8".
1190b57cec5SDimitry Andric
1200b57cec5SDimitry Andric if (first_row->GetCFAValue().GetValueType() ==
1210b57cec5SDimitry Andric last_row->GetCFAValue().GetValueType() &&
1220b57cec5SDimitry Andric first_row->GetCFAValue().GetRegisterNumber() ==
1230b57cec5SDimitry Andric last_row->GetCFAValue().GetRegisterNumber() &&
1240b57cec5SDimitry Andric first_row->GetCFAValue().GetOffset() ==
1250b57cec5SDimitry Andric last_row->GetCFAValue().GetOffset()) {
1260b57cec5SDimitry Andric // Get the register locations for eip/rip from the first & last rows. Are
1270b57cec5SDimitry Andric // they both CFA plus an offset? Is it the same offset?
1280b57cec5SDimitry Andric
1290b57cec5SDimitry Andric UnwindPlan::Row::RegisterLocation last_row_pc_loc;
1300b57cec5SDimitry Andric if (last_row->GetRegisterInfo(
1310b57cec5SDimitry Andric pc_regnum.GetAsKind(unwind_plan.GetRegisterKind()),
1320b57cec5SDimitry Andric last_row_pc_loc)) {
1330b57cec5SDimitry Andric if (last_row_pc_loc.IsAtCFAPlusOffset() &&
1340b57cec5SDimitry Andric first_row_pc_loc.GetOffset() == last_row_pc_loc.GetOffset()) {
1350b57cec5SDimitry Andric
1360b57cec5SDimitry Andric // One last sanity check: Is the unwind rule for getting the caller
1370b57cec5SDimitry Andric // pc value "deref the CFA-4" or "deref the CFA-8"?
1380b57cec5SDimitry Andric
1390b57cec5SDimitry Andric // If so, we have an UnwindPlan that already describes the epilogue
1400b57cec5SDimitry Andric // and we don't need to modify it at all.
1410b57cec5SDimitry Andric
1420b57cec5SDimitry Andric if (first_row_pc_loc.GetOffset() == -wordsize) {
1435ffd83dbSDimitry Andric return true;
1440b57cec5SDimitry Andric }
1450b57cec5SDimitry Andric }
1460b57cec5SDimitry Andric }
1470b57cec5SDimitry Andric }
1480b57cec5SDimitry Andric }
1490b57cec5SDimitry Andric
1500b57cec5SDimitry Andric if (do_augment_unwindplan) {
1510b57cec5SDimitry Andric if (!func.GetBaseAddress().IsValid() || func.GetByteSize() == 0)
1520b57cec5SDimitry Andric return false;
1530b57cec5SDimitry Andric if (m_assembly_inspection_engine == nullptr)
1540b57cec5SDimitry Andric return false;
1550b57cec5SDimitry Andric std::vector<uint8_t> function_text(func.GetByteSize());
1560b57cec5SDimitry Andric Status error;
1570b57cec5SDimitry Andric if (process_sp->GetTarget().ReadMemory(
158fe6060f1SDimitry Andric func.GetBaseAddress(), function_text.data(), func.GetByteSize(),
159fe6060f1SDimitry Andric error) == func.GetByteSize()) {
1600b57cec5SDimitry Andric RegisterContextSP reg_ctx(thread.GetRegisterContext());
1610b57cec5SDimitry Andric m_assembly_inspection_engine->Initialize(reg_ctx);
1620b57cec5SDimitry Andric return m_assembly_inspection_engine->AugmentUnwindPlanFromCallSite(
1630b57cec5SDimitry Andric function_text.data(), func.GetByteSize(), func, unwind_plan, reg_ctx);
1640b57cec5SDimitry Andric }
1650b57cec5SDimitry Andric }
1660b57cec5SDimitry Andric
1670b57cec5SDimitry Andric return false;
1680b57cec5SDimitry Andric }
1690b57cec5SDimitry Andric
GetFastUnwindPlan(AddressRange & func,Thread & thread,UnwindPlan & unwind_plan)1700b57cec5SDimitry Andric bool UnwindAssembly_x86::GetFastUnwindPlan(AddressRange &func, Thread &thread,
1710b57cec5SDimitry Andric UnwindPlan &unwind_plan) {
1720b57cec5SDimitry Andric // if prologue is
1730b57cec5SDimitry Andric // 55 pushl %ebp
1740b57cec5SDimitry Andric // 89 e5 movl %esp, %ebp
1750b57cec5SDimitry Andric // or
1760b57cec5SDimitry Andric // 55 pushq %rbp
1770b57cec5SDimitry Andric // 48 89 e5 movq %rsp, %rbp
1780b57cec5SDimitry Andric
1790b57cec5SDimitry Andric // We should pull in the ABI architecture default unwind plan and return that
1800b57cec5SDimitry Andric
1810b57cec5SDimitry Andric llvm::SmallVector<uint8_t, 4> opcode_data;
1820b57cec5SDimitry Andric
1830b57cec5SDimitry Andric ProcessSP process_sp = thread.GetProcess();
1840b57cec5SDimitry Andric if (process_sp) {
1850b57cec5SDimitry Andric Target &target(process_sp->GetTarget());
1860b57cec5SDimitry Andric Status error;
187fe6060f1SDimitry Andric if (target.ReadMemory(func.GetBaseAddress(), opcode_data.data(), 4,
188fe6060f1SDimitry Andric error) == 4) {
1890b57cec5SDimitry Andric uint8_t i386_push_mov[] = {0x55, 0x89, 0xe5};
1900b57cec5SDimitry Andric uint8_t x86_64_push_mov[] = {0x55, 0x48, 0x89, 0xe5};
1910b57cec5SDimitry Andric
1920b57cec5SDimitry Andric if (memcmp(opcode_data.data(), i386_push_mov, sizeof(i386_push_mov)) ==
1930b57cec5SDimitry Andric 0 ||
1940b57cec5SDimitry Andric memcmp(opcode_data.data(), x86_64_push_mov,
1950b57cec5SDimitry Andric sizeof(x86_64_push_mov)) == 0) {
1960b57cec5SDimitry Andric ABISP abi_sp = process_sp->GetABI();
1970b57cec5SDimitry Andric if (abi_sp) {
1980b57cec5SDimitry Andric return abi_sp->CreateDefaultUnwindPlan(unwind_plan);
1990b57cec5SDimitry Andric }
2000b57cec5SDimitry Andric }
2010b57cec5SDimitry Andric }
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric return false;
2040b57cec5SDimitry Andric }
2050b57cec5SDimitry Andric
FirstNonPrologueInsn(AddressRange & func,const ExecutionContext & exe_ctx,Address & first_non_prologue_insn)2060b57cec5SDimitry Andric bool UnwindAssembly_x86::FirstNonPrologueInsn(
2070b57cec5SDimitry Andric AddressRange &func, const ExecutionContext &exe_ctx,
2080b57cec5SDimitry Andric Address &first_non_prologue_insn) {
2090b57cec5SDimitry Andric
2100b57cec5SDimitry Andric if (!func.GetBaseAddress().IsValid())
2110b57cec5SDimitry Andric return false;
2120b57cec5SDimitry Andric
2130b57cec5SDimitry Andric Target *target = exe_ctx.GetTargetPtr();
2140b57cec5SDimitry Andric if (target == nullptr)
2150b57cec5SDimitry Andric return false;
2160b57cec5SDimitry Andric
2170b57cec5SDimitry Andric if (m_assembly_inspection_engine == nullptr)
2180b57cec5SDimitry Andric return false;
2190b57cec5SDimitry Andric
2200b57cec5SDimitry Andric std::vector<uint8_t> function_text(func.GetByteSize());
2210b57cec5SDimitry Andric Status error;
222fe6060f1SDimitry Andric if (target->ReadMemory(func.GetBaseAddress(), function_text.data(),
223fe6060f1SDimitry Andric func.GetByteSize(), error) == func.GetByteSize()) {
2240b57cec5SDimitry Andric size_t offset;
2250b57cec5SDimitry Andric if (m_assembly_inspection_engine->FindFirstNonPrologueInstruction(
2260b57cec5SDimitry Andric function_text.data(), func.GetByteSize(), offset)) {
2270b57cec5SDimitry Andric first_non_prologue_insn = func.GetBaseAddress();
2280b57cec5SDimitry Andric first_non_prologue_insn.Slide(offset);
2290b57cec5SDimitry Andric }
2300b57cec5SDimitry Andric return true;
2310b57cec5SDimitry Andric }
2320b57cec5SDimitry Andric return false;
2330b57cec5SDimitry Andric }
2340b57cec5SDimitry Andric
CreateInstance(const ArchSpec & arch)2350b57cec5SDimitry Andric UnwindAssembly *UnwindAssembly_x86::CreateInstance(const ArchSpec &arch) {
2360b57cec5SDimitry Andric const llvm::Triple::ArchType cpu = arch.GetMachine();
2370b57cec5SDimitry Andric if (cpu == llvm::Triple::x86 || cpu == llvm::Triple::x86_64)
2380b57cec5SDimitry Andric return new UnwindAssembly_x86(arch);
2390b57cec5SDimitry Andric return nullptr;
2400b57cec5SDimitry Andric }
2410b57cec5SDimitry Andric
Initialize()2420b57cec5SDimitry Andric void UnwindAssembly_x86::Initialize() {
2430b57cec5SDimitry Andric PluginManager::RegisterPlugin(GetPluginNameStatic(),
2440b57cec5SDimitry Andric GetPluginDescriptionStatic(), CreateInstance);
2450b57cec5SDimitry Andric }
2460b57cec5SDimitry Andric
Terminate()2470b57cec5SDimitry Andric void UnwindAssembly_x86::Terminate() {
2480b57cec5SDimitry Andric PluginManager::UnregisterPlugin(CreateInstance);
2490b57cec5SDimitry Andric }
2500b57cec5SDimitry Andric
GetPluginDescriptionStatic()251*349cc55cSDimitry Andric llvm::StringRef UnwindAssembly_x86::GetPluginDescriptionStatic() {
2520b57cec5SDimitry Andric return "i386 and x86_64 assembly language profiler plugin.";
2530b57cec5SDimitry Andric }
254