A simple Koopa IR optimizer that uses koopa::front::Driver to parse Koopa IR, performs constant folding and dead code elimination, and then uses koopa::back::KoopaGenerator to generate the optimized Koopa IR.
cargo run -- ir/local_opt.koopa path/to/output.koopaYou will see the output IR has been constant folded and all dead code has been eliminated.