IR: ssa-foundation: ensure strict SSA#16

Merged

arnoox merged 9 commits into

mainfrom

feat/ssa-foundation

Mar 14, 2026

Commits on Mar 6, 2026

fix: IR is strict SSA form
Arnaud Riess
committed
refactor: replace VarId with UseVar and DefVar in IR builder for SSA build enforcement at compile time
Arnaud Riess
committed
fix: ensure IR optimization uses lowered module info in tests
Arnaud Riess
committed
refactor: enhance documentation and add examples for SSA phi-node lowering
Arnaud Riess
committed
refactor: replace unused variable placeholder with meaningful variable names in operator translation
Arnaud Riess
committed

Commits on Mar 7, 2026

refactor: update documentation for IR builder and enhance phi-node tracking details
Arnaud Riess
committed

Commits on Mar 9, 2026

refactor: restructure ControlFrame enum and update control flow handling in IR builder
Arnaud Riess
committed

Commits on Mar 11, 2026

refactor: improve dead code handling in IR builder by adding live-check methods for terminators and predecessors
Arnaud Riess
committed

Commits on Mar 14, 2026

refactor: streamline branch resolution by introducing resolve_branch_info method and enhance phi handling
Arnaud Riess
committed