java method calls and GIMPLE

Wed Oct 11 18:50:00 GMT 2006

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).