design
design copied to clipboard
WebAssembly
WebAssembly Design Documents
I've been working on an [x86 emulator](https://github.com/nepx/halfix), which I want to speed up using [dynamic recompilation](https://en.wikipedia.org/wiki/Dynamic_recompilation). I would like to target WebAssembly, but there is currently no way to add...
Could you add a prefetch instruction for WASM? The syntax would be similar to a load The load instruction uses a local.get for the base pointer, and an immediate offset:,...
Recently we have seen a couple proposals that introduce instructions with side effects that are not modeled in the WebAssembly semantics. Specifically, they are: 1. https://github.com/WebAssembly/design/issues/1344, which proposes tracing instructions...
Hi everyone! I have been looking for information on how WebAssembly (web environment) could benefit from using files that have been previously selected by the user, but I have not...
My impression was that there was interest in providing stack inspection, but that interest was reserved until having a better understanding of what it would entail. So this discussion is...
As per @rossberg, we have quite a few outdated documents in the repo. Should we revise them and possibly move to a folder or a separate repo or remove altogether?...
In https://github.com/tc39/ecma262/issues/1435 I detailed an approach the HTML community is planning on taking for reenabling ECMAScript's SharedArrayBuffer. This also affects Wasm if Wasm ever gets its own thread primitive (rather...
In many discussions it has been suggested that `funcref` values intentionally do not have a notion of identity (i.e. you cannot ask if two `funcref` values are equal) in order...
Hello, In the current specification, when we initialize data segments, we are only allowed to use a vector of strings. For example: ```wat (data (offset (i32.const 0)) "a" "b" "c")...
Originally, and I believe still currently, all block-like instructions—meaning instructions with a matching `end` such as `block`/`if`/`loop`—in WebAssembly introduce a branch target. For efficient type-checking, it is important that the...