Handle irreducible control flow in branch simplification#13391

Merged

cfallin merged 3 commits into

bytecodealliance:mainfrom

fitzgen:issue-13365-branch-optimizations-bug-take-2

May 18, 2026

Commits on May 15, 2026

Handle irreducible control flow in branch simplification
fitzgen
committed

Commits on May 18, 2026

Eliminate unreachable code in the egraph pass after optimizing instructions, before elaborating
fitzgen
committed
Restore CLIF verification after egraphs pass
fitzgen
committed