void
JSONSpewer::spewMResumePoint(MResumePoint *rp)
{
if (!rp)
return;
beginObjectProperty("resumePoint");
if (rp->caller())
integerProperty("caller", rp->caller()->block()->id());
property("mode");
switch (rp->mode()) {
case MResumePoint::ResumeAt:
fprintf(fp_, "\"At\"");
break;
case MResumePoint::ResumeAfter:
fprintf(fp_, "\"After\"");
break;
case MResumePoint::Outer:
fprintf(fp_, "\"Outer\"");
break;
}
beginListProperty("operands");
for (MResumePoint *iter = rp; iter; iter = iter->caller()) {
for (int i = iter->numOperands() - 1; i >= 0; i--)
integerValue(iter->getOperand(i)->id());
if (iter->caller())
stringValue("|");
}
endList();
endObject();
}
void
MBasicBlock::flagOperandsOfPrunedBranches(MInstruction* ins)
{
// Find the previous resume point which would be used for bailing out.
MResumePoint* rp = nullptr;
for (MInstructionReverseIterator iter = rbegin(ins); iter != rend(); iter++) {
rp = iter->resumePoint();
if (rp)
break;
}
// If none, take the entry resume point.
if (!rp)
rp = entryResumePoint();
// The only blocks which do not have any entryResumePoint in Ion, are the
// SplitEdge blocks. SplitEdge blocks only have a Goto instruction before
// Range Analysis phase. In adjustInputs, we are manipulating instructions
// which have a TypePolicy. So, as a Goto has no operand and no type
// policy, the entry resume point should exists.
MOZ_ASSERT(rp);
// Flag all operand as being potentially used.
while (rp) {
for (size_t i = 0, end = rp->numOperands(); i < end; i++)
rp->getOperand(i)->setUseRemovedUnchecked();
rp = rp->caller();
}
}
bool
LRecoverInfo::init(MResumePoint *rp)
{
MResumePoint *it = rp;
// Sort operations in the order in which we need to restore the stack. This
// implies that outer frames, as well as operations needed to recover the
// current frame, are located before the current frame. The inner-most
// resume point should be the last element in the list.
do {
if (!instructions_.append(it))
return false;
it = it->caller();
} while (it);
Reverse(instructions_.begin(), instructions_.end());
MOZ_ASSERT(mir() == rp);
return true;
}
