On Tue, 23 Sep 2014, Uros Bizjak wrote:
On Tue, Sep 23, 2014 at 7:57 PM, Joseph S. Myers
<joseph@codesourcery.com> wrote:
Attached patch avoids triggering denormal exceptions when FP insns are
used to check for non-zero denormal values.
But I thought the point of the test was to verify that the compiler's
understanding of existence of subnormal values was consistent with the
processor. If the processor is in a mode supporting such values, the
exceptions should be masked. That is, the present test should pass
unconditionally, if it doesn't pass that indicates a bug (which might be
appropriate for XFAILing).
Alpha needs special instruction mode to process denormals. Without
this special mode the insn traps as soon as denormal value is
processed.
Yes, but I thought the point of that PR was that unless -mieee was given
to support such values, *_TRUE_MIN should be the same as *_MIN, reflecting
that they aren't supported. And so the failure is showing that this bug
is present (and so XFAILing with a comment referring to the bug is
appropriate, rather than changing the test to pass).