tests/lib/libc/t_convfp.c

   1 /*      $NetBSD: t_convfp.c,v 1.7 2011/06/14 11:58:22 njoly Exp $       */
   2
   3 /*-
   4  * Copyright (c) 2003 The NetBSD Foundation, Inc.
   5  * All rights reserved.
   6  *
   7  * Redistribution and use in source and binary forms, with or without
   8  * modification, are permitted provided that the following conditions
   9  * are met:
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice, this list of conditions and the following disclaimer.
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  *
  16  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
  17  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
  18  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  19  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
  20  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  21  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  22  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  23  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
  24  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  25  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  26  * POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 #include <atf-c.h>
  30
  31 #include <limits.h>
  32 #include <stdio.h>
  33 #include <stdlib.h>
  34
  35 /*
  36  * This value is representable as an unsigned int, but not as an int.
  37  * According to ISO C it must survive the convsion back from a double
  38  * to an unsigned int (everything > -1 and < UINT_MAX+1 has to)
  39  */
  40 #define UINT_TESTVALUE  (INT_MAX+42U)
  41
  42 /* The same for unsigned long */
  43 #define ULONG_TESTVALUE (LONG_MAX+42UL)
  44
  45
  46 ATF_TC(conv_uint);
  47 ATF_TC_HEAD(conv_uint, tc)
  48 {
  49
  50         atf_tc_set_md_var(tc, "descr", "test conversions to unsigned int");
  51 }
  52
  53 ATF_TC_BODY(conv_uint, tc)
  54 {
  55         unsigned int ui;
  56         double d;
  57
  58         /* unsigned int test */
  59         d = UINT_TESTVALUE;
  60         ui = (unsigned int)d;
  61
  62         if (ui != UINT_TESTVALUE)
  63                 atf_tc_fail("FAILED: unsigned int %u (0x%x) != %u (0x%x)",
  64                     ui, ui, UINT_TESTVALUE, UINT_TESTVALUE);
  65 }
  66
  67 ATF_TC(conv_ulong);
  68
  69 ATF_TC_HEAD(conv_ulong, tc)
  70 {
  71
  72         atf_tc_set_md_var(tc, "descr", "test conversions to unsigned long");
  73 }
  74
  75 ATF_TC_BODY(conv_ulong, tc)
  76 {
  77         unsigned long ul;
  78         long double dt;
  79         double d;
  80
  81         /* unsigned long vs. {long} double test */
  82         if (sizeof(d) > sizeof(ul)) {
  83                 d = ULONG_TESTVALUE;
  84                 ul = (unsigned long)d;
  85                 printf("testing double vs. long\n");
  86         } else if (sizeof(dt) > sizeof(ul)) {
  87                 dt = ULONG_TESTVALUE;
  88                 ul = (unsigned long)dt;
  89                 printf("testing long double vs. long\n");
  90         } else {
  91                 printf("sizeof(long) = %zu, sizeof(double) = %zu, "
  92                     "sizeof(long double) = %zu\n",
  93                     sizeof(ul), sizeof(d), sizeof(dt));
  94                 atf_tc_skip("no suitable {long} double type found");
  95         }
  96
  97         if (ul != ULONG_TESTVALUE)
  98                 atf_tc_fail("unsigned long %lu (0x%lx) != %lu (0x%lx)",
  99                     ul, ul, ULONG_TESTVALUE, ULONG_TESTVALUE);
 100 }
 101
 102 ATF_TC(cast_ulong);
 103
 104 ATF_TC_HEAD(cast_ulong, tc)
 105 {
 106
 107         atf_tc_set_md_var(tc, "descr", "test double to unsigned long cast");
 108 }
 109
 110 ATF_TC_BODY(cast_ulong, tc)
 111 {
 112         double nv;
 113         unsigned long uv;
 114
 115         nv = 5.6;
 116         uv = (unsigned long)nv;
 117
 118         ATF_CHECK_EQ_MSG(uv, 5,
 119             "%.3f casted to unsigned long is %lu", nv, uv);
 120 }
 121
 122 ATF_TC(cast_ulong2);
 123
 124 ATF_TC_HEAD(cast_ulong2, tc)
 125 {
 126
 127         atf_tc_set_md_var(tc, "descr",
 128             "test double/long double casts to unsigned long");
 129 }
 130
 131 ATF_TC_BODY(cast_ulong2, tc)
 132 {
 133         double dv = 1.9;
 134         long double ldv = dv;
 135         unsigned long l1 = dv;
 136         unsigned long l2 = ldv;
 137
 138         ATF_CHECK_EQ_MSG(l1, 1,
 139             "double 1.9 casted to unsigned long should be 1, but is %lu", l1);
 140
 141         ATF_CHECK_EQ_MSG(l2, 1,
 142             "long double 1.9 casted to unsigned long should be 1, but is %lu",
 143             l2);
 144 }
 145
 146 ATF_TP_ADD_TCS(tp)
 147 {
 148
 149         ATF_TP_ADD_TC(tp, conv_uint);
 150         ATF_TP_ADD_TC(tp, conv_ulong);
 151         ATF_TP_ADD_TC(tp, cast_ulong);
 152         ATF_TP_ADD_TC(tp, cast_ulong2);
 153
 154         return atf_no_error();
 155 }