Lines Matching full:invariant
894 // start. If this invariant doesn't hold, the register allocator can decide
