blob: 60a3541ddd2221e9fe78b1ba9bf568573cee9744 [file] [log] [blame]
/*
* Copyright (C) 2019-2021 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 "UnlinkedCodeBlock.h"
#include <wtf/Vector.h>
namespace JSC {
// FIXME: Create UnlinkedCodeBlock inside UnlinkedCodeBlockGenerator.
// https://bugs.webkit.org/show_bug.cgi?id=207212
class UnlinkedCodeBlockGenerator {
WTF_MAKE_FAST_ALLOCATED;
WTF_MAKE_NONCOPYABLE(UnlinkedCodeBlockGenerator)
public:
UnlinkedCodeBlockGenerator(VM& vm, UnlinkedCodeBlock* codeBlock)
: m_vm(vm)
, m_codeBlock(vm, codeBlock)
{
}
VM& vm() { return m_vm; }
bool isConstructor() const { return m_codeBlock->isConstructor(); }
ConstructorKind constructorKind() const { return m_codeBlock->constructorKind(); }
SuperBinding superBinding() const { return m_codeBlock->superBinding(); }
JSParserScriptMode scriptMode() const { return m_codeBlock->scriptMode(); }
NeedsClassFieldInitializer needsClassFieldInitializer() const { return m_codeBlock->needsClassFieldInitializer(); }
PrivateBrandRequirement privateBrandRequirement() const { return m_codeBlock->privateBrandRequirement(); }
bool usesCallEval() const { return m_codeBlock->usesCallEval(); }
void setUsesCallEval() { return m_codeBlock->setUsesCallEval(); }
SourceParseMode parseMode() const { return m_codeBlock->parseMode(); }
bool isArrowFunction() { return m_codeBlock->isArrowFunction(); }
DerivedContextType derivedContextType() const { return m_codeBlock->derivedContextType(); }
EvalContextType evalContextType() const { return m_codeBlock->evalContextType(); }
bool isArrowFunctionContext() const { return m_codeBlock->isArrowFunctionContext(); }
bool isClassContext() const { return m_codeBlock->isClassContext(); }
unsigned numCalleeLocals() const { return m_codeBlock->m_numCalleeLocals; }
unsigned numVars() const { return m_codeBlock->m_numVars; }
unsigned numParameters() const { return m_codeBlock->numParameters(); }
VirtualRegister thisRegister() const { return m_codeBlock->thisRegister(); }
VirtualRegister scopeRegister() const { return m_codeBlock->scopeRegister(); }
bool wasCompiledWithDebuggingOpcodes() const { return m_codeBlock->wasCompiledWithDebuggingOpcodes(); }
bool hasCheckpoints() const { return m_codeBlock->hasCheckpoints(); }
bool hasTailCalls() const { return m_codeBlock->hasTailCalls(); }
// Updating UnlinkedCodeBlock.
void setHasCheckpoints() { m_codeBlock->setHasCheckpoints(); }
void setHasTailCalls() { m_codeBlock->setHasTailCalls(); }
void setNumCalleeLocals(unsigned numCalleeLocals) { m_codeBlock->m_numCalleeLocals = numCalleeLocals; }
void setNumVars(unsigned numVars) { m_codeBlock->m_numVars = numVars; }
void setThisRegister(VirtualRegister thisRegister) { m_codeBlock->setThisRegister(thisRegister); }
void setScopeRegister(VirtualRegister thisRegister) { m_codeBlock->setScopeRegister(thisRegister); }
void setNumParameters(unsigned newValue) { m_codeBlock->setNumParameters(newValue); }
UnlinkedMetadataTable& metadata() { return m_codeBlock->metadata(); }
void addExpressionInfo(unsigned instructionOffset, int divot, int startOffset, int endOffset, unsigned line, unsigned column);
void addTypeProfilerExpressionInfo(unsigned instructionOffset, unsigned startDivot, unsigned endDivot);
void addOpProfileControlFlowBytecodeOffset(InstructionStream::Offset offset)
{
m_opProfileControlFlowBytecodeOffsets.append(offset);
}
size_t numberOfJumpTargets() const { return m_jumpTargets.size(); }
void addJumpTarget(unsigned jumpTarget) { m_jumpTargets.append(jumpTarget); }
unsigned jumpTarget(int index) const { return m_jumpTargets[index]; }
unsigned lastJumpTarget() const { return m_jumpTargets.last(); }
size_t numberOfUnlinkedSwitchJumpTables() const { return m_unlinkedSwitchJumpTables.size(); }
UnlinkedSimpleJumpTable& addUnlinkedSwitchJumpTable() { m_unlinkedSwitchJumpTables.append(UnlinkedSimpleJumpTable()); return m_unlinkedSwitchJumpTables.last(); }
UnlinkedSimpleJumpTable& unlinkedSwitchJumpTable(int tableIndex) { return m_unlinkedSwitchJumpTables[tableIndex]; }
size_t numberOfUnlinkedStringSwitchJumpTables() const { return m_unlinkedStringSwitchJumpTables.size(); }
UnlinkedStringJumpTable& addUnlinkedStringSwitchJumpTable() { m_unlinkedStringSwitchJumpTables.append(UnlinkedStringJumpTable()); return m_unlinkedStringSwitchJumpTables.last(); }
UnlinkedStringJumpTable& unlinkedStringSwitchJumpTable(int tableIndex) { return m_unlinkedStringSwitchJumpTables[tableIndex]; }
size_t numberOfExceptionHandlers() const { return m_exceptionHandlers.size(); }
UnlinkedHandlerInfo& exceptionHandler(int index) { return m_exceptionHandlers[index]; }
void addExceptionHandler(const UnlinkedHandlerInfo& handler) { m_exceptionHandlers.append(handler); }
UnlinkedHandlerInfo* handlerForBytecodeIndex(BytecodeIndex, RequiredHandler = RequiredHandler::AnyHandler);
UnlinkedHandlerInfo* handlerForIndex(unsigned, RequiredHandler = RequiredHandler::AnyHandler);
BitVector& bitVector(size_t i) { return m_bitVectors[i]; }
unsigned addBitVector(BitVector&& bitVector)
{
m_bitVectors.append(WTFMove(bitVector));
return m_bitVectors.size() - 1;
}
unsigned numberOfConstantIdentifierSets() const { return m_constantIdentifierSets.size(); }
const Vector<IdentifierSet>& constantIdentifierSets() { return m_constantIdentifierSets; }
unsigned addSetConstant(IdentifierSet&& set)
{
ASSERT(m_vm.heap.isDeferred());
unsigned result = m_constantIdentifierSets.size();
m_constantIdentifierSets.append(WTFMove(set));
return result;
}
const WriteBarrier<Unknown>& constantRegister(VirtualRegister reg) const { return m_constantRegisters[reg.toConstantIndex()]; }
const Vector<WriteBarrier<Unknown>>& constantRegisters() { return m_constantRegisters; }
ALWAYS_INLINE JSValue getConstant(VirtualRegister reg) const { return m_constantRegisters[reg.toConstantIndex()].get(); }
SourceCodeRepresentation constantSourceCodeRepresentation(VirtualRegister reg) const
{
return constantSourceCodeRepresentation(reg.toConstantIndex());
}
SourceCodeRepresentation constantSourceCodeRepresentation(unsigned index) const
{
if (index < m_constantsSourceCodeRepresentation.size())
return m_constantsSourceCodeRepresentation[index];
return SourceCodeRepresentation::Other;
}
unsigned addConstant(JSValue v, SourceCodeRepresentation sourceCodeRepresentation = SourceCodeRepresentation::Other)
{
ASSERT(m_vm.heap.isDeferred());
unsigned result = m_constantRegisters.size();
m_constantRegisters.append(WriteBarrier<Unknown>());
m_constantRegisters.last().setWithoutWriteBarrier(v);
m_constantsSourceCodeRepresentation.append(sourceCodeRepresentation);
return result;
}
unsigned addConstant(LinkTimeConstant linkTimeConstant)
{
ASSERT(m_vm.heap.isDeferred());
unsigned result = m_constantRegisters.size();
m_constantRegisters.append(WriteBarrier<Unknown>());
m_constantRegisters.last().setWithoutWriteBarrier(jsNumber(static_cast<int32_t>(linkTimeConstant)));
m_constantsSourceCodeRepresentation.append(SourceCodeRepresentation::LinkTimeConstant);
return result;
}
unsigned addFunctionDecl(UnlinkedFunctionExecutable* n)
{
ASSERT(m_vm.heap.isDeferred());
unsigned size = m_functionDecls.size();
m_functionDecls.append(WriteBarrier<UnlinkedFunctionExecutable>());
m_functionDecls.last().setWithoutWriteBarrier(n);
return size;
}
unsigned addFunctionExpr(UnlinkedFunctionExecutable* n)
{
unsigned size = m_functionExprs.size();
m_functionExprs.append(WriteBarrier<UnlinkedFunctionExecutable>());
m_functionExprs.last().setWithoutWriteBarrier(n);
return size;
}
size_t numberOfIdentifiers() const { return m_identifiers.size(); }
const Identifier& identifier(int index) const { return m_identifiers[index]; }
void addIdentifier(const Identifier& i) { return m_identifiers.append(i); }
using OutOfLineJumpTargets = HashMap<InstructionStream::Offset, int>;
void addOutOfLineJumpTarget(InstructionStream::Offset, int target);
int outOfLineJumpOffset(InstructionStream::Offset);
int outOfLineJumpOffset(const InstructionStream::Ref& instruction)
{
return outOfLineJumpOffset(instruction.offset());
}
OutOfLineJumpTargets replaceOutOfLineJumpTargets()
{
OutOfLineJumpTargets newJumpTargets;
std::swap(m_outOfLineJumpTargets, newJumpTargets);
return newJumpTargets;
}
size_t metadataSizeInBytes() { return m_codeBlock->metadataSizeInBytes(); }
void getLineAndColumn(const ExpressionRangeInfo&, unsigned& line, unsigned& column) const;
void applyModification(BytecodeRewriter&, InstructionStreamWriter&);
void finalize(std::unique_ptr<InstructionStream>);
void dump(PrintStream&) const;
unsigned addBinaryArithProfile() { return m_numBinaryArithProfiles++; }
unsigned addUnaryArithProfile() { return m_numUnaryArithProfiles++; }
private:
VM& m_vm;
Strong<UnlinkedCodeBlock> m_codeBlock;
// In non-RareData.
Vector<InstructionStream::Offset> m_jumpTargets;
Vector<Identifier> m_identifiers;
Vector<WriteBarrier<Unknown>> m_constantRegisters;
Vector<SourceCodeRepresentation> m_constantsSourceCodeRepresentation;
Vector<WriteBarrier<UnlinkedFunctionExecutable>> m_functionDecls;
Vector<WriteBarrier<UnlinkedFunctionExecutable>> m_functionExprs;
Vector<ExpressionRangeInfo> m_expressionInfo;
OutOfLineJumpTargets m_outOfLineJumpTargets;
// In RareData.
Vector<UnlinkedHandlerInfo> m_exceptionHandlers;
Vector<UnlinkedSimpleJumpTable> m_unlinkedSwitchJumpTables;
Vector<UnlinkedStringJumpTable> m_unlinkedStringSwitchJumpTables;
Vector<ExpressionRangeInfo::FatPosition> m_expressionInfoFatPositions;
HashMap<unsigned, UnlinkedCodeBlock::RareData::TypeProfilerExpressionRange> m_typeProfilerInfoMap;
Vector<InstructionStream::Offset> m_opProfileControlFlowBytecodeOffsets;
Vector<BitVector> m_bitVectors;
Vector<IdentifierSet> m_constantIdentifierSets;
unsigned m_numBinaryArithProfiles { 0 };
unsigned m_numUnaryArithProfiles { 0 };
};
} // namespace JSC