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

[Rémi Forax]

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

>> Lois, Tobias,
>> 
>> thank you for your reviews.
>> Lois' comments have been addressed in the latest commit.
>
> Remi,
> 
> 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.
> 
> Regards,
> 
> Fred

Hi Frédéric,
nevermind, in the meantime, i can patch the attribute name so if it's not a record the attribute itself will not be recognized

-------------

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