CSE 501. Loop-invariant code motion. Two steps: analysis & transformation. Step 1: find invariant computations in loop.
courses.cs.washington.edu