Lines Matching full:precondition
1644 assert(canExpandBackedgeTakenCount(L, SE, Rewriter) && "precondition");