113   // that makes this a partial merge.  in Merge()
114   bool Partial = ReverseInsertPts.size() != Other.ReverseInsertPts.size();  in Merge()  local
116     Partial |= ReverseInsertPts.insert(Inst).second;  in Merge()
117   return Partial;  in Merge()
143   Partial = false;  in ResetSequenceProgress()
153     Partial = false;  in Merge()
155   } else if (Partial || Other.Partial) {  in Merge()
156     // If we're doing a merge on a path that's previously seen a partial  in Merge()
157     // merge, conservatively drop the sequence, to avoid doing partial  in Merge()
163     // point, we know that currently we are not partial. Stash whether or not  in Merge()
164     // the merge operation caused us to undergo a partial merging of reverse  in Merge()
166     Partial = RRI.Merge(Other.RRI);  in Merge()