blob: 4acd8690a899cdfeffd498432a6988977fa3eca1 [file] [log] [blame]
/*
* Copyright (C) 2012 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#ifndef DFGSlowPathGenerator_h
#define DFGSlowPathGenerator_h
#include <wtf/Platform.h>
#if ENABLE(DFG_JIT)
#include "DFGCommon.h"
#include "DFGSilentRegisterSavePlan.h"
#include "DFGSpeculativeJIT.h"
#include <wtf/FastAllocBase.h>
#include <wtf/PassOwnPtr.h>
namespace JSC { namespace DFG {
class SlowPathGenerator {
WTF_MAKE_FAST_ALLOCATED;
public:
SlowPathGenerator(SpeculativeJIT* jit)
: m_compileIndex(jit->m_compileIndex)
{
}
virtual ~SlowPathGenerator() { }
void generate(SpeculativeJIT* jit)
{
#if DFG_ENABLE(DEBUG_VERBOSE)
dataLogF("Generating slow path %p at offset 0x%x\n", this, jit->m_jit.debugOffset());
#endif
m_label = jit->m_jit.label();
jit->m_compileIndex = m_compileIndex;
generateInternal(jit);
#if !ASSERT_DISABLED
jit->m_jit.breakpoint(); // make sure that the generator jumps back to somewhere
#endif
}
MacroAssembler::Label label() const { return m_label; }
virtual MacroAssembler::Call call() const
{
ASSERT_NOT_REACHED(); // By default slow path generators don't have a call.
return MacroAssembler::Call();
}
protected:
virtual void generateInternal(SpeculativeJIT*) = 0;
MacroAssembler::Label m_label;
NodeIndex m_compileIndex;
};
template<typename JumpType>
class JumpingSlowPathGenerator : public SlowPathGenerator {
public:
JumpingSlowPathGenerator(JumpType from, SpeculativeJIT* jit)
: SlowPathGenerator(jit)
, m_from(from)
, m_to(jit->m_jit.label())
{
}
protected:
void linkFrom(SpeculativeJIT* jit)
{
m_from.link(&jit->m_jit);
}
void jumpTo(SpeculativeJIT* jit)
{
jit->m_jit.jump().linkTo(m_to, &jit->m_jit);
}
JumpType m_from;
MacroAssembler::Label m_to;
};
template<typename JumpType, typename FunctionType, typename ResultType>
class CallSlowPathGenerator : public JumpingSlowPathGenerator<JumpType> {
public:
CallSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result)
: JumpingSlowPathGenerator<JumpType>(from, jit)
, m_function(function)
, m_spillMode(spillMode)
, m_result(result)
{
if (m_spillMode == NeedToSpill)
jit->silentSpillAllRegistersImpl(false, m_plans, result);
}
virtual MacroAssembler::Call call() const
{
return m_call;
}
protected:
void setUp(SpeculativeJIT* jit)
{
this->linkFrom(jit);
if (m_spillMode == NeedToSpill) {
for (unsigned i = 0; i < m_plans.size(); ++i)
jit->silentSpill(m_plans[i]);
}
}
void recordCall(MacroAssembler::Call call)
{
m_call = call;
}
void tearDown(SpeculativeJIT* jit)
{
if (m_spillMode == NeedToSpill) {
GPRReg canTrample = SpeculativeJIT::pickCanTrample(m_result);
for (unsigned i = m_plans.size(); i--;)
jit->silentFill(m_plans[i], canTrample);
}
this->jumpTo(jit);
}
FunctionType m_function;
SpillRegistersMode m_spillMode;
ResultType m_result;
MacroAssembler::Call m_call;
Vector<SilentRegisterSavePlan, 2> m_plans;
};
template<typename JumpType, typename FunctionType, typename ResultType>
class CallResultAndNoArgumentsSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndNoArgumentsSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result)
{
}
protected:
void generateInternal(SpeculativeJIT* jit)
{
this->setUp(jit);
this->recordCall(jit->callOperation(this->m_function, this->m_result));
this->tearDown(jit);
}
};
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1>
class CallResultAndOneArgumentSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndOneArgumentSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result, ArgumentType1 argument1)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result)
, m_argument1(argument1)
{
}
protected:
void generateInternal(SpeculativeJIT* jit)
{
this->setUp(jit);
this->recordCall(jit->callOperation(this->m_function, this->m_result, m_argument1));
this->tearDown(jit);
}
ArgumentType1 m_argument1;
};
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2>
class CallResultAndTwoArgumentsSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndTwoArgumentsSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result, ArgumentType1 argument1,
ArgumentType2 argument2)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result)
, m_argument1(argument1)
, m_argument2(argument2)
{
}
protected:
void generateInternal(SpeculativeJIT* jit)
{
this->setUp(jit);
this->recordCall(jit->callOperation(this->m_function, this->m_result, m_argument1, m_argument2));
this->tearDown(jit);
}
ArgumentType1 m_argument1;
ArgumentType2 m_argument2;
};
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2, typename ArgumentType3>
class CallResultAndThreeArgumentsSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndThreeArgumentsSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result, ArgumentType1 argument1,
ArgumentType2 argument2, ArgumentType3 argument3)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result)
, m_argument1(argument1)
, m_argument2(argument2)
, m_argument3(argument3)
{
}
protected:
void generateInternal(SpeculativeJIT* jit)
{
this->setUp(jit);
this->recordCall(
jit->callOperation(
this->m_function, this->m_result, m_argument1, m_argument2,
m_argument3));
this->tearDown(jit);
}
ArgumentType1 m_argument1;
ArgumentType2 m_argument2;
ArgumentType3 m_argument3;
};
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2, typename ArgumentType3,
typename ArgumentType4>
class CallResultAndFourArgumentsSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndFourArgumentsSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result, ArgumentType1 argument1,
ArgumentType2 argument2, ArgumentType3 argument3, ArgumentType4 argument4)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result)
, m_argument1(argument1)
, m_argument2(argument2)
, m_argument3(argument3)
, m_argument4(argument4)
{
}
protected:
void generateInternal(SpeculativeJIT* jit)
{
this->setUp(jit);
this->recordCall(
jit->callOperation(
this->m_function, this->m_result, m_argument1, m_argument2,
m_argument3, m_argument4));
this->tearDown(jit);
}
ArgumentType1 m_argument1;
ArgumentType2 m_argument2;
ArgumentType3 m_argument3;
ArgumentType4 m_argument4;
};
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2, typename ArgumentType3,
typename ArgumentType4, typename ArgumentType5>
class CallResultAndFiveArgumentsSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndFiveArgumentsSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ResultType result, ArgumentType1 argument1,
ArgumentType2 argument2, ArgumentType3 argument3, ArgumentType4 argument4,
ArgumentType5 argument5)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result)
, m_argument1(argument1)
, m_argument2(argument2)
, m_argument3(argument3)
, m_argument4(argument4)
, m_argument5(argument5)
{
}
protected:
void generateInternal(SpeculativeJIT* jit)
{
this->setUp(jit);
this->recordCall(
jit->callOperation(
this->m_function, this->m_result, m_argument1, m_argument2,
m_argument3, m_argument4, m_argument5));
this->tearDown(jit);
}
ArgumentType1 m_argument1;
ArgumentType2 m_argument2;
ArgumentType3 m_argument3;
ArgumentType4 m_argument4;
ArgumentType5 m_argument5;
};
template<typename JumpType, typename FunctionType, typename ResultType>
inline PassOwnPtr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, SpillRegistersMode spillMode = NeedToSpill)
{
return adoptPtr(
new CallResultAndNoArgumentsSlowPathGenerator<
JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, result));
}
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1>
inline PassOwnPtr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, ArgumentType1 argument1,
SpillRegistersMode spillMode = NeedToSpill)
{
return adoptPtr(
new CallResultAndOneArgumentSlowPathGenerator<
JumpType, FunctionType, ResultType, ArgumentType1>(
from, jit, function, spillMode, result, argument1));
}
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2>
inline PassOwnPtr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, ArgumentType1 argument1, ArgumentType2 argument2,
SpillRegistersMode spillMode = NeedToSpill)
{
return adoptPtr(
new CallResultAndTwoArgumentsSlowPathGenerator<
JumpType, FunctionType, ResultType, ArgumentType1, ArgumentType2>(
from, jit, function, spillMode, result, argument1, argument2));
}
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2, typename ArgumentType3>
inline PassOwnPtr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, ArgumentType1 argument1, ArgumentType2 argument2,
ArgumentType3 argument3, SpillRegistersMode spillMode = NeedToSpill)
{
return adoptPtr(
new CallResultAndThreeArgumentsSlowPathGenerator<
JumpType, FunctionType, ResultType, ArgumentType1, ArgumentType2,
ArgumentType3>(
from, jit, function, spillMode, result, argument1, argument2,
argument3));
}
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2, typename ArgumentType3,
typename ArgumentType4>
inline PassOwnPtr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, ArgumentType1 argument1, ArgumentType2 argument2,
ArgumentType3 argument3, ArgumentType4 argument4,
SpillRegistersMode spillMode = NeedToSpill)
{
return adoptPtr(
new CallResultAndFourArgumentsSlowPathGenerator<
JumpType, FunctionType, ResultType, ArgumentType1, ArgumentType2,
ArgumentType3, ArgumentType4>(
from, jit, function, spillMode, result, argument1, argument2,
argument3, argument4));
}
template<
typename JumpType, typename FunctionType, typename ResultType,
typename ArgumentType1, typename ArgumentType2, typename ArgumentType3,
typename ArgumentType4, typename ArgumentType5>
inline PassOwnPtr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, ArgumentType1 argument1, ArgumentType2 argument2,
ArgumentType3 argument3, ArgumentType4 argument4, ArgumentType5 argument5,
SpillRegistersMode spillMode = NeedToSpill)
{
return adoptPtr(
new CallResultAndFiveArgumentsSlowPathGenerator<
JumpType, FunctionType, ResultType, ArgumentType1, ArgumentType2,
ArgumentType3, ArgumentType4, ArgumentType5>(
from, jit, function, spillMode, result, argument1, argument2,
argument3, argument4, argument5));
}
template<typename JumpType, typename DestinationType, typename SourceType, unsigned numberOfAssignments>
class AssigningSlowPathGenerator : public JumpingSlowPathGenerator<JumpType> {
public:
AssigningSlowPathGenerator(
JumpType from, SpeculativeJIT* jit,
DestinationType destination[numberOfAssignments],
SourceType source[numberOfAssignments])
: JumpingSlowPathGenerator<JumpType>(from, jit)
{
for (unsigned i = numberOfAssignments; i--;) {
m_destination[i] = destination[i];
m_source[i] = source[i];
}
}
protected:
virtual void generateInternal(SpeculativeJIT* jit)
{
this->linkFrom(jit);
for (unsigned i = numberOfAssignments; i--;)
jit->m_jit.move(m_source[i], m_destination[i]);
this->jumpTo(jit);
}
private:
DestinationType m_destination[numberOfAssignments];
SourceType m_source[numberOfAssignments];
};
template<typename JumpType, typename DestinationType, typename SourceType, unsigned numberOfAssignments>
inline PassOwnPtr<SlowPathGenerator> slowPathMove(
JumpType from, SpeculativeJIT* jit, SourceType source[numberOfAssignments], DestinationType destination[numberOfAssignments])
{
return adoptPtr(
new AssigningSlowPathGenerator<
JumpType, DestinationType, SourceType, numberOfAssignments>(
from, jit, destination, source));
}
template<typename JumpType, typename DestinationType, typename SourceType>
inline PassOwnPtr<SlowPathGenerator> slowPathMove(
JumpType from, SpeculativeJIT* jit, SourceType source, DestinationType destination)
{
SourceType sourceArray[1] = { source };
DestinationType destinationArray[1] = { destination };
return adoptPtr(
new AssigningSlowPathGenerator<
JumpType, DestinationType, SourceType, 1>(
from, jit, destinationArray, sourceArray));
}
template<typename JumpType, typename DestinationType, typename SourceType>
inline PassOwnPtr<SlowPathGenerator> slowPathMove(
JumpType from, SpeculativeJIT* jit, SourceType source1, DestinationType destination1, SourceType source2, DestinationType destination2)
{
SourceType sourceArray[2] = { source1, source2 };
DestinationType destinationArray[2] = { destination1, destination2 };
return adoptPtr(
new AssigningSlowPathGenerator<
JumpType, DestinationType, SourceType, 2>(
from, jit, destinationArray, sourceArray));
}
} } // namespace JSC::DFG
#endif // ENABLD(DFG_JIT)
#endif // DFGSlowPathGenerator_h