binaryen

binaryen copied to clipboard

spec/f32.wast test 1603 fails with GCC 13

5

When running binaryen 111 test suite after building it with GCC 13 on x86_64 running Fedora rawhide, I get the following failure: ``` 1603/2511 CHECKING: ( assert_return ( invoke min...

rathann

Upgrade to C++20

3

This will enable us to use new features including concepts and coroutines to make our code easier to read and write.

tlively

Add a Max Bits Analysis

1

This change introduces a prototype max bits analysis for values in the wasm value stack using the abstract interpretation static analysis framework. The implementation mirrors the existing `getMaxBits` function in...

zm2he

Currently Chrome and Firefox are unhelpful in diagnosing `call_indirect` errors, but when one occurs, a blank error print ``` RuntimeError: null function or function signature mismatch ``` is logged. This...

juj

Oracle chaining sketch

1

Once open I'll add a comment with a link to the relevant part.

kripken

Maybe we can add a ControlChildIterator to parallel ValueChildIterator, that iterates on control flow children, and use that here? It would avoid us needing to update this code each time...

ashleynh

Opportunity to further simplify internal cast representation

2

Right now almost all casts are represented as `RefCast` expressions, but `ref.as_non_null` is instead represented as a `RefAs` expression. This is a little awkward because the other two operations represented...

tlively

GUFA mishandles escaping functions

2

Consider the following module: ``` (module (type $t (func (param i32) (result i32))) (type $u (func (param (ref $t)))) (func $g (type $t) (param i32) (result i32) (local.get 0)) (import...

vouillon

Partial WIP code to fuzz exceptions+multivalue

2

cc @aheejin

kripken

Adding APIs for in-memory operation without fs access

8

I've received [a request](https://github.com/brson/wasm-opt-rs/issues/141) to make it possible for wasm-opt-rs to perform optimization entirely in memory without accessing the filesystem. This seems like a reasonable feature, and relatively easy to...

brson