> Denormal behaviour is well defined for IEEE128 long doubles, so don't
> XFAIL some gfortran tests on ppc64le when configured with the IEEE128
> long double ABI.
If long double is just IEEE754 double, then I think denormals
are equally well behaved, it is solely the case of IBM double double.
Of course, these 3 tests won't run anyway in that case because
fortran_large_real effective target will be false.
So I think you want an effective target which is solely about IBM double
double being the default long double. No need to have ppc in the
name of the effective target.
Now, long_double_ibm128 effective target is not what you want to use
because that isn't what the long double is, but what long double can be if
one dg-add-options long_double_ibm128.
So, perhaps long_double_is_ibm128 effective target with
#ifndef __LONG_DOUBLE_IBM128__
#error ...
#endif
in the test?
Or if you call it long_double_is_composite (for MODE_COMPOSITE_P on the
long double's mode), or long_double_has_variable_precision or something like
that.
> gcc/testsuite/ChangeLog:
>
> PR testsuite/118127
> * lib/target-supports.exp
> (check_effective_target_ppc_not_well_defined_denormals): New
> procedure.
> * gfortran.dg/default_format_2.f90: xfail for
> ppc_not_well_defined_denormals.
> * gfortran.dg/default_format_denormal_2.f90: Likewise.
> * gfortran.dg/large_real_kind_form_io_2.f90: Likewise.
>
> Signed-off-by: Siddhesh Poyarekar <siddh...@gotplt.org>
Jakub
