75 Pull requests merged by 8 people

• Update README for exact types

  #7600 merged May 15, 2025

• Allow the fuzzer to use tests with exact types

  #7598 merged May 15, 2025

• Add PublicTypeValidator for use in fuzzer

  #7597 merged May 15, 2025

• [Compilation Hints] Add binary format support for inline hints

  #7596 merged May 15, 2025

• Type allocations as exact

  #7589 merged May 15, 2025

• Fix tests of refinalization after optimization of selects

  #7595 merged May 14, 2025

• Allow GSI to work with supertype globals

  #7594 merged May 14, 2025

• [NFC] Refactor a generic function for binary writing of a code annotations section

  #7592 merged May 14, 2025

• [NFC] Refactor a generic function for binary reading of a code annotations section

  #7593 merged May 14, 2025

• [Compilation Hints] Add all call instructions

  #7588 merged May 14, 2025

• [Compilation Hints] Start Compilation Hints by adding Call support in the text format

  #7587 merged May 13, 2025

• Fix RemoveUnusedBrs bug on removed br_if value where condition interferes

  #7586 merged May 13, 2025

• Use exactness to optimize GUFA cone depth (2nd alternative)

  #7582 merged May 13, 2025

• Update TypeMerging for exact types

  #7580 merged May 13, 2025

• Fix BranchHinting + source maps

  #7585 merged May 12, 2025

• Update TypeSSA for exact types

  #7579 merged May 9, 2025

• [Branch Hinting] Support branch hints on If and BrOn

  #7578 merged May 8, 2025

• [NFC] Properties::hasUnwritableTypeImmediate

  #7576 merged May 8, 2025

• [NFC] Combine the two binary reading scans of sections into one

  #7577 merged May 8, 2025

• [Branch Hinting] Add binary support

  #7572 merged May 8, 2025

• [NFC] Move optimal-LEB emitting logic to a shared place

  #7575 merged May 7, 2025

• add evaluateFunctionExit for backward analyzer in monotone-analyzer

  #7547 merged May 7, 2025

• [NFC] Cleanly separate expression tracking from source maps

  #7571 merged May 6, 2025

• Optimize eqz by general getFallthrough in computing condition

  #7558 merged May 5, 2025

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

  #7506 merged May 2, 2025

• [Code Annotations] Start Branch Hinting support, in the text format, for Breaks

  #7567 merged May 2, 2025

• [NFC] Use a SmallVector for HeapType children

  #7565 merged May 1, 2025

• [Fuzzing] Fuzz V8 with the revectorize flag, some of the time

  #7564 merged Apr 30, 2025

• Fix typos in fuzzing.py

  #7563 merged Apr 30, 2025

• 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

• [NFC] Simplify Array2Struct type replacement

  #7539 merged Apr 23, 2025

• Propagate exactness when combining GUFA possible contents

  #7537 merged Apr 22, 2025

• Use ES6 import to run JS tests. NFC

  #7536 merged Apr 21, 2025

• Do not let GUFA refine casts to exact when invalid

  #7530 merged Apr 21, 2025

• Avoid invalid exact casts in TypeRefining

  #7529 merged Apr 21, 2025

• [test] Extract function in scripts/test/binaryenjs.py. NFC

  #7535 merged Apr 21, 2025

• [NFC] Add withInexactIfNoCustomDescs helper

  #7528 merged Apr 21, 2025

• [test] Avoid reusing a.mjs for all js tests.

  #7534 merged Apr 21, 2025

• Read call-indirect-overlong and custom-descriptors features

  #7524 merged Apr 21, 2025

• Allow emcc-tests.sh to be invoked from outside the Binaryen source directory

  #7533 merged Apr 21, 2025

• [SIMD] Add i32x4.dot_i8x16_i7x16_add_s in interpreter

  #7527 merged Apr 21, 2025

• Avoid invalid exact casts in RemoveUnusedBrs

  #7522 merged Apr 18, 2025

• Update TypeMerging for exact types

  #7521 merged Apr 18, 2025

• Allow null-checking exact casts without custom descriptors

  #7520 merged Apr 18, 2025

• Fuzzer: Avoid constantly growing the wasm each time

  #7511 merged Apr 18, 2025

• Add missing ids to getExpressionInfo and fix existing bugs

  #7507 merged Apr 18, 2025

