1068ebf32SEnji Cooper /*	$NetBSD: t_fpsetmask.c,v 1.16 2016/03/12 11:55:14 martin Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 1995 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
857718be8SEnji Cooper  * modification, are permitted provided that the following conditions
957718be8SEnji Cooper  * are met:
1057718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1157718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1257718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1357718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1457718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1557718be8SEnji Cooper  *
1657718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
1757718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
1857718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
1957718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2057718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2157718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2257718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2357718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2457718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2557718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2657718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
2757718be8SEnji Cooper  */
2857718be8SEnji Cooper 
2957718be8SEnji Cooper #include <sys/param.h>
3057718be8SEnji Cooper 
3157718be8SEnji Cooper #include <atf-c.h>
3257718be8SEnji Cooper 
3357718be8SEnji Cooper #include <stdio.h>
3457718be8SEnji Cooper #include <signal.h>
3557718be8SEnji Cooper #include <float.h>
3657718be8SEnji Cooper #include <setjmp.h>
3757718be8SEnji Cooper #include <stdlib.h>
3857718be8SEnji Cooper #include <string.h>
3957718be8SEnji Cooper 
4057718be8SEnji Cooper #include "isqemu.h"
4157718be8SEnji Cooper 
4257718be8SEnji Cooper #ifndef _FLOAT_IEEE754
4357718be8SEnji Cooper 
4457718be8SEnji Cooper ATF_TC(no_test);
ATF_TC_HEAD(no_test,tc)4557718be8SEnji Cooper ATF_TC_HEAD(no_test, tc)
4657718be8SEnji Cooper {
4757718be8SEnji Cooper 
4857718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Dummy test case");
4957718be8SEnji Cooper }
5057718be8SEnji Cooper 
ATF_TC_BODY(no_test,tc)5157718be8SEnji Cooper ATF_TC_BODY(no_test, tc)
5257718be8SEnji Cooper {
5357718be8SEnji Cooper 
5457718be8SEnji Cooper 	atf_tc_skip("Test not available on this architecture.");
5557718be8SEnji Cooper }
5657718be8SEnji Cooper 
5757718be8SEnji Cooper #else /* defined(_FLOAT_IEEE754) */
5857718be8SEnji Cooper 
5957718be8SEnji Cooper #include <ieeefp.h>
6057718be8SEnji Cooper 
6157718be8SEnji Cooper #if __arm__ && !__SOFTFP__
6257718be8SEnji Cooper 	/*
6357718be8SEnji Cooper 	 * Some NEON fpus do not implement IEEE exception handling,
6457718be8SEnji Cooper 	 * skip these tests if running on them and compiled for
6557718be8SEnji Cooper 	 * hard float.
6657718be8SEnji Cooper 	 */
6757718be8SEnji Cooper #define	FPU_PREREQ()							\
6857718be8SEnji Cooper 	if (0 == fpsetmask(fpsetmask(FP_X_INV)))			\
6957718be8SEnji Cooper 		atf_tc_skip("FPU does not implement exception handling");
7057718be8SEnji Cooper #endif
7157718be8SEnji Cooper 
7257718be8SEnji Cooper #ifndef FPU_PREREQ
7357718be8SEnji Cooper #define	FPU_PREREQ()	/* nothing */
7457718be8SEnji Cooper #endif
7557718be8SEnji Cooper 
7657718be8SEnji Cooper void		sigfpe(int, siginfo_t *, void *);
7757718be8SEnji Cooper 
7857718be8SEnji Cooper volatile sig_atomic_t signal_caught;
7957718be8SEnji Cooper volatile int sicode;
8057718be8SEnji Cooper 
8157718be8SEnji Cooper static volatile const float	f_one   = 1.0;
8257718be8SEnji Cooper static volatile const float	f_zero  = 0.0;
8357718be8SEnji Cooper static volatile const double	d_one   = 1.0;
8457718be8SEnji Cooper static volatile const double	d_zero  = 0.0;
8557718be8SEnji Cooper static volatile const long double ld_one  = 1.0;
8657718be8SEnji Cooper static volatile const long double ld_zero = 0.0;
8757718be8SEnji Cooper 
8857718be8SEnji Cooper static volatile const float	f_huge = FLT_MAX;
8957718be8SEnji Cooper static volatile const float	f_tiny = FLT_MIN;
9057718be8SEnji Cooper static volatile const double	d_huge = DBL_MAX;
9157718be8SEnji Cooper static volatile const double	d_tiny = DBL_MIN;
9257718be8SEnji Cooper static volatile const long double ld_huge = LDBL_MAX;
9357718be8SEnji Cooper static volatile const long double ld_tiny = LDBL_MIN;
9457718be8SEnji Cooper 
9557718be8SEnji Cooper static volatile float f_x;
9657718be8SEnji Cooper static volatile double d_x;
9757718be8SEnji Cooper static volatile long double ld_x;
9857718be8SEnji Cooper 
9957718be8SEnji Cooper /* trip divide by zero */
10057718be8SEnji Cooper static void
f_dz(void)10157718be8SEnji Cooper f_dz(void)
10257718be8SEnji Cooper {
10357718be8SEnji Cooper 
10457718be8SEnji Cooper 	f_x = f_one / f_zero;
10557718be8SEnji Cooper }
10657718be8SEnji Cooper 
10757718be8SEnji Cooper static void
d_dz(void)10857718be8SEnji Cooper d_dz(void)
10957718be8SEnji Cooper {
11057718be8SEnji Cooper 
11157718be8SEnji Cooper 	d_x = d_one / d_zero;
11257718be8SEnji Cooper }
11357718be8SEnji Cooper 
11457718be8SEnji Cooper static void
ld_dz(void)11557718be8SEnji Cooper ld_dz(void)
11657718be8SEnji Cooper {
11757718be8SEnji Cooper 
11857718be8SEnji Cooper 	ld_x = ld_one / ld_zero;
11957718be8SEnji Cooper }
12057718be8SEnji Cooper 
12157718be8SEnji Cooper /* trip invalid operation */
12257718be8SEnji Cooper static void
d_inv(void)12357718be8SEnji Cooper d_inv(void)
12457718be8SEnji Cooper {
12557718be8SEnji Cooper 
12657718be8SEnji Cooper 	d_x = d_zero / d_zero;
12757718be8SEnji Cooper }
12857718be8SEnji Cooper 
12957718be8SEnji Cooper static void
ld_inv(void)13057718be8SEnji Cooper ld_inv(void)
13157718be8SEnji Cooper {
13257718be8SEnji Cooper 
13357718be8SEnji Cooper 	ld_x = ld_zero / ld_zero;
13457718be8SEnji Cooper }
13557718be8SEnji Cooper 
13657718be8SEnji Cooper static void
f_inv(void)13757718be8SEnji Cooper f_inv(void)
13857718be8SEnji Cooper {
13957718be8SEnji Cooper 
14057718be8SEnji Cooper 	f_x = f_zero / f_zero;
14157718be8SEnji Cooper }
14257718be8SEnji Cooper 
14357718be8SEnji Cooper /* trip overflow */
14457718be8SEnji Cooper static void
f_ofl(void)14557718be8SEnji Cooper f_ofl(void)
14657718be8SEnji Cooper {
14757718be8SEnji Cooper 
14857718be8SEnji Cooper 	f_x = f_huge * f_huge;
14957718be8SEnji Cooper }
15057718be8SEnji Cooper 
15157718be8SEnji Cooper static void
d_ofl(void)15257718be8SEnji Cooper d_ofl(void)
15357718be8SEnji Cooper {
15457718be8SEnji Cooper 
15557718be8SEnji Cooper 	d_x = d_huge * d_huge;
15657718be8SEnji Cooper }
15757718be8SEnji Cooper 
15857718be8SEnji Cooper static void
ld_ofl(void)15957718be8SEnji Cooper ld_ofl(void)
16057718be8SEnji Cooper {
16157718be8SEnji Cooper 
16257718be8SEnji Cooper 	ld_x = ld_huge * ld_huge;
16357718be8SEnji Cooper }
16457718be8SEnji Cooper 
16557718be8SEnji Cooper /* trip underflow */
16657718be8SEnji Cooper static void
f_ufl(void)16757718be8SEnji Cooper f_ufl(void)
16857718be8SEnji Cooper {
16957718be8SEnji Cooper 
17057718be8SEnji Cooper 	f_x = f_tiny * f_tiny;
17157718be8SEnji Cooper }
17257718be8SEnji Cooper 
17357718be8SEnji Cooper static void
d_ufl(void)17457718be8SEnji Cooper d_ufl(void)
17557718be8SEnji Cooper {
17657718be8SEnji Cooper 
17757718be8SEnji Cooper 	d_x = d_tiny * d_tiny;
17857718be8SEnji Cooper }
17957718be8SEnji Cooper 
18057718be8SEnji Cooper static void
ld_ufl(void)18157718be8SEnji Cooper ld_ufl(void)
18257718be8SEnji Cooper {
18357718be8SEnji Cooper 
18457718be8SEnji Cooper 	ld_x = ld_tiny * ld_tiny;
18557718be8SEnji Cooper }
18657718be8SEnji Cooper 
18757718be8SEnji Cooper struct ops {
18857718be8SEnji Cooper 	void (*op)(void);
18957718be8SEnji Cooper 	fp_except mask;
19057718be8SEnji Cooper 	int sicode;
19157718be8SEnji Cooper };
19257718be8SEnji Cooper 
19357718be8SEnji Cooper static const struct ops float_ops[] = {
19457718be8SEnji Cooper 	{ f_dz, FP_X_DZ, FPE_FLTDIV },
19557718be8SEnji Cooper 	{ f_inv, FP_X_INV, FPE_FLTINV },
19657718be8SEnji Cooper 	{ f_ofl, FP_X_OFL, FPE_FLTOVF },
19757718be8SEnji Cooper 	{ f_ufl, FP_X_UFL, FPE_FLTUND },
19857718be8SEnji Cooper 	{ NULL, 0, 0 }
19957718be8SEnji Cooper };
20057718be8SEnji Cooper 
20157718be8SEnji Cooper static const struct ops double_ops[] = {
20257718be8SEnji Cooper 	{ d_dz, FP_X_DZ, FPE_FLTDIV },
20357718be8SEnji Cooper 	{ d_inv, FP_X_INV, FPE_FLTINV },
20457718be8SEnji Cooper 	{ d_ofl, FP_X_OFL, FPE_FLTOVF },
20557718be8SEnji Cooper 	{ d_ufl, FP_X_UFL, FPE_FLTUND },
20657718be8SEnji Cooper 	{ NULL, 0, 0 }
20757718be8SEnji Cooper };
20857718be8SEnji Cooper 
20957718be8SEnji Cooper static const struct ops long_double_ops[] = {
21057718be8SEnji Cooper 	{ ld_dz, FP_X_DZ, FPE_FLTDIV },
21157718be8SEnji Cooper 	{ ld_inv, FP_X_INV, FPE_FLTINV },
21257718be8SEnji Cooper 	{ ld_ofl, FP_X_OFL, FPE_FLTOVF },
21357718be8SEnji Cooper 	{ ld_ufl, FP_X_UFL, FPE_FLTUND },
21457718be8SEnji Cooper 	{ NULL, 0, 0 }
21557718be8SEnji Cooper };
21657718be8SEnji Cooper 
21757718be8SEnji Cooper static sigjmp_buf b;
21857718be8SEnji Cooper 
21957718be8SEnji Cooper static void
fpsetmask_masked(const struct ops * test_ops)22057718be8SEnji Cooper fpsetmask_masked(const struct ops *test_ops)
22157718be8SEnji Cooper {
22257718be8SEnji Cooper 	struct sigaction sa;
22357718be8SEnji Cooper 	fp_except ex1, ex2;
22457718be8SEnji Cooper 	const struct ops *t;
22557718be8SEnji Cooper 
22657718be8SEnji Cooper 	/* mask all exceptions, clear history */
22757718be8SEnji Cooper 	fpsetmask(0);
22857718be8SEnji Cooper 	fpsetsticky(0);
22957718be8SEnji Cooper 
23057718be8SEnji Cooper 	/* set up signal handler */
23157718be8SEnji Cooper 	sa.sa_sigaction = sigfpe;
23257718be8SEnji Cooper 	sigemptyset(&sa.sa_mask);
23357718be8SEnji Cooper 	sa.sa_flags = SA_SIGINFO;
23457718be8SEnji Cooper 	sigaction(SIGFPE, &sa, 0);
23557718be8SEnji Cooper 	signal_caught = 0;
23657718be8SEnji Cooper 
23757718be8SEnji Cooper 	/*
23857718be8SEnji Cooper 	 * exceptions masked, check whether "sticky" bits are set correctly
23957718be8SEnji Cooper 	 */
24057718be8SEnji Cooper 	for (t = test_ops; t->op != NULL; t++) {
24157718be8SEnji Cooper 		(*t->op)();
24257718be8SEnji Cooper 		ex1 = fpgetsticky();
24357718be8SEnji Cooper 		ATF_CHECK_EQ(ex1 & t->mask, t->mask);
24457718be8SEnji Cooper 		ATF_CHECK_EQ(signal_caught, 0);
24557718be8SEnji Cooper 
24657718be8SEnji Cooper 		/* check correct fpsetsticky() behaviour */
24757718be8SEnji Cooper 		ex2 = fpsetsticky(0);
24857718be8SEnji Cooper 		ATF_CHECK_EQ(fpgetsticky(), 0);
24957718be8SEnji Cooper 		ATF_CHECK_EQ(ex1, ex2);
25057718be8SEnji Cooper 	}
25157718be8SEnji Cooper }
25257718be8SEnji Cooper 
25357718be8SEnji Cooper /* force delayed exceptions to be delivered */
25457718be8SEnji Cooper #define BARRIER() fpsetmask(0); f_x = f_one * f_one
25557718be8SEnji Cooper 
25657718be8SEnji Cooper static void
fpsetmask_unmasked(const struct ops * test_ops)25757718be8SEnji Cooper fpsetmask_unmasked(const struct ops *test_ops)
25857718be8SEnji Cooper {
25957718be8SEnji Cooper 	struct sigaction sa;
26057718be8SEnji Cooper 	int r;
26157718be8SEnji Cooper 	const struct ops *volatile t;
26257718be8SEnji Cooper 
26357718be8SEnji Cooper 	/* mask all exceptions, clear history */
26457718be8SEnji Cooper 	fpsetmask(0);
26557718be8SEnji Cooper 	fpsetsticky(0);
26657718be8SEnji Cooper 
26757718be8SEnji Cooper 	/* set up signal handler */
26857718be8SEnji Cooper 	sa.sa_sigaction = sigfpe;
26957718be8SEnji Cooper 	sigemptyset(&sa.sa_mask);
27057718be8SEnji Cooper 	sa.sa_flags = SA_SIGINFO;
27157718be8SEnji Cooper 	sigaction(SIGFPE, &sa, 0);
27257718be8SEnji Cooper 	signal_caught = 0;
27357718be8SEnji Cooper 
27457718be8SEnji Cooper 	/*
27557718be8SEnji Cooper 	 * exception unmasked, check SIGFPE delivery and correct siginfo
27657718be8SEnji Cooper 	 */
27757718be8SEnji Cooper 	for (t = test_ops; t->op != NULL; t++) {
27857718be8SEnji Cooper 		fpsetmask(t->mask);
27957718be8SEnji Cooper 		r = sigsetjmp(b, 1);
28057718be8SEnji Cooper 		if (!r) {
28157718be8SEnji Cooper 			(*t->op)();
28257718be8SEnji Cooper 			BARRIER();
28357718be8SEnji Cooper 		}
28457718be8SEnji Cooper 		ATF_CHECK_EQ(signal_caught, 1);
28557718be8SEnji Cooper 		ATF_CHECK_EQ(sicode, t->sicode);
28657718be8SEnji Cooper 		signal_caught = 0;
28757718be8SEnji Cooper 	}
28857718be8SEnji Cooper }
28957718be8SEnji Cooper 
29057718be8SEnji Cooper void
sigfpe(int s,siginfo_t * si,void * c)29157718be8SEnji Cooper sigfpe(int s, siginfo_t *si, void *c)
29257718be8SEnji Cooper {
29357718be8SEnji Cooper 	signal_caught = 1;
29457718be8SEnji Cooper 	sicode = si->si_code;
29557718be8SEnji Cooper 	siglongjmp(b, 1);
29657718be8SEnji Cooper }
29757718be8SEnji Cooper 
29857718be8SEnji Cooper #define TEST(m, t)							\
29957718be8SEnji Cooper 	ATF_TC(m##_##t);						\
30057718be8SEnji Cooper 									\
30157718be8SEnji Cooper 	ATF_TC_HEAD(m##_##t, tc)					\
30257718be8SEnji Cooper 	{								\
30357718be8SEnji Cooper 									\
30457718be8SEnji Cooper 		atf_tc_set_md_var(tc, "descr",				\
30557718be8SEnji Cooper 		    "Test " ___STRING(m) " exceptions for "		\
30657718be8SEnji Cooper 		    ___STRING(t) "values");				\
30757718be8SEnji Cooper 	}								\
30857718be8SEnji Cooper 									\
30957718be8SEnji Cooper 	ATF_TC_BODY(m##_##t, tc)					\
31057718be8SEnji Cooper 	{								\
31157718be8SEnji Cooper 									\
31257718be8SEnji Cooper 		FPU_PREREQ();						\
31357718be8SEnji Cooper 									\
31457718be8SEnji Cooper 		if (strcmp(MACHINE, "macppc") == 0)			\
31557718be8SEnji Cooper 			atf_tc_expect_fail("PR port-macppc/46319");	\
31657718be8SEnji Cooper 									\
31757718be8SEnji Cooper 		if (isQEMU())						\
31857718be8SEnji Cooper 			atf_tc_expect_fail("PR misc/44767");		\
31957718be8SEnji Cooper 									\
32057718be8SEnji Cooper 		m(t##_ops);						\
32157718be8SEnji Cooper 	}
32257718be8SEnji Cooper 
32357718be8SEnji Cooper TEST(fpsetmask_masked, float)
32457718be8SEnji Cooper TEST(fpsetmask_masked, double)
32557718be8SEnji Cooper TEST(fpsetmask_masked, long_double)
32657718be8SEnji Cooper TEST(fpsetmask_unmasked, float)
32757718be8SEnji Cooper TEST(fpsetmask_unmasked, double)
32857718be8SEnji Cooper TEST(fpsetmask_unmasked, long_double)
32957718be8SEnji Cooper 
33057718be8SEnji Cooper ATF_TC(fpsetmask_basic);
ATF_TC_HEAD(fpsetmask_basic,tc)33157718be8SEnji Cooper ATF_TC_HEAD(fpsetmask_basic, tc)
33257718be8SEnji Cooper {
33357718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "A basic test of fpsetmask(3)");
33457718be8SEnji Cooper }
33557718be8SEnji Cooper 
ATF_TC_BODY(fpsetmask_basic,tc)33657718be8SEnji Cooper ATF_TC_BODY(fpsetmask_basic, tc)
33757718be8SEnji Cooper {
33857718be8SEnji Cooper 	size_t i;
33957718be8SEnji Cooper 	fp_except_t msk, lst[] = { FP_X_INV, FP_X_DZ, FP_X_OFL, FP_X_UFL };
34057718be8SEnji Cooper 
34157718be8SEnji Cooper 	FPU_PREREQ();
34257718be8SEnji Cooper 
34357718be8SEnji Cooper 	msk = fpgetmask();
34457718be8SEnji Cooper 	for (i = 0; i < __arraycount(lst); i++) {
34557718be8SEnji Cooper 		fpsetmask(msk | lst[i]);
34657718be8SEnji Cooper 		ATF_CHECK((fpgetmask() & lst[i]) != 0);
34757718be8SEnji Cooper 		fpsetmask(msk & ~lst[i]);
34857718be8SEnji Cooper 		ATF_CHECK((fpgetmask() & lst[i]) == 0);
34957718be8SEnji Cooper 	}
35057718be8SEnji Cooper 
35157718be8SEnji Cooper }
35257718be8SEnji Cooper 
35357718be8SEnji Cooper #endif /* defined(_FLOAT_IEEE754) */
35457718be8SEnji Cooper 
ATF_TP_ADD_TCS(tp)355 ATF_TP_ADD_TCS(tp)
356 {
357 
358 #ifndef _FLOAT_IEEE754
359 	ATF_TP_ADD_TC(tp, no_test);
360 #else
361 	ATF_TP_ADD_TC(tp, fpsetmask_basic);
362 	ATF_TP_ADD_TC(tp, fpsetmask_masked_float);
363 	ATF_TP_ADD_TC(tp, fpsetmask_masked_double);
364 	ATF_TP_ADD_TC(tp, fpsetmask_masked_long_double);
365 	ATF_TP_ADD_TC(tp, fpsetmask_unmasked_float);
366 	ATF_TP_ADD_TC(tp, fpsetmask_unmasked_double);
367 	ATF_TP_ADD_TC(tp, fpsetmask_unmasked_long_double);
368 #endif
369 
370 	return atf_no_error();
371 }
372