bulk-memory-operations icon indicating copy to clipboard operation
bulk-memory-operations copied to clipboard

Test suite doesn't work with new versions of wabt (assert_return_{canonical,arithmetic}_nan)

Open rianhunter opened this issue 5 years ago • 4 comments

New versions of wabt reject spec test assertions assert_return_canonical_nan and assert_return_arithmetic_nan since https://github.com/WebAssembly/wabt/commit/415c3bb1b70c5edc9beb3a7e2cea5d9247e1e52c. This repo still uses those old assertions and doesn't work with current versions of wabt anymore.

Ideally wabt wouldn't have removed support for those old commands, since the only way to fix this repo is to break backward compatibility with older versions of wabt.

rianhunter avatar Mar 22 '20 02:03 rianhunter

I don't see any occurrences of assert_return_canonical_nan or assert_return_arithmetic_nan in this repo.

wabt passes all the tests in the repo (which are mirrored in https://github.com/WebAssembly/testsuite/tree/master/proposals/bulk-memory-operations)

Am I missing something?

sbc100 avatar Mar 23 '20 02:03 sbc100

Hmm there are many such examples. Here is one:

https://github.com/WebAssembly/bulk-memory-operations/blob/ffdbb6e357d79818c88c3557cd3325346a057d27/test/core/f64.wast#L91

rianhunter avatar Mar 23 '20 02:03 rianhunter

Oh I see the problem. I'm only looking at the actual bulk memory tests because the testsuite repo only includes tests that have be modified from upstream: https://github.com/WebAssembly/testsuite/tree/master/proposals/bulk-memory-operations

The solution I think is simply to merge the latest upstream changes into this repo.

sbc100 avatar Mar 23 '20 03:03 sbc100

It's a fair point that it would be possible to keep assert_return_*_nan working in wabt too, since we keep get_local, anyfunc etc. as well. That said, I think @sbc100 is right that the fix here is to merge from upstream spec.

binji avatar Mar 23 '20 19:03 binji