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

Fri Aug 23 10:00:38 UTC 2024

Hi all,

This pull request contains a backport of commit [965dd1ac](https://github.com/openjdk/jdk/commit/965dd1acd0ce5b225d85e2c55cc097856e0e9f3c) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.

The commit being backported was authored by Qizheng Xing on 23 Aug 2024 and was reviewed by Christian Hagedorn, Vladimir Kozlov and Tobias Hartmann.

Thanks!

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

Commit messages:
 - Backport 965dd1acd0ce5b225d85e2c55cc097856e0e9f3c

Changes: https://git.openjdk.org/jdk23u/pull/83/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk23u&pr=83&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8333334
  Stats: 240 lines in 6 files changed: 190 ins; 4 del; 46 mod
  Patch: https://git.openjdk.org/jdk23u/pull/83.diff
  Fetch: git fetch https://git.openjdk.org/jdk23u.git pull/83/head:pull/83

PR: https://git.openjdk.org/jdk23u/pull/83