This optimization removes invariant subexpressions from the body of a loop.

No. The individual subexpressions are not sequenced with respect to one another.

And the subexpressions can be combined using the and, or, and not logical operators.