Re: [Gcl-devel] Re: compiler changes

[Camm Maguire]

Greetings!

"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