blob: 7cf42521a621178ff8512aff9fffa325200224d6 [file] [log] [blame]
/*
* Copyright (C) 2012-2018 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.
*/
#pragma once
#if ENABLE(DFG_JIT)
#include "DFGSilentRegisterSavePlan.h"
#include "DFGSpeculativeJIT.h"
#include <wtf/FastMalloc.h>
#include <wtf/FunctionTraits.h>
namespace JSC { namespace DFG {
class SlowPathGenerator {
WTF_MAKE_FAST_ALLOCATED;
public:
SlowPathGenerator(SpeculativeJIT* jit)
: m_currentNode(jit->m_currentNode)
, m_streamIndex(jit->m_stream->size())
, m_origin(jit->m_origin)
{
}
virtual ~SlowPathGenerator() { }
void generate(SpeculativeJIT* jit)
{
m_label = jit->m_jit.label();
jit->m_currentNode = m_currentNode;
jit->m_outOfLineStreamIndex = m_streamIndex;
jit->m_origin = m_origin;
generateInternal(jit);
jit->m_outOfLineStreamIndex = WTF::nullopt;
if (!ASSERT_DISABLED)
jit->m_jit.abortWithReason(DFGSlowPathGeneratorFellThrough);
}
MacroAssembler::Label label() const { return m_label; }
virtual MacroAssembler::Call call() const
{
RELEASE_ASSERT_NOT_REACHED(); // By default slow path generators don't have a call.
return MacroAssembler::Call();
}
const NodeOrigin& origin() const { return m_origin; }
protected:
virtual void generateInternal(SpeculativeJIT*) = 0;
Node* m_currentNode;
MacroAssembler::Label m_label;
unsigned m_streamIndex;
NodeOrigin m_origin;
};
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;
};
enum class ExceptionCheckRequirement : uint8_t {
CheckNeeded,
CheckNotNeeded
};
template<typename JumpType, typename FunctionType, typename ResultType>
class CallSlowPathGenerator : public JumpingSlowPathGenerator<JumpType> {
public:
CallSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ExceptionCheckRequirement requirement, ResultType result)
: JumpingSlowPathGenerator<JumpType>(from, jit)
, m_spillMode(spillMode)
, m_exceptionCheckRequirement(requirement)
, m_result(result)
, m_function(function)
{
if (m_spillMode == NeedToSpill)
jit->silentSpillAllRegistersImpl(false, m_plans, extractResult(result));
}
MacroAssembler::Call call() const override
{
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) {
for (unsigned i = m_plans.size(); i--;)
jit->silentFill(m_plans[i]);
}
if (m_exceptionCheckRequirement == ExceptionCheckRequirement::CheckNeeded)
jit->m_jit.exceptionCheck();
this->jumpTo(jit);
}
MacroAssembler::Call m_call;
SpillRegistersMode m_spillMode;
ExceptionCheckRequirement m_exceptionCheckRequirement;
ResultType m_result;
FunctionType m_function;
Vector<SilentRegisterSavePlan, 2> m_plans;
};
template<typename JumpType, typename FunctionType, typename ResultType, typename... Arguments>
class CallResultAndArgumentsSlowPathGenerator
: public CallSlowPathGenerator<JumpType, FunctionType, ResultType> {
public:
CallResultAndArgumentsSlowPathGenerator(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ExceptionCheckRequirement requirement, ResultType result, Arguments... arguments)
: CallSlowPathGenerator<JumpType, FunctionType, ResultType>(
from, jit, function, spillMode, requirement, result)
, m_arguments(std::forward<Arguments>(arguments)...)
{
}
protected:
template<size_t... ArgumentsIndex>
void unpackAndGenerate(SpeculativeJIT* jit, std::index_sequence<ArgumentsIndex...>)
{
this->setUp(jit);
this->recordCall(jit->callOperation(this->m_function, extractResult(this->m_result), std::get<ArgumentsIndex>(m_arguments)...));
this->tearDown(jit);
}
void generateInternal(SpeculativeJIT* jit) override
{
unpackAndGenerate(jit, std::make_index_sequence<std::tuple_size<std::tuple<Arguments...>>::value>());
}
std::tuple<Arguments...> m_arguments;
};
template<typename JumpType, typename FunctionType, typename ResultType, typename... Arguments>
inline std::unique_ptr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
SpillRegistersMode spillMode, ExceptionCheckRequirement requirement,
ResultType result, Arguments... arguments)
{
return std::make_unique<CallResultAndArgumentsSlowPathGenerator<JumpType, FunctionType, ResultType, Arguments...>>(
from, jit, function, spillMode, requirement, result, arguments...);
}
template<typename JumpType, typename FunctionType, typename ResultType, typename... Arguments>
inline std::unique_ptr<SlowPathGenerator> slowPathCall(
JumpType from, SpeculativeJIT* jit, FunctionType function,
ResultType result, Arguments... arguments)
{
return slowPathCall(
from, jit, function, NeedToSpill, ExceptionCheckRequirement::CheckNeeded, result, arguments...);
}
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:
void generateInternal(SpeculativeJIT* jit) override
{
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 std::unique_ptr<SlowPathGenerator> slowPathMove(
JumpType from, SpeculativeJIT* jit, SourceType source[numberOfAssignments], DestinationType destination[numberOfAssignments])
{
return std::make_unique<AssigningSlowPathGenerator<JumpType, DestinationType, SourceType, numberOfAssignments>>(
from, jit, destination, source);
}
template<typename JumpType, typename DestinationType, typename SourceType>
inline std::unique_ptr<SlowPathGenerator> slowPathMove(
JumpType from, SpeculativeJIT* jit, SourceType source, DestinationType destination)
{
SourceType sourceArray[1] = { source };
DestinationType destinationArray[1] = { destination };
return std::make_unique<AssigningSlowPathGenerator<JumpType, DestinationType, SourceType, 1>>(
from, jit, destinationArray, sourceArray);
}
template<typename JumpType, typename DestinationType, typename SourceType>
inline std::unique_ptr<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 std::make_unique<AssigningSlowPathGenerator<JumpType, DestinationType, SourceType, 2>>(
from, jit, destinationArray, sourceArray);
}
} } // namespace JSC::DFG
#endif // ENABLD(DFG_JIT)