contrib/netbsd-tests/lib/libm/t_infinity.c

   1 /* $NetBSD: t_infinity.c,v 1.6 2012/09/26 07:24:38 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.6 2012/09/26 07:24:38 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 #ifndef LDBL_MAX
  94         atf_tc_skip("no long double support on this architecture");
  95         return;
  96 #else
  97         long double v;
  98
  99         v = LDBL_MAX;
 100         v *= v;
 101         ATF_REQUIRE(isinf(v));
 102         ATF_REQUIRE(fpclassify(v) == FP_INFINITE);
 103
 104         v = -LDBL_MAX;
 105         v *= v;
 106         ATF_REQUIRE(isinf(v));
 107         ATF_REQUIRE(fpclassify(v) == FP_INFINITE);
 108 #endif
 109 }
 110
 111 ATF_TP_ADD_TCS(tp)
 112 {
 113
 114         ATF_TP_ADD_TC(tp, infinity_float);
 115         ATF_TP_ADD_TC(tp, infinity_double);
 116         ATF_TP_ADD_TC(tp, infinity_long_double);
 117
 118         return atf_no_error();
 119 }