blob: 5083c2cc3482f0839ed605e2f679e05c75ea6fad [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
#include "CallMode.h"
#include "CodeLocation.h"
#include "CodeSpecializationKind.h"
#include "PolymorphicCallStubRoutine.h"
#include "WriteBarrier.h"
#include <wtf/SentinelLinkedList.h>
namespace JSC {
#if ENABLE(JIT)
class FunctionCodeBlock;
class JSFunction;
enum OpcodeID : unsigned;
struct CallFrameShuffleData;
class CallLinkInfo : public PackedRawSentinelNode<CallLinkInfo> {
public:
enum CallType {
None,
Call,
CallVarargs,
Construct,
ConstructVarargs,
TailCall,
TailCallVarargs,
DirectCall,
DirectConstruct,
DirectTailCall
};
static CallType callTypeFor(OpcodeID opcodeID);
static bool isVarargsCallType(CallType callType)
{
switch (callType) {
case CallVarargs:
case ConstructVarargs:
case TailCallVarargs:
return true;
default:
return false;
}
}
CallLinkInfo();
~CallLinkInfo();
static CodeSpecializationKind specializationKindFor(CallType callType)
{
return specializationFromIsConstruct(callType == Construct || callType == ConstructVarargs || callType == DirectConstruct);
}
CodeSpecializationKind specializationKind() const
{
return specializationKindFor(static_cast<CallType>(m_callType));
}
static CallMode callModeFor(CallType callType)
{
switch (callType) {
case Call:
case CallVarargs:
case DirectCall:
return CallMode::Regular;
case TailCall:
case TailCallVarargs:
case DirectTailCall:
return CallMode::Tail;
case Construct:
case ConstructVarargs:
case DirectConstruct:
return CallMode::Construct;
case None:
RELEASE_ASSERT_NOT_REACHED();
}
RELEASE_ASSERT_NOT_REACHED();
}
static bool isDirect(CallType callType)
{
switch (callType) {
case DirectCall:
case DirectTailCall:
case DirectConstruct:
return true;
case Call:
case CallVarargs:
case TailCall:
case TailCallVarargs:
case Construct:
case ConstructVarargs:
return false;
case None:
RELEASE_ASSERT_NOT_REACHED();
return false;
}
RELEASE_ASSERT_NOT_REACHED();
return false;
}
CallMode callMode() const
{
return callModeFor(static_cast<CallType>(m_callType));
}
bool isDirect() const
{
return isDirect(static_cast<CallType>(m_callType));
}
bool isTailCall() const
{
return callMode() == CallMode::Tail;
}
NearCallMode nearCallMode() const
{
return isTailCall() ? NearCallMode::Tail : NearCallMode::Regular;
}
bool isVarargs() const
{
return isVarargsCallType(static_cast<CallType>(m_callType));
}
bool isLinked() const { return m_stub || m_calleeOrCodeBlock; }
void unlink(VM&);
void setUpCall(CallType callType, CodeOrigin codeOrigin, GPRReg calleeGPR)
{
m_callType = callType;
m_codeOrigin = codeOrigin;
m_calleeGPR = calleeGPR;
}
void setCallLocations(
CodeLocationLabel<JSInternalPtrTag> callReturnLocationOrPatchableJump,
CodeLocationLabel<JSInternalPtrTag> hotPathBeginOrSlowPathStart,
CodeLocationNearCall<JSInternalPtrTag> hotPathOther)
{
m_callReturnLocationOrPatchableJump = callReturnLocationOrPatchableJump;
m_hotPathBeginOrSlowPathStart = hotPathBeginOrSlowPathStart;
m_hotPathOther = hotPathOther;
}
bool allowStubs() const { return m_allowStubs; }
void disallowStubs()
{
m_allowStubs = false;
}
CodeLocationNearCall<JSInternalPtrTag> callReturnLocation();
CodeLocationJump<JSInternalPtrTag> patchableJump();
CodeLocationDataLabelPtr<JSInternalPtrTag> hotPathBegin();
CodeLocationLabel<JSInternalPtrTag> slowPathStart();
CodeLocationNearCall<JSInternalPtrTag> hotPathOther()
{
return m_hotPathOther;
}
void setCallee(VM&, JSCell*, JSObject* callee);
void clearCallee();
JSObject* callee();
void setCodeBlock(VM&, JSCell*, FunctionCodeBlock*);
void clearCodeBlock();
FunctionCodeBlock* codeBlock();
void setLastSeenCallee(VM&, const JSCell* owner, JSObject* callee);
void clearLastSeenCallee();
JSObject* lastSeenCallee() const;
bool haveLastSeenCallee() const;
void setExecutableDuringCompilation(ExecutableBase*);
ExecutableBase* executable();
void setStub(Ref<PolymorphicCallStubRoutine>&& newStub)
{
clearStub();
m_stub = WTFMove(newStub);
}
void clearStub();
PolymorphicCallStubRoutine* stub() const
{
return m_stub.get();
}
void setSlowStub(Ref<JITStubRoutine>&& newSlowStub)
{
m_slowStub = WTFMove(newSlowStub);
}
void clearSlowStub()
{
m_slowStub = nullptr;
}
JITStubRoutine* slowStub()
{
return m_slowStub.get();
}
bool seenOnce()
{
return m_hasSeenShouldRepatch;
}
void clearSeen()
{
m_hasSeenShouldRepatch = false;
}
void setSeen()
{
m_hasSeenShouldRepatch = true;
}
bool hasSeenClosure()
{
return m_hasSeenClosure;
}
void setHasSeenClosure()
{
m_hasSeenClosure = true;
}
bool clearedByGC()
{
return m_clearedByGC;
}
bool clearedByVirtual()
{
return m_clearedByVirtual;
}
bool clearedByJettison()
{
return m_clearedByJettison;
}
void setClearedByVirtual()
{
m_clearedByVirtual = true;
}
void setClearedByJettison()
{
m_clearedByJettison = true;
}
void setCallType(CallType callType)
{
m_callType = callType;
}
CallType callType()
{
return static_cast<CallType>(m_callType);
}
uint32_t* addressOfMaxArgumentCountIncludingThis()
{
return &m_maxArgumentCountIncludingThis;
}
uint32_t maxArgumentCountIncludingThis()
{
return m_maxArgumentCountIncludingThis;
}
void setMaxArgumentCountIncludingThis(unsigned);
static ptrdiff_t offsetOfSlowPathCount()
{
return OBJECT_OFFSETOF(CallLinkInfo, m_slowPathCount);
}
GPRReg calleeGPR()
{
return m_calleeGPR;
}
uint32_t slowPathCount()
{
return m_slowPathCount;
}
void setCodeOrigin(CodeOrigin codeOrigin)
{
m_codeOrigin = codeOrigin;
}
CodeOrigin codeOrigin()
{
return m_codeOrigin;
}
template<typename Functor>
void forEachDependentCell(const Functor& functor) const
{
if (isLinked()) {
if (stub())
stub()->forEachDependentCell(functor);
else {
functor(m_calleeOrCodeBlock.get());
if (isDirect())
functor(m_lastSeenCalleeOrExecutable.get());
}
}
if (!isDirect() && haveLastSeenCallee())
functor(lastSeenCallee());
}
void visitWeak(VM&);
void setFrameShuffleData(const CallFrameShuffleData&);
const CallFrameShuffleData* frameShuffleData()
{
return m_frameShuffleData.get();
}
private:
uint32_t m_maxArgumentCountIncludingThis { 0 }; // For varargs: the profiled maximum number of arguments. For direct: the number of stack slots allocated for arguments.
CodeLocationLabel<JSInternalPtrTag> m_callReturnLocationOrPatchableJump;
CodeLocationLabel<JSInternalPtrTag> m_hotPathBeginOrSlowPathStart;
CodeLocationNearCall<JSInternalPtrTag> m_hotPathOther;
WriteBarrier<JSCell> m_calleeOrCodeBlock;
WriteBarrier<JSCell> m_lastSeenCalleeOrExecutable;
RefPtr<PolymorphicCallStubRoutine> m_stub;
RefPtr<JITStubRoutine> m_slowStub;
std::unique_ptr<CallFrameShuffleData> m_frameShuffleData;
CodeOrigin m_codeOrigin;
bool m_hasSeenShouldRepatch : 1;
bool m_hasSeenClosure : 1;
bool m_clearedByGC : 1;
bool m_clearedByVirtual : 1;
bool m_allowStubs : 1;
bool m_clearedByJettison : 1;
unsigned m_callType : 4; // CallType
GPRReg m_calleeGPR { InvalidGPRReg };
uint32_t m_slowPathCount { 0 };
};
inline CodeOrigin getCallLinkInfoCodeOrigin(CallLinkInfo& callLinkInfo)
{
return callLinkInfo.codeOrigin();
}
#endif // ENABLE(JIT)
} // namespace JSC