Lines Matching full:invariant
959 // Verify that the stored value is loop invariant. If not, we can't
975 // guaranteed to be loop invariant, which means that it should dominate the
1064 // guaranteed to be loop invariant, which means that it should dominate the
