973   OS << " updater with gap = " << (ReadI - WriteI)  in print()
982   for (const auto &S : make_range(ReadI, LR->end()))  in print()
1019     WriteI = ReadI = LR->begin();  in add()
1027   if (ReadI != E && ReadI->end <= Seg.start) {  in add()
1029     if (ReadI != WriteI)  in add()
1032     if (ReadI == WriteI)  in add()
1033       ReadI = WriteI = LR->find(Seg.start);  in add()
1035       while (ReadI != E && ReadI->end <= Seg.start)  in add()
1036         *WriteI++ = *ReadI++;  in add()
1039   assert(ReadI == E || ReadI->end > Seg.start);  in add()
1042   if (ReadI != E && ReadI->start <= Seg.start) {  in add()
1043     assert(ReadI->valno == Seg.valno && "Cannot overlap different values");  in add()
1045     if (ReadI->end >= Seg.end)  in add()
1048     Seg.start = ReadI->start;  in add()
1049     ++ReadI;  in add()
1053   while (ReadI != E && coalescable(Seg, *ReadI)) {  in add()
1054     Seg.end = std::max(Seg.end, ReadI->end);  in add()
1055     ++ReadI;  in add()
1072   if (WriteI != ReadI) {  in add()
1080     WriteI = ReadI = LR->end();  in add()
1089   size_t GapSize = ReadI - WriteI;  in mergeSpills()
1120     LR->segments.erase(WriteI, ReadI);  in flush()
1126   size_t GapSize = ReadI - WriteI;  in flush()
1130     LR->segments.insert(ReadI, Spills.size() - GapSize, LiveRange::Segment());  in flush()
1135     LR->segments.erase(WriteI + Spills.size(), ReadI);  in flush()
1137   ReadI = WriteI + Spills.size();  in flush()