akirilov-arm opened PR #3087 from aarch64_tests
to main
:
The tests for the SIMD floating-point maximum and minimum operations require particular care because the handling of the NaN values is non-deterministic and may vary between platforms. There is no way to match several NaN values in a test, so the solution is to extract the non-deterministic test cases into a separate file that is subsequently replicated for every backend under test, with adjustments made to the expected results.
bjorn3 submitted PR review.
bjorn3 created PR review comment:
Is this the minimum necessary or would
nehalem
work too? Last time I checked the macOS builders on GHA were still atnehalem
.
akirilov-arm created PR review comment:
Honestly, I don't know; I just copied the value from
simd-arithmetic.clif
.
akirilov-arm submitted PR review.
abrown created PR review comment:
This pair of tests should probably go in https://github.com/bytecodealliance/wasmtime/tree/main/cranelift/filetests/filetests/isa?
abrown submitted PR review.
abrown edited PR review comment.
bjorn3 submitted PR review.
bjorn3 created PR review comment:
More than one target may have the same result for this test. It would be nice to not duplicate it in that case.
abrown submitted PR review.
abrown created PR review comment:
But that isn't the case here, right?
bjorn3 submitted PR review.
bjorn3 created PR review comment:
Not yet, but it may in the future as new targets get added. Eg s390x may gove the same result as either x86_64 or aarch64.
akirilov-arm submitted PR review.
akirilov-arm created PR review comment:
What @bjorn3 has said is one reason I have kept the files in their present location; there is also an incomplete backend targeting the 32-bit Arm architecture, in which case the behaviour may very well match the AArch64 one (but not necessarily - there are differences between the floating-point handling in AArch32 and AArch64). The other reason is to preserve the current organization of having all runtests in one place, and some of the latter are already meant for a specific backend - the ones with
legacy
in their name (e.g.cranelift/filetests/filetests/runtests/i128-arithmetic-legacy.clif
), though admittedly they should be removed eventually.
cfallin submitted PR review.
cfallin submitted PR review.
cfallin created PR review comment:
It's probably not too important, as tests such as this are OS-independent and will get coverage on the (more up-to-date-CPU) Linux runners.
cfallin created PR review comment:
Agreed that these tests could be shared. That said, would it be possible to name the file in a way that denotes the behavior a little more specifically?
-nondeterminstic
is good (it indicates that the specified behavior isn't the only valid behavior) but maybe something like-nondeterministic-armlike
or somesuch (and we can rename if we later add e.g.s390x
)?
akirilov-arm updated PR #3087 from aarch64_tests
to main
.
akirilov-arm updated PR #3087 from aarch64_tests
to main
.
cfallin merged PR #3087.
Last updated: Dec 23 2024 at 12:05 UTC