RFR: 8362972: C2 fails with unexpected node in SuperWord truncation: IsFiniteF, IsFiniteD

[Wang Haomin]

On Tue, 22 Jul 2025 10:46:15 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> We run these test regularly but we didn't observe the issue. Are you running with any non-default VM flags? Does it only reproduce on RISCV?

Only adding a matcher like `match(Set dst (CMoveI (Binary cop (CmpI (IsFiniteF op) zero)) (Binary src1 src2)));` will trigger this issue. There are no issues with the default VM. I saw that `IsInfinite` has already been added to the non-truncating list, so I wanted to add `IsFinite` as well.

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

PR Comment: https://git.openjdk.org/jdk/pull/26423#issuecomment-3102285982