RFR: 8310606: Fix signed integer overflow, part 3

Dean Long dlong at openjdk.org
Thu Jun 22 20:01:28 UTC 2023


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.

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

Commit messages:
 - use java_add/subtract/negate where appropriate
 - use java_negate
 - used unsigned add to avoid signed overflow
 - avoid integer overflow in multiply
 - use static constraint for AllocatePrefetchDistance

Changes: https://git.openjdk.org/jdk/pull/14619/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=14619&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8310606
  Stats: 42 lines in 9 files changed: 17 ins; 14 del; 11 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


More information about the hotspot-dev mailing list