60   int64_t SPOffset = SPT.getStateAt(Point)->first;  in doKill()  local
62   if (SPOffset == SPT.SUPERPOSITION || SPOffset == SPT.EMPTY)  in doKill()
69     if (InstrOffset < SPOffset) {  in doKill()
77                << ". SPOffset = " << SPOffset  in doKill()
109   int64_t SPOffset, FPOffset;  in computeNext()  local
110   std::tie(SPOffset, FPOffset) = *SPT.getStateBefore(Point);  in computeNext()
115     if (SPOffset < FPOffset) {  in computeNext()
116       Next = doKill(Point, Next, FPOffset - SPOffset);  in computeNext()
119     if (SPOffset > FPOffset) {  in computeNext()
127     if (SPOffset != SPT.EMPTY && SPOffset != SPT.SUPERPOSITION)  in computeNext()
128       SP = std::make_pair(MIB->getStackPointer(), SPOffset);  in computeNext()
140     if (SPOffset < Output) {  in computeNext()
141       Next = doKill(Point, Next, Output - SPOffset);  in computeNext()
144     if (SPOffset > Output) {  in computeNext()