Implement fdiv bif for erlang://2

Signed-off-by: Jakub Gonet <jakub.gonet@swmansion.com>

Author: FKubisSWM

src/libAtomVM/bif.c

@@ -861,6 +861,35 @@ term bif_erlang_mul_2(Context *ctx, uint32_t fail_label, int live, term arg1, te
     }
 }
 
+term bif_erlang_fdiv_2(Context *ctx, uint32_t fail_label, int live, term arg1, term arg2)
+{
+    UNUSED(live);
+    if (!term_is_integer(arg1) && !term_is_float(arg1)) {
+        TRACE("error: arg1: 0x%lx, arg2: 0x%lx\n", arg1, arg2);
+        RAISE_ERROR_BIF(fail_label, BADARITH_ATOM);
+    }
+
+    if (!term_is_integer(arg2) && !term_is_float(arg2)) {
+        TRACE("error: arg1: 0x%lx, arg2: 0x%lx\n", arg1, arg2);
+        RAISE_ERROR_BIF(fail_label, BADARITH_ATOM);
+    }
+    avm_float_t farg1 = term_conv_to_float(arg1);
+    avm_float_t farg2 = term_conv_to_float(arg2);
+
+    if (UNLIKELY(farg2 == 0)) {
+        RAISE_ERROR_BIF(fail_label, BADARITH_ATOM);
+    }
+    avm_float_t fresult = farg1 / farg2;
+
+    if (UNLIKELY(!isfinite(fresult))) {
+        RAISE_ERROR_BIF(fail_label, BADARITH_ATOM);
+    }
+    if (UNLIKELY(memory_ensure_free_with_roots(ctx, FLOAT_SIZE, live, ctx->x, MEMORY_CAN_SHRINK) != MEMORY_GC_OK)) {
+        RAISE_ERROR_BIF(fail_label, OUT_OF_MEMORY_ATOM);
+    }
+    return term_from_float(fresult, &ctx->heap);
+}
+
 static term div_boxed_helper(Context *ctx, uint32_t fail_label, uint32_t live, term arg1, term arg2)
 {
     int size = 0;

src/libAtomVM/bif.h

@@ -81,6 +81,7 @@ term bif_erlang_add_2(Context *ctx, uint32_t fail_label, int live, term arg1, te
 term bif_erlang_plus_1(Context *ctx, uint32_t fail_label, int live, term arg1);
 term bif_erlang_sub_2(Context *ctx, uint32_t fail_label, int live, term arg1, term arg2);
 term bif_erlang_mul_2(Context *ctx, uint32_t fail_label, int live, term arg1, term arg2);
+term bif_erlang_fdiv_2(Context *ctx, uint32_t fail_label, int live, term arg1, term arg2);
 term bif_erlang_div_2(Context *ctx, uint32_t fail_label, int live, term arg1, term arg2);
 term bif_erlang_rem_2(Context *ctx, uint32_t fail_label, int live, term arg1, term arg2);
 term bif_erlang_neg_1(Context *ctx, uint32_t fail_label, int live, term arg1);

src/libAtomVM/bifs.gperf

@@ -74,6 +74,7 @@ erlang:>=/2, {.bif.base.type = BIFFunctionType, .bif.bif2_ptr = bif_erlang_great
 erlang:+/2, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif2_ptr = bif_erlang_add_2}
 erlang:-/2, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif2_ptr = bif_erlang_sub_2}
 erlang:*/2, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif2_ptr = bif_erlang_mul_2}
+erlang://2, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif2_ptr = bif_erlang_fdiv_2}
 erlang:div/2, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif2_ptr = bif_erlang_div_2}
 erlang:rem/2, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif2_ptr = bif_erlang_rem_2}
 erlang:-/1, {.gcbif.base.type = GCBIFFunctionType, .gcbif.gcbif1_ptr = bif_erlang_neg_1}

tests/libs/estdlib/CMakeLists.txt

@@ -50,6 +50,7 @@ set(ERLANG_MODULES
     test_lists_subtraction
     test_tcp_socket
     test_udp_socket
+    test_bif_bin_arith_ops
     notify_init_server
     ping_pong_server
 )

tests/libs/estdlib/test_bif_bin_arith_ops.erl

@@ -0,0 +1,47 @@
+%
+% This file is part of AtomVM.
+%
+% Copyright 2025 Jakub Gonet <jakub.gonet@swmansion.com>
+%
+% 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_bif_bin_arith_ops).
+
+-define(ID(X), ?MODULE:id(X)).
+-export([test/0, id/1]).
+
+test() ->
+    Ops = ['+', '-', '*', '/'],
+    ValidInputs = [[2, 3], [0, 2], [2.0, 3], [2, 3.0], [2.0, 3.0]],
+    InvalidInputs = [[not_int, 1], [1, not_int]],
+    [{ok, _} = call_op(Name, Args) || Name <- Ops, Args <- ValidInputs],
+    [{error, badarith} = call_op(Name, Args) || Name <- Ops, Args <- InvalidInputs],
+
+    {ok, 0} = call_op('div', [2, 3]),
+    {ok, 2} = call_op('rem', [2, 3]),
+    {error, badarith} = call_op('div', [2.0, 3]),
+    {error, badarith} = call_op('div', [2, 3.0]),
+    {error, badarith} = call_op('rem', [2.0, 3]),
+    {error, badarith} = call_op('rem', [2, 3.0]),
+    ok.
+
+call_op(Name, Args) ->
+    try apply(erlang, ?ID(Name), ?ID(Args)) of
+        V -> {ok, V}
+    catch
+        C:E -> {C, E}
+    end.
+
+id(X) -> X.

tests/libs/estdlib/tests.erl

@@ -75,7 +75,8 @@ get_non_networking_tests(_OTPVersion) ->
         test_timer,
         test_spawn,
         test_supervisor,
-        test_lists_subtraction
+        test_lists_subtraction,
+        test_bif_bin_arith_ops
     ].
 
 get_networking_tests(OTPVersion) when