Loop-invariant code motion: Difference between revisions

Revision as of 13:45, 9 February 2006

Revision as of 21:12, 26 February 2006

Line 1:

'''Loop-invariant code''' in an [[Imperative programming|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. As a result it is executed less often, providing a speedup. '''Loop-invariant code motion''' is a [[compiler optimization]] which performs this movement automatically.

==Worked Example==