1 /* $NetBSD: t_floatunditf.c,v 1.7 2024/05/06 17:53:43 riastradh Exp $ */ 2 3 /*- 4 * Copyright (c) 2014 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 <sys/cdefs.h> 30 __RCSID("$NetBSD: t_floatunditf.c,v 1.7 2024/05/06 17:53:43 riastradh Exp $"); 31 32 #include <atf-c.h> 33 #include <float.h> 34 #include <inttypes.h> 35 #include <math.h> 36 37 #if LDBL_MANT_DIG < 53 38 #error Unsupported long double format 39 #endif 40 41 static const struct { 42 uint64_t u64; 43 long double ld; 44 } testcases[] = { 45 #if LDBL_MANT_DIG >= 64 46 { 0xffffffffffffffffULL, 0xf.fffffffffffffffp+60L }, 47 { 0xfffffffffffffffeULL, 0xf.ffffffffffffffep+60L }, 48 { 0xfffffffffffffffdULL, 0xf.ffffffffffffffdp+60L }, 49 { 0xfffffffffffffffcULL, 0xf.ffffffffffffffcp+60L }, 50 { 0x7fffffffffffffffULL, 0xf.ffffffffffffffep+59L }, 51 { 0x3fffffffffffffffULL, 0xf.ffffffffffffffcp+58L }, 52 { 0x1fffffffffffffffULL, 0xf.ffffffffffffff8p+57L }, 53 { 0xfffffffffffffffULL, 0xf.ffffffffffffffp+56L }, 54 { 0x7ffffffffffffffULL, 0xf.fffffffffffffep+55L }, 55 { 0x3ffffffffffffffULL, 0xf.fffffffffffffcp+54L }, 56 { 0x1ffffffffffffffULL, 0xf.fffffffffffff8p+53L }, 57 #endif 58 #if LDBL_MANT_DIG >= 56 59 { 0xffffffffffffffULL, 0xf.fffffffffffffp+52L }, 60 { 0x7fffffffffffffULL, 0xf.ffffffffffffep+51L }, 61 { 0x3fffffffffffffULL, 0xf.ffffffffffffcp+50L }, 62 #endif 63 { 0x1fffffffffffffULL, 0xf.ffffffffffff8p+49L }, 64 { 0xfffffffffffffULL, 0xf.ffffffffffffp+48L }, 65 { 0x7ffffffffffffULL, 0xf.fffffffffffep+47L }, 66 { 0x3ffffffffffffULL, 0xf.fffffffffffcp+46L }, 67 { 0x1ffffffffffffULL, 0xf.fffffffffff8p+45L }, 68 { 0xffffffffffffULL, 0xf.fffffffffffp+44L }, 69 { 0x7fffffffffffULL, 0xf.ffffffffffep+43L }, 70 { 0x3fffffffffffULL, 0xf.ffffffffffcp+42L }, 71 { 0x1fffffffffffULL, 0xf.ffffffffff8p+41L }, 72 { 0xfffffffffffULL, 0xf.ffffffffffp+40L }, 73 { 0x7ffffffffffULL, 0xf.fffffffffep+39L }, 74 { 0x3ffffffffffULL, 0xf.fffffffffcp+38L }, 75 { 0x1ffffffffffULL, 0xf.fffffffff8p+37L }, 76 { 0xffffffffffULL, 0xf.fffffffffp+36L }, 77 { 0x7fffffffffULL, 0xf.ffffffffep+35L }, 78 { 0x3fffffffffULL, 0xf.ffffffffcp+34L }, 79 { 0x1fffffffffULL, 0xf.ffffffff8p+33L }, 80 { 0xfffffffffULL, 0xf.ffffffffp+32L }, 81 { 0x7ffffffffULL, 0xf.fffffffep+31L }, 82 { 0x3ffffffffULL, 0xf.fffffffcp+30L }, 83 { 0x1ffffffffULL, 0xf.fffffff8p+29L }, 84 { 0xffffffffULL, 0xf.fffffffp+28L }, 85 { 0x7fffffffULL, 0xf.ffffffep+27L }, 86 { 0x3fffffffULL, 0xf.ffffffcp+26L }, 87 { 0x1fffffffULL, 0xf.ffffff8p+25L }, 88 { 0xfffffffULL, 0xf.ffffffp+24L }, 89 { 0x7ffffffULL, 0xf.fffffep+23L }, 90 { 0x3ffffffULL, 0xf.fffffcp+22L }, 91 { 0x1ffffffULL, 0xf.fffff8p+21L }, 92 { 0xffffffULL, 0xf.fffffp+20L }, 93 { 0x7fffffULL, 0xf.ffffep+19L }, 94 { 0x3fffffULL, 0xf.ffffcp+18L }, 95 { 0x1fffffULL, 0xf.ffff8p+17L }, 96 { 0xfffffULL, 0xf.ffffp+16L }, 97 { 0x7ffffULL, 0xf.fffep+15L }, 98 { 0x3ffffULL, 0xf.fffcp+14L }, 99 { 0x1ffffULL, 0xf.fff8p+13L }, 100 { 0xffffULL, 0xf.fffp+12L }, 101 { 0x7fffULL, 0xf.ffep+11L }, 102 { 0x3fffULL, 0xf.ffcp+10L }, 103 { 0x1fffULL, 0xf.ff8p+9L }, 104 { 0xfffULL, 0xf.ffp+8L }, 105 { 0x7ffULL, 0xf.fep+7L }, 106 { 0x3ffULL, 0xf.fcp+6L }, 107 { 0x1ffULL, 0xf.f8p+5L }, 108 { 0xffULL, 0xf.fp+4L }, 109 { 0x7fULL, 0xf.ep+3L }, 110 { 0x3fULL, 0xf.cp+2L }, 111 { 0x1fULL, 0xf.8p+1L }, 112 { 0xfULL, 0xfp+0L }, 113 { 0x7ULL, 0xep-1L }, 114 { 0x3ULL, 0xcp-2L }, 115 { 0x1ULL, 0x8p-3L }, 116 }; 117 118 ATF_TC(floatunditf); 119 ATF_TC_HEAD(floatunditf, tc) 120 { 121 atf_tc_set_md_var(tc, "descr", 122 "Verify that uint64 -> long double conversion works"); 123 } 124 125 ATF_TC_BODY(floatunditf, tc) 126 { 127 size_t i; 128 129 for (i = 0; i < __arraycount(testcases); ++i) 130 ATF_CHECK_MSG( 131 testcases[i].ld == (long double)testcases[i].u64, 132 "#%zu: expected %.20Lf, got %.20Lf\n", i, 133 testcases[i].ld, 134 (long double)testcases[i].u64); 135 } 136 137 ATF_TP_ADD_TCS(tp) 138 { 139 ATF_TP_ADD_TC(tp, floatunditf); 140 return atf_no_error(); 141 } 142