JIT: Add DWARF support

Signed-off-by: Paul Guyot <[email protected]>

Author: pguyot

CMakeLists.txt

@@ -33,6 +33,7 @@ option(AVM_DISABLE_SMP "Disable SMP." OFF)
 option(AVM_DISABLE_TASK_DRIVER "Disable task driver support." OFF)
 option(AVM_DISABLE_JIT "Disable just in time compilation." ON)
 option(AVM_ENABLE_PRECOMPILED "Enable execution of precompiled code, even if JIT is disabled." OFF)
+option(AVM_DISABLE_JIT_DWARF "Disable DWARF debug and profiling info for JIT." ON)
 option(AVM_USE_32BIT_FLOAT "Use 32 bit floats." OFF)
 option(AVM_VERBOSE_ABORT "Print module and line number on VM abort" OFF)
 option(AVM_RELEASE "Build an AtomVM release" OFF)

CMakeModules/BuildErlang.cmake

@@ -22,7 +22,6 @@ macro(pack_archive avm_name)
 
     set(multiValueArgs ERLC_FLAGS MODULES)
     cmake_parse_arguments(PACK_ARCHIVE "" "" "${multiValueArgs}" ${ARGN})
-    list(JOIN PACK_ARCHIVE_ERLC_FLAGS " " PACK_ARCHIVE_ERLC_FLAGS)
     foreach(module_name IN LISTS ${PACK_ARCHIVE_MODULES} PACK_ARCHIVE_MODULES PACK_ARCHIVE_UNPARSED_ARGUMENTS)
         add_custom_command(
             OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/beams/${module_name}.beam
@@ -83,6 +82,7 @@ macro(pack_precompiled_archive avm_name)
             string(REGEX REPLACE "\\+.*$" "" jit_target_arch "${jit_target_arch_variant}")
             set(jit_compiler_modules
                 ${CMAKE_BINARY_DIR}/libs/jit/src/beams/jit.beam
+                ${CMAKE_BINARY_DIR}/libs/jit/src/beams/jit_dwarf.beam
                 ${CMAKE_BINARY_DIR}/libs/jit/src/beams/jit_precompile.beam
                 ${CMAKE_BINARY_DIR}/libs/jit/src/beams/jit_stream_binary.beam
                 ${CMAKE_BINARY_DIR}/libs/jit/src/beams/jit_${jit_target_arch}.beam

libs/jit/src/CMakeLists.txt

@@ -24,6 +24,7 @@ include(BuildErlang)
 
 set(ERLANG_MODULES
     jit
+    jit_dwarf
     jit_precompile
     jit_stream_binary
     jit_stream_mmap
@@ -35,7 +36,13 @@ set(ERLANG_MODULES
     jit_x86_64_asm
 )
 
-pack_precompiled_archive(jit ${ERLANG_MODULES})
+if (NOT AVM_DISABLE_JIT_DWARF)
+    set(erlc_flags -DJIT_DWARF)
+else()
+    set(erlc_flags)
+endif()
+
+pack_precompiled_archive(jit ERLC_FLAGS ${erlc_flags} MODULES ${ERLANG_MODULES})
 
 include(../../../version.cmake)
 

libs/jit/src/compact_term.hrl

@@ -0,0 +1,52 @@
+%
+% This file is part of AtomVM.
+%
+% Copyright 2025 Paul Guyot <[email protected]>
+%
+% Licensed under the Apache License, Version 2.0 (the "License");
+% you may not use this file except in compliance with the License.
+% You may obtain a copy of the License at
+%
+%    http://www.apache.org/licenses/LICENSE-2.0
+%
+% Unless required by applicable law or agreed to in writing, software
+% distributed under the License is distributed on an "AS IS" BASIS,
+% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+% See the License for the specific language governing permissions and
+% limitations under the License.
+%
+% SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later
+%
+
+
+-define(COMPACT_LITERAL, 0).
+-define(COMPACT_INTEGER, 1).
+-define(COMPACT_ATOM, 2).
+-define(COMPACT_XREG, 3).
+-define(COMPACT_YREG, 4).
+-define(COMPACT_LABEL, 5).
+-define(COMPACT_EXTENDED, 7).
+-define(COMPACT_LARGE_LITERAL, 8).
+-define(COMPACT_LARGE_INTEGER, 9).
+-define(COMPACT_LARGE_ATOM, 10).
+-define(COMPACT_LARGE_XREG, 11).
+-define(COMPACT_LARGE_YREG, 12).
+
+% OTP-20+ format
+-define(COMPACT_EXTENDED_LIST, 16#17).
+-define(COMPACT_EXTENDED_FP_REGISTER, 16#27).
+-define(COMPACT_EXTENDED_ALLOCATION_LIST, 16#37).
+-define(COMPACT_EXTENDED_LITERAL, 16#47).
+% https://github.com/erlang/otp/blob/master/lib/compiler/src/beam_asm.erl#L433
+-define(COMPACT_EXTENDED_TYPED_REGISTER, 16#57).
+
+-define(COMPACT_EXTENDED_ALLOCATOR_LIST_TAG_WORDS, 0).
+-define(COMPACT_EXTENDED_ALLOCATOR_LIST_TAG_FLOATS, 1).
+-define(COMPACT_EXTENDED_ALLOCATOR_LIST_TAG_FUNS, 2).
+
+-define(COMPACT_LARGE_IMM_MASK, 16#18).
+-define(COMPACT_11BITS_VALUE, 16#8).
+-define(COMPACT_NBITS_VALUE, 16#18).
+
+-define(COMPACT_LARGE_INTEGER_11BITS, (?COMPACT_LARGE_INTEGER bor ?COMPACT_11BITS_VALUE)).
+-define(COMPACT_LARGE_INTEGER_NBITS, (?COMPACT_LARGE_INTEGER bor ?COMPACT_NBITS_VALUE)).