bsl tests

Author: bettio

tests/erlang_tests/bigint.erl

@@ -54,7 +54,8 @@ start() ->
         external_term_decode() +
         big_literals() +
         to_external_term() +
-        test_bor().
+        test_bor() +
+        test_bsl().
 
 test_mul() ->
     Expected_INT64_MIN = ?MODULE:pow(-2, 63),
@@ -855,6 +856,41 @@ test_bor() ->
 
     0.
 
+test_bsl() ->
+    %% versione negativa
+    Pattern1 = erlang:binary_to_integer(?MODULE:id(<<"CAFE1234AABBCCDD98765432">>), 16),
+    <<"CAFE1234AABBCCDD98765432000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(24), 16),
+    <<"195FC2469557799BB30ECA8640000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(29), 16),
+    <<"CAFE1234AABBCCDD9876543200000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(32), 16),
+    <<"657F091A555DE66ECC3B2A19000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(35), 16),
+    <<"CAFE1234AABBCCDD98765432000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(48), 16),
+    <<"657F091A555DE66ECC3B2A190000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(51), 16),
+    <<"CAFE1234AABBCCDD987654320000000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(64), 16),
+    <<"CAFE1234AABBCCDD987654320000000000000000000000000000000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(160), 16),
+    <<"657F00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(127), 16),
+    <<"CAFE00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(128), 16),
+    <<"195FC00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(129), 16),
+    <<"CAFE000000000000000000000000000000000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(240), 16),
+
+    Pattern2 = erlang:binary_to_integer(?MODULE:id(<<"-CAFE1234AABBCCDD98765432">>), 16),
+    <<"-CAFE1234AABBCCDD98765432000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(24), 16),
+    <<"-195FC2469557799BB30ECA8640000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(29), 16),
+    <<"-CAFE1234AABBCCDD9876543200000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(32), 16),
+    <<"-657F091A555DE66ECC3B2A19000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(35), 16),
+    <<"-CAFE1234AABBCCDD98765432000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(48), 16),
+    <<"-657F091A555DE66ECC3B2A190000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(51), 16),
+    <<"-CAFE1234AABBCCDD987654320000000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(64), 16),
+    <<"-CAFE1234AABBCCDD987654320000000000000000000000000000000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(160), 16),
+    <<"-657F00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(127), 16),
+    <<"-CAFE00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(128), 16),
+    <<"-195FC00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(129), 16),
+    <<"-CAFE000000000000000000000000000000000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(240), 16),
+
+
+
+    0.
+
+
 id(X) ->
     X.