On Tue, 23 Sep 2014, Uros Bizjak wrote: > On Tue, Sep 23, 2014 at 7:57 PM, Joseph S. Myers > <jos...@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). -- Joseph S. Myers jos...@codesourcery.com
