Loop invariant and induction variable elimination. Input: iter which optimization iteration we are on
See Implementation
Loop invariant and induction variable elimination. Input: iter which optimization iteration we are on