1Test a loop with invariants. In this case, since the invariants gets used later in the loop constant calculation sinking doesnt work. 2Hence loop cannot be removed. 3