This package contains code to do loop invariant hoisting, strength reduction, and induction variable elimination. It also contains relevant analysis specific to this task. @author bdemsky