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

[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:

  expand comments

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

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

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

  Stats: 25 lines in 1 file changed: 17 ins; 0 del; 8 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