On Jan 3, 2018, at 6:40 PM, John Rose <[email protected]> wrote: > > (In L-world, a U-type appears to the JVM as an L-type, often an actual > L-descriptor like "Lpkg.Foo;". The term U-type refers to a new way of > using of L-type values. Likewise, R-types also appear to the JVM as > L-types, but the term R-type refers to the legacy usage of legacy L-types. > A Q-type enables a new way of passing or storing operands by value > instead of by reference. In L-world, there are mainly just L-types and > L-descriptors. If we need actual Q-descriptors in the JVM, it is only > because sometimes there is no better way to encode the directive to > use a Q-type, that is pass or store an operand only by value.)
(Oh, boy, I think I made a hash of this paragraph. The point is that there are lots of types running around and only a few descriptors.)
