| /* |
| * 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 |