binaryen

binaryen copied to clipboard

IRBuilder is a utility for turning arbitrary valid streams of Wasm instructions into valid Binaryen IR. It is already used in the text parser, so now use it in the...

tlively

[NFC] Walk module to update names in binary parser

9

The binary parser generally does not know the final names of module elements when it parses them, or even when it parses instructions that refer to them, since the name...

tlively

`wasm-opt` reports validation error on input module that actually works on Chrome and Firefox

1

**Steps to reproduce** 1. Get attached file [classTest.wasm.tar.gz](https://github.com/user-attachments/files/17054155/classTest.wasm.tar.gz) 2. Run `wasm-opt -O3 --all-features classTest.wasm` **Actual result** Tool reports following: ``` [wasm-validator error in function org.teavm.junit.TestEntryPoint::run] break type must be a...

konsoletyper

Improving Precompute performance

4

Running on the binary from Google Sheets, ``` BINARYEN_CORES=1 perf record bin/wasm-opt binary.wasm -all --precompute --no-validation ``` (1 core to avoid noise from multithreading; validation disabled to focus on the...

kripken

`select` not optimized when condition is true and ifFalse arm isn't pure

3

Consider the following expression: ````wasm (select (i32.div_u (i32.const 3) (i32.const 0)) (i32.const 2) (i32.const 0) ) ```` Binaryen will try to eliminate the `select` statement when its condition is constant....

bdwjn

Logging values is important in the fuzzer as the loggings are observable effects that we can then compare to other VMs and after optimizations. Previously we logged random things, which...

kripken

WebAssembly has the property that every valid sequence of instructions has a principal type, i.e. a unique most-specific type. However, due to various kinds of polymorphism, these principal types may...

tlively

RemoveUnusedBrs: optimize unreachable control flow mixed with side-effecting branches

3

Currently wasm-opt cannot optimize unused branch complexed with side-effect operations, such as ``` webassembly (func $_start (local $0 i32) (block $block (br_if $block (local.tee $0 (i32.const 1) ) ) (br_if...

xuruiyang2002

[wasm-opt] `--minify-imports-and-exports-and-modules` does not report module renames.

3

When using `wasm-opt` with the `--minify-imports-and-exports-and-modules` flag, the tool correctly minifies both the import module names and the import function names. It often merges multiple import modules into a single...

vivax3794

Implement `elem.drop`

2

Fixes #7209.

osa1