1 /* 2 * Copyright (c) 2023 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16 #ifndef ECMASCRIPT_COMPILER_OPCODE_H 17 #define ECMASCRIPT_COMPILER_OPCODE_H 18 19 #include <string> 20 21 #include "ecmascript/compiler/bytecodes.h" 22 23 #include "ecmascript/compiler/lcr_opcodes.h" 24 #include "ecmascript/compiler/mcr_opcodes.h" 25 #include "ecmascript/compiler/hcr_opcodes.h" 26 27 namespace panda::ecmascript::kungfu { 28 29 #define SHARE_IMMUTABLE_META_DATA_CACHE_LIST(V) \ 30 V(CircuitRoot, CIRCUIT_ROOT, GateFlags::NONE_FLAG, 0, 0, 0) \ 31 V(StateEntry, STATE_ENTRY, GateFlags::ROOT, 0, 0, 0) \ 32 V(DependEntry, DEPEND_ENTRY, GateFlags::ROOT, 0, 0, 0) \ 33 V(OrdinaryBlock, ORDINARY_BLOCK, GateFlags::CONTROL, 1, 0, 0) \ 34 V(DefaultCase, DEFAULT_CASE, GateFlags::CONTROL, 1, 0, 0) \ 35 V(ReturnList, RETURN_LIST, GateFlags::ROOT, 0, 0, 0) \ 36 V(ArgList, ARG_LIST, GateFlags::ROOT, 0, 0, 0) \ 37 V(Dead, DEAD, GateFlags::NONE_FLAG, 0, 0, 0) \ 38 V(Throw, THROW, GateFlags::CONTROL, 1, 1, 1) \ 39 V(LoopExit, LOOP_EXIT, GateFlags::CONTROL, 1, 0, 0) \ 40 V(LoopExitDepend, LOOP_EXIT_DEPEND, GateFlags::FIXED, 1, 1, 0) \ 41 V(LoopExitValue, LOOP_EXIT_VALUE, GateFlags::FIXED, 1, 0, 1) \ 42 V(DependRelay, DEPEND_RELAY, GateFlags::FIXED, 1, 1, 0) \ 43 V(IfTrue, IF_TRUE, GateFlags::CONTROL, 1, 0, 0) \ 44 V(IfFalse, IF_FALSE, GateFlags::CONTROL, 1, 0, 0) \ 45 V(IfSuccess, IF_SUCCESS, GateFlags::CONTROL, 1, 0, 0) \ 46 V(IfException, IF_EXCEPTION, GateFlags::CONTROL, 1, 1, 0) \ 47 V(GetException, GET_EXCEPTION, GateFlags::NONE_FLAG, 1, 1, 0) \ 48 V(GetConstPool, GET_CONSTPOOL, GateFlags::NO_WRITE, 0, 1, 1) \ 49 V(GetGlobalEnv, GET_GLOBAL_ENV, GateFlags::NO_WRITE, 0, 1, 0) \ 50 V(GetSuperConstructor, GET_SUPER_CONSTRUCTOR, GateFlags::NO_WRITE, 1, 1, 1) \ 51 V(CheckSafePointAndStackOver, CHECK_SAFEPOINT_AND_STACKOVER, GateFlags::NO_WRITE, 1, 1, 0) \ 52 V(DeoptCheck, DEOPT_CHECK, GateFlags::NO_WRITE, 1, 0, 3) \ 53 V(LoopBack, LOOP_BACK, GateFlags::CONTROL, 1, 0, 0) \ 54 V(Return, RETURN, GateFlags::HAS_ROOT, 1, 1, 1) \ 55 V(ReturnVoid, RETURN_VOID, GateFlags::HAS_ROOT, 1, 1, 0) \ 56 V(StateSplit, STATE_SPLIT, GateFlags::CHECKABLE, 1, 1, 0) \ 57 V(GetEnv, GET_ENV, GateFlags::NONE_FLAG, 0, 0, 1) 58 59 #define SHARE_GATE_META_DATA_LIST_WITH_VALUE_IN(V) \ 60 V(FrameValues, FRAME_VALUES, GateFlags::NONE_FLAG, 0, 0, value) \ 61 V(ValueSelector, VALUE_SELECTOR, GateFlags::FIXED, 1, 0, value) 62 63 #define SHARE_GATE_META_DATA_LIST_WITH_SIZE(V) \ 64 V(LoopBegin, LOOP_BEGIN, GateFlags::CONTROL, value, 0, 0) \ 65 V(Merge, MERGE, GateFlags::CONTROL, value, 0, 0) \ 66 V(DependSelector, DEPEND_SELECTOR, GateFlags::FIXED, 1, value, 0) \ 67 SHARE_GATE_META_DATA_LIST_WITH_VALUE_IN(V) 68 69 #define SHARE_GATE_META_DATA_LIST_WITH_VALUE(V) \ 70 V(Constant, CONSTANT, GateFlags::NONE_FLAG, 0, 0, 0) \ 71 V(FrameArgs, FRAME_ARGS, GateFlags::HAS_FRAME_STATE, 0, 0, 4) \ 72 V(FrameState, FRAME_STATE, GateFlags::HAS_FRAME_STATE, 0, 0, 2) \ 73 V(IfBranch, IF_BRANCH, GateFlags::CONTROL, 1, 0, 1) \ 74 V(RelocatableData, RELOCATABLE_DATA, GateFlags::NONE_FLAG, 0, 0, 0) \ 75 V(SwitchBranch, SWITCH_BRANCH, GateFlags::CONTROL, 1, 0, 1) \ 76 V(SwitchCase, SWITCH_CASE, GateFlags::CONTROL, 1, 0, 0) 77 78 #define SHARE_GATE_OPCODE_LIST(V) \ 79 V(CONSTSTRING) 80 81 #define SHARE_GATE_META_DATA_LIST_WITH_ONE_PARAMETER(V) \ 82 V(Arg, ARG, GateFlags::HAS_ROOT, 0, 0, 0) \ 83 SHARE_GATE_META_DATA_LIST_WITH_VALUE(V) 84 85 #define IMMUTABLE_META_DATA_CACHE_LIST(V) \ 86 SHARE_IMMUTABLE_META_DATA_CACHE_LIST(V) \ 87 LCR_IMMUTABLE_META_DATA_CACHE_LIST(V) \ 88 MCR_IMMUTABLE_META_DATA_CACHE_LIST(V) \ 89 HCR_IMMUTABLE_META_DATA_CACHE_LIST(V) 90 91 #define GATE_META_DATA_LIST_WITH_VALUE_IN(V) \ 92 SHARE_GATE_META_DATA_LIST_WITH_VALUE_IN(V) \ 93 HCR_GATE_META_DATA_LIST_WITH_VALUE_IN(V) \ 94 MCR_GATE_META_DATA_LIST_WITH_VALUE_IN(V) 95 96 #define GATE_META_DATA_LIST_WITH_PC_OFFSET(V) \ 97 MCR_GATE_META_DATA_LIST_WITH_PC_OFFSET(V) \ 98 HCR_GATE_META_DATA_LIST_WITH_PC_OFFSET(V) 99 100 #define GATE_META_DATA_LIST_FOR_CALL(V) \ 101 MCR_GATE_META_DATA_LIST_FOR_CALL(V) 102 103 #define GATE_META_DATA_LIST_WITH_PC_OFFSET_FIXED_VALUE(V) \ 104 HCR_GATE_META_DATA_LIST_WITH_PC_OFFSET_FIXED_VALUE(V) 105 106 #define GATE_META_DATA_LIST_WITH_SIZE(V) \ 107 SHARE_GATE_META_DATA_LIST_WITH_SIZE(V) \ 108 HCR_GATE_META_DATA_LIST_WITH_SIZE(V) \ 109 MCR_GATE_META_DATA_LIST_WITH_SIZE(V) 110 111 #define GATE_META_DATA_LIST_WITH_GATE_TYPE(V) \ 112 MCR_GATE_META_DATA_LIST_WITH_GATE_TYPE(V) 113 114 #define GATE_META_DATA_LIST_WITH_VALUE(V) \ 115 SHARE_GATE_META_DATA_LIST_WITH_VALUE(V) \ 116 LCR_GATE_META_DATA_LIST_WITH_VALUE(V) \ 117 MCR_GATE_META_DATA_LIST_WITH_VALUE(V) \ 118 HCR_GATE_META_DATA_LIST_WITH_VALUE(V) 119 120 #define GATE_META_DATA_LIST_WITH_ONE_PARAMETER(V) \ 121 SHARE_GATE_META_DATA_LIST_WITH_ONE_PARAMETER(V) \ 122 LCR_GATE_META_DATA_LIST_WITH_ONE_PARAMETER(V) \ 123 MCR_GATE_META_DATA_LIST_WITH_ONE_PARAMETER(V) \ 124 HCR_GATE_META_DATA_LIST_WITH_ONE_PARAMETER(V) 125 126 #define GATE_META_DATA_LIST_WITH_BOOL(V) \ 127 MCR_GATE_META_DATA_LIST_WITH_BOOL(V) 128 129 #define GATE_META_DATA_LIST_WITH_BOOL_VALUE_IN(V) \ 130 HCR_GATE_META_DATA_LIST_WITH_BOOL_VALUE_IN(V) 131 132 #define GATE_OPCODE_LIST(V) \ 133 SHARE_GATE_OPCODE_LIST(V) \ 134 MCR_GATE_OPCODE_LIST(V) \ 135 HCR_GATE_OPCODE_LIST(V) 136 137 enum class OpCode : uint8_t { 138 NOP = 0, 139 #define DECLARE_GATE_OPCODE(NAME, OP, R, S, D, V) OP, 140 IMMUTABLE_META_DATA_CACHE_LIST(DECLARE_GATE_OPCODE) 141 GATE_META_DATA_LIST_WITH_SIZE(DECLARE_GATE_OPCODE) 142 GATE_META_DATA_LIST_WITH_ONE_PARAMETER(DECLARE_GATE_OPCODE) 143 GATE_META_DATA_LIST_WITH_PC_OFFSET(DECLARE_GATE_OPCODE) 144 GATE_META_DATA_LIST_FOR_CALL(DECLARE_GATE_OPCODE) 145 GATE_META_DATA_LIST_WITH_PC_OFFSET_FIXED_VALUE(DECLARE_GATE_OPCODE) 146 GATE_META_DATA_LIST_WITH_BOOL(DECLARE_GATE_OPCODE) 147 GATE_META_DATA_LIST_WITH_BOOL_VALUE_IN(DECLARE_GATE_OPCODE) 148 #undef DECLARE_GATE_OPCODE 149 #define DECLARE_GATE_OPCODE(NAME) NAME, 150 GATE_OPCODE_LIST(DECLARE_GATE_OPCODE) 151 #undef DECLARE_GATE_OPCODE 152 }; 153 154 } 155 156 #endif // ECMASCRIPT_COMPILER_SHARE_GATE_META_DATA_H 157