Skip to content

Just in time compilation with x86_64 target #1770

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 109 commits into
base: main
Choose a base branch
from
Draft

Just in time compilation with x86_64 target #1770

wants to merge 109 commits into from

Conversation

pguyot
Copy link
Collaborator

@pguyot pguyot commented Jul 19, 2025 •
edited
Loading

Continuation of:

Current benchmarks:

test main (eadb7da) JIT disabled (ed90f52) JIT enabled (ed90f52) BEAM with jit (OTP28) BEAM without jit (OTP28)
erlang-tests 12.11s 11.39s 10.68s (tests are precompiled) 135s 82s
benchmark (entire run) 25.14s 17.09s 15.89s (incl. compilation) 1.95s 1.90s
benchmark : pingpong_speed_test 3.73s 3.71s 3.2s 0.12s 0.12s
benchmark : prime_speed_test 0.24s 0.25s 0.23s 0.03s 0.03s
benchmark : sudoku_solution_test 0.50s 0.26s 1.59s (this includes compilation of sudoku_grid in 1.3s) 0.005s 0.004s
benchmark : sudoku_puzzle_test 18.31s 10.46s 9.19s 0.08s 0.17s

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 pguyot force-pushed the w22/jit branch 4 times, most recently from 4b43b30 to 21f962e Compare July 20, 2025 13:25
@pguyot pguyot mentioned this pull request Jul 20, 2025
Draft
@pguyot pguyot force-pushed the w22/jit branch 7 times, most recently from f0909b2 to 80dd56c Compare July 24, 2025 17:35
pguyot added 18 commits July 25, 2025 00:19
@pguyot
Optimize memory_scan_and_copy and memory_scan_and_rewrite
2ccfe56 
Replace slow tests with various immediates with a test on the
`TERM_PRIMARY_MASK` bits.

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
Optimize memory_estimate_usage and term_compare
c4cc697 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT WIP
e2b3350 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT WIP2
af2ee0b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT WIP2
b5a14e2 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT WIP2 fixup
0fdacfd 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT WIP3
114bb57 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT WIP4
596e5bd 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_CALL_FUN
2967b3e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_FSUB
27e2cad 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_FMUL/OP_FDIV
3a80d76 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_FNEGATE
db0216b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_IS_LIST
f9063fe 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_CALL_FUN2
751ac21 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_GET_HD/OP_GET_TL
0e8bc25 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_IS_REFERENCE
c3e941b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_IS_PORT/OP_IS_PID
160b77a 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT OP_IS_NUMBER
29697e5 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
pguyot added 29 commits July 25, 2025 00:22
@pguyot
JIT : better error message when compilation fails
a35795e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : assert when native code is not there
9e504e4 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix resume for OP_INT_CALL_END and trap with spawn
8b2d824 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix generic_unix platform_nifs.c
7f79915 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : disable trace on compiler
06c7351 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix compilation with JIT disabled
2758e08 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix non-jit emulation
8e280cb 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : set JIT to disabled by default
2e5b94b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : do not precompile if jit is disabled
bec29ed 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix path of precompiled beams when it's not x86-64
135ab19 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : cross-platform cache invalidation
45725c6 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix dialyzer
720583b 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : run tests with precompiled modules
2f16e24 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : implement OP_BS_TEST_TAIL2
2f08c72 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : linux compatibility for jit_stream_mmap
cc4ab86 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : bundle libs tests with precompiled libs
3de871e 
Also fix dependencies for pack_eunit and pack_test

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : estimate size to allocate much smaller mmap zones
e2e2515 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : install precompiled avms and use them when running atomvm
115b10a 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix CMakeLists logic for JIT_TARGET_ARCH
d4ad58e 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : add JIT build to Linux and macOS CI
37adedf 
Also bump Test: test_estdlib.avm timeout to 10 minutes as valgrind+jit is
too slow

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : do not compile jit_stream_mmap.c & jit.c if jit is disabled
50849e4 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : warn if OTP < 28 is used, fatal if OTP < 23
7deab64 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix atomvm -h & atomvm -v usage on generic unix
1b077df 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: run jit app tests with beam and macOS/linux builds
ead6c5a 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: disable on other platforms
621bad1 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT: fix test_code_load_abs test for BEAM
3e7e5c1 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fix jit_x86_64:increment_sp to use a free register
0663008 
Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : increase coverage of move_array_element_test_
926ab74 
Also add cases with {ptr, X} which is required for high index x registers

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@pguyot
JIT : fixup test
d763e35 
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