code statements that can be moved outside the body of a loop without affecting the semantics of the program