spec

spec copied to clipboard

Deprecated reference to IEEE 754-2008 in W3C version

1

In the "References" section, the W3C version of the specification contains a reference to IEEE 754-2008 instead of IEEE 754-2019. Browser and PDF versions do not have this problem.

chykon

We should avoid those.

Ms2ger

e.g. `i8x16.eq` links to `vbinop`, but the correct target is `vrelop`. https://github.com/WebAssembly/spec/blob/360141b009b5b498e02d7f672ee82e7d7bc90937/document/core/appendix/index-instructions.py#L376

alimpfard

[build] Update makefiles and CI config to enable W3C autopublishing

4

sideshowbarker

SIMD test optimization?

3

A lot of the SIMD tests run the same floats through all of the lanes, instead of just assuming lanewise operations to be implemented in a lanewise way. Is there...

SoniEx2

branching on function name

7

Hi, Consider the following module: ```wat (module (func $f br $f) (start $f)) ``` Running the interpreter gives: ```shell-session $ wasm label.wat:3.8-3.10: syntax error: unknown label $f ``` Whereas the...

redianthus

Fix #1711.

rossberg

Question about validation of {element, data} segments

1

The [spec](https://webassembly.github.io/spec/core/valid/modules.html#valid-module) tells that we have to validate element and data segments under context C' defined as follows.  However, that means the active element and data segments are always...

r1ru

fix warnings and enable them again

19

Hi, A lot of default warnings were disabled in #1459 (I guess it was mainly to avoid having to make the various changes I'm doing now). It is a pain...

redianthus

Improve SIMD test diversity

1

SIMD tests do not have enough diversity to catch e.g. swapped lanes. It would be useful to have tests like: ``` (assert_return (invoke "i8x16.narrow_i16x8_s" (v128.const i16x8 0 1 2 3...

SoniEx2