Ali Mohammad Pur
f5d4e26ff7
Meta+LibWasm: Correctly parse the invokee name in toplevel invokes
2021-07-06 17:55:00 +04:30
Ali Mohammad Pur
963f5e69e0
Meta+LibWasm: Generate calls to functions when they don't have results
2021-07-06 17:55:00 +04:30
Ali Mohammad Pur
79d4913f76
LibWasm: Generate all spec tests, even ones that aren't valid modules
...
`wasm-as` will do some semantic analysis on the modules, which is not
something we're looking for here.
Instead, use `wat2wasm` to generate the exact module.
2021-06-22 00:26:25 +04:30
Ali Mohammad Pur
9c5d38b7db
Meta+LibWasm: Add support for module linking tests
...
This commit makes the linking tests in the wasm spec test run.
2021-06-22 00:26:25 +04:30
Ali Mohammad Pur
d7ba15371b
Meta: Don't make wasm tests pass when they cannot read a module
...
Instead, just let them be treated as failing their respective test.
2021-06-04 16:07:42 +04:30
Ali Mohammad Pur
6b5d1eedcb
Meta: Make the wasm test generator cast numbers to i32 when needed
...
Otherwise the sign would be out of whack
2021-06-02 16:09:16 +04:30
Ali Mohammad Pur
7fb458b7c9
Meta: Generate failing tests for unsupported assertions in wasm tests
...
Let's not ignore a test just because our test generator doesn't
understand it, assume the worst and generate a failing test case
instead.
2021-06-02 16:09:16 +04:30
Ali Mohammad Pur
b2bd5132c4
Meta: Correctly parse numeric literals in wasm tests
...
This was previously parsing them as hex numbers, causing tests to fail.
With this fix, 88% of the generated tests are passing :^)
2021-05-27 17:28:41 +04:30
Ali Mohammad Pur
24b2a6c93a
LibWasm+Meta: Implement instantiation/execution primitives in test-wasm
...
This also optionally generates a test suite from the WebAssembly
testsuite, which can be enabled via passing `INCLUDE_WASM_SPEC_TESTS`
to cmake, which will generate test-wasm-compatible tests and the
required fixtures.
The generated directories are excluded from git since there's no point
in committing them.
2021-05-21 00:15:23 +01:00
