Re: RFR: 8333334: C2: Make result of `Node::dominates` more precise to enhance scalar replacement [v3]

(nkeys) Mode CntScore > Error Units > Maps.testConcurrentHashMapIterators1 avgt 15 414099.085 ± > 33230.945 ns/op # baseline > Maps.testConcurrentHashMapIterators1 avgt 15 315490.281 ± > 3037.056 ns/op # patch &

Re: RFR: 8333334: C2: Make result of `Node::dominates` more precise to enhance scalar replacement [v2]

(nkeys) Mode CntScore > Error Units > Maps.testConcurrentHashMapIterators1 avgt 15 414099.085 ± > 33230.945 ns/op # baseline > Maps.testConcurrentHashMapIterators1 avgt 15 315490.281 ± > 3037.056 ns/op # patch &

Re: RFR: 8333334: C2: Make result of `Node::dominates` more precise to enhance scalar replacement [v2]

On Wed, 5 Jun 2024 05:40:12 GMT, Tobias Hartmann wrote: >> MaxXing has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Revert last commit, and push the `LoadNode` back to the worklist to wait >> f

RFR: 8333334: C2: Make result of `Node::dominates` more precise to enhance scalar replacement

This patch changes the algorithm of `Node::dominates` to make the result more precise, and allows the iterators of `ConcurrentHashMap` to be scalar replaced. The previous algorithm will return a conservative result when encountering a dead control flow, and only try the first two input paths of