1 /*- 2 * Copyright (c) 2002-2009 David Schultz <das@FreeBSD.org> 3 * All rights reserved. 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 1. Redistributions of source code must retain the above copyright 9 * notice, this list of conditions and the following disclaimer. 10 * 2. Redistributions in binary form must reproduce the above copyright 11 * notice, this list of conditions and the following disclaimer in the 12 * documentation and/or other materials provided with the distribution. 13 * 14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 24 * SUCH DAMAGE. 25 */ 26 27 /* 28 * Test for printf() floating point formats. 29 */ 30 31 #include <sys/cdefs.h> 32 #include <err.h> 33 #include <fenv.h> 34 #include <float.h> 35 #include <locale.h> 36 #include <math.h> 37 #include <stdio.h> 38 #include <stdarg.h> 39 #include <stdint.h> 40 #include <stdlib.h> 41 #include <string.h> 42 #include <wchar.h> 43 44 #include <atf-c.h> 45 46 static void 47 smash_stack(void) 48 { 49 static uint32_t junk = 0xdeadbeef; 50 uint32_t buf[512]; 51 size_t i; 52 53 for (i = 0; i < sizeof(buf) / sizeof(buf[0]); i++) 54 buf[i] = junk; 55 } 56 57 #define testfmt(result, fmt, ...) \ 58 _testfmt((result), #__VA_ARGS__, fmt, __VA_ARGS__) 59 static void 60 _testfmt(const char *result, const char *argstr, const char *fmt,...) 61 { 62 #define BUF 100 63 wchar_t ws[BUF], wfmt[BUF], wresult[BUF]; 64 char s[BUF]; 65 va_list ap, ap2; 66 67 va_start(ap, fmt); 68 va_copy(ap2, ap); 69 smash_stack(); 70 vsnprintf(s, sizeof(s), fmt, ap); 71 ATF_CHECK_MSG(strcmp(result, s) == 0, 72 "printf(\"%s\", %s) ==> [%s], expected [%s]", 73 fmt, argstr, s, result); 74 75 smash_stack(); 76 mbstowcs(ws, s, BUF - 1); 77 mbstowcs(wfmt, fmt, BUF - 1); 78 mbstowcs(wresult, result, BUF - 1); 79 vswprintf(ws, sizeof(ws) / sizeof(ws[0]), wfmt, ap2); 80 ATF_CHECK_MSG(wcscmp(wresult, ws) == 0, 81 "wprintf(\"%ls\", %s) ==> [%ls], expected [%ls]", 82 wfmt, argstr, ws, wresult); 83 84 va_end(ap); 85 va_end(ap2); 86 } 87 88 ATF_TC_WITHOUT_HEAD(float_within_limits); 89 ATF_TC_BODY(float_within_limits, tc) 90 { 91 92 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 93 94 /* Basic tests of decimal output functionality. */ 95 testfmt(" 1.000000E+00", "%13E", 1.0); 96 testfmt(" 1.000000", "%13f", 1.0); 97 testfmt(" 1", "%13G", 1.0); 98 testfmt(" 1.000000E+00", "%13LE", 1.0L); 99 testfmt(" 1.000000", "%13Lf", 1.0L); 100 testfmt(" 1", "%13LG", 1.0L); 101 102 testfmt("2.718282", "%.*f", -2, 2.7182818); 103 104 testfmt("1.234568e+06", "%e", 1234567.8); 105 testfmt("1234567.800000", "%f", 1234567.8); 106 testfmt("1.23457E+06", "%G", 1234567.8); 107 testfmt("1.234568e+06", "%Le", 1234567.8L); 108 testfmt("1234567.800000", "%Lf", 1234567.8L); 109 testfmt("1.23457E+06", "%LG", 1234567.8L); 110 111 #if (LDBL_MANT_DIG > DBL_MANT_DIG) && !defined(__i386__) 112 testfmt("123456789.864210", "%Lf", 123456789.8642097531L); 113 testfmt("-1.23457E+08", "%LG", -123456789.8642097531L); 114 testfmt("123456789.8642097531", "%.10Lf", 123456789.8642097531L); 115 testfmt(" 3.141592653589793238e-4000", "%L27.18Le", 116 3.14159265358979323846e-4000L); 117 #endif 118 } 119 120 ATF_TC_WITHOUT_HEAD(infinities_and_nans); 121 ATF_TC_BODY(infinities_and_nans, tc) 122 { 123 124 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 125 126 testfmt("nan", "%e", NAN); 127 testfmt("NAN", "%F", NAN); 128 testfmt("nan", "%g", NAN); 129 testfmt("NAN", "%LE", (long double)NAN); 130 testfmt(" nan", "%05e", NAN); 131 132 testfmt("INF", "%E", HUGE_VAL); 133 testfmt("-inf", "%f", -HUGE_VAL); 134 testfmt("+inf", "%+g", HUGE_VAL); 135 testfmt(" inf", "%4.2Le", HUGE_VALL); 136 testfmt("-inf", "%Lf", -HUGE_VALL); 137 testfmt(" inf", "%05e", HUGE_VAL); 138 testfmt(" -inf", "%05e", -HUGE_VAL); 139 } 140 141 ATF_TC_WITHOUT_HEAD(padding); 142 ATF_TC_BODY(padding, tc) 143 { 144 145 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 146 147 testfmt("0.000000e+00", "%e", 0.0); 148 testfmt("0.000000", "%F", (double)0.0); 149 testfmt("0", "%G", 0.0); 150 testfmt(" 0", "%3.0Lg", 0.0L); 151 testfmt(" 0", "%5.0f", 0.001); 152 } 153 154 ATF_TC_WITHOUT_HEAD(precision_specifiers); 155 ATF_TC_BODY(precision_specifiers, tc) 156 { 157 158 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 159 160 testfmt("1.0123e+00", "%.4e", 1.0123456789); 161 testfmt("1.0123", "%.4f", 1.0123456789); 162 testfmt("1.012", "%.4g", 1.0123456789); 163 testfmt("1.2346e-02", "%.4e", 0.0123456789); 164 testfmt("0.0123", "%.4f", 0.0123456789); 165 testfmt("0.01235", "%.4g", 0.0123456789); 166 } 167 168 ATF_TC_WITHOUT_HEAD(thousands_separator_and_other_locale_tests); 169 ATF_TC_BODY(thousands_separator_and_other_locale_tests, tc) 170 { 171 172 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 173 174 testfmt("12345678.0625", "%'.04f", 12345678.0625); 175 testfmt("0012345678.0625", "%'015.4F", 12345678.0625); 176 177 ATF_REQUIRE(setlocale(LC_NUMERIC, "hi_IN.ISCII-DEV")); /* grouping == 2;3 */ 178 testfmt("1,23,45,678.0625", "%'.4f", 12345678.0625); 179 testfmt("01,23,45,678.0625", "%'017.4F", 12345678.0625); 180 testfmt(" 9,000", "%'6.0f", 9000.0); 181 testfmt("9,000.0", "%'.1f", 9000.0); 182 183 ATF_REQUIRE(setlocale(LC_NUMERIC, "ru_RU.ISO8859-5")); /* decimalpoint==, */ 184 testfmt("3,1415", "%g", 3.1415); 185 186 /* thousands=. decimalpoint=, grouping=3;3 */ 187 ATF_REQUIRE(setlocale(LC_NUMERIC, "el_GR.ISO8859-7")); /* decimalpoint==, */ 188 testfmt("1.234,00", "%'.2f", 1234.00); 189 testfmt("123.456,789", "%'.3f", 123456.789); 190 191 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 192 testfmt("12345678.062500", "%'f", 12345678.0625); 193 testfmt("9000.000000", "%'f", 9000.0); 194 } 195 196 ATF_TC_WITHOUT_HEAD(signed_conversions); 197 ATF_TC_BODY(signed_conversions, tc) 198 { 199 200 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 201 202 testfmt("+2.500000e-01", "%+e", 0.25); 203 testfmt("+0.000000", "%+F", 0.0); 204 testfmt("-1", "%+g", -1.0); 205 206 testfmt("-1.000000e+00", "% e", -1.0); 207 testfmt("+1.000000", "% +f", 1.0); 208 testfmt(" 1", "% g", 1.0); 209 testfmt(" 0", "% g", 0.0); 210 } 211 212 ATF_TC_WITHOUT_HEAD(alternate_form); 213 ATF_TC_BODY(alternate_form, tc) 214 { 215 216 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 217 218 testfmt("1.250e+00", "%#.3e", 1.25); 219 testfmt("123.000000", "%#f", 123.0); 220 testfmt(" 12345.", "%#7.5g", 12345.0); 221 testfmt(" 1.00000", "%#8g", 1.0); 222 testfmt("0.0", "%#.2g", 0.0); 223 } 224 225 ATF_TC_WITHOUT_HEAD(padding_and_decimal_point_placement); 226 ATF_TC_BODY(padding_and_decimal_point_placement, tc) 227 { 228 229 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 230 231 testfmt("03.2E+00", "%08.1E", 3.25); 232 testfmt("003.25", "%06.2F", 3.25); 233 testfmt("0003.25", "%07.4G", 3.25); 234 235 testfmt("3.14159e-05", "%g", 3.14159e-5); 236 testfmt("0.000314159", "%g", 3.14159e-4); 237 testfmt("3.14159e+06", "%g", 3.14159e6); 238 testfmt("314159", "%g", 3.14159e5); 239 testfmt("314159.", "%#g", 3.14159e5); 240 241 testfmt(" 9.000000e+03", "%13e", 9000.0); 242 testfmt(" 9000.000000", "%12f", 9000.0); 243 testfmt(" 9000", "%5g", 9000.0); 244 testfmt(" 900000.", "%#8g", 900000.0); 245 testfmt(" 9e+06", "%6g", 9000000.0); 246 testfmt(" 9.000000e-04", "%13e", 0.0009); 247 testfmt(" 0.000900", "%9f", 0.0009); 248 testfmt(" 0.0009", "%7g", 0.0009); 249 testfmt(" 9e-05", "%6g", 0.00009); 250 testfmt(" 9.00000e-05", "%#12g", 0.00009); 251 testfmt(" 9.e-05", "%#7.1g", 0.00009); 252 253 testfmt(" 0.0", "%4.1f", 0.0); 254 testfmt("90.0", "%4.1f", 90.0); 255 testfmt(" 100", "%4.0f", 100.0); 256 testfmt("9.0e+01", "%4.1e", 90.0); 257 testfmt("1e+02", "%4.0e", 100.0); 258 } 259 260 ATF_TC_WITHOUT_HEAD(decimal_rounding); 261 ATF_TC_BODY(decimal_rounding, tc) 262 { 263 264 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 265 266 fesetround(FE_DOWNWARD); 267 testfmt("4.437", "%.3f", 4.4375); 268 testfmt("-4.438", "%.3f", -4.4375); 269 testfmt("4.437", "%.3Lf", 4.4375L); 270 testfmt("-4.438", "%.3Lf", -4.4375L); 271 272 fesetround(FE_UPWARD); 273 testfmt("4.438", "%.3f", 4.4375); 274 testfmt("-4.437", "%.3f", -4.4375); 275 testfmt("4.438", "%.3Lf", 4.4375L); 276 testfmt("-4.437", "%.3Lf", -4.4375L); 277 278 fesetround(FE_TOWARDZERO); 279 testfmt("4.437", "%.3f", 4.4375); 280 testfmt("-4.437", "%.3f", -4.4375); 281 testfmt("4.437", "%.3Lf", 4.4375L); 282 testfmt("-4.437", "%.3Lf", -4.4375L); 283 284 fesetround(FE_TONEAREST); 285 testfmt("4.438", "%.3f", 4.4375); 286 testfmt("-4.438", "%.3f", -4.4375); 287 testfmt("4.438", "%.3Lf", 4.4375L); 288 testfmt("-4.438", "%.3Lf", -4.4375L); 289 } 290 291 ATF_TC_WITHOUT_HEAD(hexadecimal_floating_point); 292 ATF_TC_BODY(hexadecimal_floating_point, tc) 293 { 294 295 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 296 297 /* 298 * Hexadecimal floating point (%a, %A) tests. Some of these 299 * are only valid if the implementation converts to hex digits 300 * on nibble boundaries. 301 */ 302 testfmt("0x0p+0", "%a", 0x0.0p0); 303 testfmt("0X0.P+0", "%#LA", 0x0.0p0L); 304 testfmt("inf", "%La", (long double)INFINITY); 305 testfmt("+INF", "%+A", INFINITY); 306 testfmt("nan", "%La", (long double)NAN); 307 testfmt("NAN", "%A", NAN); 308 309 testfmt(" 0x1.23p+0", "%10a", 0x1.23p0); 310 testfmt(" 0x1.23p-500", "%12a", 0x1.23p-500); 311 testfmt(" 0x1.2p+40", "%10.1a", 0x1.23p40); 312 testfmt(" 0X1.230000000000000000000000P-4", "%32.24A", 0x1.23p-4); 313 testfmt("0x1p-1074", "%a", 0x1p-1074); 314 testfmt("0x1.2345p-1024", "%a", 0x1.2345p-1024); 315 316 #if (LDBL_MANT_DIG == 64) 317 testfmt("0x1.921fb54442d18468p+1", "%La", 0x3.243f6a8885a308dp0L); 318 testfmt("0x1p-16445", "%La", 0x1p-16445L); 319 testfmt("0x1.30ecap-16381", "%La", 0x9.8765p-16384L); 320 #elif (LDBL_MANT_DIG == 113) 321 testfmt("0x1.921fb54442d18469898cc51701b8p+1", "%La", 322 0x3.243f6a8885a308d313198a2e037p0L); 323 testfmt("0x1p-16494", "%La", 0x1p-16494L); 324 testfmt("0x1.2345p-16384", "%La", 0x1.2345p-16384L); 325 #else 326 testfmt("0x1.921fb54442d18p+1", "%La", 0x3.243f6a8885a31p0L); 327 testfmt("0x1p-1074", "%La", 0x1p-1074L); 328 testfmt("0x1.30ecap-1021", "%La", 0x9.8765p-1024L); 329 #endif 330 } 331 332 ATF_TC_WITHOUT_HEAD(hexadecimal_rounding); 333 ATF_TC_BODY(hexadecimal_rounding, tc) 334 { 335 336 ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 337 338 fesetround(FE_TOWARDZERO); 339 testfmt("0X1.23456789ABCP+0", "%.11A", 0x1.23456789abcdep0); 340 testfmt("-0x1.23456p+0", "%.5a", -0x1.23456789abcdep0); 341 testfmt("0x1.23456p+0", "%.5a", 0x1.23456789abcdep0); 342 testfmt("0x1.234567p+0", "%.6a", 0x1.23456789abcdep0); 343 testfmt("-0x1.234566p+0", "%.6a", -0x1.23456689abcdep0); 344 345 fesetround(FE_DOWNWARD); 346 testfmt("0X1.23456789ABCP+0", "%.11A", 0x1.23456789abcdep0); 347 testfmt("-0x1.23457p+0", "%.5a", -0x1.23456789abcdep0); 348 testfmt("0x1.23456p+0", "%.5a", 0x1.23456789abcdep0); 349 testfmt("0x1.234567p+0", "%.6a", 0x1.23456789abcdep0); 350 testfmt("-0x1.234567p+0", "%.6a", -0x1.23456689abcdep0); 351 352 fesetround(FE_UPWARD); 353 testfmt("0X1.23456789ABDP+0", "%.11A", 0x1.23456789abcdep0); 354 testfmt("-0x1.23456p+0", "%.5a", -0x1.23456789abcdep0); 355 testfmt("0x1.23457p+0", "%.5a", 0x1.23456789abcdep0); 356 testfmt("0x1.234568p+0", "%.6a", 0x1.23456789abcdep0); 357 testfmt("-0x1.234566p+0", "%.6a", -0x1.23456689abcdep0); 358 359 fesetround(FE_TONEAREST); 360 testfmt("0x1.23456789abcdep+4", "%a", 0x1.23456789abcdep4); 361 testfmt("0X1.23456789ABDP+0", "%.11A", 0x1.23456789abcdep0); 362 testfmt("-0x1.23456p+0", "%.5a", -0x1.23456789abcdep0); 363 testfmt("0x1.23456p+0", "%.5a", 0x1.23456789abcdep0); 364 testfmt("0x1.234568p+0", "%.6a", 0x1.23456789abcdep0); 365 testfmt("-0x1.234567p+0", "%.6a", -0x1.23456689abcdep0); 366 testfmt("0x1.00p-1029", "%.2a", 0x1.fffp-1030); 367 testfmt("0x1.00p-1026", "%.2a", 0xf.fffp-1030); 368 testfmt("0x1.83p+0", "%.2a", 1.51); 369 } 370 371 ATF_TC_WITHOUT_HEAD(subnormal_double); 372 ATF_TC_BODY(subnormal_double, tc) 373 { 374 /* Regression test for https://bugs.freebsd.org/253847 */ 375 double positive = __DBL_DENORM_MIN__; 376 testfmt("4.9406564584124654418e-324", "%20.20g", positive); 377 testfmt("4.9406564584124654418E-324", "%20.20G", positive); 378 testfmt("0x1p-1074", "%a", positive); 379 testfmt("0X1P-1074", "%A", positive); 380 double negative = -__DBL_DENORM_MIN__; 381 testfmt("-4.9406564584124654418e-324", "%20.20g", negative); 382 testfmt("-4.9406564584124654418E-324", "%20.20G", negative); 383 testfmt("-0x1p-1074", "%a", negative); 384 testfmt("-0X1P-1074", "%A", negative); 385 } 386 387 ATF_TC_WITHOUT_HEAD(subnormal_float); 388 ATF_TC_BODY(subnormal_float, tc) 389 { 390 float positive = __FLT_DENORM_MIN__; 391 testfmt("1.4012984643248170709e-45", "%20.20g", positive); 392 testfmt("1.4012984643248170709E-45", "%20.20G", positive); 393 testfmt("0x1p-149", "%a", positive); 394 testfmt("0X1P-149", "%A", positive); 395 float negative = -__FLT_DENORM_MIN__; 396 testfmt("-1.4012984643248170709e-45", "%20.20g", negative); 397 testfmt("-1.4012984643248170709E-45", "%20.20G", negative); 398 testfmt("-0x1p-149", "%a", negative); 399 testfmt("-0X1P-149", "%A", negative); 400 } 401 402 ATF_TP_ADD_TCS(tp) 403 { 404 405 ATF_TP_ADD_TC(tp, float_within_limits); 406 ATF_TP_ADD_TC(tp, infinities_and_nans); 407 ATF_TP_ADD_TC(tp, padding); 408 ATF_TP_ADD_TC(tp, precision_specifiers); 409 ATF_TP_ADD_TC(tp, thousands_separator_and_other_locale_tests); 410 ATF_TP_ADD_TC(tp, signed_conversions); 411 ATF_TP_ADD_TC(tp, alternate_form); 412 ATF_TP_ADD_TC(tp, padding_and_decimal_point_placement); 413 ATF_TP_ADD_TC(tp, decimal_rounding); 414 ATF_TP_ADD_TC(tp, hexadecimal_floating_point); 415 ATF_TP_ADD_TC(tp, hexadecimal_rounding); 416 ATF_TP_ADD_TC(tp, subnormal_double); 417 ATF_TP_ADD_TC(tp, subnormal_float); 418 419 return (atf_no_error()); 420 } 421