[RFC] Migrate pointers to members to the middle end

[Michael Matz]

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.