Lines Matching full:countable
550 // loop into a countable one. The benefit is twofold:
553 // the transformation. It is lots easier to prove a countable loop dead
559 // Since it is transformed to countable form, it can be aggressively
623 /// recognize - detect population count idiom in a non-countable loop. If
