Loop-invariant code motion: Difference between revisions

Revision as of 19:22, 25 February 2005

Revision as of 19:54, 25 February 2005

Line 1:

'''Loop-invariant code''' in an imperative [[Computer programming|programming]] language consists of statements which could be moved to before the loop (if the loop always terminates), or after the loop, without affecting the semantics of the program.

Loop-invariant code motion is a compiler optimization which performs this movement automatically.

{{compu-stub}}