Skip to content

Commit d97965a

Browse files
bettiobettio
committed
bigint: cleanup shift tests
Signed-off-by: Davide Bettio <davide@uninstall.it>
1 parent 720f6d0 commit d97965a

File tree

1 file changed

+87
-30
lines changed

1 file changed

+87
-30
lines changed

‎tests/erlang_tests/bigint.erl

Lines changed: 87 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -860,40 +860,86 @@ test_bor() ->
860860
test_bsl() ->
861861
%% versione negativa
862862
Pattern1 = erlang:binary_to_integer(?MODULE:id(<<"CAFE1234AABBCCDD98765432">>), 16),
863-
<<"CAFE1234AABBCCDD98765432000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(24), 16),
864-
<<"195FC2469557799BB30ECA8640000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(29), 16),
865-
<<"CAFE1234AABBCCDD9876543200000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(32), 16),
866-
<<"657F091A555DE66ECC3B2A19000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(35), 16),
867-
<<"CAFE1234AABBCCDD98765432000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(48), 16),
868-
<<"657F091A555DE66ECC3B2A190000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(51), 16),
869-
<<"CAFE1234AABBCCDD987654320000000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(64), 16),
870-
<<"CAFE1234AABBCCDD987654320000000000000000000000000000000000000000">> = erlang:integer_to_binary(Pattern1 bsl ?MODULE:id(160), 16),
871-
<<"657F00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(127), 16),
872-
<<"CAFE00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(128), 16),
873-
<<"195FC00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(129), 16),
874-
<<"CAFE000000000000000000000000000000000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(16#CAFE) bsl ?MODULE:id(240), 16),
863+
<<"CAFE1234AABBCCDD98765432000000">> = erlang:integer_to_binary(
864+
Pattern1 bsl ?MODULE:id(24), 16
865+
),
866+
<<"195FC2469557799BB30ECA8640000000">> = erlang:integer_to_binary(
867+
Pattern1 bsl ?MODULE:id(29), 16
868+
),
869+
<<"CAFE1234AABBCCDD9876543200000000">> = erlang:integer_to_binary(
870+
Pattern1 bsl ?MODULE:id(32), 16
871+
),
872+
<<"657F091A555DE66ECC3B2A19000000000">> = erlang:integer_to_binary(
873+
Pattern1 bsl ?MODULE:id(35), 16
874+
),
875+
<<"CAFE1234AABBCCDD98765432000000000000">> = erlang:integer_to_binary(
876+
Pattern1 bsl ?MODULE:id(48), 16
877+
),
878+
<<"657F091A555DE66ECC3B2A190000000000000">> = erlang:integer_to_binary(
879+
Pattern1 bsl ?MODULE:id(51), 16
880+
),
881+
<<"CAFE1234AABBCCDD987654320000000000000000">> = erlang:integer_to_binary(
882+
Pattern1 bsl ?MODULE:id(64), 16
883+
),
884+
<<"CAFE1234AABBCCDD987654320000000000000000000000000000000000000000">> = erlang:integer_to_binary(
885+
Pattern1 bsl ?MODULE:id(160), 16
886+
),
887+
<<"657F00000000000000000000000000000000">> = erlang:integer_to_binary(
888+
?MODULE:id(16#CAFE) bsl ?MODULE:id(127), 16
889+
),
890+
<<"CAFE00000000000000000000000000000000">> = erlang:integer_to_binary(
891+
?MODULE:id(16#CAFE) bsl ?MODULE:id(128), 16
892+
),
893+
<<"195FC00000000000000000000000000000000">> = erlang:integer_to_binary(
894+
?MODULE:id(16#CAFE) bsl ?MODULE:id(129), 16
895+
),
896+
<<"CAFE000000000000000000000000000000000000000000000000000000000000">> = erlang:integer_to_binary(
897+
?MODULE:id(16#CAFE) bsl ?MODULE:id(240), 16
898+
),
875899

876900
Pattern2 = erlang:binary_to_integer(?MODULE:id(<<"-CAFE1234AABBCCDD98765432">>), 16),
877-
<<"-CAFE1234AABBCCDD98765432000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(24), 16),
878-
<<"-195FC2469557799BB30ECA8640000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(29), 16),
879-
<<"-CAFE1234AABBCCDD9876543200000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(32), 16),
880-
<<"-657F091A555DE66ECC3B2A19000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(35), 16),
881-
<<"-CAFE1234AABBCCDD98765432000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(48), 16),
882-
<<"-657F091A555DE66ECC3B2A190000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(51), 16),
883-
<<"-CAFE1234AABBCCDD987654320000000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(64), 16),
884-
<<"-CAFE1234AABBCCDD987654320000000000000000000000000000000000000000">> = erlang:integer_to_binary(Pattern2 bsl ?MODULE:id(160), 16),
885-
<<"-657F00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(127), 16),
886-
<<"-CAFE00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(128), 16),
887-
<<"-195FC00000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(129), 16),
888-
<<"-CAFE000000000000000000000000000000000000000000000000000000000000">> = erlang:integer_to_binary(?MODULE:id(-16#CAFE) bsl ?MODULE:id(240), 16),
889-
890-
901+
<<"-CAFE1234AABBCCDD98765432000000">> = erlang:integer_to_binary(
902+
Pattern2 bsl ?MODULE:id(24), 16
903+
),
904+
<<"-195FC2469557799BB30ECA8640000000">> = erlang:integer_to_binary(
905+
Pattern2 bsl ?MODULE:id(29), 16
906+
),
907+
<<"-CAFE1234AABBCCDD9876543200000000">> = erlang:integer_to_binary(
908+
Pattern2 bsl ?MODULE:id(32), 16
909+
),
910+
<<"-657F091A555DE66ECC3B2A19000000000">> = erlang:integer_to_binary(
911+
Pattern2 bsl ?MODULE:id(35), 16
912+
),
913+
<<"-CAFE1234AABBCCDD98765432000000000000">> = erlang:integer_to_binary(
914+
Pattern2 bsl ?MODULE:id(48), 16
915+
),
916+
<<"-657F091A555DE66ECC3B2A190000000000000">> = erlang:integer_to_binary(
917+
Pattern2 bsl ?MODULE:id(51), 16
918+
),
919+
<<"-CAFE1234AABBCCDD987654320000000000000000">> = erlang:integer_to_binary(
920+
Pattern2 bsl ?MODULE:id(64), 16
921+
),
922+
<<"-CAFE1234AABBCCDD987654320000000000000000000000000000000000000000">> = erlang:integer_to_binary(
923+
Pattern2 bsl ?MODULE:id(160), 16
924+
),
925+
<<"-657F00000000000000000000000000000000">> = erlang:integer_to_binary(
926+
?MODULE:id(-16#CAFE) bsl ?MODULE:id(127), 16
927+
),
928+
<<"-CAFE00000000000000000000000000000000">> = erlang:integer_to_binary(
929+
?MODULE:id(-16#CAFE) bsl ?MODULE:id(128), 16
930+
),
931+
<<"-195FC00000000000000000000000000000000">> = erlang:integer_to_binary(
932+
?MODULE:id(-16#CAFE) bsl ?MODULE:id(129), 16
933+
),
934+
<<"-CAFE000000000000000000000000000000000000000000000000000000000000">> = erlang:integer_to_binary(
935+
?MODULE:id(-16#CAFE) bsl ?MODULE:id(240), 16
936+
),
891937

892938
0.
893939

894940
test_bsr() ->
895941
erlang:display('bsr'),
896-
%% versione negativa
942+
897943
Pattern1 = erlang:binary_to_integer(?MODULE:id(<<"CAFE1234AABBCCDD98765432987654321">>), 16),
898944
<<"CAFE1234AABBCCDD98765432987">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(24), 16),
899945
<<"657F091A555DE66ECC3B2A194C">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(29), 16),
@@ -903,12 +949,23 @@ test_bsr() ->
903949
<<"195FC2469557799BB30EC">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(51), 16),
904950
<<"CAFE1234AABBCCDD9">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(64), 16),
905951
<<"C">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(128), 16),
952+
<<"0">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(250), 16),
953+
<<"0">> = erlang:integer_to_binary(Pattern1 bsr ?MODULE:id(256), 16),
954+
955+
%Pattern2 = erlang:binary_to_integer(?MODULE:id(<<"-CAFE1234AABBCCDD98765432987654321">>), 16),
956+
%<<"-CAFE1234AABBCCDD98765432988">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(24), 16),
957+
%<<"-657F091A555DE66ECC3B2A194D">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(29), 16),
958+
%<<"-CAFE1234AABBCCDD98765432A">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(32), 16),
959+
%<<"-195FC2469557799BB30ECA866">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(35), 16),
960+
%<<"-CAFE1234AABBCCDD98766">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(48), 16),
961+
%<<"-195FC2469557799BB30ED">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(51), 16),
962+
%<<"-CAFE1234AABBCCDDA">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(64), 16),
963+
%<<"-D">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(128), 16),
964+
%<<"-1">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(250), 16),
965+
%<<"-1">> = erlang:integer_to_binary(Pattern2 bsr ?MODULE:id(256), 16),
906966

907967
0.
908968

909-
910-
911-
912969
id(X) ->
913970
X.
914971

0 commit comments

Comments
 (0)