• Propagate exactness when canonicalizing types

  #7519 merged Apr 18, 2025

• Only add exact casts when allowed in GUFA

  #7518 merged Apr 17, 2025

• Always allow trivial exact casts

  #7516 merged Apr 17, 2025

• Disallow exact casts without custom descriptors enabled

  #7510 merged Apr 17, 2025

• Preserve exactness when updating types

  #7512 merged Apr 17, 2025

• [Fuzzing] Simplify V8 fuzzing flags: use --fuzzing over specific EH flag

  #7509 merged Apr 16, 2025

• [SIMD] wasm-ctor-eval: Fix relaxed SIMD in expressions

  #7508 merged Apr 16, 2025

• Update the binary format for exact heap types

  #7502 merged Apr 16, 2025

• Update text format for exact heap types

  #7501 merged Apr 16, 2025

8 Pull requests opened by 5 people

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

  #7505 opened Apr 16, 2025

• Add Windows 11 arm to ci

  #7517 opened Apr 17, 2025

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

  #7540 opened Apr 22, 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

• feat: add SKIP_OPTIMIZATIONS option to CMakeLists.txt

  #7569 opened May 4, 2025

• Extend getMaxbits to handle Block type

  #7590 opened May 14, 2025

• [Strings] Add a string-builtins feature, and lift/lower automatically when enabled

  #7601 opened May 16, 2025

24 Issues closed by 6 people

• Unreachable code validation bugs

  #7584 closed May 12, 2025

• wrong proposal suggested by wasm validator

  #7573 closed May 6, 2025

• [Emitting Zero] General rule might not handle unary eqz emitting zero bits well

  #7492 closed May 5, 2025

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

  #7489 closed May 2, 2025

• -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

• Missed optimization for block-trailing constants in if conditions

  #7523 closed Apr 21, 2025

• [Question] Why is wasm-opt -dfo ignoring instructions related to f32 and f64？

  #7514 closed Apr 20, 2025

• `getExpressionInfo` returns a string pointer instead of a JS string when called on a CallIndirect

  #7490 closed Apr 18, 2025

• Binaryen can't parse all spec wasts

  #1138 closed Apr 18, 2025

• Wasm2JS fuzz bug

  #5446 closed Apr 17, 2025

• Peculiar "IR must be flat on return" when modifying returns

  #3407 closed Apr 16, 2025

• Inlining constant globals

  #1621 closed Apr 16, 2025

• Terminology bikeshedding: AST => ?

  #1188 closed Apr 16, 2025

• Document lack of integer "Not" operator

  #1498 closed Apr 16, 2025

• Shared memory text syntax

  #1248 closed Apr 16, 2025

• Latest version (93) missing function: $stackTrace

  #2861 closed Apr 16, 2025

• GetFunctionTable is now gone, what is the favorite way to replace it ?

  #3853 closed Apr 16, 2025

• Failure with optimize

  #6066 closed Apr 16, 2025

• Rehash is ambiguous during emscripten install

  #1181 closed Apr 16, 2025

• 16 different assertion failures in cashew::Parser<cashew::Ref, cashew::DotZeroValueBuilder>

  #2905 closed Apr 16, 2025

• wasm2asm failure on some VMs

  #1575 closed Apr 16, 2025

• Default value of HeapType() is func?

  #4178 closed Apr 16, 2025

10 Issues opened by 8 people

• Create lowering pass for llvm usage of extended-const

  #7583 opened May 12, 2025

• PossibleContents is not a lattice

  #7581 opened May 9, 2025

• Pure calls / future of call.without.effects

  #7574 opened May 7, 2025

• wasm-opt crashes with segmentation fault on big project

  #7570 opened May 5, 2025

• Way of using binaryen without optimization passes

  #7566 opened May 2, 2025

• 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

• `binaryen.js` seems to not longer be maintained

  #7526 opened Apr 18, 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.

• [Emitting Zero] [Local Tracking] General rule might not handle unary ne emitting zero bits well

  #7493 commented on Apr 18, 2025 • 0 new comments

• Table init exprs appear to be unimplemented

  #5628 commented on Apr 21, 2025 • 0 new comments

• Generate webassemby binary with DWARF information

  #7503 commented on Apr 21, 2025 • 0 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

• Embind port

  #7239 commented on Apr 21, 2025 • 0 new comments