Home | History | Annotate | Line # | Download | only in libm
t_sinh.c revision 1.4
      1  1.4  jruoho /* $NetBSD: t_sinh.c,v 1.4 2011/10/18 14:16:42 jruoho Exp $ */
      2  1.1  jruoho 
      3  1.1  jruoho /*-
      4  1.1  jruoho  * Copyright (c) 2011 The NetBSD Foundation, Inc.
      5  1.1  jruoho  * All rights reserved.
      6  1.1  jruoho  *
      7  1.1  jruoho  * This code is derived from software contributed to The NetBSD Foundation
      8  1.1  jruoho  * by Jukka Ruohonen.
      9  1.1  jruoho  *
     10  1.1  jruoho  * Redistribution and use in source and binary forms, with or without
     11  1.1  jruoho  * modification, are permitted provided that the following conditions
     12  1.1  jruoho  * are met:
     13  1.1  jruoho  * 1. Redistributions of source code must retain the above copyright
     14  1.1  jruoho  *    notice, this list of conditions and the following disclaimer.
     15  1.1  jruoho  * 2. Redistributions in binary form must reproduce the above copyright
     16  1.1  jruoho  *    notice, this list of conditions and the following disclaimer in the
     17  1.1  jruoho  *    documentation and/or other materials provided with the distribution.
     18  1.1  jruoho  *
     19  1.1  jruoho  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  1.1  jruoho  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  1.1  jruoho  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  1.1  jruoho  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  1.1  jruoho  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  1.1  jruoho  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  1.1  jruoho  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  1.1  jruoho  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  1.1  jruoho  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  1.1  jruoho  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  1.1  jruoho  * POSSIBILITY OF SUCH DAMAGE.
     30  1.1  jruoho  */
     31  1.1  jruoho #include <sys/cdefs.h>
     32  1.4  jruoho __RCSID("$NetBSD: t_sinh.c,v 1.4 2011/10/18 14:16:42 jruoho Exp $");
     33  1.1  jruoho 
     34  1.1  jruoho #include <atf-c.h>
     35  1.1  jruoho #include <math.h>
     36  1.1  jruoho #include <stdio.h>
     37  1.1  jruoho 
     38  1.1  jruoho /*
     39  1.1  jruoho  * sinh(3)
     40  1.1  jruoho  */
     41  1.1  jruoho ATF_TC(sinh_def);
     42  1.1  jruoho ATF_TC_HEAD(sinh_def, tc)
     43  1.1  jruoho {
     44  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test the definition of sinh(3)");
     45  1.1  jruoho }
     46  1.1  jruoho 
     47  1.1  jruoho ATF_TC_BODY(sinh_def, tc)
     48  1.1  jruoho {
     49  1.1  jruoho #ifndef __vax__
     50  1.3  jruoho 	const double x[] = { 0.005, 0.05, 0.0, 1.0, 10.0, 20.0 };
     51  1.4  jruoho 	const double eps = 1.0e-4;
     52  1.1  jruoho 	double y, z;
     53  1.1  jruoho 	size_t i;
     54  1.1  jruoho 
     55  1.1  jruoho 	for (i = 0; i < __arraycount(x); i++) {
     56  1.1  jruoho 
     57  1.1  jruoho 		y = sinh(x[i]);
     58  1.1  jruoho 		z = (exp(x[i]) - exp(-x[i])) / 2;
     59  1.1  jruoho 
     60  1.3  jruoho 		(void)fprintf(stderr,
     61  1.3  jruoho 		    "sinh(%0.03f) = %f\n(exp(%0.03f) - "
     62  1.3  jruoho 		    "exp(-%0.03f)) / 2 = %f\n", x[i], y, x[i], x[i], z);
     63  1.3  jruoho 
     64  1.1  jruoho 		if (fabs(y - z) > eps)
     65  1.1  jruoho 			atf_tc_fail_nonfatal("sinh(%0.03f) != %0.03f\n",
     66  1.1  jruoho 			    x[i], z);
     67  1.1  jruoho 	}
     68  1.1  jruoho #endif
     69  1.1  jruoho }
     70  1.1  jruoho 
     71  1.1  jruoho ATF_TC(sinh_nan);
     72  1.1  jruoho ATF_TC_HEAD(sinh_nan, tc)
     73  1.1  jruoho {
     74  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinh(NaN) == NaN");
     75  1.1  jruoho }
     76  1.1  jruoho 
     77  1.1  jruoho ATF_TC_BODY(sinh_nan, tc)
     78  1.1  jruoho {
     79  1.1  jruoho #ifndef __vax__
     80  1.1  jruoho 	const double x = 0.0L / 0.0L;
     81  1.1  jruoho 
     82  1.1  jruoho 	ATF_CHECK(isnan(x) != 0);
     83  1.1  jruoho 	ATF_CHECK(isnan(sinh(x)) != 0);
     84  1.1  jruoho #endif
     85  1.1  jruoho }
     86  1.1  jruoho 
     87  1.1  jruoho ATF_TC(sinh_inf_neg);
     88  1.1  jruoho ATF_TC_HEAD(sinh_inf_neg, tc)
     89  1.1  jruoho {
     90  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinh(-Inf) == -Inf");
     91  1.1  jruoho }
     92  1.1  jruoho 
     93  1.1  jruoho ATF_TC_BODY(sinh_inf_neg, tc)
     94  1.1  jruoho {
     95  1.1  jruoho #ifndef __vax__
     96  1.1  jruoho 	const double x = -1.0L / 0.0L;
     97  1.1  jruoho 	double y = sinh(x);
     98  1.1  jruoho 
     99  1.1  jruoho 	ATF_CHECK(isinf(y) != 0);
    100  1.1  jruoho 	ATF_CHECK(signbit(y) != 0);
    101  1.1  jruoho #endif
    102  1.1  jruoho }
    103  1.1  jruoho 
    104  1.1  jruoho ATF_TC(sinh_inf_pos);
    105  1.1  jruoho ATF_TC_HEAD(sinh_inf_pos, tc)
    106  1.1  jruoho {
    107  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinh(+Inf) == +Inf");
    108  1.1  jruoho }
    109  1.1  jruoho 
    110  1.1  jruoho ATF_TC_BODY(sinh_inf_pos, tc)
    111  1.1  jruoho {
    112  1.1  jruoho #ifndef __vax__
    113  1.1  jruoho 	const double x = 1.0L / 0.0L;
    114  1.1  jruoho 	double y = sinh(x);
    115  1.1  jruoho 
    116  1.1  jruoho 	ATF_CHECK(isinf(y) != 0);
    117  1.1  jruoho 	ATF_CHECK(signbit(y) == 0);
    118  1.1  jruoho #endif
    119  1.1  jruoho }
    120  1.1  jruoho 
    121  1.1  jruoho ATF_TC(sinh_zero_neg);
    122  1.1  jruoho ATF_TC_HEAD(sinh_zero_neg, tc)
    123  1.1  jruoho {
    124  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinh(-0.0) == -0.0");
    125  1.1  jruoho }
    126  1.1  jruoho 
    127  1.1  jruoho ATF_TC_BODY(sinh_zero_neg, tc)
    128  1.1  jruoho {
    129  1.1  jruoho #ifndef __vax__
    130  1.1  jruoho 	const double x = -0.0L;
    131  1.1  jruoho 	double y = sinh(x);
    132  1.1  jruoho 
    133  1.1  jruoho 	if (fabs(y) > 0.0 || signbit(y) == 0)
    134  1.1  jruoho 		atf_tc_fail_nonfatal("sinh(-0.0) != -0.0");
    135  1.1  jruoho #endif
    136  1.1  jruoho }
    137  1.1  jruoho 
    138  1.1  jruoho ATF_TC(sinh_zero_pos);
    139  1.1  jruoho ATF_TC_HEAD(sinh_zero_pos, tc)
    140  1.1  jruoho {
    141  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinh(+0.0) == +0.0");
    142  1.1  jruoho }
    143  1.1  jruoho 
    144  1.1  jruoho ATF_TC_BODY(sinh_zero_pos, tc)
    145  1.1  jruoho {
    146  1.1  jruoho #ifndef __vax__
    147  1.1  jruoho 	const double x = 0.0L;
    148  1.1  jruoho 	double y = sinh(x);
    149  1.1  jruoho 
    150  1.1  jruoho 	if (fabs(y) > 0.0 || signbit(y) != 0)
    151  1.1  jruoho 		atf_tc_fail_nonfatal("sinh(+0.0) != +0.0");
    152  1.1  jruoho #endif
    153  1.1  jruoho }
    154  1.1  jruoho 
    155  1.1  jruoho /*
    156  1.1  jruoho  * sinhf(3)
    157  1.1  jruoho  */
    158  1.1  jruoho ATF_TC(sinhf_def);
    159  1.1  jruoho ATF_TC_HEAD(sinhf_def, tc)
    160  1.1  jruoho {
    161  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test the definition of sinhf(3)");
    162  1.1  jruoho }
    163  1.1  jruoho 
    164  1.1  jruoho ATF_TC_BODY(sinhf_def, tc)
    165  1.1  jruoho {
    166  1.1  jruoho #ifndef __vax__
    167  1.3  jruoho 	const float x[] = { 0.005, 0.05, 0.0, 1.0, 10.0, 20.0 };
    168  1.4  jruoho 	const float eps = 1.0e-2;
    169  1.1  jruoho 	float y, z;
    170  1.1  jruoho 	size_t i;
    171  1.1  jruoho 
    172  1.1  jruoho 	for (i = 0; i < __arraycount(x); i++) {
    173  1.1  jruoho 
    174  1.1  jruoho 		y = sinhf(x[i]);
    175  1.1  jruoho 		z = (expf(x[i]) - expf(-x[i])) / 2;
    176  1.1  jruoho 
    177  1.3  jruoho 		(void)fprintf(stderr,
    178  1.3  jruoho 		    "sinhf(%0.03f) = %f\n(expf(%0.03f) - "
    179  1.3  jruoho 		    "expf(-%0.03f)) / 2 = %f\n", x[i], y, x[i], x[i], z);
    180  1.3  jruoho 
    181  1.1  jruoho 		if (fabsf(y - z) > eps)
    182  1.1  jruoho 			atf_tc_fail_nonfatal("sinhf(%0.03f) != %0.03f\n",
    183  1.1  jruoho 			    x[i], z);
    184  1.1  jruoho 	}
    185  1.1  jruoho #endif
    186  1.1  jruoho }
    187  1.1  jruoho 
    188  1.1  jruoho ATF_TC(sinhf_nan);
    189  1.1  jruoho ATF_TC_HEAD(sinhf_nan, tc)
    190  1.1  jruoho {
    191  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinhf(NaN) == NaN");
    192  1.1  jruoho }
    193  1.1  jruoho 
    194  1.1  jruoho ATF_TC_BODY(sinhf_nan, tc)
    195  1.1  jruoho {
    196  1.1  jruoho #ifndef __vax__
    197  1.1  jruoho 	const float x = 0.0L / 0.0L;
    198  1.1  jruoho 
    199  1.1  jruoho 	ATF_CHECK(isnan(x) != 0);
    200  1.1  jruoho 	ATF_CHECK(isnan(sinhf(x)) != 0);
    201  1.1  jruoho #endif
    202  1.1  jruoho }
    203  1.1  jruoho 
    204  1.1  jruoho ATF_TC(sinhf_inf_neg);
    205  1.1  jruoho ATF_TC_HEAD(sinhf_inf_neg, tc)
    206  1.1  jruoho {
    207  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinhf(-Inf) == -Inf");
    208  1.1  jruoho }
    209  1.1  jruoho 
    210  1.1  jruoho ATF_TC_BODY(sinhf_inf_neg, tc)
    211  1.1  jruoho {
    212  1.1  jruoho #ifndef __vax__
    213  1.1  jruoho 	const float x = -1.0L / 0.0L;
    214  1.1  jruoho 	float y = sinhf(x);
    215  1.1  jruoho 
    216  1.1  jruoho 	ATF_CHECK(isinf(y) != 0);
    217  1.1  jruoho 	ATF_CHECK(signbit(y) != 0);
    218  1.1  jruoho #endif
    219  1.1  jruoho }
    220  1.1  jruoho 
    221  1.1  jruoho ATF_TC(sinhf_inf_pos);
    222  1.1  jruoho ATF_TC_HEAD(sinhf_inf_pos, tc)
    223  1.1  jruoho {
    224  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinhf(+Inf) == +Inf");
    225  1.1  jruoho }
    226  1.1  jruoho 
    227  1.1  jruoho ATF_TC_BODY(sinhf_inf_pos, tc)
    228  1.1  jruoho {
    229  1.1  jruoho #ifndef __vax__
    230  1.1  jruoho 	const float x = 1.0L / 0.0L;
    231  1.1  jruoho 	float y = sinhf(x);
    232  1.1  jruoho 
    233  1.1  jruoho 	ATF_CHECK(isinf(y) != 0);
    234  1.1  jruoho 	ATF_CHECK(signbit(y) == 0);
    235  1.1  jruoho #endif
    236  1.1  jruoho }
    237  1.1  jruoho 
    238  1.1  jruoho ATF_TC(sinhf_zero_neg);
    239  1.1  jruoho ATF_TC_HEAD(sinhf_zero_neg, tc)
    240  1.1  jruoho {
    241  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinhf(-0.0) == -0.0");
    242  1.1  jruoho }
    243  1.1  jruoho 
    244  1.1  jruoho ATF_TC_BODY(sinhf_zero_neg, tc)
    245  1.1  jruoho {
    246  1.1  jruoho #ifndef __vax__
    247  1.1  jruoho 	const float x = -0.0L;
    248  1.1  jruoho 	float y = sinhf(x);
    249  1.1  jruoho 
    250  1.1  jruoho 	if (fabsf(y) > 0.0 || signbit(y) == 0)
    251  1.1  jruoho 		atf_tc_fail_nonfatal("sinhf(-0.0) != -0.0");
    252  1.1  jruoho #endif
    253  1.1  jruoho }
    254  1.1  jruoho 
    255  1.1  jruoho ATF_TC(sinhf_zero_pos);
    256  1.1  jruoho ATF_TC_HEAD(sinhf_zero_pos, tc)
    257  1.1  jruoho {
    258  1.1  jruoho 	atf_tc_set_md_var(tc, "descr", "Test sinhf(+0.0) == +0.0");
    259  1.1  jruoho }
    260  1.1  jruoho 
    261  1.1  jruoho ATF_TC_BODY(sinhf_zero_pos, tc)
    262  1.1  jruoho {
    263  1.1  jruoho #ifndef __vax__
    264  1.1  jruoho 	const float x = 0.0L;
    265  1.1  jruoho 	float y = sinhf(x);
    266  1.1  jruoho 
    267  1.1  jruoho 	if (fabsf(y) > 0.0 || signbit(y) != 0)
    268  1.1  jruoho 		atf_tc_fail_nonfatal("sinhf(+0.0) != +0.0");
    269  1.1  jruoho #endif
    270  1.1  jruoho }
    271  1.1  jruoho 
    272  1.1  jruoho ATF_TP_ADD_TCS(tp)
    273  1.1  jruoho {
    274  1.1  jruoho 
    275  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinh_def);
    276  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinh_nan);
    277  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinh_inf_neg);
    278  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinh_inf_pos);
    279  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinh_zero_neg);
    280  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinh_zero_pos);
    281  1.1  jruoho 
    282  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinhf_def);
    283  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinhf_nan);
    284  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinhf_inf_neg);
    285  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinhf_inf_pos);
    286  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinhf_zero_neg);
    287  1.1  jruoho 	ATF_TP_ADD_TC(tp, sinhf_zero_pos);
    288  1.1  jruoho 
    289  1.1  jruoho 	return atf_no_error();
    290  1.1  jruoho }
    291