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