Re: [Gcl-devel] Re: compiler changes

[Camm Maguire]

Greetings!

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

> Camm Maguire wrote:
> 
> > 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!
> 
> I'm not seeing any failures in the random tester.  I'm seeing lots
> of warnings, however.
> 
> I removed the -Wall from compiler::*cc* to suppress the warnings.
> Most go away, except for an occasional "warning: assignment makes
> integer from pointer without a cast".  I've added a couple of
> test cases to misc.lsp that do this.  It looks like all the dead
> code isn't being removed.
> 

OK, fixes addressed at these issues now committed.  Also, enhanced
support for multiple value inlining, floor, ceiling, and truncate
optimization together with range propagation.  Auto-declaration logic
added to multiple-value-bind, and a propagation error in
multiple-value-setq is fixed.   As always, feedback/testing is most
appreciated.  I see no random tester failures nor misc failures nor
standard gcc warnings, but still have unused variable warnings
(mostly) with -Wall.

Take care,


> 
> > Also, have implemented propagation and inlining for ash.
> 
> Those two tests happen to involve ASH, so this may be related.
> 
> 
> > Also need some separate mechanism by which to
> > progagate mod type information.
> 
> I don't understand -- do you mean the lisp MOD types?  Those
> are just integer subranges.
> 
> 
> > 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.
> 
> Ah, you mean reverse propagation of type information?
> 
> On branches of an IF, you might try introducing LOCALLY declarations
> (if you handle those).
> 
>       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