mirror of
git://sourceware.org/git/glibc.git
synced 2026-09-08 23:58:31 +08:00
Matt Turner
548997eb13
The reference implementation renders the a and A conversions by splitting the value into a significand of the width the type has and a power of two. That presumes the type is a single binary floating-point format. The IBM extended format is a pair of doubles instead, whose combined significand has no fixed width and whose subnormals are those of the low double rather than of the type, so what glibc produces for it does not follow from PREC and MINEXP: LDBL_MAX comes out as 0x1.fffffffffffff7ffffffffffff8p+1023 with twenty-eight fractional digits where the value has at most twenty-six worth of significand, and LDBL_TRUE_MIN as 0x0.0000000000001p-1022, which is the smallest subnormal double and nowhere near LDBL_MIN_EXP. The remaining conversions are unaffected, as they work from the value rather than from a decomposition of it, and were verified to be. Add an UNSUPPORTED_CONVS definition to the skeleton for conversions that cannot be modeled for the type at hand, and set it to the a and A pair where long double has that format, the generator then producing no records and an unsupported status which the long double wrapper reports. Tested on x86_64-linux-gnu and powerpc64le-linux-gnu, where all 672 results pass, and with the long double conversions forced to the IBM extended format, where the a and A ones report unsupported and the rest continue to pass. Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
51 lines
1.9 KiB
C
51 lines
1.9 KiB
C
/* Test skeleton for formatted printf output for long double conversions.
|
|
Copyright (C) 2024-2026 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<https://www.gnu.org/licenses/>. */
|
|
|
|
#include <float.h>
|
|
#include <math.h>
|
|
#include <support/test-driver.h>
|
|
|
|
#define MID_WIDTH 20
|
|
#define HUGE_WIDTH 4950
|
|
/* Full-precision output runs to thousands of digits here. */
|
|
#define TST_PRINTF_WIDE_TYPE 1
|
|
#define REF_FMT ".35Le"
|
|
#define REF_VAL(v) (v)
|
|
#define PREC LDBL_MANT_DIG
|
|
#define MINEXP LDBL_MIN_EXP
|
|
#if LDBL_MANT_DIG == 106
|
|
/* The IBM extended format is a pair of doubles rather than a significand
|
|
of a single fixed width, so what the a and A conversions produce for it
|
|
does not follow from PREC and MINEXP the way the verification assumes.
|
|
Leave them out where the type has that format; the one target concerned
|
|
builds everything with the IEEE format instead, so this only comes up
|
|
where that has been turned off. */
|
|
# define UNSUPPORTED_CONVS "aA"
|
|
#endif
|
|
typedef long double type_t;
|
|
static const type_t vals[] =
|
|
{ -HUGE_VAL, -LDBL_MAX, -LDBL_MIN, -0.0, -NAN, NAN, 0, LDBL_TRUE_MIN,
|
|
LDBL_MIN, 99.9L, LDBL_MAX, HUGE_VAL };
|
|
static const char length[] = "L";
|
|
|
|
#ifndef TIMEOUT
|
|
# define TIMEOUT (DEFAULT_TIMEOUT * 64)
|
|
#endif
|
|
|
|
#include "tst-printf-format-skeleton.c"
|