|
|
| version 1.20, 2002/08/01 11:41:15 | version 1.60, 2026/04/25 13:38:46 |
|---|---|
| Line 1 | Line 1 |
| /** @file | /** @file |
| Parser: compiled code related decls. | Parser: compiled code related decls. |
| Copyright (c) 2001, 2002 ArtLebedev Group (http://www.artlebedev.com) | Copyright (c) 2001-2026 Art. Lebedev Studio (https://www.artlebedev.com) |
| Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) | Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru> |
| */ | */ |
| #ifndef CODE_H | #ifndef OPCODE_H |
| #define CODE_H | #define OPCODE_H |
| static const char* IDENT_OPCODE_H="$Date$"; | namespace OP { |
| #include "pa_string.h" | #define IDENT_PA_OPCODE_H "$Id$" |
| #include "pa_array.h" | |
| class Value; | #define OPTIMIZE_BYTECODE_GET_ELEMENT // $a ^a |
| class Array; | #define OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT // $a.b ^a.b |
| #define OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT // $a.$b ^a.$b | |
| #define OPTIMIZE_BYTECODE_STRING_POOL | |
| #define OPTIMIZE_BYTECODE_OBJECT_POOL // $var[$a.b], $var[$a.$b] | |
| #define OPTIMIZE_BYTECODE_CUT_REM_OPERATOR // cut rem with all params | |
| #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT | |
| #define OPTIMIZE_BYTECODE_CONSTRUCT // $a(expr), $a[value] | |
| #endif // $.a(expr), $.a[value] | |
| // $self.a(expr), $self.a[value] | |
| #define OPTIMIZE_BYTECODE_GET_SELF_ELEMENT // $self.a ^self.a | |
| #define OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL // .CLASS, .CLASS_NAME | |
| #define FEATURE_GET_ELEMENT4CALL // ^o.m[] calls get_element4call("m"), not get_element("m") | |
| /// Compiled operation code | /// Compiled operation code |
| enum OPCODE { | enum OPCODE { |
| Line 28 enum OPCODE { | Line 41 enum OPCODE { |
| //@{ | //@{ |
| /// @name actions | /// @name actions |
| OP_WITH_ROOT, OP_WITH_SELF, OP_WITH_READ, OP_WITH_WRITE, | OP_WITH_ROOT, OP_WITH_SELF, OP_WITH_READ, OP_WITH_WRITE, |
| OP_GET_CLASS, | OP_VALUE__GET_CLASS, OP_VALUE__GET_BASE_CLASS, |
| OP_CONSTRUCT_VALUE, OP_CONSTRUCT_EXPR, OP_CURLY_CODE__CONSTRUCT, | OP_CONSTRUCT_VALUE, OP_CONSTRUCT_EXPR, OP_CURLY_CODE__CONSTRUCT, OP_CONSTRUCT_ARRAY, |
| OP_WRITE_VALUE, OP_WRITE_EXPR_RESULT, OP_STRING__WRITE, | OP_WRITE_VALUE, OP_WRITE_EXPR_RESULT, OP_STRING__WRITE, |
| OP_GET_ELEMENT_OR_OPERATOR, OP_GET_ELEMENT, OP_GET_ELEMENT__WRITE, | #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT |
| OP_VALUE__GET_ELEMENT_OR_OPERATOR, | |
| #else | |
| OP_GET_ELEMENT_OR_OPERATOR, | |
| #endif | |
| OP_GET_ELEMENT, | |
| OP_GET_ELEMENT__WRITE, | |
| #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT | |
| OP_VALUE__GET_ELEMENT, | |
| OP_VALUE__GET_ELEMENT__WRITE, | |
| OP_WITH_ROOT__VALUE__GET_ELEMENT, | |
| #endif | |
| #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT | |
| OP_GET_OBJECT_ELEMENT, // $a.b & ^a.b | |
| OP_GET_OBJECT_ELEMENT__WRITE, // $a.b & ^a.b | |
| #endif | |
| #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT | |
| OP_GET_OBJECT_VAR_ELEMENT, // $a.$b & ^a.$b | |
| OP_GET_OBJECT_VAR_ELEMENT__WRITE, // $a.$b & ^a.$b | |
| #endif | |
| #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT | |
| OP_WITH_SELF__VALUE__GET_ELEMENT, | |
| OP_WITH_SELF__VALUE__GET_ELEMENT__WRITE, | |
| #endif | |
| #ifdef FEATURE_GET_ELEMENT4CALL | |
| OP_GET_ELEMENT4CALL, | |
| #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT | |
| OP_GET_OBJECT_ELEMENT4CALL, | |
| #endif | |
| #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT | |
| OP_GET_OBJECT_VAR_ELEMENT4CALL, | |
| #endif | |
| #endif // FEATURE_GET_ELEMENT4CALL | |
| OP_OBJECT_POOL, OP_STRING_POOL, | OP_OBJECT_POOL, OP_STRING_POOL, |
| OP_STORE_PARAM, | OP_PREPARE_TO_CONSTRUCT_OBJECT, |
| OP_PREPARE_TO_CONSTRUCT_OBJECT, OP_PREPARE_TO_EXPRESSION, | OP_CONSTRUCT_OBJECT, |
| OP_CONSTRUCT_OBJECT__WRITE, | |
| OP_CALL, OP_CALL__WRITE, | OP_CALL, OP_CALL__WRITE, |
| //@} | |
| #ifdef OPTIMIZE_BYTECODE_CONSTRUCT | |
| OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR, | |
| OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE, | |
| OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR, | |
| OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE, | |
| OP_WITH_SELF__VALUE__CONSTRUCT_EXPR, | |
| OP_WITH_SELF__VALUE__CONSTRUCT_VALUE, | |
| #endif | |
| //@} | |
| #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL | |
| OP_GET_ELEMENT__SPECIAL, | |
| OP_GET_ELEMENT__SPECIAL__WRITE, | |
| #endif | |
| //@{ | //@{ |
| /// @name expression ops: unary | /// @name expression ops: unary |
| OP_NEG, OP_INV, OP_NOT, OP_DEF, OP_IN, OP_FEXISTS, OP_DEXISTS, | OP_NEG, OP_INV, OP_NOT, OP_DEF, OP_IN, OP_FEXISTS, OP_DEXISTS, |
| Line 46 enum OPCODE { | Line 106 enum OPCODE { |
| //@{ | //@{ |
| /// @name expression ops: binary | /// @name expression ops: binary |
| OP_SUB, OP_ADD, OP_MUL, OP_DIV, OP_MOD, OP_INTDIV, | OP_SUB, OP_ADD, OP_MUL, OP_DIV, OP_MOD, OP_INTDIV, |
| OP_BIN_SL, OP_BIN_SR, | |
| OP_BIN_AND, OP_BIN_OR, OP_BIN_XOR, | OP_BIN_AND, OP_BIN_OR, OP_BIN_XOR, |
| OP_LOG_AND, OP_LOG_OR, OP_LOG_XOR, | OP_LOG_AND, OP_LOG_OR, OP_LOG_XOR, |
| OP_NUM_LT, OP_NUM_GT, OP_NUM_LE, OP_NUM_GE, OP_NUM_EQ, OP_NUM_NE, | OP_NUM_LT, OP_NUM_GT, OP_NUM_LE, OP_NUM_GE, OP_NUM_EQ, OP_NUM_NE, |
| Line 53 enum OPCODE { | Line 114 enum OPCODE { |
| OP_IS | OP_IS |
| //@} | //@} |
| }; | }; |
| } | |
| /** | |
| Parser source code got compiled into intermediate form of Operation-s, | |
| which is executed afterwards. | |
| It is compiled into Array of Operation-s. | |
| Each Operation can be either OPCODE or data pointer, | |
| following the literal-instruction. | |
| - OP_VALUE followed by Value* | |
| - OP_CURLY_CODE__STORE_PARAM followed by Array* | |
| - OP_EXPR_CODE__STORE_PARAM followed by Array* | |
| - OP_NESTED_CODE followed by Array* | |
| */ | |
| union Operation { | |
| void *cast; ///< casting helper | |
| OPCODE code; ///< operation code | |
| Value *value; ///< not an operation, but rather value stored after argumented op | |
| Array *array; ///< not an operation, but rather code array stored after argumented op | |
| }; | |
| #endif | #endif |