Loop-invariant code motion - Wikipedia, the free encyclopedia

In computer programming, loop-invariant code consists of statements or expressions (in an imperative programming language) which can be moved outside the body of a loop without affecting the semantics of the program. Loop-invariant code motion (also calle

en.wikipedia.org