Gabriel Ravier wrote:
Independent from the defunct flow analysis in the presence of NaNs, my
example demonstrates another minor deficiency: know thy instruction set!
See the comments in the assembly below.
> On 8/13/21 8:58 PM, Stefan Kanthak wrote:
>> Hi,
>>
>> compile the following naive imple
"Gabriel Ravier" wrote:
Please don't FULL QUOTE!
> On 8/13/21 8:58 PM, Stefan Kanthak wrote:
>> Hi,
>>
>> compile the following naive implementation of nextafter() for AMD64:
>>
>> JFTR: ignore the aliasing casts, they don't matter here!
>>
>> $ cat repro.c
[...]
> Shouldn't this kind of stuff
On 8/13/21 8:58 PM, Stefan Kanthak wrote:
Hi,
compile the following naive implementation of nextafter() for AMD64:
JFTR: ignore the aliasing casts, they don't matter here!
$ cat repro.c
double nextafter(double from, double to)
{
if (to != to)
return to;// to is NAN
Hi,
compile the following naive implementation of nextafter() for AMD64:
JFTR: ignore the aliasing casts, they don't matter here!
$ cat repro.c
double nextafter(double from, double to)
{
if (to != to)
return to;// to is NAN
if (from != from)
return from; //
