RFR: 8357816: Add test from JDK-8350576 [v3]

[Benoît Maillard]

> This PR adds a jtreg test for [JDK-8350576](https://bugs.openjdk.org/browse/JDK-8350576). The test consists of a code sample produced by the fuzzer, and it contains a loop that is supposed to get optimized.
> 
> Thanks!
> 
> ### Testing
> 
> - [x] [GitHub Actions](https://github.com/benoitmaillard/jdk/actions?query=branch%3AJDK-8357816)
> - [x] tier1-3, plus some internal testing
> - [x] Ran the test with a debug build prior to the fix (JDK 25 build 16) and made sure it failed as a sanity check
> 
> Shout out to @TobiHartmann for helping out with jtreg

Benoît Maillard has updated the pull request incrementally with one additional commit since the last revision:

  8357816: Split long line into several ones

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25774/files
  - new: https://git.openjdk.org/jdk/pull/25774/files/d946fcce..535bae67

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

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

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