[jdk17u-dev] RFR: 8309266: C2: assert(final_con == (jlong)final_int) failed: final value should be integer

[Goetz Lindenmaier]

I backport this for parity with 17.0.9-oracle.

Clean backport, but does not compiole because is_ConI is not supported by 17.
I include the parts to define this from "8298952: All nodes should have type(n) == Value(n) after IGVN"

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

Commit messages:
 - Backport 4a9cc8a000cafb3ad77a33710054b567e8553652

Changes: https://git.openjdk.org/jdk17u-dev/pull/1570/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk17u-dev&pr=1570&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8309266
  Stats: 18 lines in 3 files changed: 13 ins; 1 del; 4 mod
  Patch: https://git.openjdk.org/jdk17u-dev/pull/1570.diff
  Fetch: git fetch https://git.openjdk.org/jdk17u-dev.git pull/1570/head:pull/1570

PR: https://git.openjdk.org/jdk17u-dev/pull/1570