blob: 858ab90502e84d707915325f693ee3d5d585c8e7 [file] [log] [blame]
/*
* Copyright (C) 2017 Yusuke Suzuki <utatane.tea@gmail.com>
* Copyright (C) 2017-2019 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. AND ITS CONTRIBUTORS ``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 ITS 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.
*/
#include "config.h"
#include "BytecodeDumper.h"
#include "ArithProfile.h"
#include "BytecodeGenerator.h"
#include "BytecodeStructs.h"
#include "CallLinkStatus.h"
#include "CodeBlock.h"
#include "Error.h"
#include "HeapInlines.h"
#include "InterpreterInlines.h"
#include "PolymorphicAccess.h"
#include "PutByIdFlags.h"
#include "StructureInlines.h"
#include "ToThisStatus.h"
#include "UnlinkedCodeBlock.h"
#include "UnlinkedMetadataTableInlines.h"
#include "WasmFunctionCodeBlock.h"
namespace JSC {
static ALWAYS_INLINE bool isConstantRegisterIndex(int index)
{
return index >= FirstConstantRegisterIndex;
}
template<class Block>
CString BytecodeDumper<Block>::registerName(int r) const
{
if (isConstantRegisterIndex(r))
return constantName(r);
return toCString(VirtualRegister(r));
}
template<class Block>
CString BytecodeDumper<Block>::constantName(int index) const
{
auto value = block()->getConstant(index);
return toCString(value, "(", VirtualRegister(index), ")");
}
template<class Block>
void BytecodeDumper<Block>::printLocationAndOp(InstructionStream::Offset location, const char* op)
{
m_currentLocation = location;
m_out.printf("[%4u] %-18s ", location, op);
}
template<class Block>
void BytecodeDumper<Block>::dumpValue(VirtualRegister reg)
{
m_out.printf("%s", registerName(reg.offset()).data());
}
template<class Block>
void BytecodeDumper<Block>::dumpBytecode(const InstructionStream::Ref& it, const ICStatusMap&)
{
::JSC::dumpBytecode(this, it.offset(), it.ptr());
this->m_out.print("\n");
}
template<class Block>
void BytecodeDumper<Block>::dumpBytecode(Block* block, PrintStream& out, const InstructionStream::Ref& it, const ICStatusMap& statusMap)
{
BytecodeDumper dumper(block, out);
dumper.dumpBytecode(it, statusMap);
}
template<class Block>
VM& CodeBlockBytecodeDumper<Block>::vm() const
{
return this->block()->vm();
}
template<class Block>
const Identifier& CodeBlockBytecodeDumper<Block>::identifier(int index) const
{
return this->block()->identifier(index);
}
template<class Block>
void CodeBlockBytecodeDumper<Block>::dumpIdentifiers()
{
if (size_t count = this->block()->numberOfIdentifiers()) {
this->m_out.printf("\nIdentifiers:\n");
size_t i = 0;
do {
this->m_out.print(" id", static_cast<unsigned>(i), " = ", identifier(i), "\n");
++i;
} while (i != count);
}
}
template<class Block>
void CodeBlockBytecodeDumper<Block>::dumpConstants()
{
if (!this->block()->constantRegisters().isEmpty()) {
this->m_out.printf("\nConstants:\n");
size_t i = 0;
for (const auto& constant : this->block()->constantRegisters()) {
const char* sourceCodeRepresentationDescription = nullptr;
switch (this->block()->constantsSourceCodeRepresentation()[i]) {
case SourceCodeRepresentation::Double:
sourceCodeRepresentationDescription = ": in source as double";
break;
case SourceCodeRepresentation::Integer:
sourceCodeRepresentationDescription = ": in source as integer";
break;
case SourceCodeRepresentation::Other:
sourceCodeRepresentationDescription = "";
break;
case SourceCodeRepresentation::LinkTimeConstant:
sourceCodeRepresentationDescription = ": in source as linke-time-constant";
break;
}
this->m_out.printf(" k%u = %s%s\n", static_cast<unsigned>(i), toCString(constant.get()).data(), sourceCodeRepresentationDescription);
++i;
}
}
}
template<class Block>
void CodeBlockBytecodeDumper<Block>::dumpExceptionHandlers()
{
if (unsigned count = this->block()->numberOfExceptionHandlers()) {
this->m_out.printf("\nException Handlers:\n");
unsigned i = 0;
do {
const auto& handler = this->block()->exceptionHandler(i);
this->m_out.printf("\t %d: { start: [%4d] end: [%4d] target: [%4d] } %s\n", i + 1, handler.start, handler.end, handler.target, handler.typeName());
++i;
} while (i < count);
}
}
template<class Block>
void CodeBlockBytecodeDumper<Block>::dumpSwitchJumpTables()
{
if (unsigned count = this->block()->numberOfSwitchJumpTables()) {
this->m_out.printf("Switch Jump Tables:\n");
unsigned i = 0;
do {
this->m_out.printf(" %1d = {\n", i);
const auto& switchJumpTable = this->block()->switchJumpTable(i);
int entry = 0;
auto end = switchJumpTable.branchOffsets.end();
for (auto iter = switchJumpTable.branchOffsets.begin(); iter != end; ++iter, ++entry) {
if (!*iter)
continue;
this->m_out.printf("\t\t%4d => %04d\n", entry + switchJumpTable.min, *iter);
}
this->m_out.printf(" }\n");
++i;
} while (i < count);
}
}
template<class Block>
void CodeBlockBytecodeDumper<Block>::dumpStringSwitchJumpTables()
{
if (unsigned count = this->block()->numberOfStringSwitchJumpTables()) {
this->m_out.printf("\nString Switch Jump Tables:\n");
unsigned i = 0;
do {
this->m_out.printf(" %1d = {\n", i);
const auto& stringSwitchJumpTable = this->block()->stringSwitchJumpTable(i);
auto end = stringSwitchJumpTable.offsetTable.end();
for (auto iter = stringSwitchJumpTable.offsetTable.begin(); iter != end; ++iter)
this->m_out.printf("\t\t\"%s\" => %04d\n", iter->key->utf8().data(), iter->value.branchOffset);
this->m_out.printf(" }\n");
++i;
} while (i < count);
}
}
template<class Block>
void CodeBlockBytecodeDumper<Block>::dumpBlock(Block* block, const InstructionStream& instructions, PrintStream& out, const ICStatusMap& statusMap)
{
size_t instructionCount = 0;
size_t wide16InstructionCount = 0;
size_t wide32InstructionCount = 0;
size_t instructionWithMetadataCount = 0;
for (const auto& instruction : instructions) {
if (instruction->isWide16())
++wide16InstructionCount;
else if (instruction->isWide32())
++wide32InstructionCount;
if (instruction->hasMetadata())
++instructionWithMetadataCount;
++instructionCount;
}
out.print(*block);
out.printf(
": %lu instructions (%lu 16-bit instructions, %lu 32-bit instructions, %lu instructions with metadata); %lu bytes (%lu metadata bytes); %d parameter(s); %d callee register(s); %d variable(s)",
static_cast<unsigned long>(instructionCount),
static_cast<unsigned long>(wide16InstructionCount),
static_cast<unsigned long>(wide32InstructionCount),
static_cast<unsigned long>(instructionWithMetadataCount),
static_cast<unsigned long>(instructions.sizeInBytes() + block->metadataSizeInBytes()),
static_cast<unsigned long>(block->metadataSizeInBytes()),
block->numParameters(), block->numCalleeLocals(), block->numVars());
out.print("; scope at ", block->scopeRegister());
out.printf("\n");
CodeBlockBytecodeDumper<Block> dumper(block, out);
for (const auto& it : instructions)
dumper.dumpBytecode(it, statusMap);
dumper.dumpIdentifiers();
dumper.dumpConstants();
dumper.dumpExceptionHandlers();
dumper.dumpSwitchJumpTables();
dumper.dumpStringSwitchJumpTables();
out.printf("\n");
}
template class BytecodeDumper<CodeBlock>;
#if ENABLE(WEBASSEMBLY)
template class BytecodeDumper<Wasm::FunctionCodeBlock>;
#endif
template class CodeBlockBytecodeDumper<UnlinkedCodeBlock>;
template class CodeBlockBytecodeDumper<CodeBlock>;
}