RFR: 8367967: C2: "fatal error: Not monotonic" with Mod nodes

[Hannes Greule]

Generally, we shouldn't return a wider type (ZERO) if there is a later case that would return a more narrow type (TOP) for the same input types. If the inputs are widened and the first case doesn't match anymore but the later one still does, the result is not monotonic with the previous result.

Please review :)

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

Commit messages:
 - move up div by zero check
 - test

Changes: https://git.openjdk.org/jdk/pull/27408/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=27408&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8367967
  Stats: 75 lines in 2 files changed: 70 ins; 5 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/27408.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/27408/head:pull/27408

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