@@ -63,13 +63,14 @@ tests := tstscanf test_rdwr test-popen tstgetln test-fseek \
tst-vfprintf-mbs-prec \
tst-scanf-round \
-test-srcs = tst-unbputc tst-printf
+test-srcs = tst-unbputc tst-printf tst-isbinary128
ifeq ($(run-built-tests),yes)
tests-special += $(objpfx)tst-unbputc.out $(objpfx)tst-printf.out \
$(objpfx)tst-printf-bz18872-mem.out \
$(objpfx)tst-setvbuf1-cmp.out \
- $(objpfx)tst-vfprintf-width-prec-mem.out
+ $(objpfx)tst-vfprintf-width-prec-mem.out \
+ $(objpfx)tst-isbinary128.out
generated += tst-printf-bz18872.c tst-printf-bz18872.mtrace \
tst-printf-bz18872-mem.out \
tst-vfprintf-width-prec.mtrace tst-vfprintf-width-prec-mem.out
@@ -103,6 +104,10 @@ $(objpfx)tst-printf.out: tst-printf.sh $(objpfx)tst-printf
$(SHELL) $< $(common-objpfx) '$(test-program-prefix)' > $@; \
$(evaluate-test)
+$(objpfx)tst-isbinary128.out: tst-isbinary128.sh $(objpfx)tst-isbinary128
+ $(SHELL) $^ '$(test-program-prefix)' $@; \
+ $(evaluate-test)
+
# We generate this source because it requires a printf invocation with
# 10K arguments.
$(objpfx)tst-printf-bz18872.c: tst-printf-bz18872.sh
@@ -375,7 +375,7 @@ __printf_fp_l (FILE *fp, locale_t loc,
/* Fetch the argument value. */
#if __HAVE_DISTINCT_FLOAT128
- if (info->is_binary128)
+ if (info->is_binary128 && info->is_long_double)
PRINTF_FP_FETCH (_Float128, fpnum.f128, float128, FLT128_MANT_DIG)
else
#endif
@@ -142,7 +142,7 @@ __printf_size (FILE *fp, const struct printf_info *info,
/* Fetch the argument value. */
#if __HAVE_DISTINCT_FLOAT128
- if (info->is_binary128)
+ if (info->is_binary128 && info->is_long_double)
PRINTF_SIZE_FETCH (_Float128, fpnum.f128)
else
#endif
new file mode 100644
@@ -0,0 +1,59 @@
+/* Test for the behaviour of 'is_binary128' in printf_size.
+ Copyright (C) 2018 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
+ <http://www.gnu.org/licenses/>. */
+
+#include <printf.h>
+#include <stdio.h>
+#include <string.h>
+
+#include <support/check.h>
+
+static int
+do_test (void)
+{
+ double d = 2000;
+ double *dptr = &d;
+ long double ld = 4000;
+ long double *ldptr = & ld;
+ struct printf_info info;
+
+ memset (&info, 0, sizeof (info));
+ info.spec = L'f';
+
+ /* First, call printf_size with 'is_long_double' and 'is_binary128'
+ both zeroed. */
+ printf_size (stdout, &info, (void *) &dptr);
+
+ /* Then test that setting 'is_binary128' to one still prints double
+ correctly. */
+ info.is_binary128 = 1;
+ printf_size (stdout, &info, (void *) &dptr);
+
+ /* Finally, check that long double values are also printed correctly,
+ provided that 'is_binary128' is zeroed. */
+ info.is_long_double = 1;
+ info.is_binary128 = 0;
+ printf_size (stdout, &info, (void *) &ldptr);
+
+ /* Setting both 'is_long_double' and 'is_binary128' to one is out of
+ the scope of this test, because such configuration is only valid
+ when _Float128 and long double are ABI-distinct (which is not
+ always true and this is an arch-independent test). */
+ return 0;
+}
+
+#include <support/test-driver.c>
new file mode 100644
@@ -0,0 +1,38 @@
+#!/bin/sh
+# Test for the behaviour of 'is_binary128' in printf_size.
+# Copyright (C) 2018 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
+# <http://www.gnu.org/licenses/>.
+
+set -e
+
+test_program=$1; shift
+test_program_prefix=$1; shift
+test_program_output=$1; shift
+
+status=0
+
+${test_program_prefix} \
+ ${test_program} \
+ > ${test_program_output} || status=1
+
+echo -n "2k2k4k" | cmp - ${test_program_output} > /dev/null 2>&1 ||
+{
+ status=1
+ echo "*** output comparison failed"
+}
+
+exit $status
@@ -133,9 +133,13 @@ STRFROM (char *dest, size_t size, const char *format, FLOAT f)
info.is_long_double = __builtin_types_compatible_p (FLOAT, long double);
/* Similarly, the function strfromf128 passes a floating-point number in
- _Float128 format to printf_fp. */
+ _Float128 format to __printf_fp. Setting is_binary128 alone is not
+ enough, because when is_long_double is zero, __printf_fp always treats
+ the floating-point number as double (regardless of is_binary128). */
#if __HAVE_DISTINCT_FLOAT128
info.is_binary128 = __builtin_types_compatible_p (FLOAT, _Float128);
+ if (info.is_binary128)
+ info.is_long_double = 1;
#endif
/* Set info according to the format string. */