binaryen

binaryen copied to clipboard

Simplify scratch local calculation

1

Change `countScratchLocals` to return the count and type of necessary scratch locals. It used to encode them as keys in the global map from scratch local types to local indices,...

tlively

Remove stringview types and instructions

4

The stringview types from the stringref proposal have three irregularities that break common invariants and require pervasive special casing to handle properly: they are supertypes of `none` but not subtypes...

tlively

[Question] Multi-value Return using Tuple

3

I am building a project using C API. I have some questions regarding the multi-value return. Suppose I want to construct a function with ( i32 i32 i32) as return...

bbbshaw

Fix binary emitting of br_if with a refined value by emitting a cast

15

Alternative to #6390: That PR makes `br_if` with a value have the same typing rules as the wasm spec, i.e., the potentially less refined type of the break target rather...

kripken

```wat (module (table 0 funcref) (export "func_94_invoker" (func $0)) (func $0 (nop) ) ) ``` ``` $ bin/wasm-split a.wat -all --split -o1 a.wasm -o2 b.wasm -S --split-funcs=0 warning: not keeping...

kripken

Source maps: allow to specify that an expression has no debug info in text parsers

3

The comment `;;@` with nothing else can be used to specify that the following expression does not have any debug info associated to it. This can be used to stop...

vouillon

What are the road blocks to using wasm-split multiple times?

5

I have a large web-based document editing application and am interested in splitting it using `wasm-split`. While discussing with my team possibilities for splitting up the module, the idea of...

jnickg

Run (basic) StackIR optimizations in all binary writes?

4

Atm we enable StackIR optimizations in `-O3` and `-Os` and above. This made sense because their benefit is usually fairly small, around 1-2%, and we didn't want to slow down...

kripken

[WIP] ReFinalize GlobalGet in initializers after GlobalRefining

3

When GlobalRefining refines the type of a global, it updates the type of corresponding GlobalGet expressions, then runs ReFinalize to propagate the refined types. However, it only performed these updates...

tlively

``` $ wasm-opt x.wat -all --type-ssa -O2 --unsubtyping --roundtrip [wasm-validator error in module] struct.new operand 0 must have proper type, on (struct.new $84 (global.get $global$4) ) Fatal: error after opts...

kripken