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