Lines Matching defs:Partial
382 /// Conservatively merge the two RRInfo. Returns true if a partial merge has
412 // that makes this a partial merge.
413 bool Partial = ReverseInsertPts.size() != Other.ReverseInsertPts.size();
417 Partial |= ReverseInsertPts.insert(*I);
418 return Partial;
428 /// True if we've seen an opportunity for partial RR elimination, such as
430 bool Partial;
439 PtrState() : KnownPositiveRefCount(false), Partial(false),
509 Partial = false;
544 Partial = false;
546 } else if (Partial || Other.Partial) {
547 // If we're doing a merge on a path that's previously seen a partial
548 // merge, conservatively drop the sequence, to avoid doing partial
554 // point, we know that currently we are not partial. Stash whether or not
555 // the merge operation caused us to undergo a partial merging of reverse
557 Partial = RRI.Merge(Other.RRI);
