Source/JavaScriptCore/dfg/DFGSlowPathGenerator.h - WebKit - Git at Google

 /*
  * 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 makeUnique<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 makeUnique<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 makeUnique<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 makeUnique<AssigningSlowPathGenerator<JumpType, DestinationType, SourceType, 2>>(
         from, jit, destinationArray, sourceArray);
 }

 } } // namespace JSC::DFG

 #endif // ENABLD(DFG_JIT)
	/*
	* 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 makeUnique<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 makeUnique<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 makeUnique<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 makeUnique<AssigningSlowPathGenerator<JumpType, DestinationType, SourceType, 2>>(
	from, jit, destinationArray, sourceArray);
	}

	} } // namespace JSC::DFG

	#endif // ENABLD(DFG_JIT)