[lworld] RFR: 8273323: [lworld] Fix post-parse call devirtualization with inline type receiver
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).
- Added missing record_for_igvn calls, new test and cherry-picked JDK-8273409
- 8273323: [lworld] Fix post-parse call devirtualization with inline type receiver
Stats: 83 lines in 5 files changed: 69 ins; 7 del; 7 mod
Fetch: git fetch https://git.openjdk.java.net/valhalla pull/549/head:pull/549
More information about the valhalla-dev