DFGArrayifySlowPathGenerator.h [plain text]
#ifndef DFGArrayifySlowPathGenerator_h
#define DFGArrayifySlowPathGenerator_h
#if ENABLE(DFG_JIT)
#include "DFGArrayMode.h"
#include "DFGCommon.h"
#include "DFGOSRExitJumpPlaceholder.h"
#include "DFGOperations.h"
#include "DFGSlowPathGenerator.h"
#include "DFGSpeculativeJIT.h"
#include <wtf/Vector.h>
namespace JSC { namespace DFG {
class ArrayifySlowPathGenerator : public JumpingSlowPathGenerator<MacroAssembler::JumpList> {
public:
ArrayifySlowPathGenerator(
const MacroAssembler::JumpList& from, SpeculativeJIT* jit, Node* node, GPRReg baseGPR,
GPRReg propertyGPR, GPRReg tempGPR, GPRReg structureGPR)
: JumpingSlowPathGenerator<MacroAssembler::JumpList>(from, jit)
, m_op(node->op())
, m_arrayMode(node->arrayMode())
, m_structure(node->op() == ArrayifyToStructure ? node->structure() : 0)
, m_baseGPR(baseGPR)
, m_propertyGPR(propertyGPR)
, m_tempGPR(tempGPR)
, m_structureGPR(structureGPR)
{
ASSERT(m_op == Arrayify || m_op == ArrayifyToStructure);
jit->silentSpillAllRegistersImpl(false, m_plans, InvalidGPRReg);
if (m_propertyGPR != InvalidGPRReg) {
switch (m_arrayMode.type()) {
case Array::Int32:
case Array::Double:
case Array::Contiguous:
m_badPropertyJump = jit->speculationCheck(Uncountable, JSValueRegs(), 0);
break;
default:
break;
}
}
m_badIndexingTypeJump = jit->speculationCheck(BadIndexingType, JSValueSource::unboxedCell(m_baseGPR), 0);
}
protected:
virtual void generateInternal(SpeculativeJIT* jit) override
{
linkFrom(jit);
ASSERT(m_op == Arrayify || m_op == ArrayifyToStructure);
if (m_propertyGPR != InvalidGPRReg) {
switch (m_arrayMode.type()) {
case Array::Int32:
case Array::Double:
case Array::Contiguous:
m_badPropertyJump.fill(jit, jit->m_jit.branch32(
MacroAssembler::AboveOrEqual, m_propertyGPR,
MacroAssembler::TrustedImm32(MIN_SPARSE_ARRAY_INDEX)));
break;
default:
break;
}
}
for (unsigned i = 0; i < m_plans.size(); ++i)
jit->silentSpill(m_plans[i]);
switch (m_arrayMode.type()) {
case Array::Int32:
jit->callOperation(operationEnsureInt32, m_tempGPR, m_baseGPR);
break;
case Array::Double:
jit->callOperation(operationEnsureDouble, m_tempGPR, m_baseGPR);
break;
case Array::Contiguous:
if (m_arrayMode.conversion() == Array::RageConvert)
jit->callOperation(operationRageEnsureContiguous, m_tempGPR, m_baseGPR);
else
jit->callOperation(operationEnsureContiguous, m_tempGPR, m_baseGPR);
break;
case Array::ArrayStorage:
case Array::SlowPutArrayStorage:
jit->callOperation(operationEnsureArrayStorage, m_tempGPR, m_baseGPR);
break;
default:
CRASH();
break;
}
for (unsigned i = m_plans.size(); i--;)
jit->silentFill(m_plans[i], GPRInfo::regT0);
if (m_op == ArrayifyToStructure) {
ASSERT(m_structure);
m_badIndexingTypeJump.fill(
jit, jit->m_jit.branchWeakStructure(MacroAssembler::NotEqual, MacroAssembler::Address(m_baseGPR, JSCell::structureIDOffset()), m_structure));
} else {
jit->m_jit.load8(
MacroAssembler::Address(m_baseGPR, JSCell::indexingTypeOffset()), m_structureGPR);
m_badIndexingTypeJump.fill(
jit, jit->jumpSlowForUnwantedArrayMode(m_structureGPR, m_arrayMode));
}
jumpTo(jit);
}
private:
NodeType m_op;
ArrayMode m_arrayMode;
Structure* m_structure;
GPRReg m_baseGPR;
GPRReg m_propertyGPR;
GPRReg m_tempGPR;
GPRReg m_structureGPR;
OSRExitJumpPlaceholder m_badPropertyJump;
OSRExitJumpPlaceholder m_badIndexingTypeJump;
Vector<SilentRegisterSavePlan, 2> m_plans;
};
} }
#endif // ENABLE(DFG_JIT)
#endif // DFGArrayifySlowPathGenerator_h