RFR: 8366815: C2: Delay Mod/Div by constant transformation [v3]

[Hannes Greule]

> The test cases show examples of code where `Value()` previously wasn't run because idealization took place before, resulting in less precise type analysis.
> 
> Please let me know what you think.

Hannes Greule has updated the pull request incrementally with one additional commit since the last revision:

  review

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/27886/files
  - new: https://git.openjdk.org/jdk/pull/27886/files/6a8d842f..c32bb551

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=27886&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=27886&range=01-02

  Stats: 20 lines in 1 file changed: 11 ins; 5 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/27886.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/27886/head:pull/27886

PR: https://git.openjdk.org/jdk/pull/27886