e/Loop-invariant code motion

Information
has gloss	eng: In computer programming, loop-invariant code consists of statements (in an imperative programming language) which can be moved outside the body of a loop without affecting the semantics of the program.
lexicalization	eng: Loop-invariant code motion
instance of	c/Compiler optimizations