Revision as of 07:03, 4 March 2016 edit Nbarth (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 35,278 edits →top: loop invariant ← Previous edit		Revision as of 13:13, 5 March 2016 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,302 edits →top: rm unclear subsentence: precisely what doesn't change: source text?, statement semantices as mapping from memory states to memory states (insufficient for code motion)?, computed value of an expression (undefined for arbitrary statements)? Next edit →
Line 1: {{Unreferenced\|date=May 2007}} In [[computer programming]], '''[[loop-invariant code]]''' consists of statements or expressions (in an [[imperative programming\|imperative]] [[programming language]]) which can be moved outside the body of a loop without affecting the semantics of the program~~, because it does not change during the loop: they are [[loop invariant]]s~~. '''Loop-invariant code motion''' (also called '''hoisting''' or '''scalar promotion''') is a [[compiler optimization]] which performs this movement automatically. ==Example==

Loop-invariant code motion: Difference between revisions