2 Loop-Invariant Code Motion / Hoisting. Loop-Invariant code motion is one interesting form of partial redundancy.
symbolaris.com