binaryen

binaryen copied to clipboard

We fixed two problems when creating globals: that tuples must be tuple.make, and that global inits must be constant (which in rare cases they are not, if we run out...

kripken

Optimization passes may remove all unused globals, but sometimes a testcase will need some globals to remain for the issue to keep happening, so also remove them manually, like we...

kripken

GTO problem with shared rec groups

1

```wat (module (rec (type $import (func)) (type $struct (sub (struct (field (ref func))))) ) (import "imports" "import" (func $fimport (type $import))) (global $global (ref $struct) (struct.new $struct (ref.func $func) ))...

kripken

wasm2js Error: abort on latest wasm-bindgen

1

Hello, We've recently updated to the latest version of wasm-bindgen (0.2.92) and Rust 1.78. Using the module build from this repository and this particular commit (now we have downgraded both...

elpiel

I experimented with adding the unsubtyping pass to the O3 pipeline. I tried inserting it in two places in the global pre-passes: before type-refining and before constant field propagation. The...

tlively

Improvements enabled by new wat parser

2

This is an umbrella tracking issue for further improvements enabled by the new wat parser work. (The parser work itself was tracked in #6208.) - #6612 - #6613 - #6614...

tlively

The [branch hinting](https://github.com/WebAssembly/branch-hinting/blob/main/proposals/branch-hinting/Overview.md#design) proposal is close to reaching phase 4. Its text format depends on the annotations proposal, and since the new wat parser supports annotations in general, it will...

tlively

The annotations proposal adds [support](https://github.com/WebAssembly/annotations/blob/main/proposals/annotations/Overview.md#details) for text annotations that encode the contents and placement of arbitrary custom sections. The new wat parser supports annotations in general, so we should implement...

tlively

The new wat parser is based on the [`IRBuilder`](https://github.com/WebAssembly/binaryen/blob/main/src/wasm-ir-builder.h) utility, which maintains all the state necessary to turn a linear sequence of instructions and delimiters into Binaryen IR. The binary...

tlively

Now that wasm-shell parses the standard wast format, we should import and run the upstream spec tests, ideally by importing https://github.com/WebAssembly/testsuite as a git submodule. (We already use git submodules...

tlively