Skip to content

JIT (armv6m): use literal pool to reduce binary size #1903

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 85 commits into
base: main
Choose a base branch
from
Draft

JIT (armv6m): use literal pool to reduce binary size #1903

wants to merge 85 commits into from

Conversation

@pguyot
Copy link
Collaborator

@pguyot pguyot commented Oct 14, 2025

Continuation of:

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 w42/armv6m-use-literal-pool-to-reduce-binary-size branch 2 times, most recently from 1bf122a to daa43c9 Compare October 14, 2025 20:36
This was referenced Oct 18, 2025
Draft
Draft
pguyot added 26 commits October 19, 2025 12:45
@pguyot
Fix warning with armhf architecture
c28da90 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
Fix bug with erlang:setnode/2 failing with large Creation on 32bits
5c6b751 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
Fix TRACE format strings in opcodesswitch
8480a7a 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
Cross compile for armhf and s390x architectures
38234de 
Also enable parallel compilation (make -j3) and fix circular dependency
when building precompiled archives

Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: initial commit of the assembler module
5b35813 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: initial backend commit
7796e5c 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: implement shift left & shift right
380d9ae 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: remove references to fpu registers
a60ced4 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix offsets to Context and JITState structs
54d370e 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: enable and fix move_to_cp_test
cc72f96 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: add jit_armv6m to nif_jit_backend_module
0caf0d5 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: enable on Unix builds
05e993e 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: enable on Pico builds
b727f82 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix increment_sp
4457f95 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: move_array_element and get_array_element
e43ede4 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: move_to_array_element
416fdde 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: if_block
df06fe0 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix is_boolean_test
229aa66 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix if_block & fix is_number_test
31e2d8d 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix is_integer_test and optimize implementation
933834b 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: test comment after optimized is_number
9651706 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix get_list test
f27fc7e 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix if_else_block_test
95d4759 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix mul
74e60ac 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: function call with stack parameters, WIP
47d4c4f 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix and enable all disabled tests
dc2e79b 
Signed-off-by: Paul Guyot <[email protected]>
pguyot added 28 commits October 19, 2025 12:49
@pguyot
armv6m: fix offset in cp to jump table
5959345 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix register usage with if_block_cond
2f9360b 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: add get_array_element with {free, Reg}
3bc1de2 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: add move_to_native_register/2,3 with {x_reg, extra}
ecb6cae 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix register usage with get_module_index
6d668cb 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix branch target with call_only
a48a2f4 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix int64 arguments for 32 bits platforms
539ed8c 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix float registers
d809b75 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix register allocation when calling functions
f6111a3 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix comment in static assert
5eaa412 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix mvns encoding
aefbd90 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: use binutils helper for asm tests
63cd6c1 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix register parameters
2998842 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix result register bug
125df6a 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: pack uf2 binaries
4827fb1 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: add an assert for sizeof(size_t)
22a9bb8 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: Add target to test.c
485f4d6 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: Fix offset for unaligned far branches
9715d9f 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: Fix if_block test of equality of two free regs
3639f6f 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: fix call to func ptr when registers are exhausted
8dcae31 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: Run tests on armhf+jit
208d025 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
armv6m: optimize and 0xFFFFFF
7509d31 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
JIT: bump timeout for test_jit.avm with valgrind
5088b64 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
JIT: add float32 variant for single precision floats
e1f4356 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
JIT: optimize op return
4e7c382 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot
JIT: optimize shift_right for platforms with 3 operands
4621b7d 
Signed-off-by: Paul Guyot <[email protected]>
@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 <[email protected]>
@pguyot
armv6m: use literal pool to reduce binary size
933af32 
Signed-off-by: Paul Guyot <[email protected]>
@pguyot pguyot force-pushed the w42/armv6m-use-literal-pool-to-reduce-binary-size branch from daa43c9 to 933af32 Compare October 19, 2025 15:16
@pguyot pguyot mentioned this pull request Oct 19, 2025
Draft
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