This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: java method calls and GIMPLE
On Wed, Oct 11, 2006 at 11:12:52AM -0600, Tom Tromey wrote:
> >>>>> "Ian" == Ian Lance Taylor <iant@google.com> writes:
>
> Ian> But note that IPA via LTO is not going to permit callbacks into the
> Ian> front end, because there isn't going to be a front end. So the
> Ian> information needs to be represented in GIMPLE somewhere.
>
> Unfortunately there are lots of unsolved problems here, namely what
> the type system will look like. My current devirtualization pass
> relies on facts about the java type system in order to do its work.
It seems that there should be commonalities that can be exploited; the
rules for doing devirtualization in C++ are pretty close to those used
for Java (though each language has relevant features the other lacks, like
the Java "final" keyword).