bool MBasicBlock::linkOsrValues(MStart* start) { MOZ_ASSERT(start->startType() == MStart::StartType_Osr); MResumePoint* res = start->resumePoint(); for (uint32_t i = 0; i < stackDepth(); i++) { MDefinition* def = slots_[i]; MInstruction* cloneRp = nullptr; if (i == info().scopeChainSlot()) { if (def->isOsrScopeChain()) cloneRp = def->toOsrScopeChain(); } else if (i == info().returnValueSlot()) { if (def->isOsrReturnValue()) cloneRp = def->toOsrReturnValue(); } else if (info().hasArguments() && i == info().argsObjSlot()) { MOZ_ASSERT(def->isConstant() || def->isOsrArgumentsObject()); MOZ_ASSERT_IF(def->isConstant(), def->toConstant()->value() == UndefinedValue()); if (def->isOsrArgumentsObject()) cloneRp = def->toOsrArgumentsObject(); } else { MOZ_ASSERT(def->isOsrValue() || def->isGetArgumentsObjectArg() || def->isConstant() || def->isParameter()); // A constant Undefined can show up here for an argument slot when // the function has an arguments object, but the argument in // question is stored on the scope chain. MOZ_ASSERT_IF(def->isConstant(), def->toConstant()->value() == UndefinedValue()); if (def->isOsrValue()) cloneRp = def->toOsrValue(); else if (def->isGetArgumentsObjectArg()) cloneRp = def->toGetArgumentsObjectArg(); else if (def->isParameter()) cloneRp = def->toParameter(); } if (cloneRp) { MResumePoint* clone = MResumePoint::Copy(graph().alloc(), res); if (!clone) return false; cloneRp->setResumePoint(clone); } } return true; }
void MBasicBlock::linkOsrValues(MStart *start) { JS_ASSERT(start->startType() == MStart::StartType_Osr); MResumePoint *res = start->resumePoint(); for (uint32_t i = 0; i < stackDepth(); i++) { MDefinition *def = slots_[i]; if (i == info().scopeChainSlot()) { if (def->isOsrScopeChain()) def->toOsrScopeChain()->setResumePoint(res); } else if (i == info().returnValueSlot()) { if (def->isOsrReturnValue()) def->toOsrReturnValue()->setResumePoint(res); } else if (info().hasArguments() && i == info().argsObjSlot()) { JS_ASSERT(def->isConstant() || def->isOsrArgumentsObject()); JS_ASSERT_IF(def->isConstant(), def->toConstant()->value() == UndefinedValue()); if (def->isOsrArgumentsObject()) def->toOsrArgumentsObject()->setResumePoint(res); } else { JS_ASSERT(def->isOsrValue() || def->isGetArgumentsObjectArg() || def->isConstant() || def->isParameter()); // A constant Undefined can show up here for an argument slot when the function uses // a heavyweight argsobj, but the argument in question is stored on the scope chain. JS_ASSERT_IF(def->isConstant(), def->toConstant()->value() == UndefinedValue()); if (def->isOsrValue()) def->toOsrValue()->setResumePoint(res); else if (def->isGetArgumentsObjectArg()) def->toGetArgumentsObjectArg()->setResumePoint(res); else if (def->isParameter()) def->toParameter()->setResumePoint(res); } } }