infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-01-28 03:58:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update test/hotspot/jtreg/compiler/intrinsics/string/TestRangeCheck.java

Browse Source 
Co-authored-by: Volkan Yazıcı <volkan.yazici@oracle.com>
This commit is contained in:
Damon Fenacci 2026-01-15 16:14:38 +01:00 committed by GitHub
parent e85784ae99
commit 6808ebe77c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/hotspot/jtreg/compiler/intrinsics/string/TestRangeCheck.java
View File

@ -50,11 +50,15 @@ public class TestRangeCheck {
private static int test(byte[] bytes) {
try {
// Calling countPositives to perform Java range checks. With checkFromIndexSize
// not inlined, C2 does not know about the explicit range checks and does not
// cut off the dead code. As a result, -1 is fed as input into the
// StringCoding::countPositives0 intrinsic which is replaced by TOP and causes a
// failure in the matcher.
// Calling `StringCoding::countPositives`, which is a "front door"
// to the `StringCoding::countPositives0` intrinsic.
// `countPositives` validates its input using
// `Preconditions::checkFromIndexSize`, which also maps to an
// intrinsic. When `checkFromIndexSize` is not inlined, C2 does not
// know about the explicit range checks, and does not cut off the
// dead code. As a result, an invalid value (e.g., `-1`) can be fed
// as input into the `countPositives0` intrinsic, got replaced
// by TOP, and cause a failure in the matcher.
return JLA.countPositives(bytes, -1, 42);
} catch (Exception e) {
return 0;