binaryen

binaryen copied to clipboard

Table init exprs appear to be unimplemented

1

I would like to use tables of non-nullable values but Binaryen does not appear to support them. Relatedly, the binary format parser does not appear to support init value expressions...

wingo

Bad i64.const constant

1

Consider test.wat: ``` $ cat /tmp/test.wat (module (func $f (export "f") (result i64) (i64.const 0x8000_0000))) ``` There is a bug parsing the constant: ``` $ ~/src/binaryen/bin/wasm-as -o /tmp/test.wasm /tmp/test.wat $...

wingo

wasm-as should allow top-level `module` wrapper to be omitted

4

As per https://webassembly.github.io/spec/core/text/modules.html#id10, this is a valid wat file: ``` (func $f) ``` However `wasm-as` is more strict: ``` [parse exception: toplevel does not start with module]Fatal: error in parsing...

wingo

Formal spec on binaryen text input?

1

I was aware of [this](https://github.com/WebAssembly/binaryen/wiki/Compiling-to-WebAssembly-with-Binaryen#what-do-i-need-to-have-in-order-to-use-binaryen-to-compile-to-webassembly) but do we have a formal spec of the text syntax? Or using the binaryen API is the *only* recommended way to use binaryen? Thank...

bobzhang

Fix two issues in --spill-pointers

5

Fix two issues in --spill-pointers: 1) properly generate the stack frame in a stack-grows-downwards manner, and 2) do not spill pointers in the functions stackAlloc()/stackSave()/stackRestore(), which should operate on the...

juj

Nondeterminism in GC optimizations

1

One of these passes definitely has nondeterminism: - --intrinsic-lowering - --remove-unused-module-elements Additionally, there is more determinism somewhere in optimization pipelines with these flags: - --partial-inlining-ifs=4 -fimfs=50 --gufa --intrinsic-lowering -O3

tlively

[Parser] Parse wast scripts

1

The spec tests use an extension of the standard text format that includes various commands and assertions used to test WebAssembly implementations. Add a utility to parse this extended WebAssembly...

tlively

[interp] Make memory and table handling more consistent. NFC

2

sbc100

Make stringview reference type shorthands non-nullable

2

This is inconsistent with all other shorthands, but it is the latest behavior in V8. Fix the text and binary shorthands in both parsers and writers.

tlively

Heap stores (`struct.set`) are optimized into the `struct.new` when they are adjacent in a statement list. Pushing `struct.new` down when they are not adjacent increases the likelihood for heap stores...

rluble