Stream: git-wasmtime

Topic: wasmtime / PR #12925 [Cranelift] Add arithmetic simplific...

Wasmtime GitHub notifications bot (Apr 01 2026 at 06:21):

myunbin opened PR #12925 from myunbin:main to bytecodealliance:main:

This PR adds several arithmetic simplification rules:

• ((x + y) - (x + z)) --> (y - z)
• ((x - z) - (y - z)) --> (x - y)
• ((x - y) - (x - z)) --> (z - y)
• min(x, y) + max(x, y) --> x + y
• ((x - y) + (y + z)) --> (x + z)
• (x - (x + y)) --> -y
• (x + (y + (z - x))) --> (y + z)
• (x + y) == (y + x) --> true
• (x - y) != x --> y != 0

Wasmtime GitHub notifications bot (Apr 01 2026 at 06:21):

myunbin requested cfallin for a review on PR #12925.

Wasmtime GitHub notifications bot (Apr 01 2026 at 06:21):

myunbin requested wasmtime-compiler-reviewers for a review on PR #12925.

Wasmtime GitHub notifications bot (Apr 01 2026 at 07:48):

myunbin closed without merge PR #12925.

Last updated: Apr 12 2026 at 23:10 UTC