Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8363898

RISC-V: TestRangeCheckHoistingScaledIV.java fails after JDK-8355293 when running without RVV

XMLWordPrintable

    • master
    • riscv
    • linux

        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
        ```

              dzhang Dingli Zhang
              dzhang Dingli Zhang
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

                Created:
                Updated:
                Resolved: