/arkcompiler/ets_frontend/ets2panda/checker/types/ |
H A D | globalTypesHolder.h | 193 Type *GlobalNumberType(); 194 Type *GlobalAnyType(); 195 Type *GlobalStringType(); 196 Type *GlobalBooleanType(); 197 Type *GlobalVoidType(); 198 Type *GlobalNullType(); 199 Type *GlobalUndefinedType(); 200 Type *GlobalUnknownType(); 201 Type *GlobalNeverType(); 202 Type *GlobalNonPrimitiveTyp [all...] |
H A D | type.cpp | 25 bool Type::IsETSStringType() const in IsETSStringType() 30 bool Type::IsETSBigIntType() const in IsETSBigIntType() 35 bool Type::IsETSAsyncFuncReturnType() const in IsETSAsyncFuncReturnType() 40 bool Type::IsLambdaObject() const in IsLambdaObject() 52 void Type::ToString(std::stringstream &ss) const in ToString() 57 void Type::ToStringAsSrc(std::stringstream &ss) const in ToStringAsSrc() 62 std::string Type::ToString() const in ToString() 69 std::string Type::ToStringAsSrc() const in ToStringAsSrc() 76 std::string Type::ToStringPrecise() const in ToStringPrecise() 83 void Type [all...] |
/arkcompiler/runtime_core/assembler/ |
H A D | annotation.h | 78 enum class Type { class in panda::pandasm::Value 103 static constexpr char GetTypeAsChar(Type t) in GetTypeAsChar() 107 case Type::U1: in GetTypeAsChar() 110 case Type::I8: in GetTypeAsChar() 113 case Type::U8: in GetTypeAsChar() 116 case Type::I16: in GetTypeAsChar() 119 case Type::U16: in GetTypeAsChar() 122 case Type::I32: in GetTypeAsChar() 125 case Type::U32: in GetTypeAsChar() 128 case Type in GetTypeAsChar() [all...] |
H A D | annotation.cpp | 24 case Value::Type::U1: { in InitScalarValue() 25 copy_val = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U1>(sc_val.GetValue<uint8_t>())); in InitScalarValue() 28 case Value::Type::U8: { in InitScalarValue() 29 copy_val = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U8>(sc_val.GetValue<uint8_t>())); in InitScalarValue() 32 case Value::Type::U16: { in InitScalarValue() 34 std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U16>(sc_val.GetValue<uint16_t>())); in InitScalarValue() 37 case Value::Type::U32: { in InitScalarValue() 39 std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U32>(sc_val.GetValue<uint32_t>())); in InitScalarValue() 42 case Value::Type::U64: { in InitScalarValue() 44 std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type in InitScalarValue() [all...] |
H A D | assembly-type.h | 25 class Type { class 33 Type() = default; 34 DEFAULT_MOVE_SEMANTIC(Type); 35 DEFAULT_COPY_SEMANTIC(Type); 36 ~Type() = default; 38 Type(const std::string_view &component_name, size_t rank, bool ignore_primitive = false) in Type() function in panda::pandasm::Type 45 Type(const Type &component_type, size_t rank) in Type() function in panda::pandasm::Type 46 : Type(component_type.GetComponentName(), component_type.GetRank() + rank) in Type() 74 Type GetComponentTyp [all...] |
H A D | lexer.cpp | 23 Token::Type FindDelim(char c) in FindDelim() 26 static const std::unordered_map<char, Token::Type> DELIM = {{',', Token::Type::DEL_COMMA}, in FindDelim() 27 {':', Token::Type::DEL_COLON}, in FindDelim() 28 {'{', Token::Type::DEL_BRACE_L}, in FindDelim() 29 {'}', Token::Type::DEL_BRACE_R}, in FindDelim() 30 {'(', Token::Type::DEL_BRACKET_L}, in FindDelim() 31 {')', Token::Type::DEL_BRACKET_R}, in FindDelim() 32 {'<', Token::Type::DEL_LT}, in FindDelim() 33 {'>', Token::Type in FindDelim() [all...] |
/arkcompiler/runtime_core/static_core/assembler/ |
H A D | annotation.h | 74 enum class Type { class in ark::pandasm::Value 99 static constexpr char GetTypeAsChar(Type t) in GetTypeAsChar() 103 case Type::U1: in GetTypeAsChar() 106 case Type::I8: in GetTypeAsChar() 109 case Type::U8: in GetTypeAsChar() 112 case Type::I16: in GetTypeAsChar() 115 case Type::U16: in GetTypeAsChar() 118 case Type::I32: in GetTypeAsChar() 121 case Type::U32: in GetTypeAsChar() 124 case Type in GetTypeAsChar() [all...] |
H A D | assembly-type.h | 26 class Type { class 35 Type() = default; 36 DEFAULT_MOVE_SEMANTIC(Type); 37 DEFAULT_COPY_SEMANTIC(Type); 38 ~Type() = default; 40 Type(std::string_view componentName, size_t rank, bool ignorePrimitive = false) in Type() function in ark::pandasm::Type 47 Type(const Type &componentType, size_t rank) in Type() function in ark::pandasm::Type 48 : Type(componentType.GetComponentName(), componentType.GetRank() + rank) in Type() 75 Type GetComponentTyp [all...] |
H A D | annotation.cpp | 25 case Value::Type::U1: { in InitScalarValue() 26 copyVal = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U1>(scVal.GetValue<uint8_t>())); in InitScalarValue() 29 case Value::Type::U8: { in InitScalarValue() 30 copyVal = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U8>(scVal.GetValue<uint8_t>())); in InitScalarValue() 33 case Value::Type::U16: { in InitScalarValue() 34 copyVal = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U16>(scVal.GetValue<uint16_t>())); in InitScalarValue() 37 case Value::Type::U32: { in InitScalarValue() 38 copyVal = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U32>(scVal.GetValue<uint32_t>())); in InitScalarValue() 41 case Value::Type::U64: { in InitScalarValue() 42 copyVal = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type in InitScalarValue() [all...] |
/arkcompiler/ets_frontend/es2panda/typescript/types/ |
H A D | globalTypesHolder.h | 58 Type *GlobalNumberType(); 59 Type *GlobalAnyType(); 60 Type *GlobalStringType(); 61 Type *GlobalSymbolType(); 62 Type *GlobalBooleanType(); 63 Type *GlobalVoidType(); 64 Type *GlobalNullType(); 65 Type *GlobalUndefinedType(); 66 Type *GlobalUnknownType(); 67 Type *GlobalNeverTyp [all...] |
/arkcompiler/ets_frontend/es2panda/typescript/ |
H A D | checker.h | 109 using StringLiteralPool = std::unordered_map<util::StringView, Type *>; 110 using NumberLiteralPool = std::unordered_map<double, Type *>; 113 using TypeOrNode = std::variant<Type *, const ir::AstNode *>; 114 using IndexInfoTypePair = std::pair<Type *, Type *>; 140 Type *GlobalNumberType() in GlobalNumberType() 145 Type *GlobalAnyType() in GlobalAnyType() 150 Type *GlobalStringType() in GlobalStringType() 155 Type *GlobalSymbolType() in GlobalSymbolType() 160 Type *GlobalBooleanTyp [all...] |
/arkcompiler/runtime_core/static_core/plugins/ets/tests/runtime/types/ |
H A D | ets_method_signature_test.cpp | 30 panda_file::Type {panda_file::Type::TypeId::VOID}, in MethodSignaturePrologue() 36 panda_file::Type {panda_file::Type::TypeId::VOID}, in MethodSignaturePrologue() 37 panda_file::Type {panda_file::Type::TypeId::I32}, in MethodSignaturePrologue() 44 panda_file::Type {panda_file::Type::TypeId::U1}, in MethodSignaturePrologue() 45 panda_file::Type {panda_file::Type in MethodSignaturePrologue() [all...] |
/arkcompiler/runtime_core/static_core/plugins/ets/runtime/types/ |
H A D | ets_type.h | 40 inline EtsType ConvertPandaTypeToEtsType(panda_file::Type type) in ConvertPandaTypeToEtsType() 43 case panda_file::Type::TypeId::INVALID: in ConvertPandaTypeToEtsType() 45 case panda_file::Type::TypeId::VOID: in ConvertPandaTypeToEtsType() 47 case panda_file::Type::TypeId::U1: in ConvertPandaTypeToEtsType() 49 case panda_file::Type::TypeId::I8: in ConvertPandaTypeToEtsType() 51 case panda_file::Type::TypeId::U16: in ConvertPandaTypeToEtsType() 53 case panda_file::Type::TypeId::I16: in ConvertPandaTypeToEtsType() 55 case panda_file::Type::TypeId::I32: in ConvertPandaTypeToEtsType() 57 case panda_file::Type::TypeId::I64: in ConvertPandaTypeToEtsType() 59 case panda_file::Type in ConvertPandaTypeToEtsType() [all...] |
/arkcompiler/ets_frontend/ets2panda/checker/ |
H A D | TSchecker.h | 110 Type *leftType; 111 Type *rightType; 126 Type *GlobalNumberType() in GlobalNumberType() 131 Type *GlobalAnyType() in GlobalAnyType() 136 Type *GlobalStringType() in GlobalStringType() 141 Type *GlobalBooleanType() in GlobalBooleanType() 146 Type *GlobalVoidType() in GlobalVoidType() 151 Type *GlobalNullType() in GlobalNullType() 156 Type *GlobalUndefinedType() in GlobalUndefinedType() 161 Type *GlobalUnknownTyp [all...] |
H A D | ETSchecker.h | 55 using ArrayMap = ArenaUnorderedMap<Type *, ETSArrayType *>; 61 using TypeMapping = ArenaUnorderedMap<Type const *, Type *>; 63 using ConstraintCheckRecord = std::tuple<const ArenaVector<Type *> *, const Substitution *, lexer::SourcePosition>; 91 [[nodiscard]] static inline TypeFlag ETSType(const Type *const type) noexcept 96 [[nodiscard]] static inline TypeFlag TypeKind(const Type *const type) noexcept 101 Type *GlobalByteType() const; 102 Type *GlobalShortType() const; 103 Type *GlobalIntType() const; 104 Type *GlobalLongTyp [all...] |
H A D | ETSAnalyzerUnreachable.cpp | 21 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::NamedType *node) const in Check() 26 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::PrefixAssertionExpression *expr) const in Check() 31 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::Decorator *st) const in Check() 36 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::MetaProperty *expr) const in Check() 41 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ScriptFunction *node) const in Check() 46 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSIndexSignature *node) const in Check() 51 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSMethodSignature *node) const in Check() 56 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSPropertySignature *node) const in Check() 61 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSSignatureDeclaration *node) const in Check() 66 checker::Type *ETSAnalyze [all...] |
H A D | TSAnalyzerUnreachable.cpp | 21 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::NamedType *node) const in Check() 26 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::PrefixAssertionExpression *expr) const in Check() 31 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassProperty *st) const in Check() 36 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassStaticBlock *st) const in Check() 41 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::Decorator *st) const in Check() 46 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::MethodDefinition *node) const in Check() 51 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::Property *expr) const in Check() 56 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ScriptFunction *node) const in Check() 61 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::SpreadElement *expr) const in Check() 66 checker::Type *TSAnalyze [all...] |
/arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
H A D | etsUnionType.h | 25 class ETSUnionType : public Type { 28 explicit ETSUnionType(ETSChecker *checker, ArenaVector<Type *> &&constituentTypes); 30 [[nodiscard]] const ArenaVector<Type *> &ConstituentTypes() const noexcept 38 void Identical(TypeRelation *relation, Type *other) override; 39 void AssignmentTarget(TypeRelation *relation, Type *source) override; 40 bool AssignmentSource(TypeRelation *relation, Type *target) override; 41 Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalTypes) override; 42 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override; 43 void Cast(TypeRelation *relation, Type *target) override; 44 void CastTarget(TypeRelation *relation, Type *sourc [all...] |
H A D | etsTypeParameter.h | 23 class ETSTypeParameter : public Type { 25 explicit ETSTypeParameter() : Type(TypeFlag::ETS_TYPE_PARAMETER) {} in ETSTypeParameter() 26 explicit ETSTypeParameter(Type *defaultType, Type *constraintType) in ETSTypeParameter() 27 : Type(TypeFlag::ETS_TYPE_PARAMETER), default_(defaultType), constraint_(constraintType) in ETSTypeParameter() 44 void SetDefaultType(Type *type) noexcept 49 [[nodiscard]] Type *GetDefaultType() const noexcept 54 void SetConstraintType(Type *type) noexcept 59 [[nodiscard]] Type *GetConstraintType() const in GetConstraintType() 66 void Identical(TypeRelation *relation, Type *othe [all...] |
/arkcompiler/runtime_core/static_core/verification/type/ |
H A D | type_type.h | 30 class Type { class 70 Type() = default; 71 ~Type() = default; 72 DEFAULT_COPY_SEMANTIC(Type); 73 DEFAULT_MOVE_SEMANTIC(Type); 75 explicit Type(Builtin builtin) : content_ {builtin} {} in Type() function in ark::verifier::Type 76 explicit Type(Class const *klass) : content_ {reinterpret_cast<uintptr_t>(klass)} in Type() function in ark::verifier::Type 86 explicit Type(uintptr_t content) : content_ {content} {} in Type() function in ark::verifier::Type 88 static Type Intersection(Span<Type> spa [all...] |
/arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_be/include/litecg/ |
H A D | lmir_builder.h | 69 // Note: Type is base class of all other Types 70 using Type = MIRType; // base class of all Types 78 using Param = std::pair<const String, Type *>; 95 Expr(BaseNode *baseNode, Type *nodeType) : node(baseNode), type(nodeType) {} in Expr() 111 Type *GetType() in GetType() 116 Type *GetType() const in GetType() 127 Type *type; 241 LiteCGTypeKind LiteCGGetTypeKind(Type *type) const; 244 // Type creation (currently all in global scope) 251 Type *CreatePtrTyp [all...] |
/arkcompiler/runtime_core/compiler/optimizer/ir/ |
H A D | datatype.h | 25 * Type of the param/instruction 29 enum Type : uint8_t { 63 inline constexpr std::array<const char *, Type::LAST + 1> TYPE_NAMES = { 83 inline const char *ToString(Type type) in ToString() 85 ASSERT(type <= Type::LAST); in ToString() 89 constexpr inline Type GetCommonType(Type type) in GetCommonType() 92 case Type::BOOL: in GetCommonType() 93 case Type::UINT8: in GetCommonType() 94 case Type in GetCommonType() [all...] |
/arkcompiler/runtime_core/static_core/compiler/optimizer/ir/ |
H A D | datatype.h | 26 * Type of the param/instruction 30 enum Type : uint8_t { 64 inline constexpr std::array<const char *, Type::LAST + 1> TYPE_NAMES = { 84 inline const char *ToString(Type type) in ToString() 86 ASSERT(type <= Type::LAST); in ToString() 90 inline std::ostream &operator<<(std::ostream &os, const DataType::Type &type) in operator <<() 97 constexpr inline Type GetCommonType(Type type) in GetCommonType() 100 case Type::BOOL: in GetCommonType() 101 case Type in GetCommonType() [all...] |
/arkcompiler/runtime_core/assembler/tests/ |
H A D | annotation_test.cpp | 40 ScalarValue insn_order(ScalarValue::Create<panda::pandasm::Value::Type::I32>(1)); in HWTEST_F() 44 ArrayValue array_value(panda::pandasm::Value::Type::I32, elements); in HWTEST_F() 57 ScalarValue insn_order1(ScalarValue::Create<panda::pandasm::Value::Type::U1>(1U)); in HWTEST_F() 59 ArrayValue array_value_U1(panda::pandasm::Value::Type::U1, elements); in HWTEST_F() 74 char type_u1 = Value::GetTypeAsChar(panda::pandasm::Value::Type::U1); in HWTEST_F() 78 type_u1 = Value::GetTypeAsChar(panda::pandasm::Value::Type::I8); in HWTEST_F() 82 type_u1 = Value::GetTypeAsChar(panda::pandasm::Value::Type::U8); in HWTEST_F() 86 type_u1 = Value::GetTypeAsChar(panda::pandasm::Value::Type::I16); in HWTEST_F() 90 type_u1 = Value::GetTypeAsChar(panda::pandasm::Value::Type::U16); in HWTEST_F() 94 type_u1 = Value::GetTypeAsChar(panda::pandasm::Value::Type in HWTEST_F() [all...] |
/arkcompiler/runtime_core/static_core/compiler/tests/ |
H A D | spill_fill_encoder_test.cpp | 32 {{LocationType::REGISTER, LocationType::STACK, 1U, 0U, DataType::Type::INT64}, in TEST_F() 33 {LocationType::REGISTER, LocationType::STACK, 0U, 2U, DataType::Type::INT64}, in TEST_F() 34 {LocationType::REGISTER, LocationType::REGISTER, 0U, 1U, DataType::Type::INT64}, in TEST_F() 35 {LocationType::REGISTER, LocationType::REGISTER, 1U, 2U, DataType::Type::INT64}, in TEST_F() 36 {LocationType::IMMEDIATE, LocationType::REGISTER, 0U, 0U, DataType::Type::INT64}, in TEST_F() 37 {LocationType::IMMEDIATE, LocationType::REGISTER, 0U, 1U, DataType::Type::INT64}, in TEST_F() 38 {LocationType::STACK, LocationType::REGISTER, 0U, 0U, DataType::Type::INT64}, in TEST_F() 39 {LocationType::STACK, LocationType::REGISTER, 1U, 1U, DataType::Type::INT64}, in TEST_F() 40 {LocationType::STACK, LocationType::REGISTER, 2U, 2U, DataType::Type::INT64}, in TEST_F() 41 {LocationType::REGISTER, LocationType::REGISTER, 2U, 4U, DataType::Type in TEST_F() [all...] |