t_fpsetmask.c revision 272343
1272343Sngie/* $NetBSD: t_fpsetmask.c,v 1.13 2014/02/09 21:26:07 jmmv Exp $ */ 2272343Sngie 3272343Sngie/*- 4272343Sngie * Copyright (c) 1995 The NetBSD Foundation, Inc. 5272343Sngie * All rights reserved. 6272343Sngie * 7272343Sngie * Redistribution and use in source and binary forms, with or without 8272343Sngie * modification, are permitted provided that the following conditions 9272343Sngie * are met: 10272343Sngie * 1. Redistributions of source code must retain the above copyright 11272343Sngie * notice, this list of conditions and the following disclaimer. 12272343Sngie * 2. Redistributions in binary form must reproduce the above copyright 13272343Sngie * notice, this list of conditions and the following disclaimer in the 14272343Sngie * documentation and/or other materials provided with the distribution. 15272343Sngie * 16272343Sngie * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 17272343Sngie * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 18272343Sngie * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 19272343Sngie * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 20272343Sngie * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 21272343Sngie * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 22272343Sngie * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 23272343Sngie * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 24272343Sngie * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 25272343Sngie * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 26272343Sngie * POSSIBILITY OF SUCH DAMAGE. 27272343Sngie */ 28272343Sngie 29272343Sngie#include <sys/param.h> 30272343Sngie 31272343Sngie#include <atf-c.h> 32272343Sngie#include <atf-c/config.h> 33272343Sngie 34272343Sngie#include <stdio.h> 35272343Sngie#include <signal.h> 36272343Sngie#include <float.h> 37272343Sngie#include <setjmp.h> 38272343Sngie#include <stdlib.h> 39272343Sngie#include <string.h> 40272343Sngie 41272343Sngie#include "isqemu.h" 42272343Sngie 43272343Sngie#ifndef _FLOAT_IEEE754 44272343Sngie 45272343SngieATF_TC(no_test); 46272343SngieATF_TC_HEAD(no_test, tc) 47272343Sngie{ 48272343Sngie 49272343Sngie atf_tc_set_md_var(tc, "descr", "Dummy test case"); 50272343Sngie} 51272343Sngie 52272343SngieATF_TC_BODY(no_test, tc) 53272343Sngie{ 54272343Sngie 55272343Sngie atf_tc_skip("Test not available on this architecture."); 56272343Sngie} 57272343Sngie 58272343Sngie#else /* defined(_FLOAT_IEEE754) */ 59272343Sngie 60272343Sngie#include <ieeefp.h> 61272343Sngie 62272343Sngieconst char *skip_mesg; 63272343Sngieconst char *skip_arch; 64272343Sngie 65272343Sngievoid sigfpe(int, siginfo_t *, void *); 66272343Sngie 67272343Sngievolatile sig_atomic_t signal_caught; 68272343Sngievolatile int sicode; 69272343Sngie 70272343Sngiestatic volatile const float f_one = 1.0; 71272343Sngiestatic volatile const float f_zero = 0.0; 72272343Sngiestatic volatile const double d_one = 1.0; 73272343Sngiestatic volatile const double d_zero = 0.0; 74272343Sngiestatic volatile const long double ld_one = 1.0; 75272343Sngiestatic volatile const long double ld_zero = 0.0; 76272343Sngie 77272343Sngiestatic volatile const float f_huge = FLT_MAX; 78272343Sngiestatic volatile const float f_tiny = FLT_MIN; 79272343Sngiestatic volatile const double d_huge = DBL_MAX; 80272343Sngiestatic volatile const double d_tiny = DBL_MIN; 81272343Sngiestatic volatile const long double ld_huge = LDBL_MAX; 82272343Sngiestatic volatile const long double ld_tiny = LDBL_MIN; 83272343Sngie 84272343Sngiestatic volatile float f_x; 85272343Sngiestatic volatile double d_x; 86272343Sngiestatic volatile long double ld_x; 87272343Sngie 88272343Sngie/* trip divide by zero */ 89272343Sngiestatic void 90272343Sngief_dz(void) 91272343Sngie{ 92272343Sngie 93272343Sngie f_x = f_one / f_zero; 94272343Sngie} 95272343Sngie 96272343Sngiestatic void 97272343Sngied_dz(void) 98272343Sngie{ 99272343Sngie 100272343Sngie d_x = d_one / d_zero; 101272343Sngie} 102272343Sngie 103272343Sngiestatic void 104272343Sngield_dz(void) 105272343Sngie{ 106272343Sngie 107272343Sngie ld_x = ld_one / ld_zero; 108272343Sngie} 109272343Sngie 110272343Sngie/* trip invalid operation */ 111272343Sngiestatic void 112272343Sngied_inv(void) 113272343Sngie{ 114272343Sngie 115272343Sngie d_x = d_zero / d_zero; 116272343Sngie} 117272343Sngie 118272343Sngiestatic void 119272343Sngield_inv(void) 120272343Sngie{ 121272343Sngie 122272343Sngie ld_x = ld_zero / ld_zero; 123272343Sngie} 124272343Sngie 125272343Sngiestatic void 126272343Sngief_inv(void) 127272343Sngie{ 128272343Sngie 129272343Sngie f_x = f_zero / f_zero; 130272343Sngie} 131272343Sngie 132272343Sngie/* trip overflow */ 133272343Sngiestatic void 134272343Sngief_ofl(void) 135272343Sngie{ 136272343Sngie 137272343Sngie f_x = f_huge * f_huge; 138272343Sngie} 139272343Sngie 140272343Sngiestatic void 141272343Sngied_ofl(void) 142272343Sngie{ 143272343Sngie 144272343Sngie d_x = d_huge * d_huge; 145272343Sngie} 146272343Sngie 147272343Sngiestatic void 148272343Sngield_ofl(void) 149272343Sngie{ 150272343Sngie 151272343Sngie ld_x = ld_huge * ld_huge; 152272343Sngie} 153272343Sngie 154272343Sngie/* trip underflow */ 155272343Sngiestatic void 156272343Sngief_ufl(void) 157272343Sngie{ 158272343Sngie 159272343Sngie f_x = f_tiny * f_tiny; 160272343Sngie} 161272343Sngie 162272343Sngiestatic void 163272343Sngied_ufl(void) 164272343Sngie{ 165272343Sngie 166272343Sngie d_x = d_tiny * d_tiny; 167272343Sngie} 168272343Sngie 169272343Sngiestatic void 170272343Sngield_ufl(void) 171272343Sngie{ 172272343Sngie 173272343Sngie ld_x = ld_tiny * ld_tiny; 174272343Sngie} 175272343Sngie 176272343Sngiestruct ops { 177272343Sngie void (*op)(void); 178272343Sngie fp_except mask; 179272343Sngie int sicode; 180272343Sngie}; 181272343Sngie 182272343Sngiestatic const struct ops float_ops[] = { 183272343Sngie { f_dz, FP_X_DZ, FPE_FLTDIV }, 184272343Sngie { f_inv, FP_X_INV, FPE_FLTINV }, 185272343Sngie { f_ofl, FP_X_OFL, FPE_FLTOVF }, 186272343Sngie { f_ufl, FP_X_UFL, FPE_FLTUND }, 187272343Sngie { NULL, 0, 0 } 188272343Sngie}; 189272343Sngie 190272343Sngiestatic const struct ops double_ops[] = { 191272343Sngie { d_dz, FP_X_DZ, FPE_FLTDIV }, 192272343Sngie { d_inv, FP_X_INV, FPE_FLTINV }, 193272343Sngie { d_ofl, FP_X_OFL, FPE_FLTOVF }, 194272343Sngie { d_ufl, FP_X_UFL, FPE_FLTUND }, 195272343Sngie { NULL, 0, 0 } 196272343Sngie}; 197272343Sngie 198272343Sngiestatic const struct ops long_double_ops[] = { 199272343Sngie { ld_dz, FP_X_DZ, FPE_FLTDIV }, 200272343Sngie { ld_inv, FP_X_INV, FPE_FLTINV }, 201272343Sngie { ld_ofl, FP_X_OFL, FPE_FLTOVF }, 202272343Sngie { ld_ufl, FP_X_UFL, FPE_FLTUND }, 203272343Sngie { NULL, 0, 0 } 204272343Sngie}; 205272343Sngie 206272343Sngiestatic sigjmp_buf b; 207272343Sngie 208272343Sngiestatic void 209272343Sngiefpsetmask_masked(const struct ops *test_ops) 210272343Sngie{ 211272343Sngie struct sigaction sa; 212272343Sngie fp_except ex1, ex2; 213272343Sngie const struct ops *t; 214272343Sngie 215272343Sngie /* mask all exceptions, clear history */ 216272343Sngie fpsetmask(0); 217272343Sngie fpsetsticky(0); 218272343Sngie 219272343Sngie /* set up signal handler */ 220272343Sngie sa.sa_sigaction = sigfpe; 221272343Sngie sigemptyset(&sa.sa_mask); 222272343Sngie sa.sa_flags = SA_SIGINFO; 223272343Sngie sigaction(SIGFPE, &sa, 0); 224272343Sngie signal_caught = 0; 225272343Sngie 226272343Sngie /* 227272343Sngie * exceptions masked, check whether "sticky" bits are set correctly 228272343Sngie */ 229272343Sngie for (t = test_ops; t->op != NULL; t++) { 230272343Sngie (*t->op)(); 231272343Sngie ex1 = fpgetsticky(); 232272343Sngie ATF_CHECK_EQ(ex1 & t->mask, t->mask); 233272343Sngie ATF_CHECK_EQ(signal_caught, 0); 234272343Sngie 235272343Sngie /* check correct fpsetsticky() behaviour */ 236272343Sngie ex2 = fpsetsticky(0); 237272343Sngie ATF_CHECK_EQ(fpgetsticky(), 0); 238272343Sngie ATF_CHECK_EQ(ex1, ex2); 239272343Sngie } 240272343Sngie} 241272343Sngie 242272343Sngie/* force delayed exceptions to be delivered */ 243272343Sngie#define BARRIER() fpsetmask(0); f_x = f_one * f_one 244272343Sngie 245272343Sngiestatic void 246272343Sngiefpsetmask_unmasked(const struct ops *test_ops) 247272343Sngie{ 248272343Sngie struct sigaction sa; 249272343Sngie int r; 250272343Sngie const struct ops *volatile t; 251272343Sngie 252272343Sngie /* mask all exceptions, clear history */ 253272343Sngie fpsetmask(0); 254272343Sngie fpsetsticky(0); 255272343Sngie 256272343Sngie /* set up signal handler */ 257272343Sngie sa.sa_sigaction = sigfpe; 258272343Sngie sigemptyset(&sa.sa_mask); 259272343Sngie sa.sa_flags = SA_SIGINFO; 260272343Sngie sigaction(SIGFPE, &sa, 0); 261272343Sngie signal_caught = 0; 262272343Sngie 263272343Sngie /* 264272343Sngie * exception unmasked, check SIGFPE delivery and correct siginfo 265272343Sngie */ 266272343Sngie for (t = test_ops; t->op != NULL; t++) { 267272343Sngie fpsetmask(t->mask); 268272343Sngie r = sigsetjmp(b, 1); 269272343Sngie if (!r) { 270272343Sngie (*t->op)(); 271272343Sngie BARRIER(); 272272343Sngie } 273272343Sngie ATF_CHECK_EQ(signal_caught, 1); 274272343Sngie ATF_CHECK_EQ(sicode, t->sicode); 275272343Sngie signal_caught = 0; 276272343Sngie } 277272343Sngie} 278272343Sngie 279272343Sngievoid 280272343Sngiesigfpe(int s, siginfo_t *si, void *c) 281272343Sngie{ 282272343Sngie signal_caught = 1; 283272343Sngie sicode = si->si_code; 284272343Sngie siglongjmp(b, 1); 285272343Sngie} 286272343Sngie 287272343Sngie#define TEST(m, t) \ 288272343Sngie ATF_TC(m##_##t); \ 289272343Sngie \ 290272343Sngie ATF_TC_HEAD(m##_##t, tc) \ 291272343Sngie { \ 292272343Sngie \ 293272343Sngie atf_tc_set_md_var(tc, "descr", \ 294272343Sngie "Test " ___STRING(m) " exceptions for " \ 295272343Sngie ___STRING(t) "values"); \ 296272343Sngie } \ 297272343Sngie \ 298272343Sngie ATF_TC_BODY(m##_##t, tc) \ 299272343Sngie { \ 300272343Sngie if (strcmp(MACHINE, "macppc") == 0) \ 301272343Sngie atf_tc_expect_fail("PR port-macppc/46319"); \ 302272343Sngie \ 303272343Sngie if (isQEMU()) \ 304272343Sngie atf_tc_expect_fail("PR misc/44767"); \ 305272343Sngie \ 306272343Sngie m(t##_ops); \ 307272343Sngie } 308272343Sngie 309272343SngieTEST(fpsetmask_masked, float) 310272343SngieTEST(fpsetmask_masked, double) 311272343SngieTEST(fpsetmask_masked, long_double) 312272343SngieTEST(fpsetmask_unmasked, float) 313272343SngieTEST(fpsetmask_unmasked, double) 314272343SngieTEST(fpsetmask_unmasked, long_double) 315272343Sngie 316272343SngieATF_TC(fpsetmask_basic); 317272343SngieATF_TC_HEAD(fpsetmask_basic, tc) 318272343Sngie{ 319272343Sngie atf_tc_set_md_var(tc, "descr", "A basic test of fpsetmask(3)"); 320272343Sngie} 321272343Sngie 322272343SngieATF_TC_BODY(fpsetmask_basic, tc) 323272343Sngie{ 324272343Sngie size_t i; 325272343Sngie fp_except_t msk, lst[] = { FP_X_INV, FP_X_DZ, FP_X_OFL, FP_X_UFL }; 326272343Sngie 327272343Sngie msk = fpgetmask(); 328272343Sngie for (i = 0; i < __arraycount(lst); i++) { 329272343Sngie fpsetmask(msk | lst[i]); 330272343Sngie ATF_CHECK((fpgetmask() & lst[i]) != 0); 331272343Sngie fpsetmask(msk & lst[i]); 332272343Sngie ATF_CHECK((fpgetmask() & lst[i]) == 0); 333272343Sngie } 334272343Sngie 335272343Sngie} 336272343Sngie 337272343Sngie#endif /* defined(_FLOAT_IEEE754) */ 338272343Sngie 339272343SngieATF_TP_ADD_TCS(tp) 340272343Sngie{ 341272343Sngie 342272343Sngie#ifndef _FLOAT_IEEE754 343272343Sngie ATF_TP_ADD_TC(tp, no_test); 344272343Sngie#else 345272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_basic); 346272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_masked_float); 347272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_masked_double); 348272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_masked_long_double); 349272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_unmasked_float); 350272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_unmasked_double); 351272343Sngie ATF_TP_ADD_TC(tp, fpsetmask_unmasked_long_double); 352272343Sngie#endif 353272343Sngie 354272343Sngie return atf_no_error(); 355272343Sngie} 356