binaryen

binaryen copied to clipboard

Running `wasm-opt` with `-Os` leaves NOP / dead control flow behind

6

See attached [flute.tar.gz](https://github.com/user-attachments/files/23848943/flute.tar.gz) We start with an unoptimized `flute.wasm` file and run `wasm-opt` ``` % wasm-opt -g --enable-gc --enable-reference-types --enable-multivalue --enable-exception-handling --enable-nontrapping-float-to-int --enable-sign-ext --enable-bulk-memory --enable-threads '--no-inline=**' --traps-never-happen \ -Os \...

mkustermann

wasm-split fuzzing and reusing an existing Table

4

I seem to recall we discussed using a new Table in wasm-split, when reference types is set? Atm it looks like we reuse the table if one exists: https://github.com/WebAssembly/binaryen/blob/28e849b91fab4fb697c27206b7d6f2c090e3519c/src/ir/module-splitting.cpp#L186-L191 The...

kripken

* At instantiation time, check the types of exports against their corresponding imports, and trap if they don't match. * Exported memories and tables must be a subtype of the...

stevenfontanella

RemoveUnusedModuleElements: Optimize indirect calls when the table is immutable

1

To do this, refactor the table scanning code out of Directize into TableUtils. Then when we see a CallIndirect in RemoveUnusedModuleElements, we no longer automatically assume it could call anything...

kripken

CallRef gets an isReturn param https://github.com/WebAssembly/binaryen/blob/93f40ae40a8f373fce9da8e20997eafdd618fd0b/src/binaryen-c.h#L1014-L1020 while Call/CallIndirect have two variants instead, `BinaryenCall, BinaryenReturnCall`. We should probably standardize on one. Noticed in https://github.com/WebAssembly/binaryen/pull/8103/

kripken

Error when installing

3

when installing using cmake on arch linux, i get this error `[sypherrd@inferno binaryen]$ cmake . && make -- No build type selected, default to Release -- Building with -fno-omit-frame-pointer --...

Nullifyrr

### Description We encountered a SIGABRT (Assertion Failure) in wasm-opt. The crash occurs within wasm::HeapType::getArray when parsing a malformed WebAssembly binary containing GC instructions. The assertion isArray() fails, indicating that...

oneafter

### Description We encountered a SIGABRT (Assertion Failure) in wasm-opt while fuzzing. The crash occurs within the wasm::FunctionValidator::visitAtomicCmpxchg logic when validating a WebAssembly binary containing atomic instructions. The assertion isBasic()...

oneafter

### Description We encountered a SIGABRT (Assertion Failure) in wasm-dis. The crash occurs within wasm::IRBuilder::fixExtraOutput when disassembling a malformed WebAssembly binary. The assertion extraType == labelType fails during the visitEnd...

oneafter

### Description We encountered a SIGABRT (Assertion Failure) in wasm-dis. The crash occurs within wasm::HeapType::getStruct when disassembling a malformed WebAssembly binary. The assertion isStruct() fails, indicating that the parser encountered...

oneafter