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