[lworld] RFR: 8376778: [lworld] Ideal verification fails with "Need to remove from hash before changing edges" for various tests
Benoît Maillard
bmaillard at openjdk.org
Thu Feb 19 12:29:27 UTC 2026
This PR addresses several missed optimizations linked to `InlineType` nodes. These failures were originally caught during testing in `compiler/valhalla/inlinetypes/TestArrays.java` and `compiler/valhalla/inlinetypes/TestNullableInlineTypes.java`. I noticed there were two distinct cases in these tests and extracted reproducers.
The first case is a missed notification in `add_users_of_use_to_worklist` when we have nested `InlineType` nodes and we want to use the base oop if fields are loaded from memory. Since the structure might be nested, we need to add all the users in a recursive fashion.
The other case happens when we call `InlineTypeNode::buffer` during parsing. In `InlineTypeNode::Ideal`, we search re-allocation of an inlintype and attempt to remove them. Since this optimization hides behind the `can_reshape` flag, we need to make sure that the node gets added to the worklist after calling `PhaseGVN::transform`.
### Testing
- [x] GitHub Actions
- [x] tier1-3, plus some internal testing
Thank you for reviewing!
-------------
Commit messages:
- Add second test
- Change visit_uses to optionally apply callback on all nodes seen
- Add missing push to worklist in parsing for IT
- Details
- Add test
- Push users to worklist for recursive InlineType nodes
Changes: https://git.openjdk.org/valhalla/pull/2135/files
Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=2135&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8376778
Stats: 182 lines in 5 files changed: 169 ins; 0 del; 13 mod
Patch: https://git.openjdk.org/valhalla/pull/2135.diff
Fetch: git fetch https://git.openjdk.org/valhalla.git pull/2135/head:pull/2135
PR: https://git.openjdk.org/valhalla/pull/2135
More information about the valhalla-dev
mailing list