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