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