[lworld] RFR: 8273594: [lworld] JITs need to properly handle static inline type field with unloaded type [v5]

[Frederic Parain]

On Thu, 14 Oct 2021 11:55:45 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Both C1 and C2 do not properly handle loads from static inline type fields with an unloaded type. For C1, the fix is to simply remove two asserts that are too strong. For C2, we need to trap during typeflow analysis.
>> 
>> I've added a corresponding test to `TestUnloadedInlineTypeField.java` and noticed that the new IR Test Framework often triggers class loading while the test was carefully designed to avoid that. As a workaround, I slightly modified the framework and run the test with `-DIgnoreCompilerControls=true`. I filed [JDK-8273591](https://bugs.openjdk.java.net/browse/JDK-8273591) to fix this upstream.
>> 
>> I also fixed a `-XX:-XX:+PatchALot` typo in the test that went unnoticed because `-XX:+IgnoreUnrecognizedVMOptions` is set.
>> 
>> Thanks,
>> Tobias
>
> Tobias Hartmann has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains ten additional commits since the last revision:
> 
>  - Test fix
>  - Merge branch 'lworld' into JDK-8273594
>  - Fix
>  - Remove -Xint from CircularityTest
>  - Merge branch 'lworld' into JDK-8273594
>  - Check for uninitialized class
>  - Deoptimization does no longer support symbolic names for the class index, use a simple trap instead
>  - Don't modify do_Deoptimize
>  - 8273594: [lworld] JITs need to properly handle static inline type field with unloaded type

C1 changes look good to me.

Fred

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

Marked as reviewed by fparain (Committer).

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