This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: implementing escape analysis
>>>>> "Andrew" == Andrew Haley <aph@redhat.com> writes:
Andrew> I agree that representing things like inheritance and method
Andrew> invocation in the tree-SSA form would be a pain, whereas the Java
Andrew> front end already has these. However, I fear that we may
Andrew> unfortunately lower many constructs too early to be of use, so you'd
Andrew> be forced to annotate calls with "this is a method call to foo.bar"
Andrew> anyway.
I was thinking about this a little the other night. Maybe
re-introducing METHOD_CALL_EXPR would be a way to go... where we keep
method invocations around explicitly at a high level for some passes,
then lower then to vtables-and-CALL_EXPR later on. This would let us
do things like type-based devirtualization, etc, by working on the SSA
representation, which is really the best way to go about it.
Tom