Moving from VVT to the L-world value types (LWVT)
John Rose
john.r.rose at oracle.com
Thu Jan 25 07:24:25 UTC 2018
On Jan 24, 2018, at 12:24 PM, Frederic Parain <frederic.parain at oracle.com> wrote:
>
> http://cr.openjdk.java.net/~fparain/L-world/L-World-JVMS-2.pdf <http://cr.openjdk.java.net/~fparain/L-world/L-World-JVMS-2.pdf>
Nit:
• if_acmpeq succeeds if and only if value1 = value2 and they are not instances of a value class.
• if_acmpne succeeds if and only if value1 ≠ value2 or they are instances of a value class.
Should be:
• if_acmpeq succeeds if and only if value1 = value2 and neither is an instance of a value class.
• if_acmpne succeeds if and only if value1 ≠ value2 or either is an instance of a value class.
More information about the valhalla-dev
mailing list