Fix gcc.dg/torture/fp-int-convert.h for excess precision after PR c/87390.

As reported in
<https://gcc.gnu.org/ml/gcc-patches/2018-09/msg01684.html>, some
fp-int-convert tests fail after my fix for PR c/87390, in Arm /
AArch64 configurations where _Float16 uses excess precision by
default.  The issue is comparisons of the results of a conversion by
assignment (compile-time or run-time) from integer to floating-point
with the original integer value; previously this would compare against
an implicit compile-time conversion to the target type, but now, for
C11 and later, it compares against an implicit compile-time conversion
to a possibly wider evaluation format.  This is fixed by adding casts
to the test so that the comparison is with a value converted
explicitly to the target type at compile time, without any use of a
wider evaluation format.

	PR c/87390
	* gcc.dg/torture/fp-int-convert.h (TEST_I_F_VAL): Convert integer
	values explicitly to target type for comparison.

From-SVN: r264696

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7e6796268eacd675f7be3d1bead4cf2e17629625..ff242d833ff2547ccc92b3e21a9c0f0f53f831db 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2018-09-28  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/87390
+       * gcc.dg/torture/fp-int-convert.h (TEST_I_F_VAL): Convert integer
+       values explicitly to target type for comparison.
+
 2018-09-28  Steve Ellcey  <sellcey@cavium.com>
 
        PR testsuite/87433

diff --git a/gcc/testsuite/gcc.dg/torture/fp-int-convert.h b/gcc/testsuite/gcc.dg/torture/fp-int-convert.h
index 2b904b6595c386e5ccc7007778ab9ada39d25626..f0b3f3968fc3de16524a05f5ed3f34f9856be8e4 100644 (file)
--- a/gcc/testsuite/gcc.dg/torture/fp-int-convert.h
+++ b/gcc/testsuite/gcc.dg/torture/fp-int-convert.h
@@ -90,6 +90,7 @@ do {                                                  \
   if (ivin != (VAL)                                    \
       || ((PREC_OK) && ivout != ivin)                  \
       || ((PREC_OK) && ivout != (VAL))                 \
-      || fv1 != (VAL) || fv2 != (VAL) || fv1 != fv2)   \
+      || fv1 != (FT) (VAL) || fv2 != (FT) (VAL)                \
+      || fv1 != fv2)                                   \
     abort ();                                          \
 } while (0)