%% %% %CopyrightBegin% %% %% Copyright Ericsson AB 1997-2009. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in %% compliance with the License. You should have received a copy of the %% Erlang Public License along with this software. If not, it can be %% retrieved online at http://www.erlang.org/. %% %% Software distributed under the License is distributed on an "AS IS" %% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See %% the License for the specific language governing rights and limitations %% under the License. %% %% %CopyrightEnd% %% -module(num_bif_SUITE). -include("test_server.hrl"). %% Tests the BIFs: %% abs/1 %% float/1 %% float_to_list/1 %% integer_to_list/1 %% list_to_float/1 %% list_to_integer/1 %% round/1 %% trunc/1 -export([all/1, t_abs/1, t_float/1, t_float_to_list/1, t_integer_to_list/1, t_list_to_integer/1, t_list_to_float/1, t_list_to_float_safe/1, t_list_to_float_risky/1, t_round/1, t_trunc/1]). all(suite) -> [t_abs, t_float, t_float_to_list, t_integer_to_list, t_list_to_float, t_list_to_integer, t_round, t_trunc]. t_abs(Config) when is_list(Config) -> %% Floats. ?line 5.5 = abs(id(5.5)), ?line 0.0 = abs(id(0.0)), ?line 100.0 = abs(id(-100.0)), %% Integers. ?line 5 = abs(id(5)), ?line 0 = abs(id(0)), ?line 100 = abs(id(-100)), %% The largest smallnum. OTP-3190. ?line X = id((1 bsl 27) - 1), ?line X = abs(X), ?line X = abs(X-1)+1, ?line X = abs(X+1)-1, ?line X = abs(-X), ?line X = abs(-X-1)-1, ?line X = abs(-X+1)+1, %% Bignums. BigNum = id(13984792374983749), ?line BigNum = abs(BigNum), ?line BigNum = abs(-BigNum), ok. t_float(Config) when is_list(Config) -> ?line 0.0 = float(id(0)), ?line 2.5 = float(id(2.5)), ?line 0.0 = float(id(0.0)), ?line -100.55 = float(id(-100.55)), ?line 42.0 = float(id(42)), ?line -100.0 = float(id(-100)), %% Bignums. ?line 4294967305.0 = float(id(4294967305)), ?line -4294967305.0 = float(id(-4294967305)), %% Extremly big bignums. ?line Big = id(list_to_integer(id(lists:duplicate(2000, $1)))), ?line {'EXIT', {badarg, _}} = (catch float(Big)), %% Invalid types and lists. ?line {'EXIT', {badarg, _}} = (catch list_to_integer(id(atom))), ?line {'EXIT', {badarg, _}} = (catch list_to_integer(id(123))), ?line {'EXIT', {badarg, _}} = (catch list_to_integer(id([$1,[$2]]))), ?line {'EXIT', {badarg, _}} = (catch list_to_integer(id("1.2"))), ?line {'EXIT', {badarg, _}} = (catch list_to_integer(id("a"))), ?line {'EXIT', {badarg, _}} = (catch list_to_integer(id(""))), ok. %% Tests float_to_list/1. t_float_to_list(Config) when is_list(Config) -> ?line test_ftl("0.0e+0", 0.0), ?line test_ftl("2.5e+1", 25.0), ?line test_ftl("2.5e+0", 2.5), ?line test_ftl("2.5e-1", 0.25), ?line test_ftl("-3.5e+17", -350.0e15), ok. test_ftl(Expect, Float) -> %% No ?line on the next line -- we want the line number from t_float_to_list. Expect = remove_zeros(lists:reverse(float_to_list(Float)), []). %% Removes any non-significant zeros in a floating point number. %% Example: 2.500000e+01 -> 2.5e+1 remove_zeros([$+, $e|Rest], [$0, X|Result]) -> remove_zeros([$+, $e|Rest], [X|Result]); remove_zeros([$-, $e|Rest], [$0, X|Result]) -> remove_zeros([$-, $e|Rest], [X|Result]); remove_zeros([$0, $.|Rest], [$e|Result]) -> remove_zeros(Rest, [$., $0, $e|Result]); remove_zeros([$0|Rest], [$e|Result]) -> remove_zeros(Rest, [$e|Result]); remove_zeros([Char|Rest], Result) -> remove_zeros(Rest, [Char|Result]); remove_zeros([], Result) -> Result. %% Tests integer_to_list/1. t_integer_to_list(Config) when is_list(Config) -> ?line "0" = integer_to_list(id(0)), ?line "42" = integer_to_list(id(42)), ?line "-42" = integer_to_list(id(-42)), ?line "32768" = integer_to_list(id(32768)), ?line "268435455" = integer_to_list(id(268435455)), ?line "-268435455" = integer_to_list(id(-268435455)), ?line "123456932798748738738" = integer_to_list(id(123456932798748738738)), ?line Big_List = id(lists:duplicate(2000, id($1))), ?line Big = list_to_integer(Big_List), ?line Big_List = integer_to_list(Big), ok. %% Tests list_to_float/1. t_list_to_float(suite) -> [t_list_to_float_safe, t_list_to_float_risky]. t_list_to_float_safe(Config) when is_list(Config) -> ?line 0.0 = list_to_float(id("0.0")), ?line 0.0 = list_to_float(id("-0.0")), ?line 0.5 = list_to_float(id("0.5")), ?line -0.5 = list_to_float(id("-0.5")), ?line 100.0 = list_to_float(id("1.0e2")), ?line 127.5 = list_to_float(id("127.5")), ?line -199.5 = list_to_float(id("-199.5")), ?line {'EXIT',{badarg,_}} = (catch list_to_float(id("0"))), ?line {'EXIT',{badarg,_}} = (catch list_to_float(id("0..0"))), ?line {'EXIT',{badarg,_}} = (catch list_to_float(id("0e12"))), ?line {'EXIT',{badarg,_}} = (catch list_to_float(id("--0.0"))), ok. %% This might crash the emulator... %% (Known to crash the Unix version of Erlang 4.4.1) t_list_to_float_risky(Config) when is_list(Config) -> ?line Many_Ones = lists:duplicate(25000, id($1)), ?line id(list_to_float("2."++Many_Ones)), ?line {'EXIT', {badarg, _}} = (catch list_to_float("2"++Many_Ones)), ok. %% Tests list_to_integer/1. t_list_to_integer(Config) when is_list(Config) -> ?line 0 = list_to_integer(id("0")), ?line 0 = list_to_integer(id("00")), ?line 0 = list_to_integer(id("-0")), ?line 1 = list_to_integer(id("1")), ?line -1 = list_to_integer(id("-1")), ?line 42 = list_to_integer(id("42")), ?line -12 = list_to_integer(id("-12")), ?line 32768 = list_to_integer(id("32768")), ?line 268435455 = list_to_integer(id("268435455")), ?line -268435455 = list_to_integer(id("-268435455")), %% Bignums. ?line 123456932798748738738 = list_to_integer(id("123456932798748738738")), ?line id(list_to_integer(lists:duplicate(2000, id($1)))), ok. %% Tests round/1. t_round(Config) when is_list(Config) -> ?line 0 = round(id(0.0)), ?line 0 = round(id(0.4)), ?line 1 = round(id(0.5)), ?line 0 = round(id(-0.4)), ?line -1 = round(id(-0.5)), ?line 255 = round(id(255.3)), ?line 256 = round(id(255.6)), ?line -1033 = round(id(-1033.3)), ?line -1034 = round(id(-1033.6)), % OTP-3722: ?line X = id((1 bsl 27) - 1), ?line MX = -X, ?line MXm1 = -X-1, ?line MXp1 = -X+1, ?line F = id(X + 0.0), ?line X = round(F), ?line X = round(F+1)-1, ?line X = round(F-1)+1, ?line MX = round(-F), ?line MXm1 = round(-F-1), ?line MXp1 = round(-F+1), ?line X = round(F+0.1), ?line X = round(F+1+0.1)-1, ?line X = round(F-1+0.1)+1, ?line MX = round(-F+0.1), ?line MXm1 = round(-F-1+0.1), ?line MXp1 = round(-F+1+0.1), ?line X = round(F-0.1), ?line X = round(F+1-0.1)-1, ?line X = round(F-1-0.1)+1, ?line MX = round(-F-0.1), ?line MXm1 = round(-F-1-0.1), ?line MXp1 = round(-F+1-0.1), ?line 0.5 = abs(round(F+0.5)-(F+0.5)), ?line 0.5 = abs(round(F-0.5)-(F-0.5)), ?line 0.5 = abs(round(-F-0.5)-(-F-0.5)), ?line 0.5 = abs(round(-F+0.5)-(-F+0.5)), %% Bignums. ?line 4294967296 = round(id(4294967296.1)), ?line 4294967297 = round(id(4294967296.9)), ?line -4294967296 = -round(id(4294967296.1)), ?line -4294967297 = -round(id(4294967296.9)), ok. t_trunc(Config) when is_list(Config) -> ?line 0 = trunc(id(0.0)), ?line 5 = trunc(id(5.3333)), ?line -10 = trunc(id(-10.978987)), % The largest smallnum, converted to float (OTP-3722): ?line X = id((1 bsl 27) - 1), ?line F = id(X + 0.0), io:format("X = ~p/~w/~w, F = ~p/~w/~w, trunc(F) = ~p/~w/~w~n", [X, X, binary_to_list(term_to_binary(X)), F, F, binary_to_list(term_to_binary(F)), trunc(F), trunc(F), binary_to_list(term_to_binary(trunc(F)))]), ?line X = trunc(F), ?line X = trunc(F+1)-1, ?line X = trunc(F-1)+1, ?line X = -trunc(-F), ?line X = -trunc(-F-1)-1, ?line X = -trunc(-F+1)+1, %% Bignums. ?line 4294967305 = trunc(id(4294967305.7)), ?line -4294967305 = trunc(id(-4294967305.7)), ok. % Calling this function (which is not supposed to be inlined) prevents % the compiler from calculating the answer, so we don't test the compiler % instead of the newest runtime system. id(X) -> X.