[PPL-devel] FW: patch for merging graphite branch (before tuplification)

[Roberto Bagnara]

David Edelsohn wrote:
> On Thu, Aug 21, 2008 at 6:39 AM, Abramo Bagnara <abramobagnara at tin.it> wrote:
>> To better understand what's the problem with double floating point
>> binary format could you try the attached program on the AIX machine and
>> post the output of the following commands?
>>
>> gcc testdouble.c
>> ./a.out 0xaaacccaa 0xacccaaac
> 
> -4.0182423960326471e-103
> 
>> ./a.out 0xacccaaac 0xaaacccaa
> 
> -6.871459756898565e-93
> 
>> ./a.out 0xcccaaacc 0xcaaaccca
> 
> -85705035845709847000000000000000000000000000000000000000000000
> 
>> ./a.out 0xcaaaccca 0xcccaaacc
> 
> -5013529507616260900000000000000000000000000000000000

Thanks David.  Abramo and myself discovered that what you observe
is due to a bug in Autoconf 2.62:

   http://lists.gnu.org/archive/html/autoconf/2008-08/msg00020.html

We have now reverted to Autoconf 2.61 for the generation of the
new snapshot

     ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre23.tar.bz2

Please let us know if it works for you;  and please send me
the config.log and config.h you obtain from configure (I would
like to check a couple of other things).
All the best,

     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