On Wed, Oct 11, 2006 at 11:12:52AM -0600, Tom Tromey wrote: > >>>>> "Ian" == Ian Lance Taylor <[EMAIL PROTECTED]> 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).
