21 Pull requests merged by 6 people

• Handle exactness in MinimizeRecGroups

  #7555 merged Apr 30, 2025

• Ignore public-exact.wast in fuzzing.py

  #7562 merged Apr 30, 2025

• Disallow exact references in public types

  #7554 merged Apr 30, 2025

• [Outlining] Add TryTable

  #7504 merged Apr 29, 2025

• [Outlining] Add Try/Catch/CatchAll

  #7472 merged Apr 29, 2025

• [NFC] Make public type collection more efficient

  #7561 merged Apr 29, 2025

• Avoid errors in Type::with(HeapType)

  #7551 merged Apr 29, 2025

• Use GLB in PossibleContents::intersect

  #7550 merged Apr 28, 2025

• [NFC] Improve wasm-reduce help text

  #7293 merged Apr 24, 2025

• [NFC] Simplify interpretation of casts

  #7549 merged Apr 24, 2025

• Use fallthrough in optimizeInstructions to further optimize (unsigned)x < 0 ==> i32(0)

  #7480 merged Apr 24, 2025

• Fix JSON parsing of escaped strings

  #7545 merged Apr 24, 2025

• Add test with exact types to fuzzer ignore list

  #7548 merged Apr 24, 2025

• [Strings] Erase the strings section after StringLifting

  #7546 merged Apr 24, 2025

• Convert JSON parsing failures from assertions to exceptions

  #7531 merged Apr 24, 2025

• Account for exactness when finding the most refined fallthrough

  #7544 merged Apr 24, 2025

• Split generated casts test for more coverage

  #7543 merged Apr 23, 2025

• Exhaustively test OptimizeInstructions on ref.cast

  #7542 merged Apr 23, 2025

• Update evaluateCastCheck for exact types

  #7541 merged Apr 23, 2025

• Migrating from getExpressionInfo to expression wrappers

  #7525 merged Apr 23, 2025

• Fix incorrect result in getMaxBits for 0 / 0

  #7532 merged Apr 23, 2025

4 Pull requests opened by 3 people

• add `evaluateFunctionExit` for backward analyzer in `monotone-analyzer`

  #7547 opened Apr 24, 2025

• Type-safe Embind port, compatible with the current API

  #7553 opened Apr 25, 2025

• Use fallthrough in optimizeInstructions to further optimize (unsigned)x >= 0 ==> i32(0)

  #7557 opened Apr 26, 2025

• Optimize eqz by general getFallthrough in computing condition

  #7558 opened Apr 27, 2025

3 Issues closed by 2 people

• -O2 fails to optimize trivial i32.eqz(i32.const 1) condition like -O1

  #7513 closed Apr 24, 2025

• [Unhoisted] [Binary] [Should fallthrough] load & store order affects the constant propagation in binaryOp

  #7455 closed Apr 24, 2025

• OptimizeInstructions does not optimize divide by zero

  #7471 closed Apr 23, 2025

4 Issues opened by 3 people

• Typo in `wasm-delegations-fields.def`

  #7560 opened Apr 29, 2025

• getMaxBits fails to analyze Block expression, missing i32.and -> 0 optimization

  #7559 opened Apr 27, 2025

• Cannot optimize complex ge_u 0 out

  #7556 opened Apr 26, 2025

• wasm-opt version on crates.io

  #7552 opened Apr 25, 2025

8 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• OptimizeInstruction: Optimize any boolean & (No overlap with boolean's LSB) ==> 0

  #7505 commented on Apr 29, 2025 • 19 new comments

• Optimize block tails where a dropped br_if's value is redundant

  #7506 commented on Apr 30, 2025 • 11 new comments

• Add Windows 11 arm to ci

  #7517 commented on Apr 30, 2025 • 6 new comments

• [Strings] Automate string lifting and lowering in the optimization pipeline

  #7540 commented on Apr 23, 2025 • 2 new comments

• Generate typescript

  #6192 commented on Apr 27, 2025 • 0 new comments

• Remove JS wrapper and instead export necessary functions for wrapper implementers

  #6224 commented on Apr 27, 2025 • 0 new comments

• Proof of concept for autogenerating the C API for expressions

  #6291 commented on Apr 29, 2025 • 0 new comments

• Add a script that emits a JSON representation of wasm-delegations-fields.def

  #6469 commented on Apr 28, 2025 • 0 new comments