blob: a90dc4364c90dd95d19a7db3423212d60145e072 [file] [log] [blame]
/*
* Copyright (C) 2008, 2009, 2013, 2014 Apple Inc. All rights reserved.
* Copyright (C) 2008 Cameron Zwarich <cwzwarich@uwaterloo.ca>
*
* 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.
* 3. Neither the name of Apple Inc. ("Apple") nor the names of
* its contributors may be used to endorse or promote products derived
* from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY APPLE 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 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.
*/
#pragma once
#include "Bytecodes.h"
#include "LLIntOpcode.h"
#include <algorithm>
#include <string.h>
#include <wtf/Assertions.h>
#include <wtf/MathExtras.h>
namespace JSC {
#define FOR_EACH_CORE_OPCODE_ID_WITH_EXTENSION(macro, extension__) \
FOR_EACH_BYTECODE_ID(macro) \
extension__
#define FOR_EACH_CORE_OPCODE_ID(macro) \
FOR_EACH_CORE_OPCODE_ID_WITH_EXTENSION(macro, /* No extension */ )
#define FOR_EACH_OPCODE_ID(macro) \
FOR_EACH_CORE_OPCODE_ID_WITH_EXTENSION( \
macro, \
FOR_EACH_LLINT_OPCODE_EXTENSION(macro) \
)
#if ENABLE(C_LOOP)
const int numOpcodeIDs = NUMBER_OF_BYTECODE_IDS + NUMBER_OF_CLOOP_BYTECODE_HELPER_IDS + NUMBER_OF_BYTECODE_HELPER_IDS;
#else
const int numOpcodeIDs = NUMBER_OF_BYTECODE_IDS + NUMBER_OF_BYTECODE_HELPER_IDS;
#endif
constexpr int numWasmOpcodeIDs = NUMBER_OF_WASM_IDS + NUMBER_OF_BYTECODE_HELPER_IDS;
#define OPCODE_ID_ENUM(opcode, length) opcode,
enum OpcodeID : unsigned { FOR_EACH_OPCODE_ID(OPCODE_ID_ENUM) };
enum WasmOpcodeID : unsigned { FOR_EACH_WASM_ID(OPCODE_ID_ENUM) };
#undef OPCODE_ID_ENUM
#if ENABLE(C_LOOP) && !HAVE(COMPUTED_GOTO)
#define OPCODE_ID_ENUM(opcode, length) opcode##_wide16 = numOpcodeIDs + opcode,
enum OpcodeIDWide16 : unsigned { FOR_EACH_OPCODE_ID(OPCODE_ID_ENUM) };
enum WasmOpcodeIDWide16 : unsigned { FOR_EACH_WASM_ID(OPCODE_ID_ENUM) };
#undef OPCODE_ID_ENUM
#define OPCODE_ID_ENUM(opcode, length) opcode##_wide32 = numOpcodeIDs * 2 + opcode,
enum OpcodeIDWide32 : unsigned { FOR_EACH_OPCODE_ID(OPCODE_ID_ENUM) };
enum WasmOpcodeIDWide32 : unsigned { FOR_EACH_WASM_ID(OPCODE_ID_ENUM) };
#undef OPCODE_ID_ENUM
#endif
extern const unsigned opcodeLengths[];
extern const unsigned wasmOpcodeLengths[];
#define OPCODE_ID_LENGTHS(id, length) const int id##_length = length;
FOR_EACH_OPCODE_ID(OPCODE_ID_LENGTHS);
FOR_EACH_WASM_ID(OPCODE_ID_LENGTHS);
#undef OPCODE_ID_LENGTHS
static constexpr unsigned maxJSOpcodeLength = /* Opcode */ 1 + /* Wide32 Opcode */ 1 + /* Operands */ (MAX_LENGTH_OF_BYTECODE_IDS - 1) * 4;
static constexpr unsigned maxWasmOpcodeLength = /* Opcode */ 1 + /* Wide32 Opcode */ 1 + /* Operands */ (MAX_LENGTH_OF_WASM_IDS - 1) * 4;
static constexpr unsigned maxOpcodeLength = std::max(maxJSOpcodeLength, maxWasmOpcodeLength);
static constexpr unsigned bitWidthForMaxOpcodeLength = WTF::getMSBSetConstexpr(maxOpcodeLength) + 1;
#define FOR_EACH_OPCODE_WITH_VALUE_PROFILE(macro) \
macro(OpCallVarargs) \
macro(OpTailCallVarargs) \
macro(OpTailCallForwardArguments) \
macro(OpConstructVarargs) \
macro(OpGetByVal) \
macro(OpGetDirectPname) \
macro(OpGetById) \
macro(OpGetByIdWithThis) \
macro(OpTryGetById) \
macro(OpGetByIdDirect) \
macro(OpGetByValWithThis) \
macro(OpGetPrototypeOf) \
macro(OpGetFromArguments) \
macro(OpToNumber) \
macro(OpToNumeric) \
macro(OpToObject) \
macro(OpGetArgument) \
macro(OpGetInternalField) \
macro(OpToThis) \
macro(OpCall) \
macro(OpTailCall) \
macro(OpCallEval) \
macro(OpConstruct) \
macro(OpGetFromScope) \
macro(OpBitand) \
macro(OpBitor) \
macro(OpBitnot) \
macro(OpBitxor) \
macro(OpLshift) \
macro(OpRshift) \
#define FOR_EACH_OPCODE_WITH_ARRAY_PROFILE(macro) \
macro(OpHasIndexedProperty) \
macro(OpCallVarargs) \
macro(OpTailCallVarargs) \
macro(OpTailCallForwardArguments) \
macro(OpConstructVarargs) \
macro(OpGetByVal) \
macro(OpInByVal) \
macro(OpPutByVal) \
macro(OpPutByValDirect) \
#define FOR_EACH_OPCODE_WITH_ARRAY_ALLOCATION_PROFILE(macro) \
macro(OpNewArray) \
macro(OpNewArrayWithSize) \
macro(OpNewArrayBuffer) \
#define FOR_EACH_OPCODE_WITH_OBJECT_ALLOCATION_PROFILE(macro) \
macro(OpNewObject) \
#define FOR_EACH_OPCODE_WITH_LLINT_CALL_LINK_INFO(macro) \
macro(OpCall) \
macro(OpTailCall) \
macro(OpCallEval) \
macro(OpConstruct) \
macro(OpIteratorOpen) \
macro(OpIteratorNext) \
IGNORE_WARNINGS_BEGIN("type-limits")
#define VERIFY_OPCODE_ID(id, size) COMPILE_ASSERT(id <= numOpcodeIDs, ASSERT_THAT_JS_OPCODE_IDS_ARE_VALID);
FOR_EACH_OPCODE_ID(VERIFY_OPCODE_ID);
#undef VERIFY_OPCODE_ID
IGNORE_WARNINGS_END
#if ENABLE(COMPUTED_GOTO_OPCODES)
typedef void* Opcode;
#else
typedef OpcodeID Opcode;
#endif
extern const char* const opcodeNames[];
extern const char* const wasmOpcodeNames[];
#if ENABLE(OPCODE_STATS)
struct OpcodeStats {
OpcodeStats();
~OpcodeStats();
static long long opcodeCounts[numOpcodeIDs];
static long long opcodePairCounts[numOpcodeIDs][numOpcodeIDs];
static int lastOpcode;
static void recordInstruction(int opcode);
static void resetLastInstruction();
};
#endif
inline bool isBranch(OpcodeID opcodeID)
{
switch (opcodeID) {
case op_jmp:
case op_jtrue:
case op_jfalse:
case op_jeq_null:
case op_jneq_null:
case op_jundefined_or_null:
case op_jnundefined_or_null:
case op_jneq_ptr:
case op_jless:
case op_jlesseq:
case op_jgreater:
case op_jgreatereq:
case op_jnless:
case op_jnlesseq:
case op_jngreater:
case op_jngreatereq:
case op_jeq:
case op_jneq:
case op_jstricteq:
case op_jnstricteq:
case op_jbelow:
case op_jbeloweq:
case op_switch_imm:
case op_switch_char:
case op_switch_string:
return true;
default:
return false;
}
}
inline bool isUnconditionalBranch(OpcodeID opcodeID)
{
switch (opcodeID) {
case op_jmp:
return true;
default:
return false;
}
}
inline bool isTerminal(OpcodeID opcodeID)
{
switch (opcodeID) {
case op_ret:
case op_end:
case op_unreachable:
return true;
default:
return false;
}
}
inline bool isThrow(OpcodeID opcodeID)
{
switch (opcodeID) {
case op_throw:
case op_throw_static_error:
return true;
default:
return false;
}
}
unsigned metadataSize(OpcodeID);
unsigned metadataAlignment(OpcodeID);
} // namespace JSC
namespace WTF {
class PrintStream;
void printInternal(PrintStream&, JSC::OpcodeID);
} // namespace WTF