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

[Tobias Hartmann]

On Mon, 13 Sep 2021 12:28:34 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 six additional commits since the last revision:
> 
>  - 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

I found more issues with uninitialized classes and fixed them. The new tests currently trigger [JDK-8273650](https://bugs.openjdk.java.net/browse/JDK-8273650), so I'll wait with integration until that is fixed.

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

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