[lworld] Integrated: 8293314: [lworld] C2 OSR compilation fails with assert(_gvn.type(l)->higher_equal(type)) failed: must constrain OSR typestate

[Tobias Hartmann]

On Fri, 2 Sep 2022 14:23:12 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> We hit an assert during OSR compilation because when casting an array to its type (known from typeflow analysis) in `Parse::check_interpreter_type`, we lose the non null-free/flat property. The fix is to properly re-compute the null-free/flat properties when casting to not-exact.
> 
> Thanks,
> Tobias

This pull request has now been integrated.

Changeset: 02ea8d33
Author:    Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/02ea8d33fd2ddbbbfb1aa07f80defc56d5a36c89
Stats:     39 lines in 2 files changed: 35 ins; 1 del; 3 mod

8293314: [lworld] C2 OSR compilation fails with assert(_gvn.type(l)->higher_equal(type)) failed: must constrain OSR typestate

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

PR: https://git.openjdk.org/valhalla/pull/740