RFR: 8310606: Fix signed integer overflow, part 3 [v2]

[Dean Long]

> Most of these changes are straight-forward, but these could use some explaining:
> 
> AllocatePrefetchDistance was accessed before it's dynamic constraint function got run.  I changed it to use static constraints.
> 
> RangeCheckEliminator::update_bound(): for constant bounds with meaningless values, bail out.  For X + c bounds, use Java wrap-around semantics.

Dean Long has updated the pull request incrementally with one additional commit since the last revision:

  better comment

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/14619/files
  - new: https://git.openjdk.org/jdk/pull/14619/files/85868499..f118f5a8

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

  Stats: 2 lines in 2 files changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/14619.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/14619/head:pull/14619

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