Merge branch 'master' into feature/smp

Merge new term_compare API, new UTF opcodes and removed support for no floating
point builds.

Author: bettio

.github/workflows/build-and-test.yaml

@@ -132,16 +132,6 @@ jobs:
           compiler_pkgs: "gcc-10 g++-10 gcc-10-multilib g++-10-multilib libc6-dev-i386
           libc6-dbg:i386 zlib1g-dev:i386 libssl-dev:i386"
 
-        # keep one FP disabled configuration
-        - os: "ubuntu-20.04"
-          cc: "gcc-10"
-          cxx: "g++-10"
-          cflags: "-O3"
-          otp: "24"
-          elixir_version: "1.14"
-          cmake_opts: "-DAVM_DISABLE_FP=on"
-          compiler_pkgs: "gcc-10 g++-10"
-
     env:
       CC: ${{ matrix.cc }}
       CXX: ${{ matrix.cxx }}

CHANGELOG.md

@@ -34,6 +34,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Added functions `esp:sleep_enable_ext0_wakeup/2` and `esp:sleep_enable_ext1_wakeup/2.`
 - Added support for FP opcodes 94-102 thus removing the need for `AVM_DISABLE_FP=On` with OTP-22+
 - Added support for stacktraces
+- Added support for `utf-8`, `utf-16`, and `utf-32` bit syntax modifiers (put and match)
+
 
 ### Fixed
 - Fixed issue with formatting integers with io:format() on STM32 platform

README.Md

@@ -54,16 +54,6 @@ $ make
 $ ./src/AtomVM ./examples/erlang/hello_world.avm
 ```
 
-If you are using OTP 22 or 23, you need to disable FP opcodes with:
-
-```
-$ mkdir build
-$ cd build
-$ cmake -DAVM_DISABLE_FP=on ..
-$ make
-$ ./src/AtomVM ./examples/erlang/hello_world.avm
-```
-
 Run tests within build directory with:
 ```
 $ ./tests/test-erlang

doc/src/programmers-guide.md

@@ -20,7 +20,7 @@ A high level overview of the supported language features include:
 
 * All the major Erlang types, including
     * integers (with size limits)
-    * limited support for floats (not supported on all platforms)
+    * floats
     * tuples
     * lists
     * binaries

libs/estdlib/src/gen_statem.erl

@@ -42,7 +42,9 @@
 %%-----------------------------------------------------------------------------
 -module(gen_statem).
 
--export([start/3, start/4, stop/1, stop/3, call/2, call/3, cast/2, reply/2]).
+-export([
+    start/3, start/4, start_link/3, start_link/4, stop/1, stop/3, call/2, call/3, cast/2, reply/2
+]).
 -export([init/1, handle_call/3, handle_cast/2, handle_info/2, terminate/2]).
 
 -record(state, {
@@ -98,6 +100,53 @@ start({local, Name} = ServerName, Module, Args, Options) when is_atom(Name) ->
 start(Module, Args, Options) ->
     gen_server:start(?MODULE, {Module, Args}, Options).
 
+%%-----------------------------------------------------------------------------
+%% @param   ServerName the name with which to register the gen_statem
+%% @param   Module the module in which the gen_statem callbacks are defined
+%% @param   Args the arguments to pass to the module's init callback
+%% @param   Options the options used to create the gen_statem
+%% @returns the gen_statem pid, if successful; {error, Reason}, otherwise.
+%% @doc     Start a named gen_statem.
+%%
+%%          This function will start a gen_statem instance and register the
+%%          newly created process with the process registry.  Subsequent calls
+%%          may use the gen_statem name, in lieu of the process id.
+%%
+%%          This version of the start function will link the started gen_statem
+%%          process to the calling process.
+%%
+%%          <em><b>Note.</b>  The Options argument is currently ignored.</em>
+%% @end
+%%-----------------------------------------------------------------------------
+-spec start_link(
+    ServerName :: {local, Name :: atom()},
+    Module :: module(),
+    Args :: term(),
+    Options :: options()
+) -> {ok, pid()} | {error, Reason :: term()}.
+start_link({local, Name} = ServerName, Module, Args, Options) when is_atom(Name) ->
+    gen_server:start_link(ServerName, ?MODULE, {Module, Args}, Options).
+
+%%-----------------------------------------------------------------------------
+%% @param   Module the module in which the gen_statem callbacks are defined
+%% @param   Args the arguments to pass to the module's init callback
+%% @param   Options the options used to create the gen_statem
+%% @returns the gen_statem pid, if successful; {error, Reason}, otherwise.
+%% @doc     Start an un-named gen_statem.
+%%
+%%          This function will start a gen_statem instance.
+%%
+%%          This version of the start function will link the started gen_statem
+%%          process to the calling process.
+%%
+%%          <em><b>Note.</b>  The Options argument is currently ignored.</em>
+%% @end
+%%-----------------------------------------------------------------------------
+-spec start_link(Module :: module(), Args :: term(), Options :: options()) ->
+    {ok, pid()} | {error, Reason :: term()}.
+start_link(Module, Args, Options) ->
+    gen_server:start_link(?MODULE, {Module, Args}, Options).
+
 %%-----------------------------------------------------------------------------
 %% @equiv   stop(ServerRef, normal, infinity)
 %% @doc     Stop a previously started gen_statem.

src/libAtomVM/CMakeLists.txt

@@ -102,22 +102,18 @@ if (ADVANCED_TRACING)
     target_compile_definitions(libAtomVM PUBLIC ENABLE_ADVANCED_TRACE)
 endif()
 
-if (AVM_DISABLE_FP)
-    target_compile_definitions(libAtomVM PUBLIC AVM_NO_FP)
-else()
-    target_link_libraries(libAtomVM PUBLIC m)
-    include(CheckCSourceCompiles)
-    set(CMAKE_REQUIRED_FLAGS -Werror=unknown-pragmas)
-    check_c_source_compiles("
-         #include <fenv.h>
-         int main() {
-             #pragma STDC FENV_ACCESS ON
-            return 0;
-         }
-     " HAVE_PRAGMA_STDC_FENV_ACCESS)
-    if (HAVE_PRAGMA_STDC_FENV_ACCESS)
-        target_compile_definitions(libAtomVM PUBLIC HAVE_PRAGMA_STDC_FENV_ACCESS)
-    endif()
+target_link_libraries(libAtomVM PUBLIC m)
+include(CheckCSourceCompiles)
+set(CMAKE_REQUIRED_FLAGS -Werror=unknown-pragmas)
+check_c_source_compiles("
+     #include <fenv.h>
+     int main() {
+         #pragma STDC FENV_ACCESS ON
+        return 0;
+     }
+ " HAVE_PRAGMA_STDC_FENV_ACCESS)
+if (HAVE_PRAGMA_STDC_FENV_ACCESS)
+    target_compile_definitions(libAtomVM PUBLIC HAVE_PRAGMA_STDC_FENV_ACCESS)
 endif()
 
 if(${CMAKE_C_FLAGS} MATCHES -DAVM_NO_SMP)
@@ -137,9 +133,6 @@ endif()
 
 if (AVM_USE_32BIT_FLOAT)
     target_compile_definitions(libAtomVM PUBLIC AVM_USE_SINGLE_PRECISION)
-    if (AVM_DISABLE_FP)
-        message(FATAL_ERROR "AVM_USE_32BIT_FLOAT and AVM_DISABLE_FP options conflict")
-    endif()
 endif()
 
 if (AVM_VERBOSE_ABORT)