ConstraintAnalysis: Add conditional propagation (#8867)
When we see an `if, br_if`, etc., we can propagate the condition along the true branch, and its negation along the other.
A
Alon Zakai committed
82b864505db0502f7b19bdd327e5599230116eb9
Parent: e945e94
Committed by GitHub <noreply@github.com>
on 6/30/2026, 4:11:13 PM