Module Name: src Committed By: joerg Date: Thu Feb 27 17:26:02 UTC 2014
Modified Files: src/tests/lib/libm: t_atan.c t_exp.c t_fmod.c t_log.c Log Message: Avoid promotion in subexpressions. To generate a diff of this commit: cvs rdiff -u -r1.9 -r1.10 src/tests/lib/libm/t_atan.c \ src/tests/lib/libm/t_log.c cvs rdiff -u -r1.3 -r1.4 src/tests/lib/libm/t_exp.c cvs rdiff -u -r1.1 -r1.2 src/tests/lib/libm/t_fmod.c Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
Modified files: Index: src/tests/lib/libm/t_atan.c diff -u src/tests/lib/libm/t_atan.c:1.9 src/tests/lib/libm/t_atan.c:1.10 --- src/tests/lib/libm/t_atan.c:1.9 Fri Jun 14 05:39:28 2013 +++ src/tests/lib/libm/t_atan.c Thu Feb 27 17:26:02 2014 @@ -1,4 +1,4 @@ -/* $NetBSD: t_atan.c,v 1.9 2013/06/14 05:39:28 isaki Exp $ */ +/* $NetBSD: t_atan.c,v 1.10 2014/02/27 17:26:02 joerg Exp $ */ /*- * Copyright (c) 2011 The NetBSD Foundation, Inc. @@ -184,7 +184,7 @@ ATF_TC_BODY(atanf_inf_neg, tc) const float x = -1.0L / 0.0L; const float eps = 1.0e-7; - if (fabsf(atanf(x) + M_PI_2) > eps) + if (fabsf(atanf(x) + (float)M_PI_2) > eps) atf_tc_fail_nonfatal("atanf(-Inf) != -pi/2"); #endif } @@ -201,7 +201,7 @@ ATF_TC_BODY(atanf_inf_pos, tc) const float x = +1.0L / 0.0L; const float eps = 1.0e-7; - if (fabsf(atanf(x) - M_PI_2) > eps) + if (fabsf(atanf(x) - (float)M_PI_2) > eps) atf_tc_fail_nonfatal("atanf(+Inf) != pi/2"); #endif } Index: src/tests/lib/libm/t_log.c diff -u src/tests/lib/libm/t_log.c:1.9 src/tests/lib/libm/t_log.c:1.10 --- src/tests/lib/libm/t_log.c:1.9 Sun Feb 9 21:26:07 2014 +++ src/tests/lib/libm/t_log.c Thu Feb 27 17:26:02 2014 @@ -1,4 +1,4 @@ -/* $NetBSD: t_log.c,v 1.9 2014/02/09 21:26:07 jmmv Exp $ */ +/* $NetBSD: t_log.c,v 1.10 2014/02/27 17:26:02 joerg Exp $ */ /*- * Copyright (c) 2011 The NetBSD Foundation, Inc. @@ -29,7 +29,7 @@ * POSSIBILITY OF SUCH DAMAGE. */ #include <sys/cdefs.h> -__RCSID("$NetBSD: t_log.c,v 1.9 2014/02/09 21:26:07 jmmv Exp $"); +__RCSID("$NetBSD: t_log.c,v 1.10 2014/02/27 17:26:02 joerg Exp $"); #include <atf-c.h> #include <atf-c/config.h> @@ -809,7 +809,7 @@ ATF_TC_BODY(logf_base, tc) { const float eps = 1.0e-7; - if (fabsf(logf(M_E) - 1.0) > eps) + if (fabsf(logf(M_E) - 1.0f) > eps) atf_tc_fail_nonfatal("logf(e) != 1"); } Index: src/tests/lib/libm/t_exp.c diff -u src/tests/lib/libm/t_exp.c:1.3 src/tests/lib/libm/t_exp.c:1.4 --- src/tests/lib/libm/t_exp.c:1.3 Tue Apr 9 11:42:56 2013 +++ src/tests/lib/libm/t_exp.c Thu Feb 27 17:26:02 2014 @@ -1,4 +1,4 @@ -/* $NetBSD: t_exp.c,v 1.3 2013/04/09 11:42:56 isaki Exp $ */ +/* $NetBSD: t_exp.c,v 1.4 2014/02/27 17:26:02 joerg Exp $ */ /*- * Copyright (c) 2011 The NetBSD Foundation, Inc. @@ -245,7 +245,7 @@ ATF_TC_BODY(exp2f_zero_neg, tc) #ifndef __vax__ const float x = -0.0L; - if (fabsf(exp2f(x) - 1.0) > 0.0) + if (fabsf(exp2f(x) - 1.0f) > 0.0) atf_tc_fail_nonfatal("exp2f(-0.0) != 1.0"); #endif } @@ -261,7 +261,7 @@ ATF_TC_BODY(exp2f_zero_pos, tc) #ifndef __vax__ const float x = 0.0L; - if (fabsf(exp2f(x) - 1.0) > 0.0) + if (fabsf(exp2f(x) - 1.0f) > 0.0) atf_tc_fail_nonfatal("exp2f(+0.0) != 1.0"); #endif } @@ -465,7 +465,7 @@ ATF_TC_BODY(expf_zero_neg, tc) #ifndef __vax__ const float x = -0.0L; - if (fabsf(expf(x) - 1.0) > 0.0) + if (fabsf(expf(x) - 1.0f) > 0.0) atf_tc_fail_nonfatal("expf(-0.0) != 1.0"); #endif } @@ -481,7 +481,7 @@ ATF_TC_BODY(expf_zero_pos, tc) #ifndef __vax__ const float x = 0.0L; - if (fabsf(expf(x) - 1.0) > 0.0) + if (fabsf(expf(x) - 1.0f) > 0.0) atf_tc_fail_nonfatal("expf(+0.0) != 1.0"); #endif } Index: src/tests/lib/libm/t_fmod.c diff -u src/tests/lib/libm/t_fmod.c:1.1 src/tests/lib/libm/t_fmod.c:1.2 --- src/tests/lib/libm/t_fmod.c:1.1 Tue Nov 12 16:48:39 2013 +++ src/tests/lib/libm/t_fmod.c Thu Feb 27 17:26:02 2014 @@ -1,4 +1,4 @@ -/* $NetBSD: t_fmod.c,v 1.1 2013/11/12 16:48:39 joerg Exp $ */ +/* $NetBSD: t_fmod.c,v 1.2 2014/02/27 17:26:02 joerg Exp $ */ /*- * Copyright (c) 2013 The NetBSD Foundation, Inc. @@ -49,7 +49,7 @@ ATF_TC_BODY(fmod, tc) ATF_CHECK(fmod(2.0, 0.5) == 0); ATF_CHECK(fmodl(2.0, 0.5) == 0); - ATF_CHECK(fabsf(fmodf(1.0, 0.1) - 0.1) <= 55 * FLT_EPSILON); + ATF_CHECK(fabsf(fmodf(1.0, 0.1) - 0.1f) <= 55 * FLT_EPSILON); ATF_CHECK(fabs(fmod(1.0, 0.1) - 0.1) <= 55 * DBL_EPSILON); ATF_CHECK(fabsl(fmodl(1.0, 0.1L) - 0.1L) <= 55 * LDBL_EPSILON); }