LWorld1 initial phase proposal

John Rose john.r.rose at oracle.com
Thu Jan 4 02:43:59 UTC 2018

On Jan 3, 2018, at 6:40 PM, John Rose <john.r.rose at oracle.com> 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

More information about the valhalla-spec-observers mailing list