a question about const and pure functions.

[Tom Tromey]

>>>>> "Roger" == Roger Sayle <roger@eyesopen.com> writes:

Roger> If the conclussion is that you need to add a new tree-ssa pass,
Roger> specifically for eliminating "idempotent" functions, and this
Roger> pass only pays for itself on Java, it might be worth biting the
Roger> bullet, and enable front-ends to specify a langhook, or register
Roger> additional passes with the pass manager, and implement a special
Roger> purpose _Jv_InitClass optimization pass, that could simultaneously
Roger> handle _Jv_InitClass *and* implement the type hierarchy optimization.

Roger> Sorry if your question was rhetorical.

I don't have an immediate plan to implement any of this, but I've
been thinking about it in the context of tree-ssa.  I've read that
some folks would like there to be a clean handoff from the front ends
to the GENERIC parts of the compiler -- so I've been trying to think
of situations where this causes problems for java.

Tom