fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-13 14:25:32 +00:00
Code Issues Projects Releases Wiki Activity
a14c735042
wasmer/spectests
History
Syrus Akbary a14c735042 Improved spectests README
2018-10-29 14:10:42 +01:00
..
address.wast Fixed heap reference to memory. Added address spectest 2018-10-27 13:33:08 +02:00
align.wast Make align partially pass 2018-10-26 14:53:33 +02:00
block.wast Improved documentation for manually skipped spec cases 2018-10-29 14:08:14 +01:00
br_if.wast Test 'tee_local' and 'set_global' in more operators 2018-10-29 09:53:48 +01:00
br_table.wast Test 'tee_local' and 'set_global' in more operators 2018-10-29 09:53:48 +01:00
br.wast Test 'tee_local' and 'set_global' in more operators 2018-10-29 09:53:48 +01:00
break_drop.wast Added break_drop spectest 2018-10-24 00:22:07 +02:00
call_indirect.wast Improved documentation for manually skipped spec cases 2018-10-29 14:08:14 +01:00
call.wast Improved documentation for manually skipped spec cases 2018-10-29 14:08:14 +01:00
const_.wast Added const spectest 2018-10-24 00:17:36 +02:00
conversions.wast Added conversions spectest 2018-10-29 14:08:47 +01:00
data.wast Added data spectest 2018-10-24 00:27:15 +02:00
exports.wast Added exports spectest 2018-10-24 00:41:32 +02:00
f32_.wast Added f32 spectest 2018-10-24 01:15:20 +02:00
f32_bitwise.wast Added f32_bitwise spectest. Improved f32, f64 NaN assertions 2018-10-24 01:51:52 +02:00
f32_cmp.wast Added f32_cmp spectest 2018-10-24 01:55:08 +02:00
f64_.wast Added f64 spectest 2018-10-24 01:22:16 +02:00
f64_bitwise.wast Added f64_bitwise spectest 2018-10-24 01:57:37 +02:00
f64_cmp.wast Added f64_cmp spectest 2018-10-24 02:00:59 +02:00
func_ptrs.wast Added func_ptrs spectests 2018-10-23 13:13:03 +02:00
get_local.wast Added get_local spectests 2018-10-29 13:23:56 +01:00
globals.wast Improved documentation for manually skipped spec cases 2018-10-29 14:08:14 +01:00
i32_.wast Added i32 tests 2018-10-19 01:44:48 +02:00
i64_.wast Added i64 spectest 2018-10-24 00:04:30 +02:00
labels.wast Added labels spectest 2018-10-24 00:25:11 +02:00
memory.wast Added automatic test generator from wasm spec 2018-10-19 01:29:12 +02:00
README.md Improved spectests README 2018-10-29 14:10:42 +01:00
set_local.wast Added set_local tests 2018-10-19 12:44:19 +02:00
stack.wast Added stack spectest 2018-10-28 14:05:52 +01:00
switch.wast Added switch spectest 2018-10-28 13:59:06 +01:00
tee_local.wast Added tee_local spectest 2018-10-29 13:27:52 +01:00
types.wast Added automatic test generator from wasm spec 2018-10-19 01:29:12 +02:00

README.md

This directory contains tests for the core WebAssembly semantics, as described in Semantics.md and specified by the spec interpreter.

This files should be a direct copy of the original WebAssembly spec tests.

Tests are written in the S-Expression script format defined by the interpreter.

Autogenerated Rust test cases

This files will serve as base for autogenerating Rust testcases when WASM_GENERATE_SPECTESTS=1 cargo build is executed (src/build_spectests.rs).

The result autogenerated spectests live in the src/spectests directory.

The spectests are slightly modified from the source. This are the current things that are skipped as they are not yet supported:

Testcases

Currently supported command assertions:

  • Module mostly implemented (it should support named modules (module $Xx)).
  • AssertReturn mostly implemented (it should support calls to named modules (invoke $Xx "call")).
  • AssertReturnCanonicalNan not implemented yet
  • AssertReturnArithmeticNan not implemented yet
  • AssertTrap not implemented yet
  • AssertInvalid Fully implemented (it should not require to do validation separate from compilation)
  • AssertMalformed Fully implemented
  • AssertUninstantiable not implemented yet
  • AssertExhaustion not implemented yet
  • Register not implemented yet
  • PerformAction not implemented yet

Specific non-supported cases

There are some cases that we decided to skip for now to fasten the time to release:

  • SKIP_NAN_BITS: Cases like invokations with params such as: (f32.const nan:0x200000) are currently not well supported in tests. Files modified:
    • conversions.wast
  • SKIP_MEMORY_GROW: When accessing to the context memories multiple times, the mutable access to a memory index raises an error. For this reason we decied to skip the tests (for now) until this issue is resolved. Files modified:
    • block.wast
    • call_indirect.wast
    • call.wast
    • globals.wast