#ifndef CommonSlowPaths_h
#define CommonSlowPaths_h
#include "CodeBlock.h"
#include "CodeSpecializationKind.h"
#include "ExceptionHelpers.h"
#include "JSArray.h"
namespace JSC {
namespace CommonSlowPaths {
ALWAYS_INLINE ExecState* arityCheckFor(ExecState* exec, RegisterFile* registerFile, CodeSpecializationKind kind)
{
JSFunction* callee = jsCast<JSFunction*>(exec->callee());
ASSERT(!callee->isHostFunction());
CodeBlock* newCodeBlock = &callee->jsExecutable()->generatedBytecodeFor(kind);
int argumentCountIncludingThis = exec->argumentCountIncludingThis();
if (!registerFile->grow(exec->registers() + newCodeBlock->numParameters() + newCodeBlock->m_numCalleeRegisters))
return 0;
ASSERT(argumentCountIncludingThis < newCodeBlock->numParameters());
size_t delta = newCodeBlock->numParameters() - argumentCountIncludingThis;
Register* src = exec->registers();
Register* dst = exec->registers() + delta;
int i;
int end = -ExecState::offsetFor(argumentCountIncludingThis);
for (i = -1; i >= end; --i)
dst[i] = src[i];
end -= delta;
for ( ; i >= end; --i)
dst[i] = jsUndefined();
ExecState* newExec = ExecState::create(dst);
ASSERT((void*)newExec <= registerFile->end());
return newExec;
}
ALWAYS_INLINE bool opInstanceOfSlow(ExecState* exec, JSValue value, JSValue baseVal, JSValue proto)
{
ASSERT(!value.isCell() || !baseVal.isCell() || !proto.isCell()
|| !value.isObject() || !baseVal.isObject() || !proto.isObject()
|| !asObject(baseVal)->structure()->typeInfo().implementsDefaultHasInstance());
TypeInfo typeInfo(UnspecifiedType);
if (!baseVal.isObject() || !(typeInfo = asObject(baseVal)->structure()->typeInfo()).implementsHasInstance()) {
exec->globalData().exception = createInvalidParamError(exec, "instanceof", baseVal);
return false;
}
ASSERT(typeInfo.type() != UnspecifiedType);
if (!typeInfo.overridesHasInstance() && !value.isObject())
return false;
return asObject(baseVal)->methodTable()->hasInstance(asObject(baseVal), exec, value, proto);
}
inline bool opIn(ExecState* exec, JSValue propName, JSValue baseVal)
{
if (!baseVal.isObject()) {
exec->globalData().exception = createInvalidParamError(exec, "in", baseVal);
return false;
}
JSObject* baseObj = asObject(baseVal);
uint32_t i;
if (propName.getUInt32(i))
return baseObj->hasProperty(exec, i);
Identifier property(exec, propName.toString(exec)->value(exec));
if (exec->globalData().exception)
return false;
return baseObj->hasProperty(exec, property);
}
ALWAYS_INLINE JSValue opResolve(ExecState* exec, Identifier& ident)
{
ScopeChainNode* scopeChain = exec->scopeChain();
ScopeChainIterator iter = scopeChain->begin();
ScopeChainIterator end = scopeChain->end();
ASSERT(iter != end);
do {
JSObject* o = iter->get();
PropertySlot slot(o);
if (o->getPropertySlot(exec, ident, slot))
return slot.getValue(exec, ident);
} while (++iter != end);
exec->globalData().exception = createUndefinedVariableError(exec, ident);
return JSValue();
}
ALWAYS_INLINE JSValue opResolveSkip(ExecState* exec, Identifier& ident, int skip)
{
ScopeChainNode* scopeChain = exec->scopeChain();
ScopeChainIterator iter = scopeChain->begin();
ScopeChainIterator end = scopeChain->end();
ASSERT(iter != end);
CodeBlock* codeBlock = exec->codeBlock();
bool checkTopLevel = codeBlock->codeType() == FunctionCode && codeBlock->needsFullScopeChain();
ASSERT(skip || !checkTopLevel);
if (checkTopLevel && skip--) {
if (exec->uncheckedR(codeBlock->activationRegister()).jsValue())
++iter;
}
while (skip--) {
++iter;
ASSERT(iter != end);
}
do {
JSObject* o = iter->get();
PropertySlot slot(o);
if (o->getPropertySlot(exec, ident, slot))
return slot.getValue(exec, ident);
} while (++iter != end);
exec->globalData().exception = createUndefinedVariableError(exec, ident);
return JSValue();
}
ALWAYS_INLINE JSValue opResolveWithBase(ExecState* exec, Identifier& ident, Register& baseSlot)
{
ScopeChainNode* scopeChain = exec->scopeChain();
ScopeChainIterator iter = scopeChain->begin();
ScopeChainIterator end = scopeChain->end();
ASSERT(iter != end);
JSObject* base;
do {
base = iter->get();
PropertySlot slot(base);
if (base->getPropertySlot(exec, ident, slot)) {
JSValue result = slot.getValue(exec, ident);
if (exec->globalData().exception)
return JSValue();
baseSlot = JSValue(base);
return result;
}
++iter;
} while (iter != end);
exec->globalData().exception = createUndefinedVariableError(exec, ident);
return JSValue();
}
ALWAYS_INLINE JSValue opResolveWithThis(ExecState* exec, Identifier& ident, Register& baseSlot)
{
ScopeChainNode* scopeChain = exec->scopeChain();
ScopeChainIterator iter = scopeChain->begin();
ScopeChainIterator end = scopeChain->end();
ASSERT(iter != end);
JSObject* base;
do {
base = iter->get();
++iter;
PropertySlot slot(base);
if (base->getPropertySlot(exec, ident, slot)) {
JSValue result = slot.getValue(exec, ident);
if (exec->globalData().exception)
return JSValue();
if (iter == end || base->structure()->typeInfo().isEnvironmentRecord())
baseSlot = jsUndefined();
else
baseSlot = JSValue(base);
return result;
}
} while (iter != end);
exec->globalData().exception = createUndefinedVariableError(exec, ident);
return JSValue();
}
} }
#endif // CommonSlowPaths_h