RFR: 8346664: C2: Optimize mask check with constant offset [v23]

[Matthias Ernst]

> Fixes [JDK-8346664](https://bugs.openjdk.org/browse/JDK-8346664): extends the optimization of masked sums introduced in #6697 to cover constant values, which currently break the optimization.
> 
> Such constant values arise in an expression of the following form, for example from `MemorySegmentImpl#isAlignedForElement`:
> 
> 
> (base + (index + 1) << 8) & 255
> => MulNode
> (base + (index << 8 + 256)) & 255
> => AddNode
> ((base + index << 8) + 256) & 255
> 
> 
> Currently, `256` is not being recognized as a shifted value. This PR enables further reduction:
> 
> 
> ((base + index << 8) + 256) & 255
> => MulNode (this PR)
> (base + index << 8) & 255
> => MulNode (PR #6697)
> base & 255 (loop invariant)
> 
> 
> Implementation notes:
> * I verified that the originating issue "scaled varhandle indexed with i+1"  (https://mail.openjdk.org/pipermail/panama-dev/2024-December/020835.html) is resolved with this PR.
> * ~in order to stay with the flow of the current implementation, I refrained from solving general (const & mask)==0 cases, but only those where const == _ << shift.~
> * ~I modified existing test cases adding/subtracting from the index var (which would fail with current C2). Let me know if would like to see separate cases for these.~

Matthias Ernst has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 40 additional commits since the last revision:

 - Merge branch 'openjdk:master' into mernst/JDK-8346664
 - Reword correctness (fixes).
 - Merge branch 'openjdk:master' into mernst/JDK-8346664
 - Reword correctness.
 - Reword correctness.
 - Comments, "Proof", order of checks.
 - Apply suggestions from code review
   
   Co-authored-by: Emanuel Peter <emanuel.peter at oracle.com>
 - jlong, not long
 - Merge branch 'openjdk:master' into mernst/JDK-8346664
 - dropped bug ref.
 - ... and 30 more: https://git.openjdk.org/jdk/compare/1fbd623d...c1ea9576

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/22856/files
  - new: https://git.openjdk.org/jdk/pull/22856/files/09f01e80..c1ea9576

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=22856&range=22
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=22856&range=21-22

  Stats: 13597 lines in 743 files changed: 9862 ins; 1449 del; 2286 mod
  Patch: https://git.openjdk.org/jdk/pull/22856.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/22856/head:pull/22856

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