[Top][All Lists]

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

Re: [Gcl-devel] Re: compiler changes

From: Camm Maguire
Subject: Re: [Gcl-devel] Re: compiler changes
Date: 17 Dec 2004 16:40:57 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


"Paul F. Dietz" <address@hidden> writes:

> Camm Maguire wrote:
> > Greetings!  This is just another quick note in case you didn't get
> > what I sent this morning.  I believe the ansi-aux.o abort is fixed in
> > CVS now.  Any feedback and/or testing results most appreciated.
> I've had it running in the random tester all day.  It did 65K iterations
> on terms of expected size 500 (size parameter 1000) with no failures
> except for the INCF/DECF ordering bug.

This should be fixed now as well.  I'm getting no failures on misc or
the random tester.  Your feedback/testing is always most useful!

Here is another one which was broken but now fixed if you'd like

(defun foo (x) (declare (fixnum x)) (- x))

passing most-negative-fixnum.  In C, - on this arg doesn't work but
simply returns the arg.

Also, have implemented propagation and inlining for ash.  Am going
through your list in random-int-form.lsp, and trying at first to pick
out the functions or two args which are monotonic in each and closed
over the integers.  Also need some separate mechanism by which to
progagate mod type information.  

Lastly, there is one known outstanding issue remaining at present, 

(let ((y x)) (and (si::fixnump x) (bar x))) where bar is proclaimed as
taking an integer arg with declare y as fixnum.  I need to either
type-and within a progn and type-or across an if, or rebind vars
within each branch of the if.

Take care,

>       Paul
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]