RFR: 8257600: [type-restrictions] Implement RestrictedField in C1 [v2]

Frederic Parain fparain at openjdk.java.net
Thu Dec 3 15:33:08 UTC 2020

On Thu, 3 Dec 2020 15:16:47 GMT, Frederic Parain <fparain at openjdk.org> wrote:

>> Compiler changes look good to me!
> Lois, Tobias,
> thank you for your reviews.
> Lois' comments have been addressed in the latest commit.


The current goal of the type restrictions branch is to measure the impact and the cost of type restrictions checks, so features are being added incrementally (not a full model yet). The current goal is not to provide a support for full reification, and some models being proposed on top of type restrictions are relying on the fact that type restrictions can only be applied to primitive classes.

For the first phase of this exploration, we should stick to the simple model until we reach the first mile-stone: full support of RestrictedField and RestrictedMethod in the interpreter, C1 and C2.

By the time we implement this first step, we hope we'll have a better understanding on how to evolve the model, relaxing constraints, keeping them or modifying them.




PR: https://git.openjdk.java.net/valhalla/pull/288

More information about the valhalla-dev mailing list