Generic sort

Brian Goetz brian.goetz at
Sun Sep 14 01:39:50 UTC 2014

> can throw a CCE where Complex is a value type. This seems to imply we
> need byte code instructions: vinstanceof and vcheckcast.
> This seems strange, what am I missing?

Some bytecodes need to be v-ified (xreturn, xload), but others (dup) 
need not because they are intrinsically polymorphic.  In the middle are 
those that take type descriptors as operands (checkcast); if we expand 
the set of type descriptors to include q-types, you need not v-ify the 
bytecode, you can just expand the range of operands.

More information about the valhalla-dev mailing list