mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
01ecc7bb7b
There are quite a few configuration macros in the project. As discussed in the #2520 issue there are a few awkward constructs. Main changes: * The following macros are now 0/1 switches: ** Renamed CONFIG_ECMA_LCACHE_DISABLE to JERRY_LCACHE. ** Renamed CONFIG_ECMA_PROPERTY_HASHMAP_DISABLE to JERRY_PROPERTY_HASHMAP. ** Renamed CONFIG_DISABLE_UNICODE_CASE_CONVERSION to JERRY_UNICODE_CASE_CONVERSION. ** Renamed ENABLE_REGEXP_STRICT_MODE to JERRY_REGEXP_STRICT_MODE. ** Renamed JERRY_DISABLE_JS_PARSER to JERRY_PARSER. ** Renamed JERRY_ENABLE_ERROR_MESSAGES to JERRY_ERROR_MESSAGES. ** Renamed JERRY_ENABLE_EXTERNAL_CONTEXT to JERRY_EXTERNAL_CONTEXT. ** Renamed JERRY_ENABLE_LINE_INFO to JERRY_LINE_INFO. ** Renamed JERRY_ENABLE_LOGGING to JERRY_LOGGING. ** Renamed JERRY_ENABLE_SNAPSHOT_EXEC to JERRY_SNAPSHOT_EXEC. ** Renamed JERRY_ENABLE_SNAPSHOT_SAVE to JERRY_SNAPSHOT_SAVE. ** Renamed JERRY_SYSTEM_ALLOCATOR to JERRY_SYSTEM_ALLOCATOR. ** Renamed JERRY_VM_EXEC_STOP to JERRY_VM_EXEC_STOP. ** Renamed JMEM_GC_BEFORE_EACH_ALLOC to JERRY_MEM_GC_BEFORE_EACH_ALLOC. ** Renamed JMEM_STATS to JERRY_MEM_STATS. ** Renamed PARSER_DUMP_BYTE_CODE to JERRY_PARSER_DUMP_BYTE_CODE. ** Renamed REGEXP_DUMP_BYTE_CODE to JERRY_REGEXP_DUMP_BYTE_CODE. * Recursion check changes: ** Renamed REGEXP_RECURSION_LIMIT to JERRY_REGEXP_RECURSION_LIMIT. ** Renamed VM_RECURSION_LIMIT to JERRY_VM_RECURSION_LIMIT. * Attribute macro changes: ** Renamed JERRY_CONST_DATA to JERRY_ATTR_CONST_DATA. ** Renamed JERRY_HEAP_SECTION_ATTR to JERRY_ATTR_GLOBAL_HEAP. Now the macro can specify any attribute for the global heap object. * Other macro changes: ** Renamed CONFIG_MEM_HEAP_AREA_SIZE to JERRY_GLOBAL_HEAP_SIZE. Then new macro now specify the global heap size in kilobytes. * Updated documentations to reflect the new macro names. For more deatils please see jerry-core/config.h. JerryScript-DCO-1.0-Signed-off-by: Peter Gal pgal.u-szeged@partner.samsung.com
712 lines
32 KiB
C
712 lines
32 KiB
C
/* Copyright JS Foundation and other contributors, http://js.foundation
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
#ifndef BYTE_CODE_H
|
|
#define BYTE_CODE_H
|
|
|
|
#include "ecma-globals.h"
|
|
|
|
/** \addtogroup parser Parser
|
|
* @{
|
|
*
|
|
* \addtogroup jsparser JavaScript
|
|
* @{
|
|
*
|
|
* \addtogroup jsparser_bytecode Bytecode
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* Compact byte code (CBC) is a byte code representation
|
|
* of EcmaScript which is designed for low memory
|
|
* environments. Most opcodes are only one or sometimes
|
|
* two byte long so the CBC provides a small binary size.
|
|
*
|
|
* The execution engine of CBC is a stack machine, where
|
|
* the maximum stack size is known in advance for each
|
|
* function.
|
|
*/
|
|
|
|
/**
|
|
* Byte code flags. Only the lower 5 bit can be used
|
|
* since the stack change is encoded in the upper
|
|
* three bits for each instruction between -4 and 3
|
|
* (except for call / construct opcodes).
|
|
*/
|
|
#define CBC_STACK_ADJUST_BASE 4
|
|
#define CBC_STACK_ADJUST_SHIFT 5
|
|
#define CBC_STACK_ADJUST_VALUE(value) \
|
|
(((value) >> CBC_STACK_ADJUST_SHIFT) - CBC_STACK_ADJUST_BASE)
|
|
|
|
#define CBC_NO_FLAG 0x00u
|
|
#define CBC_HAS_LITERAL_ARG 0x01u
|
|
#define CBC_HAS_LITERAL_ARG2 0x02u
|
|
#define CBC_HAS_BYTE_ARG 0x04u
|
|
#define CBC_HAS_BRANCH_ARG 0x08u
|
|
|
|
/* These flags are shared */
|
|
#define CBC_FORWARD_BRANCH_ARG 0x10u
|
|
#define CBC_POP_STACK_BYTE_ARG 0x10u
|
|
|
|
#define CBC_ARG_TYPES (CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2 | CBC_HAS_BYTE_ARG | CBC_HAS_BRANCH_ARG)
|
|
|
|
#define CBC_HAS_POP_STACK_BYTE_ARG (CBC_HAS_BYTE_ARG | CBC_POP_STACK_BYTE_ARG)
|
|
|
|
#if ENABLED (JERRY_ES2015_CLASS)
|
|
/**
|
|
* Checks whether the current opcode is a super constructor call
|
|
*/
|
|
#define CBC_SUPER_CALL_OPERATION(opcode) \
|
|
((opcode) >= PARSER_TO_EXT_OPCODE (CBC_EXT_SUPER_CALL) \
|
|
&& (opcode) <= PARSER_TO_EXT_OPCODE (CBC_EXT_SUPER_CALL_BLOCK))
|
|
#else /* !ENABLED (JERRY_ES2015_CLASS) */
|
|
/**
|
|
* Checks whether the current opcode is a super constructor call
|
|
*/
|
|
#define CBC_SUPER_CALL_OPERATION(opcode) false
|
|
#endif /* ENABLED (JERRY_ES2015_CLASS) */
|
|
|
|
/* Debug macro. */
|
|
#define CBC_ARGS_EQ(op, types) \
|
|
((cbc_flags[op] & CBC_ARG_TYPES) == (types))
|
|
|
|
/* Debug macro. */
|
|
#define CBC_SAME_ARGS(op1, op2) \
|
|
(CBC_SUPER_CALL_OPERATION (op1) ? ((cbc_ext_flags[PARSER_GET_EXT_OPCODE (op1)] & CBC_ARG_TYPES) \
|
|
== (cbc_ext_flags[PARSER_GET_EXT_OPCODE (op2)] & CBC_ARG_TYPES)) \
|
|
: ((cbc_flags[op1] & CBC_ARG_TYPES) == (cbc_flags[op2] & CBC_ARG_TYPES)))
|
|
|
|
#define CBC_UNARY_OPERATION(name, group) \
|
|
CBC_OPCODE (name, CBC_NO_FLAG, 0, \
|
|
(VM_OC_ ## group) | VM_OC_GET_STACK | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (name ## _LITERAL, CBC_HAS_LITERAL_ARG, 1, \
|
|
(VM_OC_ ## group) | VM_OC_GET_LITERAL | VM_OC_PUT_STACK)
|
|
|
|
#define CBC_BINARY_OPERATION(name, group) \
|
|
CBC_OPCODE (name, CBC_NO_FLAG, -1, \
|
|
(VM_OC_ ## group) | VM_OC_GET_STACK_STACK | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (name ## _RIGHT_LITERAL, CBC_HAS_LITERAL_ARG, 0, \
|
|
(VM_OC_ ## group) | VM_OC_GET_STACK_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (name ## _TWO_LITERALS, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 1, \
|
|
(VM_OC_ ## group) | VM_OC_GET_LITERAL_LITERAL | VM_OC_PUT_STACK)
|
|
|
|
#define CBC_UNARY_LVALUE_OPERATION(name, group) \
|
|
CBC_OPCODE (name, CBC_NO_FLAG, -2, \
|
|
(VM_OC_PROP_ ## group) | VM_OC_GET_STACK_STACK | VM_OC_PUT_REFERENCE) \
|
|
CBC_OPCODE (name ## _PUSH_RESULT, CBC_NO_FLAG, -1, \
|
|
(VM_OC_PROP_ ## group) | VM_OC_GET_STACK_STACK | VM_OC_PUT_REFERENCE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (name ## _BLOCK, CBC_NO_FLAG, -2, \
|
|
(VM_OC_PROP_ ## group) | VM_OC_GET_STACK_STACK | VM_OC_PUT_REFERENCE | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (name ## _IDENT, CBC_HAS_LITERAL_ARG, 0, \
|
|
(VM_OC_ ## group) | VM_OC_GET_LITERAL | VM_OC_PUT_IDENT) \
|
|
CBC_OPCODE (name ## _IDENT_PUSH_RESULT, CBC_HAS_LITERAL_ARG, 1, \
|
|
(VM_OC_ ## group) | VM_OC_GET_LITERAL | VM_OC_PUT_IDENT | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (name ## _IDENT_BLOCK, CBC_HAS_LITERAL_ARG, 0, \
|
|
(VM_OC_ ## group) | VM_OC_GET_LITERAL | VM_OC_PUT_IDENT | VM_OC_PUT_BLOCK)
|
|
|
|
#define CBC_UNARY_LVALUE_WITH_IDENT 3
|
|
|
|
#define CBC_BINARY_WITH_LITERAL 1
|
|
#define CBC_BINARY_WITH_TWO_LITERALS 2
|
|
|
|
/**
|
|
* Several opcodes (mostly call and assignment opcodes) have
|
|
* two forms: one which does not push a return value onto
|
|
* the stack, and another which does. The reason is that
|
|
* the return value of these opcodes are often not used
|
|
* and the first form provides smaller byte code.
|
|
*
|
|
* The following rules must be kept by the code generator:
|
|
* - only the opcode without return value can be emitted
|
|
* by the code generator
|
|
* - the first form can be converted to the second form
|
|
* by adding 1 to the opcode
|
|
* - after the conversion the opcode must be immediately
|
|
* flushed, so no further changes are possible
|
|
*
|
|
* Hence CBC_NO_RESULT_OPERATION (context_p->last_cbc_opcode)
|
|
* cannot be true for an opcode which has a result
|
|
*/
|
|
#define CBC_NO_RESULT_OPERATION(opcode) \
|
|
(((opcode) >= CBC_PRE_INCR && (opcode) < CBC_END) || CBC_SUPER_CALL_OPERATION ((opcode)))
|
|
|
|
/**
|
|
* Branch instructions are organized in group of 8 opcodes.
|
|
* - 1st opcode: unused, can be used for other purpose
|
|
* - 2nd opcode: forward branch with 1 byte offset
|
|
* - 3rd opcode: forward branch with 2 byte offset
|
|
* - 4th opcode: forward branch with 3 byte offset
|
|
* - 5th opcode: unused, can be used for other purpose
|
|
* - 6th opcode: backward branch with 1 byte offset
|
|
* - 7th opcode: backward branch with 2 byte offset
|
|
* - 8th opcode: backward branch with 3 byte offset
|
|
*
|
|
* Reasons:
|
|
* The branch_opcode & 0x3 tells the length in bytes of the offset
|
|
* If branch offset & 0x4 == 0, it is a forward branch. Otherwise
|
|
* it is backward.
|
|
*
|
|
* The offset bytes are encoded in higher to lower order.
|
|
*/
|
|
|
|
#define CBC_FORWARD_BRANCH(name, stack, vm_oc) \
|
|
CBC_OPCODE (name, CBC_HAS_BRANCH_ARG | CBC_FORWARD_BRANCH_ARG, stack, \
|
|
(vm_oc) | VM_OC_GET_BRANCH) \
|
|
CBC_OPCODE (name ## _2, CBC_HAS_BRANCH_ARG | CBC_FORWARD_BRANCH_ARG, stack, \
|
|
(vm_oc) | VM_OC_GET_BRANCH) \
|
|
CBC_OPCODE (name ## _3, CBC_HAS_BRANCH_ARG | CBC_FORWARD_BRANCH_ARG, stack, \
|
|
(vm_oc) | VM_OC_GET_BRANCH)
|
|
|
|
#define CBC_BACKWARD_BRANCH(name, stack, vm_oc) \
|
|
CBC_OPCODE (name, CBC_HAS_BRANCH_ARG, stack, \
|
|
(vm_oc) | VM_OC_GET_BRANCH | VM_OC_BACKWARD_BRANCH) \
|
|
CBC_OPCODE (name ## _2, CBC_HAS_BRANCH_ARG, stack, \
|
|
(vm_oc) | VM_OC_GET_BRANCH | VM_OC_BACKWARD_BRANCH) \
|
|
CBC_OPCODE (name ## _3, CBC_HAS_BRANCH_ARG, stack, \
|
|
(vm_oc) | VM_OC_GET_BRANCH | VM_OC_BACKWARD_BRANCH)
|
|
|
|
#define CBC_BRANCH_OFFSET_LENGTH(opcode) \
|
|
((opcode) & 0x3)
|
|
|
|
#define CBC_BRANCH_IS_BACKWARD(flags) \
|
|
(!((flags) & CBC_FORWARD_BRANCH_ARG))
|
|
|
|
#define CBC_BRANCH_IS_FORWARD(flags) \
|
|
((flags) & CBC_FORWARD_BRANCH_ARG)
|
|
|
|
/* Stack consumption of opcodes with context. */
|
|
|
|
/* PARSER_FOR_OF_CONTEXT_STACK_ALLOCATION must be <= 3 */
|
|
#define PARSER_FOR_OF_CONTEXT_STACK_ALLOCATION 3
|
|
/* PARSER_FOR_IN_CONTEXT_STACK_ALLOCATION must be <= 4 */
|
|
#define PARSER_FOR_IN_CONTEXT_STACK_ALLOCATION 4
|
|
/* PARSER_WITH_CONTEXT_STACK_ALLOCATION must be <= 4 */
|
|
#define PARSER_WITH_CONTEXT_STACK_ALLOCATION 1
|
|
/* PARSER_SUPER_CLASS_CONTEXT_STACK_ALLOCATION must be <= 4 */
|
|
#define PARSER_SUPER_CLASS_CONTEXT_STACK_ALLOCATION 1
|
|
/* PARSER_TRY_CONTEXT_STACK_ALLOCATION must be <= 3 */
|
|
#define PARSER_TRY_CONTEXT_STACK_ALLOCATION 2
|
|
|
|
/**
|
|
* Opcode definitions.
|
|
*/
|
|
#define CBC_OPCODE_LIST \
|
|
/* Branch opcodes first. Some other opcodes are mixed. */ \
|
|
CBC_OPCODE (CBC_EXT_OPCODE, CBC_NO_FLAG, 0, \
|
|
VM_OC_NONE) \
|
|
CBC_FORWARD_BRANCH (CBC_JUMP_FORWARD, 0, \
|
|
VM_OC_JUMP) \
|
|
CBC_OPCODE (CBC_POP, CBC_NO_FLAG, -1, \
|
|
VM_OC_POP) \
|
|
CBC_BACKWARD_BRANCH (CBC_JUMP_BACKWARD, 0, \
|
|
VM_OC_JUMP) \
|
|
CBC_OPCODE (CBC_POP_BLOCK, CBC_NO_FLAG, -1, \
|
|
VM_OC_POP_BLOCK | VM_OC_PUT_BLOCK) \
|
|
CBC_FORWARD_BRANCH (CBC_BRANCH_IF_TRUE_FORWARD, -1, \
|
|
VM_OC_BRANCH_IF_TRUE) \
|
|
CBC_OPCODE (CBC_THROW, CBC_NO_FLAG, -1, \
|
|
VM_OC_THROW | VM_OC_GET_STACK) \
|
|
CBC_BACKWARD_BRANCH (CBC_BRANCH_IF_TRUE_BACKWARD, -1, \
|
|
VM_OC_BRANCH_IF_TRUE) \
|
|
CBC_OPCODE (CBC_CONTEXT_END, CBC_NO_FLAG, 0, \
|
|
VM_OC_CONTEXT_END) \
|
|
CBC_FORWARD_BRANCH (CBC_BRANCH_IF_FALSE_FORWARD, -1, \
|
|
VM_OC_BRANCH_IF_FALSE) \
|
|
CBC_OPCODE (CBC_CREATE_OBJECT, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_OBJECT | VM_OC_PUT_STACK) \
|
|
CBC_BACKWARD_BRANCH (CBC_BRANCH_IF_FALSE_BACKWARD, -1, \
|
|
VM_OC_BRANCH_IF_FALSE) \
|
|
CBC_OPCODE (CBC_SET_PROPERTY, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_PROPERTY | VM_OC_NON_STATIC_FLAG | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_FORWARD_BRANCH (CBC_JUMP_FORWARD_EXIT_CONTEXT, 0, \
|
|
VM_OC_JUMP_AND_EXIT_CONTEXT) \
|
|
CBC_OPCODE (CBC_CREATE_ARRAY, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_ARRAY | VM_OC_PUT_STACK) \
|
|
CBC_FORWARD_BRANCH (CBC_BRANCH_IF_LOGICAL_TRUE, -1, \
|
|
VM_OC_BRANCH_IF_LOGICAL_TRUE) \
|
|
CBC_OPCODE (CBC_ARRAY_APPEND, CBC_HAS_POP_STACK_BYTE_ARG, 0, \
|
|
VM_OC_APPEND_ARRAY) \
|
|
CBC_FORWARD_BRANCH (CBC_BRANCH_IF_LOGICAL_FALSE, -1, \
|
|
VM_OC_BRANCH_IF_LOGICAL_FALSE) \
|
|
CBC_OPCODE (CBC_PUSH_ELISION, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_ELISON | VM_OC_PUT_STACK) \
|
|
CBC_FORWARD_BRANCH (CBC_BRANCH_IF_STRICT_EQUAL, -1, \
|
|
VM_OC_BRANCH_IF_STRICT_EQUAL) \
|
|
\
|
|
/* Basic opcodes. */ \
|
|
CBC_OPCODE (CBC_PUSH_LITERAL, CBC_HAS_LITERAL_ARG, 1, \
|
|
VM_OC_PUSH | VM_OC_GET_LITERAL) \
|
|
CBC_OPCODE (CBC_PUSH_TWO_LITERALS, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 2, \
|
|
VM_OC_PUSH_TWO | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_OPCODE (CBC_PUSH_THREE_LITERALS, CBC_HAS_LITERAL_ARG2, 3, \
|
|
VM_OC_PUSH_THREE | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_OPCODE (CBC_PUSH_UNDEFINED, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_UNDEFINED | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_TRUE, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_TRUE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_FALSE, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_FALSE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_NULL, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_NULL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_THIS, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_THIS | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_THIS_LITERAL, CBC_HAS_LITERAL_ARG, 2, \
|
|
VM_OC_PUSH_TWO | VM_OC_GET_THIS_LITERAL) \
|
|
CBC_OPCODE (CBC_PUSH_NUMBER_0, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_0 | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_NUMBER_POS_BYTE, CBC_HAS_BYTE_ARG, 1, \
|
|
VM_OC_PUSH_POS_BYTE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_NUMBER_NEG_BYTE, CBC_HAS_BYTE_ARG, 1, \
|
|
VM_OC_PUSH_NEG_BYTE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP, CBC_NO_FLAG, -1, \
|
|
VM_OC_PROP_GET | VM_OC_GET_STACK_STACK | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_LITERAL, CBC_HAS_LITERAL_ARG, 0, \
|
|
VM_OC_PROP_GET | VM_OC_GET_STACK_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_LITERAL_LITERAL, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 1, \
|
|
VM_OC_PROP_GET | VM_OC_GET_LITERAL_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_THIS_LITERAL, CBC_HAS_LITERAL_ARG, 1, \
|
|
VM_OC_PROP_GET | VM_OC_GET_THIS_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_IDENT_REFERENCE, CBC_HAS_LITERAL_ARG, 3, \
|
|
VM_OC_IDENT_REFERENCE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_REFERENCE, CBC_NO_FLAG, 1, \
|
|
VM_OC_PROP_REFERENCE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_LITERAL_REFERENCE, CBC_HAS_LITERAL_ARG, 2, \
|
|
VM_OC_PROP_REFERENCE | VM_OC_GET_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_LITERAL_LITERAL_REFERENCE, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 3, \
|
|
VM_OC_PROP_REFERENCE | VM_OC_GET_LITERAL_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_PUSH_PROP_THIS_LITERAL_REFERENCE, CBC_HAS_LITERAL_ARG, 3, \
|
|
VM_OC_PROP_REFERENCE | VM_OC_GET_THIS_LITERAL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_NEW, CBC_HAS_POP_STACK_BYTE_ARG, 0, \
|
|
VM_OC_NEW | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_NEW0, CBC_NO_FLAG, 0, \
|
|
VM_OC_NEW | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_NEW1, CBC_NO_FLAG, -1, \
|
|
VM_OC_NEW | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EVAL, CBC_NO_FLAG, 0, \
|
|
VM_OC_EVAL) \
|
|
CBC_OPCODE (CBC_DEFINE_VARS, CBC_HAS_LITERAL_ARG, 0, \
|
|
VM_OC_NONE) \
|
|
CBC_OPCODE (CBC_INITIALIZE_VAR, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_NONE) \
|
|
CBC_OPCODE (CBC_INITIALIZE_VARS, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_NONE) \
|
|
CBC_OPCODE (CBC_SET_BYTECODE_PTR, CBC_NO_FLAG, 0, \
|
|
VM_OC_NONE) \
|
|
CBC_OPCODE (CBC_RETURN, CBC_NO_FLAG, -1, \
|
|
VM_OC_RET | VM_OC_GET_STACK) \
|
|
CBC_OPCODE (CBC_RETURN_WITH_BLOCK, CBC_NO_FLAG, 0, \
|
|
VM_OC_RET) \
|
|
CBC_OPCODE (CBC_RETURN_WITH_LITERAL, CBC_HAS_LITERAL_ARG, 0, \
|
|
VM_OC_RET | VM_OC_GET_LITERAL) \
|
|
CBC_OPCODE (CBC_SET_LITERAL_PROPERTY, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_SET_PROPERTY | VM_OC_NON_STATIC_FLAG | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_OPCODE (CBC_BREAKPOINT_ENABLED, CBC_NO_FLAG, 0, \
|
|
VM_OC_BREAKPOINT_ENABLED) \
|
|
CBC_OPCODE (CBC_BREAKPOINT_DISABLED, CBC_NO_FLAG, 0, \
|
|
VM_OC_BREAKPOINT_DISABLED) \
|
|
\
|
|
/* Unary opcodes. */ \
|
|
CBC_UNARY_OPERATION (CBC_PLUS, \
|
|
PLUS) \
|
|
CBC_UNARY_OPERATION (CBC_NEGATE, \
|
|
MINUS) \
|
|
CBC_UNARY_OPERATION (CBC_LOGICAL_NOT, \
|
|
NOT) \
|
|
CBC_UNARY_OPERATION (CBC_BIT_NOT, \
|
|
BIT_NOT) \
|
|
CBC_UNARY_OPERATION (CBC_VOID, \
|
|
VOID) \
|
|
CBC_OPCODE (CBC_TYPEOF, CBC_NO_FLAG, 0, \
|
|
VM_OC_TYPEOF | VM_OC_GET_STACK | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_TYPEOF_IDENT, CBC_HAS_LITERAL_ARG, 1, \
|
|
VM_OC_TYPEOF_IDENT | VM_OC_PUT_STACK) \
|
|
\
|
|
/* Binary opcodes. */ \
|
|
CBC_BINARY_OPERATION (CBC_BIT_OR, \
|
|
BIT_OR) \
|
|
CBC_BINARY_OPERATION (CBC_BIT_XOR, \
|
|
BIT_XOR) \
|
|
CBC_BINARY_OPERATION (CBC_BIT_AND, \
|
|
BIT_AND) \
|
|
CBC_BINARY_OPERATION (CBC_EQUAL, \
|
|
EQUAL) \
|
|
CBC_BINARY_OPERATION (CBC_NOT_EQUAL, \
|
|
NOT_EQUAL) \
|
|
CBC_BINARY_OPERATION (CBC_STRICT_EQUAL, \
|
|
STRICT_EQUAL) \
|
|
CBC_BINARY_OPERATION (CBC_STRICT_NOT_EQUAL, \
|
|
STRICT_NOT_EQUAL) \
|
|
CBC_BINARY_OPERATION (CBC_LESS, \
|
|
LESS) \
|
|
CBC_BINARY_OPERATION (CBC_GREATER, \
|
|
GREATER) \
|
|
CBC_BINARY_OPERATION (CBC_LESS_EQUAL, \
|
|
LESS_EQUAL) \
|
|
CBC_BINARY_OPERATION (CBC_GREATER_EQUAL, \
|
|
GREATER_EQUAL) \
|
|
CBC_BINARY_OPERATION (CBC_IN, \
|
|
IN) \
|
|
CBC_BINARY_OPERATION (CBC_INSTANCEOF, \
|
|
INSTANCEOF) \
|
|
CBC_BINARY_OPERATION (CBC_LEFT_SHIFT, \
|
|
LEFT_SHIFT) \
|
|
CBC_BINARY_OPERATION (CBC_RIGHT_SHIFT, \
|
|
RIGHT_SHIFT) \
|
|
CBC_BINARY_OPERATION (CBC_UNS_RIGHT_SHIFT, \
|
|
UNS_RIGHT_SHIFT) \
|
|
CBC_BINARY_OPERATION (CBC_ADD, \
|
|
ADD) \
|
|
CBC_BINARY_OPERATION (CBC_SUBTRACT, \
|
|
SUB) \
|
|
CBC_BINARY_OPERATION (CBC_MULTIPLY, \
|
|
MUL) \
|
|
CBC_BINARY_OPERATION (CBC_DIVIDE, \
|
|
DIV) \
|
|
CBC_BINARY_OPERATION (CBC_MODULO, \
|
|
MOD) \
|
|
\
|
|
/* Unary lvalue opcodes. */ \
|
|
CBC_OPCODE (CBC_DELETE_PUSH_RESULT, CBC_NO_FLAG, -1, \
|
|
VM_OC_PROP_DELETE | VM_OC_GET_STACK_STACK | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_DELETE_IDENT_PUSH_RESULT, CBC_HAS_LITERAL_ARG, 1, \
|
|
VM_OC_DELETE | VM_OC_PUT_STACK) \
|
|
CBC_UNARY_LVALUE_OPERATION (CBC_PRE_INCR, \
|
|
PRE_INCR) \
|
|
CBC_UNARY_LVALUE_OPERATION (CBC_PRE_DECR, \
|
|
PRE_DECR) \
|
|
CBC_UNARY_LVALUE_OPERATION (CBC_POST_INCR, \
|
|
POST_INCR) \
|
|
CBC_UNARY_LVALUE_OPERATION (CBC_POST_DECR, \
|
|
POST_DECR) \
|
|
\
|
|
/* Call opcodes. */ \
|
|
CBC_OPCODE (CBC_CALL, CBC_HAS_POP_STACK_BYTE_ARG, -1, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL_PUSH_RESULT, CBC_HAS_POP_STACK_BYTE_ARG, 0, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL_BLOCK, CBC_HAS_POP_STACK_BYTE_ARG, -1, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL_PROP, CBC_HAS_POP_STACK_BYTE_ARG, -3, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL_PROP_PUSH_RESULT, CBC_HAS_POP_STACK_BYTE_ARG, -2, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL_PROP_BLOCK, CBC_HAS_POP_STACK_BYTE_ARG, -3, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL0, CBC_NO_FLAG, -1, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL0_PUSH_RESULT, CBC_NO_FLAG, 0, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL0_BLOCK, CBC_NO_FLAG, -1, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL0_PROP, CBC_NO_FLAG, -3, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL0_PROP_PUSH_RESULT, CBC_NO_FLAG, -2, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL0_PROP_BLOCK, CBC_NO_FLAG, -3, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL1, CBC_NO_FLAG, -2, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL1_PUSH_RESULT, CBC_NO_FLAG, -1, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL1_BLOCK, CBC_NO_FLAG, -2, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL1_PROP, CBC_NO_FLAG, -4, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL1_PROP_PUSH_RESULT, CBC_NO_FLAG, -3, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL1_PROP_BLOCK, CBC_NO_FLAG, -4, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL2, CBC_NO_FLAG, -3, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL2_PUSH_RESULT, CBC_NO_FLAG, -2, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL2_BLOCK, CBC_NO_FLAG, -3, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_CALL2_PROP, CBC_NO_FLAG, -4, \
|
|
VM_OC_CALL) \
|
|
CBC_OPCODE (CBC_CALL2_PROP_PUSH_RESULT, CBC_NO_FLAG, -3, \
|
|
VM_OC_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_CALL2_PROP_BLOCK, CBC_NO_FLAG, -4, \
|
|
VM_OC_CALL | VM_OC_PUT_BLOCK) \
|
|
\
|
|
/* Binary assignment opcodes. */ \
|
|
CBC_OPCODE (CBC_ASSIGN, CBC_NO_FLAG, -3, \
|
|
VM_OC_ASSIGN | VM_OC_GET_STACK | VM_OC_PUT_REFERENCE) \
|
|
CBC_OPCODE (CBC_ASSIGN_PUSH_RESULT, CBC_NO_FLAG, -2, \
|
|
VM_OC_ASSIGN | VM_OC_GET_STACK | VM_OC_PUT_REFERENCE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_ASSIGN_BLOCK, CBC_NO_FLAG, -3, \
|
|
VM_OC_ASSIGN | VM_OC_GET_STACK | VM_OC_PUT_REFERENCE | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_ASSIGN_SET_IDENT, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_ASSIGN | VM_OC_GET_STACK | VM_OC_PUT_IDENT) \
|
|
CBC_OPCODE (CBC_ASSIGN_SET_IDENT_PUSH_RESULT, CBC_HAS_LITERAL_ARG, 0, \
|
|
VM_OC_ASSIGN | VM_OC_GET_STACK | VM_OC_PUT_IDENT | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_ASSIGN_SET_IDENT_BLOCK, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_ASSIGN | VM_OC_GET_STACK | VM_OC_PUT_IDENT | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_ASSIGN_LITERAL_SET_IDENT, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_ASSIGN | VM_OC_GET_LITERAL | VM_OC_PUT_IDENT) \
|
|
CBC_OPCODE (CBC_ASSIGN_LITERAL_SET_IDENT_PUSH_RESULT, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 1, \
|
|
VM_OC_ASSIGN | VM_OC_GET_LITERAL | VM_OC_PUT_IDENT | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_ASSIGN_LITERAL_SET_IDENT_BLOCK, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_ASSIGN | VM_OC_GET_LITERAL | VM_OC_PUT_IDENT | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_ASSIGN_PROP_LITERAL, CBC_HAS_LITERAL_ARG, -2, \
|
|
VM_OC_ASSIGN_PROP | VM_OC_GET_LITERAL | VM_OC_PUT_REFERENCE) \
|
|
CBC_OPCODE (CBC_ASSIGN_PROP_LITERAL_PUSH_RESULT, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_ASSIGN_PROP | VM_OC_GET_LITERAL | VM_OC_PUT_REFERENCE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_ASSIGN_PROP_LITERAL_BLOCK, CBC_HAS_LITERAL_ARG, -2, \
|
|
VM_OC_ASSIGN_PROP | VM_OC_GET_LITERAL | VM_OC_PUT_REFERENCE | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_ASSIGN_PROP_THIS_LITERAL, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_ASSIGN_PROP_THIS | VM_OC_GET_LITERAL | VM_OC_PUT_REFERENCE) \
|
|
CBC_OPCODE (CBC_ASSIGN_PROP_THIS_LITERAL_PUSH_RESULT, CBC_HAS_LITERAL_ARG, 0, \
|
|
VM_OC_ASSIGN_PROP_THIS | VM_OC_GET_LITERAL | VM_OC_PUT_REFERENCE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_ASSIGN_PROP_THIS_LITERAL_BLOCK, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_ASSIGN_PROP_THIS | VM_OC_GET_LITERAL | VM_OC_PUT_REFERENCE | VM_OC_PUT_BLOCK) \
|
|
\
|
|
/* Last opcode (not a real opcode). */ \
|
|
CBC_OPCODE (CBC_END, CBC_NO_FLAG, 0, \
|
|
VM_OC_NONE)
|
|
|
|
/* All EXT branches are statement block end
|
|
* marks, so they are always forward branches. */
|
|
|
|
#define CBC_EXT_OPCODE_LIST \
|
|
/* Branch opcodes first. Some other opcodes are mixed. */ \
|
|
CBC_OPCODE (CBC_EXT_NOP, CBC_NO_FLAG, 0, \
|
|
VM_OC_NONE) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_WITH_CREATE_CONTEXT, \
|
|
-1 + PARSER_WITH_CONTEXT_STACK_ALLOCATION, VM_OC_WITH) \
|
|
CBC_OPCODE (CBC_EXT_FOR_IN_GET_NEXT, CBC_NO_FLAG, 1, \
|
|
VM_OC_FOR_IN_GET_NEXT | VM_OC_PUT_STACK) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_FOR_IN_CREATE_CONTEXT, \
|
|
-1 + PARSER_FOR_IN_CONTEXT_STACK_ALLOCATION, VM_OC_FOR_IN_CREATE_CONTEXT) \
|
|
CBC_OPCODE (CBC_EXT_SET_GETTER, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_SET_GETTER | VM_OC_NON_STATIC_FLAG | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_BACKWARD_BRANCH (CBC_EXT_BRANCH_IF_FOR_IN_HAS_NEXT, 0, \
|
|
VM_OC_FOR_IN_HAS_NEXT) \
|
|
CBC_OPCODE (CBC_EXT_FOR_OF_GET_NEXT, CBC_NO_FLAG, 1, \
|
|
VM_OC_FOR_OF_GET_NEXT | VM_OC_PUT_STACK) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_FOR_OF_CREATE_CONTEXT, \
|
|
-1 + PARSER_FOR_OF_CONTEXT_STACK_ALLOCATION, VM_OC_FOR_OF_CREATE_CONTEXT) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_NAMED_FUNC_EXPRESSION, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 1, \
|
|
VM_OC_PUSH_NAMED_FUNC_EXPR | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_BACKWARD_BRANCH (CBC_EXT_BRANCH_IF_FOR_OF_HAS_NEXT, 0, \
|
|
VM_OC_FOR_OF_HAS_NEXT) \
|
|
CBC_OPCODE (CBC_EXT_SET_SETTER, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_SET_SETTER | VM_OC_NON_STATIC_FLAG | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_TRY_CREATE_CONTEXT, PARSER_TRY_CONTEXT_STACK_ALLOCATION, \
|
|
VM_OC_TRY) \
|
|
CBC_OPCODE (CBC_EXT_THROW_REFERENCE_ERROR, CBC_NO_FLAG, 1, \
|
|
VM_OC_THROW_REFERENCE_ERROR) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_CATCH, 1, \
|
|
VM_OC_CATCH) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_UNDEFINED_BASE, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_UNDEFINED_BASE | VM_OC_PUT_STACK) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_FINALLY, 0, \
|
|
VM_OC_FINALLY) \
|
|
CBC_OPCODE (CBC_EXT_CLASS_EXPR_CONTEXT_END, CBC_NO_FLAG, 0, \
|
|
VM_OC_CLASS_EXPR_CONTEXT_END) \
|
|
CBC_FORWARD_BRANCH (CBC_EXT_SUPER_CLASS_CREATE_CONTEXT, \
|
|
-1 + PARSER_SUPER_CLASS_CONTEXT_STACK_ALLOCATION, VM_OC_CLASS_HERITAGE) \
|
|
\
|
|
/* Basic opcodes. */ \
|
|
CBC_OPCODE (CBC_EXT_PUSH_LITERAL_PUSH_NUMBER_0, CBC_HAS_LITERAL_ARG, 2, \
|
|
VM_OC_PUSH_LIT_0 | VM_OC_GET_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_LITERAL_PUSH_NUMBER_POS_BYTE, CBC_HAS_LITERAL_ARG | CBC_HAS_BYTE_ARG, 2, \
|
|
VM_OC_PUSH_LIT_POS_BYTE | VM_OC_GET_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_LITERAL_PUSH_NUMBER_NEG_BYTE, CBC_HAS_LITERAL_ARG | CBC_HAS_BYTE_ARG, 2, \
|
|
VM_OC_PUSH_LIT_NEG_BYTE | VM_OC_GET_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_RESOURCE_NAME, CBC_NO_FLAG, 0, \
|
|
VM_OC_RESOURCE_NAME) \
|
|
CBC_OPCODE (CBC_EXT_LINE, CBC_NO_FLAG, 0, \
|
|
VM_OC_LINE) \
|
|
CBC_OPCODE (CBC_EXT_SET_COMPUTED_PROPERTY, CBC_NO_FLAG, -2, \
|
|
VM_OC_SET_COMPUTED_PROPERTY | VM_OC_NON_STATIC_FLAG | VM_OC_GET_STACK_STACK) \
|
|
CBC_OPCODE (CBC_EXT_SET_COMPUTED_PROPERTY_LITERAL, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_COMPUTED_PROPERTY | VM_OC_NON_STATIC_FLAG | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_COMPUTED_GETTER, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_GETTER | VM_OC_NON_STATIC_FLAG | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_COMPUTED_SETTER, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_SETTER | VM_OC_NON_STATIC_FLAG | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_STATIC_PROPERTY_LITERAL, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_SET_PROPERTY | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_STATIC_COMPUTED_PROPERTY_LITERAL, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_COMPUTED_PROPERTY | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_STATIC_GETTER, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_SET_GETTER | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_STATIC_SETTER, CBC_HAS_LITERAL_ARG | CBC_HAS_LITERAL_ARG2, 0, \
|
|
VM_OC_SET_SETTER | VM_OC_GET_LITERAL_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_STATIC_COMPUTED_GETTER, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_GETTER | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_SET_STATIC_COMPUTED_SETTER, CBC_HAS_LITERAL_ARG, -1, \
|
|
VM_OC_SET_SETTER | VM_OC_GET_STACK_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_RESOLVE_BASE, CBC_NO_FLAG, 0, \
|
|
VM_OC_RESOLVE_BASE_FOR_CALL) \
|
|
\
|
|
/* Class opcodes */ \
|
|
CBC_OPCODE (CBC_EXT_INHERIT_AND_SET_CONSTRUCTOR, CBC_NO_FLAG, 0, \
|
|
VM_OC_CLASS_INHERITANCE) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_CLASS_CONSTRUCTOR_AND_PROTOTYPE, CBC_NO_FLAG, 2, \
|
|
VM_OC_PUSH_CLASS_CONSTRUCTOR_AND_PROTOTYPE | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_IMPLICIT_CONSTRUCTOR_CALL, CBC_NO_FLAG, 0, \
|
|
VM_OC_PUSH_IMPL_CONSTRUCTOR) \
|
|
CBC_OPCODE (CBC_EXT_SET_CLASS_LITERAL, CBC_HAS_LITERAL_ARG, 0, \
|
|
VM_OC_SET_CLASS_CONSTRUCTOR | VM_OC_GET_LITERAL) \
|
|
CBC_OPCODE (CBC_EXT_CLASS_EVAL, CBC_HAS_BYTE_ARG, 0, \
|
|
VM_OC_CLASS_EVAL) \
|
|
CBC_OPCODE (CBC_EXT_SUPER_CALL, CBC_HAS_POP_STACK_BYTE_ARG, -1, \
|
|
VM_OC_SUPER_CALL) \
|
|
CBC_OPCODE (CBC_EXT_SUPER_CALL_PUSH_RESULT, CBC_HAS_POP_STACK_BYTE_ARG, 0, \
|
|
VM_OC_SUPER_CALL | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_SUPER_CALL_BLOCK, CBC_HAS_POP_STACK_BYTE_ARG, -1, \
|
|
VM_OC_SUPER_CALL | VM_OC_PUT_BLOCK) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_CONSTRUCTOR_SUPER, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_CONSTRUCTOR_SUPER | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_CONSTRUCTOR_SUPER_PROP, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_CONSTRUCTOR_SUPER | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_SUPER, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_SUPER | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_STATIC_SUPER, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_SUPER | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_PUSH_CONSTRUCTOR_THIS, CBC_NO_FLAG, 1, \
|
|
VM_OC_PUSH_CONSTRUCTOR_THIS | VM_OC_PUT_STACK) \
|
|
CBC_OPCODE (CBC_EXT_SUPER_PROP_CALL, CBC_NO_FLAG, 0, \
|
|
VM_OC_SUPER_PROP_REFERENCE) \
|
|
CBC_OPCODE (CBC_EXT_SUPER_PROP_ASSIGN, CBC_NO_FLAG, 0, \
|
|
VM_OC_SUPER_PROP_REFERENCE) \
|
|
CBC_OPCODE (CBC_EXT_CONSTRUCTOR_RETURN, CBC_NO_FLAG, -1, \
|
|
VM_OC_CONSTRUCTOR_RET | VM_OC_GET_STACK) \
|
|
CBC_OPCODE (CBC_EXT_ERROR, CBC_NO_FLAG, 0, \
|
|
VM_OC_ERROR) \
|
|
\
|
|
/* Last opcode (not a real opcode). */ \
|
|
CBC_OPCODE (CBC_EXT_END, CBC_NO_FLAG, 0, \
|
|
VM_OC_NONE)
|
|
|
|
#define CBC_MAXIMUM_BYTE_VALUE 255
|
|
#define CBC_MAXIMUM_SMALL_VALUE 510
|
|
#define CBC_MAXIMUM_FULL_VALUE 32767
|
|
|
|
#define CBC_PUSH_NUMBER_BYTE_RANGE_END 256
|
|
|
|
#define CBC_HIGHEST_BIT_MASK 0x80
|
|
#define CBC_LOWER_SEVEN_BIT_MASK 0x7f
|
|
|
|
/**
|
|
* Literal indicies belong to one of the following groups:
|
|
*
|
|
* 0 <= index < argument_end : arguments
|
|
* argument_end <= index < register_end : registers
|
|
* register_end <= index < ident_end : identifiers
|
|
* ident_end <= index < const_literal_end : constant literals
|
|
* const_literal_end <= index < literal_end : template literals
|
|
*/
|
|
|
|
/**
|
|
* Compiled byte code arguments.
|
|
*/
|
|
typedef struct
|
|
{
|
|
ecma_compiled_code_t header; /**< compiled code header */
|
|
uint8_t stack_limit; /**< maximum number of values stored on the stack */
|
|
uint8_t argument_end; /**< number of arguments expected by the function */
|
|
uint8_t register_end; /**< end position of the register group */
|
|
uint8_t ident_end; /**< end position of the identifier group */
|
|
uint8_t const_literal_end; /**< end position of the const literal group */
|
|
uint8_t literal_end; /**< end position of the literal group */
|
|
} cbc_uint8_arguments_t;
|
|
|
|
/**
|
|
* Compiled byte code arguments.
|
|
*/
|
|
typedef struct
|
|
{
|
|
ecma_compiled_code_t header; /**< compiled code header */
|
|
uint16_t stack_limit; /**< maximum number of values stored on the stack */
|
|
uint16_t argument_end; /**< number of arguments expected by the function */
|
|
uint16_t register_end; /**< end position of the register group */
|
|
uint16_t ident_end; /**< end position of the identifier group */
|
|
uint16_t const_literal_end; /**< end position of the const literal group */
|
|
uint16_t literal_end; /**< end position of the literal group */
|
|
uint16_t padding; /**< an unused value */
|
|
} cbc_uint16_arguments_t;
|
|
|
|
/**
|
|
* Compact byte code status flags.
|
|
*/
|
|
typedef enum
|
|
{
|
|
CBC_CODE_FLAGS_FUNCTION = (1u << 0), /**< compiled code is JavaScript function */
|
|
CBC_CODE_FLAGS_FULL_LITERAL_ENCODING = (1u << 1), /**< full literal encoding mode is enabled */
|
|
CBC_CODE_FLAGS_UINT16_ARGUMENTS = (1u << 2), /**< compiled code data is cbc_uint16_arguments_t */
|
|
CBC_CODE_FLAGS_STRICT_MODE = (1u << 3), /**< strict mode is enabled */
|
|
CBC_CODE_FLAGS_ARGUMENTS_NEEDED = (1u << 4), /**< arguments object must be constructed */
|
|
CBC_CODE_FLAGS_LEXICAL_ENV_NOT_NEEDED = (1u << 5), /**< no need to create a lexical environment */
|
|
CBC_CODE_FLAGS_ARROW_FUNCTION = (1u << 6), /**< this function is an arrow function */
|
|
CBC_CODE_FLAGS_STATIC_FUNCTION = (1u << 7), /**< this function is a static snapshot function */
|
|
CBC_CODE_FLAGS_DEBUGGER_IGNORE = (1u << 8), /**< this function should be ignored by debugger */
|
|
CBC_CODE_FLAGS_CONSTRUCTOR = (1u << 9), /**< this function is a constructor */
|
|
CBC_CODE_FLAGS_REST_PARAMETER = (1u << 10), /**< this function has rest parameter */
|
|
} cbc_code_flags;
|
|
|
|
/**
|
|
* Non-strict arguments object must be constructed
|
|
*/
|
|
#define CBC_NON_STRICT_ARGUMENTS_NEEDED(compiled_code_p) \
|
|
(((compiled_code_p)->status_flags & CBC_CODE_FLAGS_ARGUMENTS_NEEDED) \
|
|
&& !((compiled_code_p)->status_flags & CBC_CODE_FLAGS_STRICT_MODE))
|
|
|
|
#define CBC_OPCODE(arg1, arg2, arg3, arg4) arg1,
|
|
|
|
/**
|
|
* Opcode list.
|
|
*/
|
|
typedef enum
|
|
{
|
|
CBC_OPCODE_LIST /**< list of opcodes */
|
|
} cbc_opcode_t;
|
|
|
|
/**
|
|
* Extended opcode list.
|
|
*/
|
|
typedef enum
|
|
{
|
|
CBC_EXT_OPCODE_LIST /**< list extended opcodes */
|
|
} cbc_ext_opcode_t;
|
|
|
|
#undef CBC_OPCODE
|
|
|
|
/**
|
|
* Opcode flags.
|
|
*/
|
|
extern const uint8_t cbc_flags[];
|
|
extern const uint8_t cbc_ext_flags[];
|
|
|
|
#if ENABLED (JERRY_PARSER_DUMP_BYTE_CODE)
|
|
|
|
/**
|
|
* Opcode names for debugging.
|
|
*/
|
|
extern const char * const cbc_names[];
|
|
extern const char * const cbc_ext_names[];
|
|
|
|
#endif /* ENABLED (JERRY_PARSER_DUMP_BYTE_CODE) */
|
|
|
|
/**
|
|
* @}
|
|
* @}
|
|
* @}
|
|
*/
|
|
|
|
#endif /* !BYTE_CODE_H */
|