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

[Qizheng Xing]

On Thu, 4 Jul 2024 06:47:40 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Qizheng Xing has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Add `@requires` for G1 GC.
>
> Thanks, test results look good now. I'll pass the detailed review to someone else.

@TobiHartmann @chhagedorn @vnkozlov Thanks for the review!

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

PR Comment: https://git.openjdk.org/jdk/pull/19496#issuecomment-2306391675