From 84adefa331c4159d432d22840663c38f155cd4c1 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Fri, 20 Nov 2009 14:54:40 +0000 Subject: The R13B03 release. --- lib/compiler/test/float_SUITE.erl | 120 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 120 insertions(+) create mode 100644 lib/compiler/test/float_SUITE.erl (limited to 'lib/compiler/test/float_SUITE.erl') diff --git a/lib/compiler/test/float_SUITE.erl b/lib/compiler/test/float_SUITE.erl new file mode 100644 index 0000000000..3d2dbf47e9 --- /dev/null +++ b/lib/compiler/test/float_SUITE.erl @@ -0,0 +1,120 @@ +%% +%% %CopyrightBegin% +%% +%% Copyright Ericsson AB 2002-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(float_SUITE). +-export([all/1,pending/1,bif_calls/1,math_functions/1,mixed_float_and_int/1]). + +-include("test_server.hrl"). + +all(suite) -> + test_lib:recompile(?MODULE), + [pending,bif_calls,math_functions,mixed_float_and_int]. + +%% Thanks to Tobias Lindahl +%% Shows the effect of pending exceptions on the x86. + +pending(Config) when is_list(Config) -> + ?line case catch float_mul(1, 1.1e300, 3.14e300) of + {'EXIT',{badarith,_}} -> ok; + Other -> ?t:fail({expected_exception,Other}) + end, + ?line 0.0 = float_sub(2.0). + +float_sub(A)-> + catch A - 2.0. + +float_mul(0, _, _)-> + ok; +float_mul(Iter, A, B) when is_float(A), is_float(B) -> + A*B, + float_mul(Iter-1, A, B). + +%% Thanks to Mikael Pettersson and Tobias Lindahl (HiPE). + +bif_calls(Config) when is_list(Config) -> + ?line {'EXIT',{badarith,_}} = (catch bad_arith(2.0, 1.7)), + ?line {'EXIT',{badarith,_}} = (catch bad_arith_again(2.0, [])), + ?line {'EXIT',{badarith,_}} = (catch bad_arith_xor(2.0, [])), + ?line {'EXIT',{badarith,_}} = (catch bad_arith_hd(2.0, [])), + ?line {'EXIT',{badarith,_}} = (catch bad_negate(2.0, 1.7)), + ok. + +bad_arith(X, Y) when is_float(X) -> + X1 = X * 1.7e+308, + X2 = X1 + 1.0, + Y1 = Y * 2, %Calls erts_mixed_times/2. + %(A BIF call.) + {X2, Y1}. + +bad_arith_xor(X, Y) when is_float(X) -> + X1 = X * 1.7e+308, + Y1 = Y xor true, %A failing BIF call. + {X1 + 1.0, Y1}. + +bad_arith_hd(X, Y) when is_float(X) -> + X1 = X * 1.7e+308, + Y1 = hd(Y), %A failing BIF call. + {X1 + 1.0, Y1}. + +bad_arith_again(X, Y) when is_float(X) -> + X1 = X * 1.7e+308, + Y1 = element(1, Y), %A failing BIF call. + {X1 + 1.0, Y1}. + +bad_negate(X, Y) when is_float(X) -> + X1 = X * 1.7e+308, + X2 = X1 + 1.0, + Y1 = -Y, %BIF call. + {X2, Y1}. + +math_functions(Config) when is_list(Config) -> + %% Mostly silly coverage. + ?line 0.0 = math:tan(0), + ?line 0.0 = math:atan2(0, 1), + ?line 0.0 = math:sinh(0), + ?line 1.0 = math:cosh(0), + ?line 0.0 = math:tanh(0), + ?line 1.0 = math:log10(10), + ?line -1.0 = math:cos(math:pi()), + ?line 1.0 = math:exp(0), + ?line 1.0 = math:pow(math:pi(), 0), + + ?line 0.0 = math:tan(id(0)), + ?line 0.0 = math:atan2(id(0), 1), + ?line 0.0 = math:sinh(id(0)), + ?line 1.0 = math:cosh(id(0)), + ?line 0.0 = math:tanh(id(0)), + ?line 1.0 = math:log10(id(10)), + ?line 1.0 = math:exp(id(0)), + + %% Only for coverage (of beam_type.erl). + ?line {'EXIT',{undef,_}} = (catch math:fnurfla(0)), + ?line {'EXIT',{undef,_}} = (catch math:fnurfla(0, 0)), + ?line {'EXIT',{badarg,_}} = (catch float(kalle)), + ?line {'EXIT',{badarith,_}} = (catch name/1), + ok. + +mixed_float_and_int(Config) when is_list(Config) -> + ?line 129.0 = pc(77, 23, 5), + ok. + +pc(Cov, NotCov, X) -> + round(Cov/(Cov+NotCov)*100) + 42 + 2.0*X. + +id(I) -> I. + -- cgit v1.2.3