[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: 20 Dec 2004 23:57:05 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


"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

reply via email to

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