RawShape
BaselineInspector::maybeMonomorphicShapeForPropertyOp(jsbytecode *pc)
{
if (!hasBaselineScript())
return NULL;
JS_ASSERT(isValidPC(pc));
const ICEntry &entry = icEntryFromPC(pc);
ICStub *stub = entry.firstStub();
ICStub *next = stub->next();
if (!next || !next->isFallback())
return NULL;
if (stub->isGetProp_Native()) {
JS_ASSERT(next->isGetProp_Fallback());
if (next->toGetProp_Fallback()->hadUnoptimizableAccess())
return NULL;
return stub->toGetProp_Native()->shape();
}
if (stub->isSetProp_Native()) {
JS_ASSERT(next->isSetProp_Fallback());
if (next->toSetProp_Fallback()->hadUnoptimizableAccess())
return NULL;
return stub->toSetProp_Native()->shape();
}
return NULL;
}
JSObject *
BaselineInspector::commonSetPropFunction(jsbytecode *pc, Shape **lastProperty, JSFunction **commonSetter)
{
if (!hasBaselineScript())
return nullptr;
const ICEntry &entry = icEntryFromPC(pc);
JSObject *holder = nullptr;
Shape *holderShape = nullptr;
JSFunction *setter = nullptr;
for (ICStub *stub = entry.firstStub(); stub; stub = stub->next()) {
if (stub->isSetProp_CallScripted() || stub->isSetProp_CallNative()) {
ICSetPropCallSetter *nstub = static_cast<ICSetPropCallSetter *>(stub);
if (!holder) {
holder = nstub->holder();
holderShape = nstub->holderShape();
setter = nstub->setter();
} else if (nstub->holderShape() != holderShape) {
return nullptr;
} else {
MOZ_ASSERT(setter == nstub->setter());
}
} else if (stub->isSetProp_Fallback() &&
stub->toSetProp_Fallback()->hadUnoptimizableAccess())
{
// We have an unoptimizable access, so don't try to optimize.
return nullptr;
}
}
*lastProperty = holderShape;
*commonSetter = setter;
return holder;
}
bool
BaselineInspector::megamorphicGetterSetterFunction(jsbytecode* pc, bool isGetter,
JSFunction** getterOrSetter)
{
if (!hasBaselineScript())
return false;
*getterOrSetter = nullptr;
const ICEntry& entry = icEntryFromPC(pc);
for (ICStub* stub = entry.firstStub(); stub; stub = stub->next()) {
if (stub->isCacheIR_Monitored()) {
MOZ_ASSERT(isGetter);
JSFunction* getter =
GetMegamorphicGetterSetterFunction(stub,
stub->toCacheIR_Monitored()->stubInfo(),
isGetter);
if (!getter || (*getterOrSetter && *getterOrSetter != getter))
return false;
*getterOrSetter = getter;
continue;
}
if (stub->isCacheIR_Updated()) {
MOZ_ASSERT(!isGetter);
JSFunction* setter =
GetMegamorphicGetterSetterFunction(stub,
stub->toCacheIR_Updated()->stubInfo(),
isGetter);
if (!setter || (*getterOrSetter && *getterOrSetter != setter))
return false;
*getterOrSetter = setter;
continue;
}
if (stub->isGetProp_Fallback()) {
if (stub->toGetProp_Fallback()->hadUnoptimizableAccess())
return false;
if (stub->toGetProp_Fallback()->state().mode() != ICState::Mode::Megamorphic)
return false;
continue;
}
if (stub->isSetProp_Fallback()) {
if (stub->toSetProp_Fallback()->hadUnoptimizableAccess())
return false;
if (stub->toSetProp_Fallback()->state().mode() != ICState::Mode::Megamorphic)
return false;
continue;
}
return false;
}
if (!*getterOrSetter)
return false;
return true;
}
bool
BaselineInspector::commonSetPropFunction(jsbytecode* pc, JSObject** holder, Shape** holderShape,
JSFunction** commonSetter, bool* isOwnProperty,
ReceiverVector& receivers,
ObjectGroupVector& convertUnboxedGroups)
{
if (!hasBaselineScript())
return false;
MOZ_ASSERT(receivers.empty());
MOZ_ASSERT(convertUnboxedGroups.empty());
*holder = nullptr;
const ICEntry& entry = icEntryFromPC(pc);
for (ICStub* stub = entry.firstStub(); stub; stub = stub->next()) {
if (stub->isSetProp_CallScripted() || stub->isSetProp_CallNative()) {
ICSetPropCallSetter* nstub = static_cast<ICSetPropCallSetter*>(stub);
bool isOwn = nstub->isOwnSetter();
if (!isOwn && !AddReceiver(nstub->receiverGuard(), receivers, convertUnboxedGroups))
return false;
if (!*holder) {
*holder = nstub->holder();
*holderShape = nstub->holderShape();
*commonSetter = nstub->setter();
*isOwnProperty = isOwn;
} else if (nstub->holderShape() != *holderShape || isOwn != *isOwnProperty) {
return false;
} else {
MOZ_ASSERT(*commonSetter == nstub->setter());
}
} else if (!stub->isSetProp_Fallback() ||
stub->toSetProp_Fallback()->hadUnoptimizableAccess())
{
// We have an unoptimizable access, so don't try to optimize.
return false;
}
}
if (!*holder)
return false;
return true;
}
bool
BaselineInspector::commonSetPropFunction(jsbytecode* pc, JSObject** holder, Shape** holderShape,
JSFunction** commonSetter, bool* isOwnProperty,
ReceiverVector& receivers,
ObjectGroupVector& convertUnboxedGroups)
{
if (!hasBaselineScript())
return false;
MOZ_ASSERT(receivers.empty());
MOZ_ASSERT(convertUnboxedGroups.empty());
*commonSetter = nullptr;
const ICEntry& entry = icEntryFromPC(pc);
for (ICStub* stub = entry.firstStub(); stub; stub = stub->next()) {
if (stub->isCacheIR_Updated()) {
if (!AddCacheIRSetPropFunction(stub->toCacheIR_Updated(),
holder, holderShape,
commonSetter, isOwnProperty, receivers,
convertUnboxedGroups))
{
return false;
}
} else if (!stub->isSetProp_Fallback() ||
stub->toSetProp_Fallback()->hadUnoptimizableAccess())
{
// We have an unoptimizable access, so don't try to optimize.
return false;
}
}
if (!*commonSetter)
return false;
MOZ_ASSERT(*isOwnProperty == !*holder);
return true;
}
