This is the mail archive of the kawa@sourceware.cygnus.com mailing list for the Kawa project. See the Kawa home page for more information.


[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index] [Subject Index] [Author Index] [Thread Index]

Re: kawa-1.6.55, unreachable basic block



I'm unclear if you're saying:
1) this is a missing optimization, or:
2) this is causing some actual problem.

There are a number of basic optimizations not done by Kawa,
such as constant folding.  Generally, something like
(cond (#t) (3 4)) is not something people are likely to write,
so it does not seem like a high priority optimizing it.
(Of course for compiler-generated code, the situation may
be different.)

In any case, there is now a better framework for adding more
optimizations, using the classes derived from ExpFullWalker.
Adding another Walker pass that does constant folding may make sense.

	--Per Bothner
Cygnus Solutions     bothner@cygnus.com     http://www.cygnus.com/~bothner