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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it