Request for review (M): 6837094: False positive for "meet not symmetric" failure

[John Rose]

Reviewed.  Thanks!  -- John

P.S.  Interface types in the JIT IR are much pain for little gain,  
since the bytecode verifier doesn't guarantee them.  I wonder what  
would happen if we just erased all interfaces to Object in C2.  Would  
probably disable some type-check constant foldings.  The right answer,  
I think, is to treat C2 interface types as assertions collected in  
addition to class information, not in the place of class information.

On Jun 18, 2009, at 7:54 AM, Chuck Rasbold wrote:

> http://cr.openjdk.java.net/~rasbold/6837094/webrev.00
>
> Fixed 6837094: False positive for "meet not symmetric" failure
>
> Have the meet not symmetric check recursively do the interface-vs-oop
> check on array subtypes.
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20090618/ea471a0c/attachment.html