-
Bug
-
Resolution: Fixed
-
P4
-
25, 26
-
master
-
riscv
-
linux
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8364140 | 25.0.2 | Dingli Zhang | P4 | Resolved | Fixed | master |
test/hotspot/jtreg/compiler/rangechecks/TestRangeCheckHoistingScaledIV.java fails without RVV after JDK-8355293 in fastdebug mode.
VectorAPI needs vector intrinsic in this case, so RVV needs to be enabled on RISC-V.
The error log:
```
----------System.err:(191/16019)----------
WARNING: Using incubator modules: jdk.incubator.vector
stdout: [Predicate invariant if: 210 Loop: N206/N194 limit_check profile_predicated predicated sfpts={ 194 }
Predicate invariant if: 213 Loop: N206/N194 limit_check profile_predicated predicated sfpts={ 194 }
Loop Predication Performed: Loop: N206/N194 limit_check profile_predicated predicated sfpts={ 194 }
Missing Parse Predicates: Loop: N256/N98 sfpts={ 247 }
98 IfTrue === 97 [[ 256 ]] #1 !orig=[125] !jvms: TestRangeCheckHoistingScaledIV$Launcher::scaledIntIV @ bci:6 (line 64)
250 IfTrue === 249 [[ 256 ]] #1 !orig=98,[125] !jvms: TestRangeCheckHoistingScaledIV$Launcher::scaledIntIV @ bci:6 (line 64)
256 Loop === 256 250 98 [[ 251 256 278 282 ]] inner partial_peel !orig=[222]
Predicate invariant if: 232 Loop: N227/N194 limit_check profile_predicated predicated counted [0,int),+2 (399 iters) rc has_sfpt rce strip_mined
rc_predicate 0 * 3 <u range
lower bound check if: 241
rc_predicate (limit - 2) * 3 <u range
upper bound check if: 252
rc_predicate init * 3 <u range
rc_predicate init * 3 <u range
Predicate invariant if: 284 Loop: N227/N194 limit_check profile_predicated predicated counted [0,int),+2 (399 iters) rc has_sfpt rce strip_mined
rc_predicate 0 * 7 <u range
lower bound check if: 294
rc_predicate (limit - 2) * 7 <u range
upper bound check if: 304
rc_predicate init * 7 <u range
rc_predicate init * 7 <u range
Loop Predication Performed: Loop: N227/N194 limit_check profile_predicated predicated counted [0,int),+2 (399 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1598 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1602 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1605 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1614 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1617 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1626 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1478 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1481 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1489 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1498 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1506 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1516 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1524 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1534 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1321 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1326 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1329 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1338 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1341 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1350 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1358 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1366 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1376 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1384 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1394 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Loop Predication Performed: Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Missing Parse Predicates: Loop: N1514/N187 counted [int,int),+1 (-1 iters) rc has_sfpt strip_mined
187 IfTrue === 1509 [[ 1514 ]] #1 !orig=[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1513 OuterStripMinedLoop === 1513 1458 1512 [[ 1513 1514 ]]
1514 CountedLoop === 1514 1513 187 [[ 1514 1493 1489 1459 ]] stride: 1 strip mined !orig=[1464],[1433]
rc_predicate 1 + offset<u range
lower bound check if: 1747
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1757
rc_predicate init + offset<u range
rc_predicate init + offset<u range
rc_predicate 1 + offset<u range
lower bound check if: 1795
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1805
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1703/N187 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt rce strip_mined
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
rc_predicate 0 <u range
lower bound check if: 1293
rc_predicate (limit - 1) <u range
upper bound check if: 1299
rc_predicate init <u range
rc_predicate init <u range
Predicate invariant if negated: 1325 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1329 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1333 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1336 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1345 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1348 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1357 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
rc_predicate 1 + offset<u range
lower bound check if: 1593
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1603
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1578/N1200 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt strip_mined
rc_predicate 0 <u range
lower bound check if: 1211
rc_predicate (limit - 1) <u range
upper bound check if: 1217
rc_predicate init <u range
rc_predicate init <u range
Predicate invariant if: 1243 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1246 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1254 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1262 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1271 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1279 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1289 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1297 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1307 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
rc_predicate 1 + offset<u range
lower bound check if: 1547
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1557
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1532/N1128 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt strip_mined
Predicate invariant if: 1097 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1102 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1105 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1114 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1117 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1126 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1134 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1142 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1150 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1160 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1168 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1178 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Loop Predication Performed: Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Missing Parse Predicates: Loop: N1291/N158 counted [int,int),+1 (-1 iters) rc has_sfpt strip_mined
158 IfTrue === 1286 [[ 1291 ]] #1 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1290 OuterStripMinedLoop === 1290 1242 1289 [[ 1290 1291 ]]
1291 CountedLoop === 1291 1290 158 [[ 1291 1271 1267 1232 ]] stride: 1 strip mined !orig=[1246],[1215]
rc_predicate 1 + offset<u range
lower bound check if: 1516
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1526
rc_predicate init + offset<u range
rc_predicate init + offset<u range
rc_predicate 1 + offset<u range
lower bound check if: 1566
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1576
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1478/N158 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt rce strip_mined
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
];
stderr: [WARNING: Using incubator modules: jdk.incubator.vector
]
exitValue = 0
java.lang.RuntimeException: 'rc_predicate init * 6' missing from stdout
at jdk.test.lib.process.OutputAnalyzer.stdoutShouldContain(OutputAnalyzer.java:268)
at compiler.rangechecks.TestRangeCheckHoistingScaledIV.main(TestRangeCheckHoistingScaledIV.java:98)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:104)
at java.base/java.lang.reflect.Method.invoke(Method.java:565)
at com.sun.javatest.regtest.agent.MainWrapper$MainTask.run(MainWrapper.java:138)
at java.base/java.lang.Thread.run(Thread.java:1474)
JavaTest Message: Test threw exception: java.lang.RuntimeException: 'rc_predicate init * 6' missing from stdout
JavaTest Message: shutting down test
STATUS:Failed.`main' threw exception: java.lang.RuntimeException: 'rc_predicate init * 6' missing from stdout
```
VectorAPI needs vector intrinsic in this case, so RVV needs to be enabled on RISC-V.
The error log:
```
----------System.err:(191/16019)----------
WARNING: Using incubator modules: jdk.incubator.vector
stdout: [Predicate invariant if: 210 Loop: N206/N194 limit_check profile_predicated predicated sfpts={ 194 }
Predicate invariant if: 213 Loop: N206/N194 limit_check profile_predicated predicated sfpts={ 194 }
Loop Predication Performed: Loop: N206/N194 limit_check profile_predicated predicated sfpts={ 194 }
Missing Parse Predicates: Loop: N256/N98 sfpts={ 247 }
98 IfTrue === 97 [[ 256 ]] #1 !orig=[125] !jvms: TestRangeCheckHoistingScaledIV$Launcher::scaledIntIV @ bci:6 (line 64)
250 IfTrue === 249 [[ 256 ]] #1 !orig=98,[125] !jvms: TestRangeCheckHoistingScaledIV$Launcher::scaledIntIV @ bci:6 (line 64)
256 Loop === 256 250 98 [[ 251 256 278 282 ]] inner partial_peel !orig=[222]
Predicate invariant if: 232 Loop: N227/N194 limit_check profile_predicated predicated counted [0,int),+2 (399 iters) rc has_sfpt rce strip_mined
rc_predicate 0 * 3 <u range
lower bound check if: 241
rc_predicate (limit - 2) * 3 <u range
upper bound check if: 252
rc_predicate init * 3 <u range
rc_predicate init * 3 <u range
Predicate invariant if: 284 Loop: N227/N194 limit_check profile_predicated predicated counted [0,int),+2 (399 iters) rc has_sfpt rce strip_mined
rc_predicate 0 * 7 <u range
lower bound check if: 294
rc_predicate (limit - 2) * 7 <u range
upper bound check if: 304
rc_predicate init * 7 <u range
rc_predicate init * 7 <u range
Loop Predication Performed: Loop: N227/N194 limit_check profile_predicated predicated counted [0,int),+2 (399 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1598 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1602 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1605 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1614 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1617 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1626 Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1591/N1372 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1478 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1481 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1489 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1498 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1506 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1516 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1524 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1534 Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1471/N1265 limit_check profile_predicated predicated counted [0,8),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1321 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1326 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1329 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1338 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1341 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1350 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1358 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1366 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if: 1376 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1384 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Predicate invariant if negated: 1394 Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Loop Predication Performed: Loop: N1316/N1083 limit_check profile_predicated predicated sfpts={ 1083 }
Missing Parse Predicates: Loop: N1514/N187 counted [int,int),+1 (-1 iters) rc has_sfpt strip_mined
187 IfTrue === 1509 [[ 1514 ]] #1 !orig=[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1513 OuterStripMinedLoop === 1513 1458 1512 [[ 1513 1514 ]]
1514 CountedLoop === 1514 1513 187 [[ 1514 1493 1489 1459 ]] stride: 1 strip mined !orig=[1464],[1433]
rc_predicate 1 + offset<u range
lower bound check if: 1747
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1757
rc_predicate init + offset<u range
rc_predicate init + offset<u range
rc_predicate 1 + offset<u range
lower bound check if: 1795
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1805
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1703/N187 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt rce strip_mined
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
Missing Parse Predicates: Loop: N1521/N1518 sfpts={ 1609 }
1518 IfTrue === 1519 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1458 IfTrue === 1457 [[ 1521 ]] #1 !orig=187,[196] !jvms: ByteVector::ldLongOp @ bci:16 (line 368)
1521 Loop === 1521 1458 1518 [[ 1521 1592 1522 1539 ]]
rc_predicate 0 <u range
lower bound check if: 1293
rc_predicate (limit - 1) <u range
upper bound check if: 1299
rc_predicate init <u range
rc_predicate init <u range
Predicate invariant if negated: 1325 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1329 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1333 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1336 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1345 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1348 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1357 Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1286/N1200 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
rc_predicate 1 + offset<u range
lower bound check if: 1593
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1603
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1578/N1200 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt strip_mined
rc_predicate 0 <u range
lower bound check if: 1211
rc_predicate (limit - 1) <u range
upper bound check if: 1217
rc_predicate init <u range
rc_predicate init <u range
Predicate invariant if: 1243 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1246 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1254 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1262 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1271 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1279 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if: 1289 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1297 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Predicate invariant if negated: 1307 Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
Loop Predication Performed: Loop: N1204/N1128 limit_check profile_predicated predicated counted [0,int),+1 (9 iters) rc has_sfpt rce strip_mined
rc_predicate 1 + offset<u range
lower bound check if: 1547
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1557
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1532/N1128 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt strip_mined
Predicate invariant if: 1097 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1102 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1105 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1114 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1117 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1126 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1134 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1142 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1150 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if: 1160 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1168 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Predicate invariant if negated: 1178 Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Loop Predication Performed: Loop: N1094/N1058 limit_check profile_predicated predicated sfpts={ 1058 }
Missing Parse Predicates: Loop: N1291/N158 counted [int,int),+1 (-1 iters) rc has_sfpt strip_mined
158 IfTrue === 1286 [[ 1291 ]] #1 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1290 OuterStripMinedLoop === 1290 1242 1289 [[ 1290 1291 ]]
1291 CountedLoop === 1291 1290 158 [[ 1291 1271 1267 1232 ]] stride: 1 strip mined !orig=[1246],[1215]
rc_predicate 1 + offset<u range
lower bound check if: 1516
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1526
rc_predicate init + offset<u range
rc_predicate init + offset<u range
rc_predicate 1 + offset<u range
lower bound check if: 1566
rc_predicate (limit - 1) + offset<u range
upper bound check if: 1576
rc_predicate init + offset<u range
rc_predicate init + offset<u range
Loop Predication Performed: Loop: N1478/N158 limit_check profile_predicated predicated counted [1,int),+1 (9 iters) rc has_sfpt rce strip_mined
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
Missing Parse Predicates: Loop: N1298/N1295 sfpts={ 1385 }
1295 IfTrue === 1296 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1242 IfTrue === 1241 [[ 1298 ]] #1 !orig=158 !jvms: ByteVector::stLongOp @ bci:14 (line 435)
1298 Loop === 1298 1242 1295 [[ 1298 1368 1299 1316 ]]
];
stderr: [WARNING: Using incubator modules: jdk.incubator.vector
]
exitValue = 0
java.lang.RuntimeException: 'rc_predicate init * 6' missing from stdout
at jdk.test.lib.process.OutputAnalyzer.stdoutShouldContain(OutputAnalyzer.java:268)
at compiler.rangechecks.TestRangeCheckHoistingScaledIV.main(TestRangeCheckHoistingScaledIV.java:98)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:104)
at java.base/java.lang.reflect.Method.invoke(Method.java:565)
at com.sun.javatest.regtest.agent.MainWrapper$MainTask.run(MainWrapper.java:138)
at java.base/java.lang.Thread.run(Thread.java:1474)
JavaTest Message: Test threw exception: java.lang.RuntimeException: 'rc_predicate init * 6' missing from stdout
JavaTest Message: shutting down test
STATUS:Failed.`main' threw exception: java.lang.RuntimeException: 'rc_predicate init * 6' missing from stdout
```
- backported by
-
JDK-8364140 RISC-V: TestRangeCheckHoistingScaledIV.java fails after JDK-8355293 when running without RVV
-
- Resolved
-
- relates to
-
JDK-8355293 [TEST] RISC-V: enable more ir tests
-
- Resolved
-
- links to
-
Commit(master) openjdk/jdk25u/12d7b2e4
-
Commit(master) openjdk/jdk/b746701e
-
Review(master) openjdk/jdk25u/30
-
Review(master) openjdk/jdk/26437
(1 links to)