Loop-invariant code motion: Difference between revisions

Revision as of 20:32, 11 July 2004

Revision as of 14:37, 22 August 2004

Line 1:

'''Loop -invariant code''' in an imperative [[Computer programming|programming]] language areconsists of statements, which could as well be placedmoved outside of the [[Control flow#Loops|loop]]:to before the loop, (if the loop always terminates), or behindafter the loop, whichwithout isaffecting semanticallythe moresemantics of the correctprogram.

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