xref: /freebsd/contrib/netbsd-tests/lib/libm/t_precision.c (revision 66152388f6d01874608716097ee9f03f77f862ec)
1068ebf32SEnji Cooper /* $NetBSD: t_precision.c,v 1.2 2014/11/04 00:20:19 justin Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2013 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code is derived from software contributed to The NetBSD Foundation
857718be8SEnji Cooper  * by Joerg Sonnenberger.
957718be8SEnji Cooper  *
1057718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1157718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1257718be8SEnji Cooper  * are met:
1357718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1457718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1557718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1657718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1757718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1857718be8SEnji Cooper  *
1957718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2057718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2157718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2257718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2357718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2457718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2557718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2657718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2757718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2857718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2957718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
3057718be8SEnji Cooper  */
3157718be8SEnji Cooper #include <sys/cdefs.h>
32068ebf32SEnji Cooper __RCSID("$NetBSD: t_precision.c,v 1.2 2014/11/04 00:20:19 justin Exp $");
3357718be8SEnji Cooper 
3457718be8SEnji Cooper #include <atf-c.h>
3557718be8SEnji Cooper 
3657718be8SEnji Cooper #include <float.h>
3757718be8SEnji Cooper #include <stdlib.h>
3857718be8SEnji Cooper 
3957718be8SEnji Cooper ATF_TC(t_precision);
4057718be8SEnji Cooper 
4157718be8SEnji Cooper ATF_TC_HEAD(t_precision, tc)
4257718be8SEnji Cooper {
4357718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr",
4457718be8SEnji Cooper 	    "Basic precision test for double and long double");
4557718be8SEnji Cooper }
4657718be8SEnji Cooper 
4757718be8SEnji Cooper volatile double x = 1;
4857718be8SEnji Cooper volatile long double y = 1;
4957718be8SEnji Cooper 
5057718be8SEnji Cooper ATF_TC_BODY(t_precision, tc)
5157718be8SEnji Cooper {
5257718be8SEnji Cooper 	x += DBL_EPSILON;
5357718be8SEnji Cooper 	ATF_CHECK(x != 1.0);
5457718be8SEnji Cooper 	x -= 1;
5557718be8SEnji Cooper 	ATF_CHECK(x == DBL_EPSILON);
5657718be8SEnji Cooper 
5757718be8SEnji Cooper 	x = 2;
5857718be8SEnji Cooper 	x += DBL_EPSILON;
5957718be8SEnji Cooper 	ATF_CHECK(x == 2.0);
6057718be8SEnji Cooper 
61*66152388SEnji Cooper #if !defined(__FreeBSD__) || !defined(__i386__)
6257718be8SEnji Cooper 	y += LDBL_EPSILON;
6357718be8SEnji Cooper 	ATF_CHECK(y != 1.0L);
6457718be8SEnji Cooper 	y -= 1;
6557718be8SEnji Cooper 	ATF_CHECK(y == LDBL_EPSILON);
6657718be8SEnji Cooper 	y = 2;
6757718be8SEnji Cooper 	y += LDBL_EPSILON;
6857718be8SEnji Cooper 	ATF_CHECK(y == 2.0L);
69*66152388SEnji Cooper #endif
7057718be8SEnji Cooper }
7157718be8SEnji Cooper 
7257718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
7357718be8SEnji Cooper {
7457718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, t_precision);
7557718be8SEnji Cooper 
7657718be8SEnji Cooper 	return atf_no_error();
7757718be8SEnji Cooper }
78