Editing Loop-invariant code motion (section)

{{short description|Type of compiler optimization}}
{{More citations needed|date=January 2021}}

In [[computer programming]], [[loop-invariant code]] consists of statements or expressions (in an [[imperative programming|imperative]] [[programming language]]) that can be moved outside the body of a loop without affecting the semantics of the program. '''Loop-invariant code motion''' (also called '''hoisting''' or '''scalar promotion''') is a [[compiler optimization]] that performs this movement automatically.