RFR: 8365841: RISC-V: Several IR verification tests fail after JDK-8350960 without Zvfh

Hamlin Li mli at openjdk.org
Wed Aug 20 09:15:36 UTC 2025


On Wed, 20 Aug 2025 07:01:59 GMT, Dingli Zhang <dzhang at openjdk.org> wrote:

> Hi,
> Can you help to review this patch? Thanks!
> 
> The error in both cases is caused by the same reason: the target IR, MulReductionVI, is not matched.
> This is because the match_rule_supported_vector in riscv_v.ad is missing a break. If the if condition in `case MulReductionVI` evaluates to false, the loop will not exit until the `return UseZvfh`.
> 
> Failed IR tests:
> compiler/loopopts/superword/ProdRed_Int.java
> compiler/loopopts/superword/RedTest_int.java
> 
> ### Test (fastdebug)
> - [x] Run compiler/loopopts/superword/ProdRed_Int.java on k1 and k230
> - [x] Run compiler/loopopts/superword/RedTest_int.java on k1 and k230

Looks good, thanks for fixing this!

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

Marked as reviewed by mli (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/26854#pullrequestreview-3135568340


More information about the hotspot-compiler-dev mailing list