Merge "Simplify loop invariant operations during induction analysis."