brian.goetz at oracle.com
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