Home | History | Annotate | Line # | Download | only in libc 
      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 }
    156