[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 |
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