xref: /freebsd/contrib/netbsd-tests/lib/libm/t_casinh.c (revision d370fd1cd8fc69e87dc63f4f4a82e5a8b4956c93)
1*cdebaff8SEnji Cooper /* $NetBSD: t_casinh.c,v 1.2 2016/09/20 17:19:28 christos Exp $ */
2*cdebaff8SEnji Cooper 
3*cdebaff8SEnji Cooper /*
4*cdebaff8SEnji Cooper  * Written by Maya Rashish
5*cdebaff8SEnji Cooper  * Public domain.
6*cdebaff8SEnji Cooper  *
7*cdebaff8SEnji Cooper  * Testing special values of casinh
8*cdebaff8SEnji Cooper  * Values from ISO/IEC 9899:201x G.6.2.2
9*cdebaff8SEnji Cooper  */
10*cdebaff8SEnji Cooper 
11*cdebaff8SEnji Cooper #include <atf-c.h>
12*cdebaff8SEnji Cooper #include <complex.h>
13*cdebaff8SEnji Cooper #include <math.h>
14*cdebaff8SEnji Cooper 
15*cdebaff8SEnji Cooper #define RE(z) (((double *)(&z))[0])
16*cdebaff8SEnji Cooper #define IM(z) (((double *)(&z))[1])
17*cdebaff8SEnji Cooper 
18*cdebaff8SEnji Cooper static const struct {
19*cdebaff8SEnji Cooper 	double input_re;
20*cdebaff8SEnji Cooper 	double input_im;
21*cdebaff8SEnji Cooper 	double result_re;
22*cdebaff8SEnji Cooper 	double result_im;
23*cdebaff8SEnji Cooper } values[] = {
24*cdebaff8SEnji Cooper 	{ +0,		+0,		+0,		+0},
25*cdebaff8SEnji Cooper 	{ +5.032E3,	+INFINITY,	+INFINITY,	+M_PI/2},
26*cdebaff8SEnji Cooper 	{ +INFINITY,	+5.023E3,	+INFINITY,	+0},
27*cdebaff8SEnji Cooper 	{ +INFINITY,	+INFINITY,	+INFINITY,	+M_PI/4},
28*cdebaff8SEnji Cooper #ifdef __HAVE_NANF
29*cdebaff8SEnji Cooper 	{ +INFINITY,	+NAN,		+INFINITY,	+NAN},
30*cdebaff8SEnji Cooper 	{ +5.032E3,	+NAN,		+NAN,		+NAN}, /* + FE_INVALID optionally raised */
31*cdebaff8SEnji Cooper 	{ +NAN,		+0,		+NAN,		+0},
32*cdebaff8SEnji Cooper 	{ +NAN,		-5.023E3,	+NAN,		+NAN}, /* + FE_INVALID optionally raised */
33*cdebaff8SEnji Cooper 	{ +NAN,		+INFINITY,	+INFINITY,	+NAN}, /* sign of real part of result unspecified */
34*cdebaff8SEnji Cooper 	{ +NAN,		+NAN,		+NAN,		+NAN},
35*cdebaff8SEnji Cooper #endif
36*cdebaff8SEnji Cooper };
37*cdebaff8SEnji Cooper 
38*cdebaff8SEnji Cooper #ifdef __HAVE_NANF
39*cdebaff8SEnji Cooper #define both_nan(a,b) (isnan(a) && isnan(b))
40*cdebaff8SEnji Cooper #else
41*cdebaff8SEnji Cooper #define both_nan(a,b) 0
42*cdebaff8SEnji Cooper #endif
43*cdebaff8SEnji Cooper 
44*cdebaff8SEnji Cooper #define crude_equality(a,b) ((a == b) || both_nan(a,b))
45*cdebaff8SEnji Cooper 
46*cdebaff8SEnji Cooper #define ATF_COMPLEX_EQUAL(a,b) do { \
47*cdebaff8SEnji Cooper 	complex double ci = casinh(a); \
48*cdebaff8SEnji Cooper 	ATF_CHECK_MSG(crude_equality(creal(ci),creal(b)) && \
49*cdebaff8SEnji Cooper 	    crude_equality(cimag(ci), cimag(b)), \
50*cdebaff8SEnji Cooper 	    "for casinh([%g,%g]) = [%g,%g] != [%g,%g]", \
51*cdebaff8SEnji Cooper 	    creal(a), cimag(a), creal(ci), cimag(ci), creal(b), cimag(b)); \
52*cdebaff8SEnji Cooper } while (0/*CONSTCOND*/)
53*cdebaff8SEnji Cooper 
54*cdebaff8SEnji Cooper 
55*cdebaff8SEnji Cooper ATF_TC(casinh);
ATF_TC_HEAD(casinh,tc)56*cdebaff8SEnji Cooper ATF_TC_HEAD(casinh, tc)
57*cdebaff8SEnji Cooper {
58*cdebaff8SEnji Cooper 	atf_tc_set_md_var(tc, "descr","Check casinh family - special values");
59*cdebaff8SEnji Cooper }
60*cdebaff8SEnji Cooper 
ATF_TC_BODY(casinh,tc)61*cdebaff8SEnji Cooper ATF_TC_BODY(casinh, tc)
62*cdebaff8SEnji Cooper {
63*cdebaff8SEnji Cooper 	complex double input;
64*cdebaff8SEnji Cooper 	complex double result;
65*cdebaff8SEnji Cooper 	unsigned int i;
66*cdebaff8SEnji Cooper 	for (i = 0; i < __arraycount(values); i++) {
67*cdebaff8SEnji Cooper 		RE(input) = values[i].input_re;
68*cdebaff8SEnji Cooper 		IM(input) = values[i].input_im;
69*cdebaff8SEnji Cooper 		RE(result) = values[i].result_re;
70*cdebaff8SEnji Cooper 		IM(result) = values[i].result_im;
71*cdebaff8SEnji Cooper 		ATF_COMPLEX_EQUAL(input, result);
72*cdebaff8SEnji Cooper 	}
73*cdebaff8SEnji Cooper }
74*cdebaff8SEnji Cooper 
ATF_TP_ADD_TCS(tp)75*cdebaff8SEnji Cooper ATF_TP_ADD_TCS(tp)
76*cdebaff8SEnji Cooper {
77*cdebaff8SEnji Cooper 
78*cdebaff8SEnji Cooper 	ATF_TP_ADD_TC(tp, casinh);
79*cdebaff8SEnji Cooper 
80*cdebaff8SEnji Cooper 	return atf_no_error();
81*cdebaff8SEnji Cooper }
82