1 /* 2 * Copyright (c) 2021 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_TYPE_H 17 #define ECMASCRIPT_COMPILER_TYPE_H 18 19 #include <cstdint> 20 21 const uint64_t GC_MASK = ~(1 << 30); // 30 : the 30-th bit is unset implies GC-related type 22 const uint64_t NO_GC_MASK = ~(1 << 29); // 29 : the 29-th bit is unset implies NO-GC-related type 23 const uint64_t MIR_BASE_BITS = (1 << 31) | (1 << 30) | (1 << 29); // 31 : the 31-st bit is set implies MIR type 24 const uint64_t EMPTY_TYPE_OFFSET = 1; // 1 : means offset of empty type 25 26 namespace panda::ecmascript::kungfu { 27 enum GateType : uint64_t { 28 // for MIR 29 C_VALUE = MIR_BASE_BITS, // (111) 30 TAGGED_VALUE = MIR_BASE_BITS & GC_MASK & NO_GC_MASK, // (100) 31 TAGGED_POINTER = MIR_BASE_BITS & GC_MASK, // (101) 32 TAGGED_NO_POINTER = MIR_BASE_BITS & NO_GC_MASK, // (110) 33 34 // for no value 35 EMPTY = C_VALUE + EMPTY_TYPE_OFFSET, 36 37 // for TS 38 JS_ANY = 0, 39 }; 40 41 class Type { 42 public: 43 explicit Type(GateType payload); 44 [[nodiscard]] bool IsBitset() const; 45 ~Type(); 46 47 private: 48 GateType payload; 49 }; 50 } // namespace panda::ecmascript::kungfu 51 52 #endif // ECMASCRIPT_COMPILER_TYPE_H 53