[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

GCL/maxima/axiom/acl2, denormalized floats, and alpha



Greetings!  Spoke too fast.  May actually have a compiler bug here:

Breakpoint 4, write_object (x=0x120413f70, level=0) at print.d:695
695			r = symbol_value(sLAread_default_float_formatA);
(gdb) n
696			if (r == sLshort_float)
(gdb) 
699				write_double((double)sf(x), 'S', TRUE);
(gdb) p x->SF.SFVAL
$9 = 1.40129846e-45
(gdb) s
write_double (d=2.6524947387065904e-315, e=83, shortp=1) at print.d:388
388		int n = FPRC+1;
(gdb) s

Casting the smallest denormalized shortfloat to a double in a function
argument is destroying the number in the callee.  Do you know of a
workaround? 

This persists with -mieee-with-inexact, of course.

Take care,


Paul Slootman <paul@debian.org> writes:

> On Fri 13 Oct 2006, Camm Maguire wrote:
> > 
> > Now down to the maxima build-deps:
> > 
> > Build-Depends: gcl ( >= 2.6.7-22 ) , texinfo, libgmp3-dev, libreadline5-dev | libreadline-dev, locales, automake1.9, debhelper ( >=4.1.0 ) , libncurses5-dev, autoconf2.13, gawk | awk, tetex-extra | texlive, sharutils, libxmu-dev, libxaw7-dev
> > 
> > All we really need are the libfoo-dev deps.
> 
> I did most, but not gcl as I gather you're working on that now, right?
> 
> 
> Paul
> 
> 
> 

-- 
Camm Maguire			     			camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah




Reply to: