Assertion: block's code | /r/HasProperty | evaluated before the loop
Facets:
Source sentences:
text: Loop-invariant code motion, a compiler optimization where code in the loop that is invariant is evaluated before the loop;