Integration tests for erlang:bsl/2

native_implemented/otp/src/erlang/bsl_2.rs

@@ -1,6 +1,3 @@
-#[cfg(all(not(target_arch = "wasm32"), test))]
-mod test;
-
 use liblumen_alloc::erts::exception;
 use liblumen_alloc::erts::process::Process;
 use liblumen_alloc::erts::term::prelude::Term;

native_implemented/otp/tests/internal/lib/erlang.rs

@@ -36,6 +36,8 @@ pub mod binary_to_term_2;
 pub mod bnot_1;
 #[path = "erlang/bor_2.rs"]
 pub mod bor_2;
+#[path = "erlang/bsl_2.rs"]
+pub mod bsl_2;
 #[path = "erlang/cancel_timer_1.rs"]
 pub mod cancel_timer_1;
 #[path = "erlang/ceil_1.rs"]

native_implemented/otp/tests/internal/lib/erlang/bsl_2.rs

@@ -0,0 +1,18 @@
+#[path = "bsl_2/with_big_integer_integer.rs"]
+mod with_big_integer_integer;
+#[path = "bsl_2/with_small_integer_integer.rs"]
+mod with_small_integer_integer;
+
+test_stdout!(without_integer_integer_errors_badarith, "{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n");
+test_stdout!(
+    with_integer_integer_without_integer_shift_errors_badarith,
+    "{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n{caught, error, badarith}\n"
+);
+test_stdout!(
+    with_integer_integer_with_zero_shift_returns_same_integer,
+    "true\ntrue\n"
+);
+test_stdout!(
+    with_integer_integer_with_integer_shift_is_the_same_as_bsr_with_negated_shift,
+    "false\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\ntrue\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\nfalse\n"
+);

native_implemented/otp/tests/internal/lib/erlang/bsl_2/with_big_integer_integer.rs

@@ -0,0 +1,10 @@
+test_stdout!(
+    with_negative_without_big_integer_underflow_shifts_right_and_returns_big_integer,
+    "true\n1656137896166982451072\n"
+);
+test_stdout!(with_negative_with_big_integer_underflow_without_small_integer_underflow_shifts_right_and_returns_small_integer, "true\n11\n");
+test_stdout!(with_negative_with_underflow_returns_zero, "0\n");
+test_stdout!(
+    with_positive_returns_big_integer,
+    "true\n6624551584667929804288\n"
+);

native_implemented/otp/tests/internal/lib/erlang/bsl_2/with_big_integer_integer/with_negative_with_big_integer_underflow_without_small_integer_underflow_shifts_right_and_returns_small_integer/init.erl

@@ -0,0 +1,12 @@
+-module(init).
+-export([start/0]).
+-import(erlang, [display/1]).
+-import(lumen, [is_big_integer/1, is_small_integer/1]).
+
+start() ->
+  Integer = 2#101100111000111100001111100000111111000000111111100000001111111100000000,
+  true = is_big_integer(Integer),
+  Shift = -68,
+  Shifted = Integer bsl Shift,
+  display(is_small_integer(Shifted)),
+  display(Shifted).

native_implemented/otp/tests/internal/lib/erlang/bsl_2/with_big_integer_integer/with_negative_with_underflow_returns_zero/init.erl

@@ -0,0 +1,11 @@
+-module(init).
+-export([start/0]).
+-import(erlang, [display/1]).
+-import(lumen, [is_big_integer/1]).
+
+start() ->
+  Integer = 2#101100111000111100001111100000111111000000111111100000001111111100000000,
+  true = is_big_integer(Integer),
+  Shift = -74,
+  Shifted = Integer bsl Shift,
+  display(Shifted).

native_implemented/otp/tests/internal/lib/erlang/bsl_2/with_big_integer_integer/with_negative_without_big_integer_underflow_shifts_right_and_returns_big_integer/init.erl

@@ -0,0 +1,11 @@
+-module(init).
+-export([start/0]).
+-import(erlang, [display/1]).
+-import(lumen, [is_big_integer/1]).
+
+start() ->
+  Integer = 2#101100111000111100001111100000111111000000111111100000001111111100000000,
+  Shift = -1,
+  Shifted = Integer bsl Shift,
+  display(is_big_integer(Shifted)),
+  display(Shifted).

native_implemented/otp/tests/internal/lib/erlang/bsl_2/with_big_integer_integer/with_positive_returns_big_integer/init.erl

@@ -0,0 +1,12 @@
+-module(init).
+-export([start/0]).
+-import(erlang, [display/1]).
+-import(lumen, [is_big_integer/1]).
+
+start() ->
+  Integer = 2#101100111000111100001111100000111111000000111111100000001111111100000000,
+  true = is_big_integer(Integer),
+  Shift = 1,
+  Shifted = Integer bsl Shift,
+  display(is_big_integer(Shifted)),
+  display(Shifted).

native_implemented/otp/tests/internal/lib/erlang/bsl_2/with_integer_integer_with_integer_shift_is_the_same_as_bsr_with_negated_shift/init.erl

@@ -0,0 +1,23 @@
+-module(init).
+-export([start/0]).
+-import(erlang, [display/1]).
+
+start() ->
+  test().
+
+test() ->
+  test(-127, 127).
+
+test(Shift, Shift) ->
+  test(Shift);
+test(Shift, Final) ->
+  test(Shift),
+  test(Shift + 1, Final).
+
+test(Shift) ->
+  Integer = 1,
+  LeftShifted = Integer bsl Shift,
+  NegativeShift = -1 * Shift,
+  RightShifted = Integer bsl NegativeShift,
+  display(LeftShifted == RightShifted).
+