spec

spec copied to clipboard

[test] introduce script scopes around expensive memory tests

2

Fix #1698. This tweaks the generators for bulk memory/table tests to insert `(script ...)` scopes around tests and extends the JS converter to turn these into block scopes. This is...

rossberg

[JS Generator] Add scope for each wasm instance

1

The live range of the wasm instance created by JS Generator is global, likes: > let $1 = instance(...); > assert...($1, ...); > let $2 = instance(...); > assert...($2, ...);...

LiuYu396

relax the var to allow utf8 encoding in the wat syntax

2

According to the reference interpreter ```ocaml let symbol = ['+''-''*''/''\\''^''~''=''''!''?''@''#''$''%''&''|'':''`''.''\''] let letter = ['a'-'z''A'-'Z'] let idchar = letter | digit | '_' | symbol let name = idchar+ let id...

bobzhang

build.py doesn't build tests in subdirectories

5

The tests in https://github.com/WebAssembly/gc/tree/main/test/core/gc aren't build by the `build.py`, which only looks for *.wast files in test/core/: https://github.com/WebAssembly/gc/blob/ec57b2a506a7e220a1cdb980adc7fdcca8b31d05/test/build.py#L70 Are these tests not being run yet, or should they be moved...

foolip

Can we simplify doc navigation?

1

I see some problems with the [instruction summary table](https://webassembly.github.io/spec/core/appendix/index-instructions.html). * If you Ctrl+F and look for, say, "call_indirect", there is no text highlighting. The screen may scroll appropriately, but you...

KloudKoder

Add grammar to execute raw WAT in Text Format

1

Currently the Text Format specification does not define a means to call a WASM executable from within the WAT file, see https://github.com/bytecodealliance/wasmtime/issues/3715. Reading the specification(s) https://github.com/WebAssembly/spec/blob/4c249c5a575e2b0e252e747af261bbb82f448dd4/interpreter/README.md, https://webassembly.github.io/spec/core/text/conventions.html#grammar this sounds reasonable...

guest271314

Questions on oopsla2019.pdf

9

i'm trying to understand https://github.com/WebAssembly/spec/blob/main/papers/oopsla2019.pdf and have some questions. are "local" memory/global/table expected to work as thread-local storage? that is, do they always involve TLS overhead even when threads are...

yamt

Ref https://github.com/WebAssembly/spec/pull/1603

Ms2ger

js-api tests for externref

6

I'm trying to find (and add?) tests for init arguments for Table/Global constructors/methods that were introduced by reference-types proposal. The https://webassembly.github.io/spec/js-api/index.html#dom-table-table defines the initial ref value to be `ToWebAssemblyValue(undefined, externref)`,...

yurydelendik

"`error: type mismatch in , expected [] but got []`" and "`error: type mismatch in implicit return, expected [] but got []`" dont make it clear that the stack has...

zlago