[lworld] RFR: 8273323: [lworld] Fix post-parse call devirtualization with inline type receiver

Tobias Hartmann thartmann at openjdk.java.net
Thu Sep 9 08:38:24 UTC 2021

Post-parse call devirtualization ([JDK-8257211](https://bugs.openjdk.java.net/browse/JDK-8257211)) converts virtual calls to static calls which allows an inline type receiver to be passed as fields and the corresponding buffer allocation to become useless.

Currently, new inline type nodes created during that optimization and also such useless buffer allocations are not removed, leading to missed optimization opportunities and asserts. The problem is that call devirtualization is only executed after macro expansion which removes useless buffer allocations. I've moved the optimization to before macro expansion and added an assert to ensure that we are not missing any optimization opportunities.

I had to cherry-pick the mainline fix for [JDK-8273409](https://bugs.openjdk.java.net/browse/JDK-8273409).

Best regards,


Commit messages:
 - Added missing record_for_igvn calls, new test and cherry-picked JDK-8273409
 - 8273323: [lworld] Fix post-parse call devirtualization with inline type receiver

Changes: https://git.openjdk.java.net/valhalla/pull/549/files
 Webrev: https://webrevs.openjdk.java.net/?repo=valhalla&pr=549&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8273323
  Stats: 83 lines in 5 files changed: 69 ins; 7 del; 7 mod
  Patch: https://git.openjdk.java.net/valhalla/pull/549.diff
  Fetch: git fetch https://git.openjdk.java.net/valhalla pull/549/head:pull/549

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

More information about the valhalla-dev mailing list