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

[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)
> - [ ] tier1
> - [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: Add additional run without flags

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

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

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

  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 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