Loop-invariant code motion: Difference between revisions

Revision as of 20:26, 11 July 2004

Revision as of 20:32, 11 July 2004

Line 1:

'''Loop invariant code''' in an imperative [[Computer programming|programming]] language are statements, which could as well be placed outside of the [[Control flow#Loops|loop]]: before the loop, if the loop always terminates or behind the loop, which is semantically more correct.