Skip to content

Commit f0ee69f

Browse files
[JITLoaderGDB] Set eTypeJIT for objects read from JIT descriptors
Summary: First part of a fix for JITed code debugging. This has been a regression from 5.0 to 6.0 and it's is still reproducible on current master: https://bugs.llvm.org/show_bug.cgi?id=36209 The address of the breakpoint site is corrupt: the 0x4 value we end up with, looks like an offset on a zero base address. When we parse the ELF section headers from the JIT descriptor, the load address for the text section we find in `header.sh_addr` is correct. The bug manifests in `VMAddressProvider::GetVMRange(const ELFSectionHeader &)` (follow it from `ObjectFileELF::CreateSections()`). Here we think the object type was `eTypeObjectFile` and unleash some extra logic [1] which essentially overwrites the address with a zero value. The object type is deduced from the ELF header's `e_type` in `ObjectFileELF::CalculateType()`. It never returns `eTypeJIT`, because the ELF header has no representation for it [2]. Instead the in-memory ELF object states `ET_REL`, which leads to `eTypeObjectFile`. This is what we get from `lli` at least since 3.x. (Might it be better to write `ET_EXEC` on the JIT side instead? In fact, relocations were already applied at this point, so "Relocatable" is not quite exact.) So, this patch proposes to set `eTypeJIT` explicitly whenever we read from a JIT descriptor. In `ObjectFileELF::CreateSections()` we can then call `GetType()`, which returns the explicit value or otherwise falls back to `CalculateType()`. LLDB then sets the breakpoint successfully. Next step: debug info. ``` Process 1056 stopped * thread #1, name = 'lli', stop reason = breakpoint 1.2 frame #0: 0x00007ffff7ff7000 JIT(0x3ba2030)`jitbp() JIT(0x3ba2030)`jitbp: -> 0x7ffff7ff7000 <+0>: pushq %rbp 0x7ffff7ff7001 <+1>: movq %rsp, %rbp 0x7ffff7ff7004 <+4>: movabsq $0x7ffff7ff6000, %rdi ; imm = 0x7FFFF7FF6000 0x7ffff7ff700e <+14>: movabsq $0x7ffff6697e80, %rcx ; imm = 0x7FFFF6697E80 ``` [1] It was first introduced with https://reviews.llvm.org/D38142#change-lF6csxV8HdlL, which has also been the original breaking change. The code has changed a lot since then. [2] ELF object types: https://github.com/llvm/llvm-project/blob/2d2277f5/llvm/include/llvm/BinaryFormat/ELF.h#L110 Reviewers: labath, JDevlieghere, bkoropoff, clayborg, espindola, alexshap, stella.stamenova Reviewed By: labath, clayborg Subscribers: probinson, emaste, aprantl, arichardson, MaskRay, AlexDenisov, yurydelendik, lldb-commits Tags: #lldb Differential Revision: https://reviews.llvm.org/D61611 llvm-svn: 360354
1 parent 4d4c9e0 commit f0ee69f

File tree

5 files changed

+20
-2
lines changed

5 files changed

+20
-2
lines changed

lldb/lit/Breakpoint/Inputs/jitbp.cpp

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
int jitbp() { return 0; }
2+
int main() { return jitbp(); }

lldb/lit/Breakpoint/jitbp_elf.test

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
# REQUIRES: target-x86_64
2+
# XFAIL: system-windows
3+
4+
# RUN: %clang -g -S -emit-llvm --target=x86_64-unknown-unknown-elf -o %t.ll %p/Inputs/jitbp.cpp
5+
# RUN: %lldb -b -o 'settings set plugin.jit-loader.gdb.enable on' -o 'b jitbp' -o 'run -jit-kind=mcjit %t.ll' lli | FileCheck %s
6+
7+
# CHECK: Breakpoint 1: no locations (pending).
8+
# CHECK: (lldb) run -jit-kind=mcjit {{.*}}/jitbp_elf.test.tmp.ll
9+
# CHECK: 1 location added to breakpoint 1
10+
# CHECK: Process {{.*}} stopped
11+
# CHECK: JIT(0x{{.*}})`jitbp:
12+
# CHECK: Process {{.*}} launched: {{.*}}

lldb/lit/helper/toolchain.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -134,6 +134,6 @@ def use_support_substitutions(config):
134134

135135
support_tools = ['yaml2obj', 'obj2yaml', 'llvm-pdbutil',
136136
'llvm-mc', 'llvm-readobj', 'llvm-objdump',
137-
'llvm-objcopy']
137+
'llvm-objcopy', 'lli']
138138
additional_tool_dirs += [config.lldb_tools_dir, config.llvm_tools_dir]
139139
llvm_config.add_tool_substitutions(support_tools, additional_tool_dirs)

lldb/source/Plugins/JITLoader/GDB/JITLoaderGDB.cpp

+4
Original file line numberDiff line numberDiff line change
@@ -327,6 +327,10 @@ bool JITLoaderGDB::ReadJITDescriptorImpl(bool all_entries) {
327327
FileSpec(jit_name), symbolfile_addr, symbolfile_size);
328328

329329
if (module_sp && module_sp->GetObjectFile()) {
330+
// Object formats (like ELF) have no representation for a JIT type.
331+
// We will get it wrong, if we deduce it from the header.
332+
module_sp->GetObjectFile()->SetType(ObjectFile::eTypeJIT);
333+
330334
// load the symbol table right away
331335
module_sp->GetObjectFile()->GetSymtab();
332336

lldb/source/Plugins/ObjectFile/ELF/ObjectFileELF.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -1865,7 +1865,7 @@ void ObjectFileELF::CreateSections(SectionList &unified_section_list) {
18651865
return;
18661866

18671867
m_sections_up = llvm::make_unique<SectionList>();
1868-
VMAddressProvider address_provider(CalculateType());
1868+
VMAddressProvider address_provider(GetType());
18691869

18701870
size_t LoadID = 0;
18711871
for (const auto &EnumPHdr : llvm::enumerate(ProgramHeaders())) {

0 commit comments

Comments
 (0)