Fix allocate_heap_zero with floats

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

Author: pguyot

src/libAtomVM/opcodesswitch.h

@@ -1783,7 +1783,7 @@ static bool maybe_call_native(Context *ctx, AtomString module_name, AtomString f
                 uint32_t stack_need;
                 DECODE_LITERAL(stack_need, code, i, next_off);
                 uint32_t heap_need;
-                DECODE_LITERAL(heap_need, code, i, next_off);
+                DECODE_ALLOCATOR_LIST(heap_need, code, i, next_off);
                 uint32_t live;
                 DECODE_LITERAL(live, code, i, next_off);
                 TRACE("allocate_heap_zero/3 stack_need=%i, heap_need=%i, live=%i\n", stack_need, heap_need, live);

tests/erlang_tests/CMakeLists.txt

@@ -363,6 +363,8 @@ compile_erlang(float2list2)
 compile_erlang(bin2float)
 compile_erlang(list2float)
 
+compile_erlang(test_fp_allocate_heap_zero)
+
 compile_erlang(improper_concat)
 compile_erlang(improper_cmp)
 compile_erlang(improper_literal)
@@ -770,6 +772,8 @@ add_custom_target(erlang_test_modules DEPENDS
     bin2float.beam
     list2float.beam
 
+    test_fp_allocate_heap_zero.beam
+
     improper_concat.beam
     improper_cmp.beam
     improper_literal.beam

tests/erlang_tests/test_fp_allocate_heap_zero.erl

@@ -0,0 +1,37 @@
+%
+% This file is part of AtomVM.
+%
+% Copyright 2023 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
+%
+
+-module(test_fp_allocate_heap_zero).
+-export([start/0]).
+
+start() ->
+    R = e(0.1, 10000, 0.0),
+    true = R > 2183.832274,
+    true = R < 2183.832276,
+    0.
+
+e(_Step, 0, Acc) ->
+    Acc;
+e(Step, N, Acc) when is_float(Step) andalso is_integer(N) andalso is_float(Acc) ->
+    R = f(Step * N),
+    e(Step, N - 1, Acc + math:sqrt(R * R) * Step).
+
+f(T) when is_float(T) ->
+    0.3 + 3.2 * math:sin(T) + 0.7 * math:sin(2 * T) + 0.2 * math:sin(4 * T) + 1.2 * math:sin(8 * T).

tests/test.c

@@ -399,6 +399,8 @@ struct Test tests[] = {
     TEST_CASE_COND(list2float, 511, SKIP_NO_FP),
     TEST_CASE_COND(floatmath, 0, SKIP_NO_FP),
 
+    TEST_CASE_COND(test_fp_allocate_heap_zero, 0, SKIP_NO_FP),
+
     TEST_CASE_EXPECTED(improper_concat, 7),
     TEST_CASE_EXPECTED(improper_cmp, 3),
     TEST_CASE_EXPECTED(improper_literal, 3),