Hi,
On Thu, 9 Aug 2007, Tom Tromey wrote:
Michael> Yes, devirtualization. But I wonder if you really need class
Michael> hierarchies for this (actually I'm fairly sure you don't).
However, I'm not sure I agree with the above assertion. Specifically,
for Java I think it is sometimes possible to strength reduce interface
calls to virtual calls, but I don't see how this could be done without
class hierarchy information.
Okay, I suppose there are transformations that could make use of class
hierarchies. Luckily we do have that via the BINFO machinery already.
Ciao,
Michael.
