spec

spec copied to clipboard

[js-api] Are Wasm-gc abstract heap types included in the JS API of e.g. WebAssembly.Global?

10

The WebAssembly [JS-API spec](https://webassembly.github.io/spec/js-api/#globals) mentions the following types for globals: ``` enum ValueType { "i32", "i64", "f32", "f64", "v128", "externref", "anyfunc", }; ``` However, both V8 and SpiderMonkey support multiple...

Liedtke

gc-exotic-objects `[[PreventExtensions]]` should return `true`.

10

GC object are already non-extensible (`[[IsExtensible]]` returns `true`). Preventing extensions on a non-extensible object should be an no-op. By returning `false` to `[[PreventExtensions]]`, any caller to `Object.preventExtensions()` would get a...

mhofman

[spec] GC objects no-op prevent extensions

2

Fixes https://github.com/WebAssembly/spec/issues/2008

mhofman

There were no tests that covered this corner case.

titzer

[memory64] Add test that uses more than 4GB memory

3

As it turns out, there weren't many (any?) that have more than 4GB. This tests 4GB + 1 page and out-of-bounds conditions.

titzer

The reference interpreter became up to 20 times slower after a87fffc

1

While experimenting with the reference interpreter on binaries produced by Kotlin, I noticed a huge performance degradation. It seems it is due to some changes introduced in [a87fffc](https://github.com/WebAssembly/spec/commit/a87fffcc4bbb34d8054bab78532adba3c68f4e19). To reproduce...

bashor

New testsuite organization

17

Hello 👋 I’m following up here as suggested in [this conversation](https://github.com/WebAssembly/testsuite/pull/129). Before the PR landed, we didn’t notice that a new testsuite folder structure was introduced. As runtime developers, we...

andreaTP

[js-api] Informal description about "the index of the host function"

4

The definition and use of "the index of the host function" seems to be somewhat informal, and I'm curious whether it is intentional. Being algorithmic in nature, js-api specification should...

ShinWonho

Semi-implicit dropping of initialization should be explicited

1

(Based on WebAssembly/stack-switching#118) The current specification prevents initialization information to be propagated through blocks by simply not having variable lists in the rules: ``` C |- blocktype : [t1*] ->...

rajdakin

[js-api] Monitoring the execution of Wasm

6

Functions defined in [embedding section](https://webassembly.github.io/spec/core/appendix/embedding.html) provide abstraction of Wasm's mechanics to embedders. However, I found a case in [JS API specification](https://webassembly.github.io/spec/js-api/) that breaks this abstraction: monitoring the execution of Wasm....

ShinWonho