[lworld] RFR: 8320080: [lworld] SubTypeCheckNode::sub asserts with "should be not null"

Tobias Hartmann thartmann at openjdk.org
Mon Nov 20 11:38:36 UTC 2023


Similar to [JDK-8315744](https://bugs.openjdk.org/browse/JDK-8315744), we hit an assert because the subtype of a SubTypeCheckNode is not known to be non-null. The problem is that when pushing casts up through InlineTypeNodes in `ConstraintCastNode::Ideal`, we lose track of the null-free information.

I also re-added still required `T_PRIMITIVE_OBJECT` in the compiler replay implementation that I accidentally removed with https://git.openjdk.org/valhalla/pull/946.

Thanks,
Tobias

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

Commit messages:
 - 8320080: [lworld] SubTypeCheckNode::sub asserts with "should be not null"

Changes: https://git.openjdk.org/valhalla/pull/956/files
 Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=956&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8320080
  Stats: 22 lines in 4 files changed: 22 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/valhalla/pull/956.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/956/head:pull/956

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



More information about the valhalla-dev mailing list