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