On Mar 25, 2010, at 8:12 AM, Rémi Forax wrote:

> I've also found useful to propagate expected type back to the calling 
> method.
> Example:
> if (foo()) { ... }
> 
> should be translated to indy foo ()Z instead of ()Object because if () 
> wait for a boolean.

Besides booleans, this is probably most useful for the return type void.  It's 
easy for a MH adapter to drop a value, but harder to create one from a void 
method.  So there's a likely performance benefit from declaring that you don't 
care about the return value.

-- John
_______________________________________________
mlvm-dev mailing list
mlvm-dev@openjdk.java.net
http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev

Reply via email to