Max Graey

Code motion with the same side effects in branches does not always work

4

It seems `CodeFolding` can't handle such case with side effects (division): ```ts export function not_branchless_ceil_div(x: i32, y: i32): i32 { return x >= 0 ? x / y : (x...

CSE for LEA-like operations

11

Currently binaryen can't do CSE for such cases: ```rust i32.load(p + ((i + 0)

[OptimizeInstructions] Simplify rounding or conversions after int to float casts

2

i32 -> f64 -> i32 rountripping optimizations: ```rust i32(f64(i32(x))) -> x // i32.trunc(_sat)_f64_s(f64.convert_i32_s(x)) -> x u32(f64(u32(x))) -> x // i32.trunc(_sat)_f64_u(f64.convert_i32_u(x)) -> x // note assymetric signed / unsigned or unsigned...

[OptimizeInstructions] Combine binary shift operations joined by Or, And, Xor

3

```rust (x z) op (y >> z) -> (x op y) >> z (x >>> z) op (y >>> z) -> (x op y) >>> z ``` where `op` is...

[OptimizeInstructions] Canonicalizations for relational ops near signed & unsigned min/max

2

It's continue of #4272 ```rust (signed)x < s_min + 1 ==> x == s_min (signed)x >= s_min + 1 ==> x != s_min (signed)x > s_max - 1 ==> x...

Priority list for OptimizeInstructions reviews

1

@kripken suggested creating a list of PRs [here](https://github.com/WebAssembly/binaryen/pull/4265#issuecomment-951283160), sorted in order of priority (the most important first): - #4272 - #4307 - #4282 - #4145 - #4291 - #4266 -...

It's just use Abstract namespace where possible

terser version: `5.14.1` Edit terser options ```js { module: true, compress: {}, ecma: 2020, mangle: {}, output: {}, parse: {}, rename: {}, } ``` original sample: ```js window.sample = function...

Add short type aliases for schema

3

I see basic type names inspired by Go type system. But most of modern languages like Rust, zig, AS and WebAssembly WAT btw has a short type notation. So I...