[PPL-devel] IEEE inexact-flag not working on the Alpha (despite -mieee-with-inexact)?

[Roberto Bagnara]

Andreas Schwab wrote:
> Roberto Bagnara <bagnara at cs.unipr.it> writes:
> 
>> $ cat sf.cc
>> #include <fenv.h>
>> #include <cstdio>
>>
>> int main() {
>>   float x = 2;
>>   float y = 3;
>>   feclearexcept(FE_INEXACT);
>>   x = x / y;
>>   printf("%d %.1000g\n", fetestexcept(FE_INEXACT) != 0, x);
> 
> You need to enable the FENV_ACCESS pragma (which is not yet implemented)
> to get defined behaviour.

Hi Andreas,

thanks for your message.  Do you mean that we need to enable the FENV_ACCESS
pragma to get defined behavior only on the Alpha or also elsewhere?

Moreover, do you mean that the FENV_ACCESS pragma is unimplemented for
the Alpha or unimplemented everywhere?

I am asking these questions because we observe this behavior only on the Alpha:
on all the other platforms we tested things seem to work fine.  However, your
words could be interpreted as saying that, today, with GCC there is no way
to use feclearexcept() and fetestexcept() and get defined behavior.
Thanks again,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it