1 /* $NetBSD: t_infinity.c,v 1.5 2011/07/08 05:10:05 jruoho Exp $ */ 2 3 /*- 4 * Copyright (c) 2002, 2008 The NetBSD Foundation, Inc. 5 * All rights reserved. 6 * 7 * This code is derived from software contributed to The NetBSD Foundation 8 * by Martin Husemann <martin@NetBSD.org>. 9 * 10 * Redistribution and use in source and binary forms, with or without 11 * modification, are permitted provided that the following conditions 12 * are met: 13 * 1. Redistributions of source code must retain the above copyright 14 * notice, this list of conditions and the following disclaimer. 15 * 2. Redistributions in binary form must reproduce the above copyright 16 * notice, this list of conditions and the following disclaimer in the 17 * documentation and/or other materials provided with the distribution. 18 * 19 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 * POSSIBILITY OF SUCH DAMAGE. 30 */ 31 #include <sys/cdefs.h> 32 __RCSID("$NetBSD: t_infinity.c,v 1.5 2011/07/08 05:10:05 jruoho Exp $"); 33 34 #include <atf-c.h> 35 #include <math.h> 36 #include <float.h> 37 #include <stdlib.h> 38 39 ATF_TC(infinity_float); 40 ATF_TC_HEAD(infinity_float, tc) 41 { 42 atf_tc_set_md_var(tc, "descr", 43 "check FPU generated infinite float values"); 44 } 45 46 ATF_TC_BODY(infinity_float, tc) 47 { 48 float v; 49 50 v = FLT_MAX; 51 v *= v; 52 ATF_REQUIRE(isinf(v)); 53 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); 54 55 v = -FLT_MAX; 56 v *= v; 57 ATF_REQUIRE(isinf(v)); 58 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); 59 } 60 61 ATF_TC(infinity_double); 62 ATF_TC_HEAD(infinity_double, tc) 63 { 64 atf_tc_set_md_var(tc, "descr", 65 "check FPU generated infinite double values"); 66 } 67 68 ATF_TC_BODY(infinity_double, tc) 69 { 70 double v; 71 72 v = DBL_MAX; 73 v *= v; 74 ATF_REQUIRE(isinf(v)); 75 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); 76 77 v = -DBL_MAX; 78 v *= v; 79 ATF_REQUIRE(isinf(v)); 80 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); 81 } 82 83 ATF_TC(infinity_long_double); 84 ATF_TC_HEAD(infinity_long_double, tc) 85 { 86 atf_tc_set_md_var(tc, "descr", 87 "check FPU generated infinite long double values"); 88 } 89 90 ATF_TC_BODY(infinity_long_double, tc) 91 { 92 /* 93 * May fail under QEMU; cf. PR misc/44767. 94 */ 95 if (system("cpuctl identify 0 | grep -q QEMU") == 0) 96 atf_tc_expect_fail("PR misc/44767"); 97 98 #ifndef LDBL_MAX 99 atf_tc_skip("no long double support on this architecture"); 100 return; 101 #else 102 long double v; 103 104 v = LDBL_MAX; 105 v *= v; 106 ATF_REQUIRE(isinf(v)); 107 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); 108 109 v = -LDBL_MAX; 110 v *= v; 111 ATF_REQUIRE(isinf(v)); 112 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); 113 #endif 114 } 115 116 ATF_TP_ADD_TCS(tp) 117 { 118 119 ATF_TP_ADD_TC(tp, infinity_float); 120 ATF_TP_ADD_TC(tp, infinity_double); 121 ATF_TP_ADD_TC(tp, infinity_long_double); 122 123 return atf_no_error(); 124 } 125