feat: introduce new ir optimizations#12

Open

arnoox wants to merge 26 commits intomainfrom

Commits on Feb 24, 2026

feat: introduce new ir optimizations
Arnaud Riess
committed

Commits on Feb 28, 2026

chore: Merge branch 'main' of https://github.com/arnoox/herkos into ir-optimizer
Arnaud Riess
committed
refactor: fixed clippy warning
Arnaud Riess
committed
Merge branch 'main' of https://github.com/arnoox/herkos into ir-optimizer
Arnaud Riess
committed

Commits on Mar 1, 2026

feat: add shared utility functions for IR optimization passes
Arnaud Riess
committed
Implement constant propagation optimization and update tests for constant arithmetic
Arnaud Riess
committed
feat: implement dead instruction elimination optimization
Arnaud Riess
committed
feat: add local common subexpression elimination optimization
Arnaud Riess
committed
Implement Loop-Invariant Code Motion (LICM) optimization pass
Arnaud Riess
committed

Commits on Mar 2, 2026

feat: enhance IR optimization by adding redundancy elimination and reordering passes
Arnaud Riess
committed
feat: add new benchmarks and implementations for control flow and arithmetic operations
Arnaud Riess
committed
refactor: remove LICM optimization pass from the optimizer module
Arnaud Riess
committed

Commits on Mar 3, 2026

feat: add Wasm float min/max/nearest functions and integrate into optimizer
Arnaud Riess
committed

Commits on Mar 4, 2026

refactor: improve comments and code clarity in optimization passes
Arnaud Riess
committed

Commits on Mar 5, 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
refactor: remove constant folding assertion from test_constant_arithmetic
Arnaud Riess
committed
refactor: enhance documentation and add examples for SSA phi-node lowering
Arnaud Riess
committed
refactor: enhance constant propagation algorithm with global constant map and cross-block propagation
Arnaud Riess
committed
Implement Loop-Invariant Code Motion (LICM) optimization pass
Arnaud Riess
committed

Commits on Mar 6, 2026

refactor: add support for ignoring compiled WebAssembly Rust files in .gitignore
Arnaud Riess
committed
Add algebraic simplifications and branch condition folding optimizations
Arnaud Riess
committed
refactor: fix formatting
Arnaud Riess
committed
feat: Cross-block copy propagation
Arnaud Riess
committed
feat: add Global Value Numbering (GVN) optimization pass
Arnaud Riess
committed
chore: Merge branch 'main' of https://github.com/arnoox/herkos into ir-optimizer
Arnaud Riess
committed