Skip to content

JIT: Add DWARF support#1910

Draft
pguyot wants to merge 97 commits intoatomvm:mainfrom
pguyot:w41/jit-dwarf
Draft

JIT: Add DWARF support#1910
pguyot wants to merge 97 commits intoatomvm:mainfrom
pguyot:w41/jit-dwarf

Conversation

@pguyot
Copy link
Collaborator

@pguyot pguyot commented Oct 18, 2025 •
edited
Loading

Continuation of:

Precompile an ELF binary with DWARF symbols. Suitable for debugging, registering symbols at runtime with gdb and lldb.
Currently uses newly allocated Erlang language code.

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

pguyot added 30 commits October 19, 2025 12:49
@pguyot
armv6m: initial commit of the assembler module
5b35813 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: initial backend commit
7796e5c 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: implement shift left & shift right
380d9ae 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: remove references to fpu registers
a60ced4 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix offsets to Context and JITState structs
54d370e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: enable and fix move_to_cp_test
cc72f96 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: add jit_armv6m to nif_jit_backend_module
0caf0d5 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: enable on Unix builds
05e993e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: enable on Pico builds
b727f82 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix increment_sp
4457f95 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: move_array_element and get_array_element
e43ede4 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: move_to_array_element
416fdde 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: if_block
df06fe0 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix is_boolean_test
229aa66 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix if_block & fix is_number_test
31e2d8d 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix is_integer_test and optimize implementation
933834b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: test comment after optimized is_number
9651706 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix get_list test
f27fc7e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix if_else_block_test
95d4759 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix mul
74e60ac 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: function call with stack parameters, WIP
47d4c4f 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix and enable all disabled tests
dc2e79b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: increase coverage & fix issues
c0a998d 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: add wait_timeout_test, fix continuation to offset
0f69724 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix OP_GC_BIF2 and return_labels_and_lines
263be85 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix mov_immediate with negative value and branch from set_con…
f2249de 
…tinuation_to_label

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix jump table to it works with labels beyond b range
00f1fb2 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix debugger function
b26f49e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: move labels to backend states
15e1019 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: optimize jump_to_label with known labels
46185d1 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
pguyot added 13 commits October 19, 2025 12:50
@pguyot
armv6m: Add target to test.c
485f4d6 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: Fix offset for unaligned far branches
9715d9f 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: Fix if_block test of equality of two free regs
3639f6f 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: fix call to func ptr when registers are exhausted
8dcae31 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: Run tests on armhf+jit
208d025 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: optimize and 0xFFFFFF
7509d31 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: bump timeout for test_jit.avm with valgrind
5088b64 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: add float32 variant for single precision floats
e1f4356 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: optimize op return
4e7c382 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: optimize shift_right for platforms with 3 operands
4621b7d 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: factorize tail calls to reduce binary size
f99f1dc 
Use a cache to remember tail calls that were already implemented and
replace further implementations of the same tail call with a jump to the
previous implementation.

Coverage shows that all cases are covered in libs/estdlib/src and libs/jit/src:

OP_RETURN: 50 misses, 1735 hits (97%)
OP_JUMP/OP_CALL_LAST/OP_CALL_ONLY: 656 misses, 389 hits (37%)
OP_CALL_LAST: 220 misses, 206 hits (48%)
OP_FUNC_INFO: 58 misses, 1619 hits (97%)

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
armv6m: use literal pool to reduce binary size
933af32 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: initial commit of asm module
f1ea329 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
pguyot added 14 commits October 21, 2025 23:14
@pguyot
riscv32: initial backend implementation
2bedbdc 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: add to workflow using temporary files
cbe7b41 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: add to precompiled targets and test infrastructure
1cdf02d 
- Add riscv32 to AVM_PRECOMPILED_TARGETS
- Enable ENABLE_TRACE for debugging
- Add riscv32 directory handling in test.c

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: Do not precompile pico libs if armv6m+float32 is not in precompi…
de2e4d3 
…led targets

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: remove unused literal pool logic
f58107a 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
Aarch64: add tests for better coverage
a315bb7 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: fix several backend bugs
88c22fe 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: fix compilation with JIT disabled on esp32
3f8f940 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: enable JIT for pico2, add it to CI
49c26b4 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
Add missing define for HAVE_GETCWD for rp2
03d4c83 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: Implement and use C extension
caff9a5 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: Add DWARF support
59723dc 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
riscv32: Add DWARF support
75e515f 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
dwarf: WIP
abd9f48 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
dwarf: wip
f81becf 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@pguyot