binaryen

binaryen copied to clipboard

Allow multiple `no-inline` - passes as suggested in #6646 .

DirtyHairy

wasm-split confused about overlapping segments

6

(At least that is my guess as to what is going wrong here, I'm not sure.) Testcase: ```wat (module (type $0 (func)) (type $1 (func (result i32))) (type $2 (func...

kripken

kripken

Missing optimization in Wasm for `x < 0 || x > constant`

3

The attached .wasm file has this code at offset 95044: ``` 95044| block $label3 95046| block $label2 95048| local.get $var6 95050| i64.const 0 95052| i64.lt_s ;; $var6 < 0 (signed)...

osa1

Use ChildTyper in the validator

9

The validator uses a large amount of code to check that child expressions have the correct types. Writing this code is a very manual process, and bugs are hard to...

tlively

Allow multiple patterns for noinline

3

I have multiple function patterns that I would like to exclude from inlining. Unfortunately, the noinline pass only allows a single pattern, which does not allow any conditionals. It would...

DirtyHairy

possible segfault read in wasm::WATParser::Lexer::position

3

Hi, I was using AFL++ on Binaryen and noticed some generated files will cause Segment fault for `wasm-opt` with flag `-O3`. I hope gdb and valgrind output will help since...

shinyano

Consider functions in elems of public tables to be public

8

If a table is public (imported or exported) then any function added to it can be called from the outside, so any change to the type might cause observable differences....

kripken

Remove IgnoreImplicitTraps [DO NOT LAND]

4

I experimented with removing IgnoreImplicitTraps but I don't think it is worth it. I'm uploading the code just to document the attempt. IgnoreImplicitTraps marks e.g. `i32.load` as not having a...

kripken

Example usage: ```java $ wasm-opt a.wasm --metrics > a $ wasm-opt b.wasm --metrics > b $ python scripts/diff_metrics a b Const : +1613 RefNull : +114 StringConst: -1 StructNew :...

kripken