Lines Matching defs:Partial
105 // that makes this a partial merge.
106 bool Partial = ReverseInsertPts.size() != Other.ReverseInsertPts.size();
108 Partial |= ReverseInsertPts.insert(Inst).second;
109 return Partial;
134 Partial = false;
144 Partial = false;
146 } else if (Partial || Other.Partial) {
147 // If we're doing a merge on a path that's previously seen a partial
148 // merge, conservatively drop the sequence, to avoid doing partial
154 // point, we know that currently we are not partial. Stash whether or not
155 // the merge operation caused us to undergo a partial merging of reverse
157 Partial = RRI.Merge(Other.RRI);
