Home | History | Annotate | Line # | Download | only in gen
t_fpsetmask.c revision 1.20
      1 /*	$NetBSD: t_fpsetmask.c,v 1.20 2019/04/25 20:48:54 kamil Exp $ */
      2 
      3 /*-
      4  * Copyright (c) 1995 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * Redistribution and use in source and binary forms, with or without
      8  * modification, are permitted provided that the following conditions
      9  * are met:
     10  * 1. Redistributions of source code must retain the above copyright
     11  *    notice, this list of conditions and the following disclaimer.
     12  * 2. Redistributions in binary form must reproduce the above copyright
     13  *    notice, this list of conditions and the following disclaimer in the
     14  *    documentation and/or other materials provided with the distribution.
     15  *
     16  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  * POSSIBILITY OF SUCH DAMAGE.
     27  */
     28 
     29 #include <sys/param.h>
     30 
     31 #include <atf-c.h>
     32 
     33 #include <stdio.h>
     34 #include <signal.h>
     35 #include <float.h>
     36 #include <setjmp.h>
     37 #include <stdlib.h>
     38 #include <string.h>
     39 
     40 #include "isqemu.h"
     41 
     42 #ifndef _FLOAT_IEEE754
     43 
     44 ATF_TC(no_test);
     45 ATF_TC_HEAD(no_test, tc)
     46 {
     47 
     48 	atf_tc_set_md_var(tc, "descr", "Dummy test case");
     49 }
     50 
     51 ATF_TC_BODY(no_test, tc)
     52 {
     53 
     54 	atf_tc_skip("Test not available on this architecture.");
     55 }
     56 
     57 #else /* defined(_FLOAT_IEEE754) */
     58 
     59 #include <ieeefp.h>
     60 
     61 #if (__arm__ && !__SOFTFP__) || __aarch64__
     62 	/*
     63 	 * Some NEON fpus do not trap on IEEE 754 FP exceptions.
     64 	 * skip these tests if running on them and compiled for
     65 	 * hard float.
     66 	 */
     67 #define	FPU_PREREQ()							\
     68 	if (0 == fpsetmask(fpsetmask(FP_X_INV)))			\
     69 		atf_tc_skip("FPU does not implement traps on FP exceptions");
     70 #endif
     71 
     72 #ifndef FPU_PREREQ
     73 #define	FPU_PREREQ()	/* nothing */
     74 #endif
     75 
     76 void		sigfpe(int, siginfo_t *, void *);
     77 
     78 volatile sig_atomic_t signal_caught;
     79 volatile int sicode;
     80 
     81 static volatile const float	f_one   = 1.0;
     82 static volatile const float	f_zero  = 0.0;
     83 static volatile const double	d_one   = 1.0;
     84 static volatile const double	d_zero  = 0.0;
     85 static volatile const long double ld_one  = 1.0;
     86 static volatile const long double ld_zero = 0.0;
     87 
     88 static volatile const float	f_huge = FLT_MAX;
     89 static volatile const float	f_tiny = FLT_MIN;
     90 static volatile const double	d_huge = DBL_MAX;
     91 static volatile const double	d_tiny = DBL_MIN;
     92 static volatile const long double ld_huge = LDBL_MAX;
     93 static volatile const long double ld_tiny = LDBL_MIN;
     94 
     95 static volatile float f_x;
     96 static volatile double d_x;
     97 static volatile long double ld_x;
     98 
     99 /* trip divide by zero */
    100 static void
    101 f_dz(void)
    102 {
    103 
    104 	f_x = f_one / f_zero;
    105 }
    106 
    107 static void
    108 d_dz(void)
    109 {
    110 
    111 	d_x = d_one / d_zero;
    112 }
    113 
    114 static void
    115 ld_dz(void)
    116 {
    117 
    118 	ld_x = ld_one / ld_zero;
    119 }
    120 
    121 /* trip invalid operation */
    122 static void
    123 d_inv(void)
    124 {
    125 
    126 	d_x = d_zero / d_zero;
    127 }
    128 
    129 static void
    130 ld_inv(void)
    131 {
    132 
    133 	ld_x = ld_zero / ld_zero;
    134 }
    135 
    136 static void
    137 f_inv(void)
    138 {
    139 
    140 	f_x = f_zero / f_zero;
    141 }
    142 
    143 /* trip overflow */
    144 static void
    145 f_ofl(void)
    146 {
    147 
    148 	f_x = f_huge * f_huge;
    149 }
    150 
    151 static void
    152 d_ofl(void)
    153 {
    154 
    155 	d_x = d_huge * d_huge;
    156 }
    157 
    158 static void
    159 ld_ofl(void)
    160 {
    161 
    162 	ld_x = ld_huge * ld_huge;
    163 }
    164 
    165 /* trip underflow */
    166 static void
    167 f_ufl(void)
    168 {
    169 
    170 	f_x = f_tiny * f_tiny;
    171 }
    172 
    173 static void
    174 d_ufl(void)
    175 {
    176 
    177 	d_x = d_tiny * d_tiny;
    178 }
    179 
    180 static void
    181 ld_ufl(void)
    182 {
    183 
    184 	ld_x = ld_tiny * ld_tiny;
    185 }
    186 
    187 struct ops {
    188 	void (*op)(void);
    189 	fp_except mask;
    190 	int sicode;
    191 };
    192 
    193 static const struct ops float_ops[] = {
    194 	{ f_dz, FP_X_DZ, FPE_FLTDIV },
    195 	{ f_inv, FP_X_INV, FPE_FLTINV },
    196 	{ f_ofl, FP_X_OFL, FPE_FLTOVF },
    197 	{ f_ufl, FP_X_UFL, FPE_FLTUND },
    198 	{ NULL, 0, 0 }
    199 };
    200 
    201 static const struct ops double_ops[] = {
    202 	{ d_dz, FP_X_DZ, FPE_FLTDIV },
    203 	{ d_inv, FP_X_INV, FPE_FLTINV },
    204 	{ d_ofl, FP_X_OFL, FPE_FLTOVF },
    205 	{ d_ufl, FP_X_UFL, FPE_FLTUND },
    206 	{ NULL, 0, 0 }
    207 };
    208 
    209 static const struct ops long_double_ops[] = {
    210 	{ ld_dz, FP_X_DZ, FPE_FLTDIV },
    211 	{ ld_inv, FP_X_INV, FPE_FLTINV },
    212 	{ ld_ofl, FP_X_OFL, FPE_FLTOVF },
    213 	{ ld_ufl, FP_X_UFL, FPE_FLTUND },
    214 	{ NULL, 0, 0 }
    215 };
    216 
    217 static sigjmp_buf b;
    218 
    219 static void
    220 fpsetmask_masked(const struct ops *test_ops)
    221 {
    222 	struct sigaction sa;
    223 	fp_except ex1, ex2;
    224 	const struct ops *t;
    225 
    226 	/* mask all exceptions, clear history */
    227 	fpsetmask(0);
    228 	fpsetsticky(0);
    229 
    230 	/* set up signal handler */
    231 	sa.sa_sigaction = sigfpe;
    232 	sigemptyset(&sa.sa_mask);
    233 	sa.sa_flags = SA_SIGINFO;
    234 	sigaction(SIGFPE, &sa, 0);
    235 	signal_caught = 0;
    236 
    237 	/*
    238 	 * exceptions masked, check whether "sticky" bits are set correctly
    239 	 */
    240 	for (t = test_ops; t->op != NULL; t++) {
    241 		(*t->op)();
    242 		ex1 = fpgetsticky();
    243 		ATF_CHECK_EQ(ex1 & t->mask, t->mask);
    244 		ATF_CHECK_EQ(signal_caught, 0);
    245 
    246 		/* check correct fpsetsticky() behaviour */
    247 		ex2 = fpsetsticky(0);
    248 		ATF_CHECK_EQ(fpgetsticky(), 0);
    249 		ATF_CHECK_EQ(ex1, ex2);
    250 	}
    251 }
    252 
    253 /* force delayed exceptions to be delivered */
    254 #define BARRIER() fpsetmask(0); f_x = f_one * f_one
    255 
    256 static void
    257 fpsetmask_unmasked(const struct ops *test_ops)
    258 {
    259 	struct sigaction sa;
    260 	int r;
    261 	const struct ops *volatile t;
    262 
    263 	/* mask all exceptions, clear history */
    264 	fpsetmask(0);
    265 	fpsetsticky(0);
    266 
    267 	/* set up signal handler */
    268 	sa.sa_sigaction = sigfpe;
    269 	sigemptyset(&sa.sa_mask);
    270 	sa.sa_flags = SA_SIGINFO;
    271 	sigaction(SIGFPE, &sa, 0);
    272 	signal_caught = 0;
    273 
    274 	/*
    275 	 * exception unmasked, check SIGFPE delivery and correct siginfo
    276 	 */
    277 	for (t = test_ops; t->op != NULL; t++) {
    278 		fpsetmask(t->mask);
    279 		r = sigsetjmp(b, 1);
    280 		if (!r) {
    281 			(*t->op)();
    282 			BARRIER();
    283 		}
    284 		ATF_CHECK_EQ(signal_caught, 1);
    285 		ATF_CHECK_EQ(sicode, t->sicode);
    286 		signal_caught = 0;
    287 	}
    288 }
    289 
    290 void
    291 sigfpe(int s, siginfo_t *si, void *c)
    292 {
    293 	signal_caught = 1;
    294 	sicode = si->si_code;
    295 	siglongjmp(b, 1);
    296 }
    297 
    298 #define TEST(m, t)							\
    299 	ATF_TC(m##_##t);						\
    300 									\
    301 	ATF_TC_HEAD(m##_##t, tc)					\
    302 	{								\
    303 									\
    304 		atf_tc_set_md_var(tc, "descr",				\
    305 		    "Test " ___STRING(m) " exceptions for "		\
    306 		    ___STRING(t) "values");				\
    307 	}								\
    308 									\
    309 	ATF_TC_BODY(m##_##t, tc)					\
    310 	{								\
    311 									\
    312 		FPU_PREREQ();						\
    313 									\
    314 		if (isQEMU())						\
    315 			atf_tc_expect_fail("PR misc/44767");		\
    316 									\
    317 		m(t##_ops);						\
    318 	}
    319 
    320 TEST(fpsetmask_masked, float)
    321 TEST(fpsetmask_masked, double)
    322 TEST(fpsetmask_masked, long_double)
    323 TEST(fpsetmask_unmasked, float)
    324 TEST(fpsetmask_unmasked, double)
    325 TEST(fpsetmask_unmasked, long_double)
    326 
    327 ATF_TC(fpsetmask_basic);
    328 ATF_TC_HEAD(fpsetmask_basic, tc)
    329 {
    330 	atf_tc_set_md_var(tc, "descr", "A basic test of fpsetmask(3)");
    331 }
    332 
    333 ATF_TC_BODY(fpsetmask_basic, tc)
    334 {
    335 	size_t i;
    336 	fp_except_t msk, lst[] = { FP_X_INV, FP_X_DZ, FP_X_OFL, FP_X_UFL };
    337 
    338 	FPU_PREREQ();
    339 
    340 	msk = fpgetmask();
    341 	for (i = 0; i < __arraycount(lst); i++) {
    342 		fpsetmask(msk | lst[i]);
    343 		ATF_CHECK((fpgetmask() & lst[i]) != 0);
    344 		fpsetmask(msk & ~lst[i]);
    345 		ATF_CHECK((fpgetmask() & lst[i]) == 0);
    346 	}
    347 
    348 }
    349 
    350 #endif /* defined(_FLOAT_IEEE754) */
    351 
    352 ATF_TP_ADD_TCS(tp)
    353 {
    354 
    355 #ifndef _FLOAT_IEEE754
    356 	ATF_TP_ADD_TC(tp, no_test);
    357 #else
    358 	ATF_TP_ADD_TC(tp, fpsetmask_basic);
    359 	ATF_TP_ADD_TC(tp, fpsetmask_masked_float);
    360 	ATF_TP_ADD_TC(tp, fpsetmask_masked_double);
    361 	ATF_TP_ADD_TC(tp, fpsetmask_masked_long_double);
    362 	ATF_TP_ADD_TC(tp, fpsetmask_unmasked_float);
    363 	ATF_TP_ADD_TC(tp, fpsetmask_unmasked_double);
    364 	ATF_TP_ADD_TC(tp, fpsetmask_unmasked_long_double);
    365 #endif
    366 
    367 	return atf_no_error();
    368 }
    369