This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, testsuite]: PR 58757: Check for FP denormal values without triggering denormal exceptions
- From: Uros Bizjak <ubizjak at gmail dot com>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Marc Glisse <marc dot glisse at inria dot fr>
- Date: Tue, 23 Sep 2014 20:02:44 +0200
- Subject: Re: [PATCH, testsuite]: PR 58757: Check for FP denormal values without triggering denormal exceptions
- Authentication-results: sourceware.org; auth=none
- References: <CAFULd4bDzGPgSoGh-20zL4AOfTfoVoY_H12DJxvjdy-KGLo_Xg at mail dot gmail dot com> <Pine dot LNX dot 4 dot 64 dot 1409231755090 dot 20232 at digraph dot polyomino dot org dot uk>
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.
Uros.