| /arkcompiler/runtime_core/assembler/ |
| D | annotation.h | 27 #include "assembly-type.h"
76 enum class Type { enum
101 static constexpr char GetTypeAsChar(Type t) in GetTypeAsChar()
103 char type = '0'; in GetTypeAsChar() local
105 case Type::U1: in GetTypeAsChar()
106 type = '1'; in GetTypeAsChar()
108 case Type::I8: in GetTypeAsChar()
109 type = '2'; in GetTypeAsChar()
111 case Type::U8: in GetTypeAsChar()
112 type = '3'; in GetTypeAsChar()
[all …]
|
| 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<uint… in InitScalarValue()
28 case Value::Type::U8: { in InitScalarValue()
29 …copy_val = std::make_unique<ScalarValue>(ScalarValue::Create<Value::Type::U8>(sc_val.GetValue<uint… 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::U64>(sc_val.GetValue<uint64_t>())); in InitScalarValue()
[all …]
|
| D | assembly-type.h | 25 class Type {
33 Type() = default;
34 DEFAULT_MOVE_SEMANTIC(Type);
35 DEFAULT_COPY_SEMANTIC(Type);
36 ~Type() = default;
38 Type(std::string_view component_name, size_t rank, bool ignore_primitive = false)
45 Type(const Type &component_type, size_t rank) in Type() function
46 : Type(component_type.GetComponentName(), component_type.GetRank() + rank) in Type()
74 Type GetComponentType() const in GetComponentType()
76 return Type(component_name_, rank_ > 0 ? rank_ - 1 : 0); in GetComponentType()
[all …]
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | test-schema.json | 2 "type": "object", string
11 "type": "string" string
14 "type": "boolean" string
17 "type": "boolean" string
20 "type": "object", string
28 "type": "string" string
31 "type": "string" string
34 "type": "array", string
36 "type": "string" string
40 "type": "array", string
[all …]
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | panda_types.h | 22 #include "verification/type/type_systems.h"
23 #include "verification/type/type_system.h"
24 #include "verification/type/type_sort.h"
25 #include "verification/type/type_tags.h"
26 #include "verification/type/type_type_inl.h"
43 using TypeId = panda_file::Type::TypeId;
58 Type NormalizedTypeOf(Type type);
64 TypeId TypeIdOf(const Type &type) const;
66 Type TypeOf(const CachedMethod &method);
67 Type TypeOf(const CachedClass &klass);
[all …]
|
| D | panda_types.cpp | 25 #include "verification/type/type_params.h"
26 #include "verification/type/type_system.h"
27 #include "verification/type/type_sort.h"
28 #include "verification/type/type_image.h"
42 Type PandaTypes::NormalizedTypeOf(Type type) in NormalizedTypeOf() argument
44 ASSERT(type.IsValid()); in NormalizedTypeOf()
45 if (type.IsBot() || type.IsTop()) { in NormalizedTypeOf()
46 return type; in NormalizedTypeOf()
48 auto t = NormalizedTypeOf_.find(type); in NormalizedTypeOf()
52 Type result = type; in NormalizedTypeOf()
[all …]
|
| D | abs_int_inl.cpp | 39 const PandaString &AbsIntInstructionHandler::ImageOf(const Type &type) in ImageOf() argument
41 return Types().ImageOf(type); in ImageOf()
46 return abstract_type.Image([this](const Type &type) { return ImageOf(type); }); in ImageOf() argument
51 return types.Image([this](const Type &type) { return ImageOf(type); }); in ImageOf() argument
54 PandaVector<Type> AbsIntInstructionHandler::SubtypesOf(const PandaVector<Type> &types) in SubtypesOf()
56 PandaUnorderedSet<Type> set; in SubtypesOf()
57 for (const auto &type : types) { in SubtypesOf() local
58 type.ForAllSubtypes([&set](const auto &t) { in SubtypesOf()
63 return PandaVector<Type> {set.cbegin(), set.cend()}; in SubtypesOf()
66 PandaVector<Type> AbsIntInstructionHandler::SubtypesOf(std::initializer_list<Type> types) in SubtypesOf()
[all …]
|
| /arkcompiler/ets_frontend/es2panda/typescript/ |
| 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 *GlobalBooleanType() in GlobalBooleanType()
165 Type *GlobalVoidType() in GlobalVoidType()
[all …]
|
| /arkcompiler/runtime_core/libpandafile/templates/ |
| D | type.h.erb | 23 class Type {
26 % PandaFile::types.each do |type|
27 <%= type.name.upcase %> = 0x<%= type.code.to_s(16) %>,
45 constexpr explicit Type(TypeId id) : type_(id) {}
61 % PandaFile::types.each do |type|
62 case TypeId::<%= type.name.upcase %>:
63 return <%= type.properties.include? "signed" %>;
72 % PandaFile::types.each do |type|
73 case TypeId::<%= type.name.upcase %>: {
74 constexpr size_t BITWIDTH = <%= type.width ? type.width : 0 %>;
[all …]
|
| /arkcompiler/runtime_core/compiler/ |
| D | compiler.yaml | 20 type: bool
26 type: std::string
32 type: bool
42 type: bool
46 type: bool
50 type: bool
54 type: std::string
58 type: bool
62 type: bool
71 type: bool
[all …]
|
| /arkcompiler/runtime_core/compiler/optimizer/ir/ |
| D | datatype.h | 25 * Type of the param/instruction
29 enum Type : uint8_t { enum
63 inline constexpr std::array<const char *, Type::LAST + 1> TYPE_NAMES = {
83 inline const char *ToString(Type type) in ToString() argument
85 ASSERT(type <= Type::LAST); in ToString()
86 return internal::TYPE_NAMES[type]; in ToString()
89 constexpr inline Type GetCommonType(Type type) in GetCommonType() argument
91 switch (type) { in GetCommonType()
92 case Type::BOOL: in GetCommonType()
93 case Type::UINT8: in GetCommonType()
[all …]
|
| /arkcompiler/runtime_core/libpandabase/events/ |
| D | events.yaml | 16 …s - data fields that will be stored within event. The type of each field should be a real C++ type…
30 type: std::string
32 type: size_t
34 type: enum
37 type: enum
43 type: std::string
45 type: std::string
47 type: int
49 type: enum
52 type: enum
[all …]
|
| /arkcompiler/runtime_core/verification/models/typesystem/ |
| D | ark_typesystem.als | 20 sig Type {}
30 type: one Type
35 p1.@type != p2.@type
52 subtyping: Type -> Type
63 // constraints for type universe
64 pred is_correct [universe: Sort -> Params -> Type] {
65 // one type per one pair sort->params
66 all t: Type | one universe.t
67 all disj t1,t2: Type | universe.t1 != universe.t2
68 all t: Type | one universe.sort[t]
[all …]
|
| /arkcompiler/runtime_core/runtime/ |
| D | options.yaml | 20 type: arg_list_t
27 type: arg_list_t
33 type: arg_list_t
42 type: arg_list_t
50 - name: runtime-type
51 type: std::string
55 description: Runtime type
58 type: arg_list_t
63 description: Load specified class and intrinsic spaces and define runtime type
67 type: bool
[all …]
|
| /arkcompiler/ets_frontend/es2panda/typescript/core/ |
| D | object.cpp | 43 void Checker::CheckIndexConstraints(Type *type) in CheckIndexConstraints() argument
45 if (!type->IsObjectType()) { in CheckIndexConstraints()
49 ObjectType *objType = type->AsObjectType(); in CheckIndexConstraints()
59 Type *propType = GetTypeOfVariable(it); in CheckIndexConstraints()
61 {"Property '", it->Name(), "' of type '", propType, in CheckIndexConstraints()
62 … "' is not assignable to numeric index type '", numberInfo->GetType(), "'."}, in CheckIndexConstraints()
70 Type *propType = GetTypeOfVariable(it); in CheckIndexConstraints()
72 {"Property '", it->Name(), "' of type '", propType, in CheckIndexConstraints()
73 … "' is not assignable to string index type '", stringInfo->GetType(), "'."}, in CheckIndexConstraints()
78 ThrowTypeError({"Number index info type ", numberInfo->GetType(), in CheckIndexConstraints()
[all …]
|
| /arkcompiler/runtime_core/disassembler/templates/ |
| D | type_to_pandasm_type.cpp.erb | 20 pandasm::Type Disassembler::PFTypeToPandasmType(const panda_file::Type& type, panda_file::ProtoData…
22 pandasm::Type pandasm_type;
24 switch (type.GetId()) {
25 % PandaFile::types.each do |type|
26 case panda_file::Type::TypeId::<%= type.name.upcase %>:
27 % if (type.name == "reference")
28 …pandasm_type = pandasm::Type::FromDescriptor(StringDataToString(file_->GetStringData(pda.GetRefere…
29 % elsif (type.name == "tagged")
30 pandasm_type = pandasm::Type("any", 0);
32 pandasm_type = pandasm::Type("<%= type.name %>", 0);
[all …]
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | globalTypesHolder.h | 19 #include "type.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();
[all …]
|
| /arkcompiler/runtime_core/compiler/optimizer/templates/ |
| D | ir-dyn-base-types.h.erb | 37 inline AnyBaseType NumericDataTypeToAnyType([[maybe_unused]] panda::compiler::DataType::Type type,
39 …ASSERT(type == panda::compiler::DataType::Type::UINT8 || type == panda::compiler::DataType::Type::…
40 …type == panda::compiler::DataType::Type::UINT16 || type == panda::compiler::DataType::Type::INT16 …
41 …type == panda::compiler::DataType::Type::UINT32 || type == panda::compiler::DataType::Type::INT32 …
42 …type == panda::compiler::DataType::Type::UINT64 || type == panda::compiler::DataType::Type::INT64 …
43 …type == panda::compiler::DataType::Type::FLOAT32 || type == panda::compiler::DataType::Type::FLOAT…
44 switch (type) {
45 case panda::compiler::DataType::Type::INT8:
46 case panda::compiler::DataType::Type::UINT8:
47 case panda::compiler::DataType::Type::INT16:
[all …]
|
| /arkcompiler/ets_frontend/es2panda/test/parser/ts/ |
| D | test-type-annotation-expected.txt | 2 "type": "Program",
5 "type": "VariableDeclaration",
8 "type": "VariableDeclarator",
10 "type": "Identifier",
13 "type": "TSNumberKeyword",
63 "type": "VariableDeclaration",
66 "type": "VariableDeclarator",
68 "type": "Identifier",
71 "type": "TSStringKeyword",
121 "type": "VariableDeclaration",
[all …]
|
| D | test_generic-expected.txt | 2 "type": "Program",
5 "type": "FunctionDeclaration",
7 "type": "ScriptFunction",
9 "type": "Identifier",
28 "type": "Identifier",
31 "type": "TSTypeReference",
33 "type": "Identifier",
34 "name": "Type",
72 "type": "TSTypeReference",
74 "type": "Identifier",
[all …]
|
| D | test-intersection-expected.txt | 2 "type": "Program",
5 "type": "TSTypeAliasDeclaration",
7 "type": "Identifier",
22 "type": "TSStringKeyword",
46 "type": "EmptyStatement",
59 "type": "TSTypeAliasDeclaration",
61 "type": "Identifier",
76 "type": "TSStringKeyword",
100 "type": "EmptyStatement",
113 "type": "TSTypeAliasDeclaration",
[all …]
|
| /arkcompiler/ets_frontend/es2panda/test/parser/ts/type_checker/ |
| D | arrayDestructuring-expected.txt | 2 "type": "Program",
5 "type": "VariableDeclaration",
8 "type": "VariableDeclarator",
10 "type": "ArrayPattern",
13 "type": "Identifier",
28 "type": "Identifier",
55 "type": "ArrayExpression",
58 "type": "NumberLiteral",
72 "type": "StringLiteral",
86 "type": "BooleanLiteral",
[all …]
|
| D | functionCall-expected.txt | 2 "type": "Program",
5 "type": "FunctionDeclaration",
7 "type": "ScriptFunction",
9 "type": "Identifier",
28 "type": "Identifier",
31 "type": "TSNumberKeyword",
57 "type": "TSVoidKeyword",
70 "type": "BlockStatement",
106 "type": "ExpressionStatement",
108 "type": "CallExpression",
[all …]
|
| D | tupleAssignability-expected.txt | 2 "type": "Program",
5 "type": "VariableDeclaration",
8 "type": "VariableDeclarator",
10 "type": "Identifier",
13 "type": "TSTupleType",
39 "type": "ArrayExpression",
77 "type": "VariableDeclaration",
80 "type": "VariableDeclarator",
82 "type": "Identifier",
85 "type": "TSTupleType",
[all …]
|
| D | varRedeclaration-expected.txt | 2 "type": "Program",
5 "type": "VariableDeclaration",
8 "type": "VariableDeclarator",
10 "type": "Identifier",
13 "type": "TSAnyKeyword",
63 "type": "VariableDeclaration",
66 "type": "VariableDeclarator",
68 "type": "Identifier",
71 "type": "TSAnyKeyword",
121 "type": "VariableDeclaration",
[all …]
|