David Edelsohn wrote:
On Thu, Aug 21, 2008 at 6:39 AM, Abramo Bagnara abramobagnara@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