Loop invariant code motion initial implementation