Hi Brian
Thanks for the updated SoV docs. In section 4, it mentions: > In most cases, such as field descriptors and method descriptors, uses of C.ref is translated as LC$ref;, uses of C.val is translated as QC$val;, In the LW2 spec the `name_index` in `CONSTANT_Class_info` structures could refer to "binary class or interface name" as well as "ReferenceType descriptors" which referenced UTF8s with 'Q' descriptors. In LW2 inline-types were both nullable and null-free so it was necessary to have ReferenceType descriptors in order make a distinction in CONSTANT_Class_info structures for things like allocating arrays. With the new model inline-types can only be null-free, so will the CONSTANT_Class_info structures be limited to binary class or interface names? or will ReferenceType descriptors be used for inline-types? --Tobi "valhalla-spec-experts" <valhalla-spec-experts-boun...@openjdk.java.net> wrote on 2020/03/27 03:59:38 PM: > From: Brian Goetz <brian.go...@oracle.com> > To: valhalla-spec-experts <valhalla-spec-experts@openjdk.java.net> > Date: 2020/03/27 03:59 PM > Subject: [EXTERNAL] Updated SoV documents > Sent by: "valhalla-spec-experts" <valhalla-spec-experts- > boun...@openjdk.java.net> > > I've updated the SoV documents, including the new sections on VM > model and translation: > > http://cr.openjdk.java.net/~briangoetz/valhalla/sov/01-background.html >
