Tag: loop invariant code motion