Redirecting to Loop-invariant code motion