| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | types_n_values.md | 1 # Types chapter
3 Types are divided into next kinds:
5 1. Semantic (abstract) types. They used only for values classification without taking into consider…
7 2. Storage types
8 3. Physycal (concrete) types. They are parameterized types by abstract and storage types.
12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters.
19 It defines subtyping relation of types in parameters in subtyping relation of parameterized
20 types.
26 - Types are denoted by sort literal and parameters in parenthesis. For instance: `Array(~i8())`.
27 - Type parameters are just types prepended by variance sign, `-` - contrvariant, `+` - variant, `~`…
[all …]
|
| D | type_system.md | 5 For simplicity, all literals without parens are Sorts, with parens - Types.
7 ### Special types
9 - Bot() - subtype of all types, subtyping relation is made implicitly upon type creation.
10 - Top() - supertype of all types, subtyping rel is created implicitly.
18 ## Types section
40 Types:
57 After defining base types and initial subtyping realtion, a closure of subtyping relation is comput…
|
| /arkcompiler/runtime_core/compiler/optimizer/templates/ |
| D | instructions.rb | 21 module Types module
61 attr_accessor :tokens, :types accessor in Operand
64 …l` type into the `int`, because IR uses same constant instructions for bool and integer types, i.e.
73 Tokens::Types::INT8 => "DataType::INT8",
74 Tokens::Types::INT16 => "DataType::INT16",
75 Tokens::Types::INT32 => "DataType::INT32",
76 Tokens::Types::INT64 => "DataType::INT64",
77 Tokens::Types::UINT8 => "DataType::UINT8",
78 Tokens::Types::UINT16 => "DataType::UINT16",
79 Tokens::Types::UINT32 => "DataType::UINT32",
[all …]
|
| /arkcompiler/ets_frontend/testTs/instype/ |
| D | recordthis-expected.txt | 1 Handle types for function: #1#A
3 Handle types for function: getName
5 Handle types for function: getId
7 Handle types for function: setName
9 Handle types for function: setId
11 Handle types for function: dump
13 Handle types for function: stest
15 Handle types for function: test
17 Handle types for function: testwiththis
19 Handle types for function: add
[all …]
|
| D | recordimport-expected.txt | 1 Handle types for function: hello
3 Handle types for function: #1#Calculator
5 Handle types for function: add
7 Handle types for function: minus
9 Handle types for function: func_main_0
11 Handle types for function: func_main_0
|
| D | recordexport-expected.txt | 1 Handle types for function: hello
3 Handle types for function: #1#Calculator
5 Handle types for function: add
7 Handle types for function: minus
9 Handle types for function: func_main_0
|
| /arkcompiler/ets_frontend/es2panda/ |
| D | CMakeLists.txt | 257 typescript/types/anyType.cpp
258 typescript/types/arrayType.cpp
259 typescript/types/bigintLiteralType.cpp
260 typescript/types/bigintType.cpp
261 typescript/types/booleanLiteralType.cpp
262 typescript/types/booleanType.cpp
263 typescript/types/constructorType.cpp
264 typescript/types/enumLiteralType.cpp
265 typescript/types/enumType.cpp
266 typescript/types/functionType.cpp
[all …]
|
| D | BUILD.gn | 213 "typescript/types/anyType.cpp",
214 "typescript/types/arrayType.cpp",
215 "typescript/types/bigintLiteralType.cpp",
216 "typescript/types/bigintType.cpp",
217 "typescript/types/booleanLiteralType.cpp",
218 "typescript/types/booleanType.cpp",
219 "typescript/types/constructorType.cpp",
220 "typescript/types/enumLiteralType.cpp",
221 "typescript/types/enumType.cpp",
222 "typescript/types/functionType.cpp",
[all …]
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | abs_int_inl.h | 180 : U1 {verif_ctx.Types().U1()}, in AbsIntInstructionHandler()
181 I8 {verif_ctx.Types().I8()},
182 U8 {verif_ctx.Types().U8()},
183 I16 {verif_ctx.Types().I16()},
184 U16 {verif_ctx.Types().U16()},
185 I32 {verif_ctx.Types().I32()},
186 U32 {verif_ctx.Types().U32()},
187 I64 {verif_ctx.Types().I64()},
188 U64 {verif_ctx.Types().U64()},
189 F32 {verif_ctx.Types().F32()},
[all …]
|
| D | abs_int_inl.cpp | 41 return Types().ImageOf(type); in ImageOf()
49 PandaString AbsIntInstructionHandler::ImageOf(const TypeSet &types) in ImageOf() argument
51 return types.Image([this](const Type &type) { return ImageOf(type); }); in ImageOf()
54 PandaVector<Type> AbsIntInstructionHandler::SubtypesOf(const PandaVector<Type> &types) in SubtypesOf() argument
57 for (const auto &type : types) { in SubtypesOf()
66 PandaVector<Type> AbsIntInstructionHandler::SubtypesOf(std::initializer_list<Type> types) in SubtypesOf() argument
69 for (const auto &type : types) { in SubtypesOf()
78 PandaVector<Type> AbsIntInstructionHandler::SupertypesOf(const PandaVector<Type> &types) in SupertypesOf() argument
81 for (const auto &type : types) { in SupertypesOf()
90 PandaVector<Type> AbsIntInstructionHandler::SupertypesOf(std::initializer_list<Type> types) in SupertypesOf() argument
[all …]
|
| /arkcompiler/ets_frontend/testTs/ |
| D | skip_tests.json | 103 "./testTs/test/types/import/importTypeLocalMissing.ts",
104 "./testTs/test/types/import/importTypeNestedNoRef.ts",
105 "./testTs/test/types/import/importTypeGeneric.ts",
106 "./testTs/test/types/import/importTypeNonString.ts",
107 "./testTs/test/types/import/importTypeAmbientMissing.ts",
108 "./testTs/test/types/import/importTypeNested.ts",
109 "./testTs/test/types/never/neverTypeErrors2.ts",
110 "./testTs/test/types/never/neverTypeErrors1.ts",
111 "./testTs/test/types/never/neverIntersectionNotCallable.ts",
112 "./testTs/test/types/objectTypeLiteral/objectTypeLiteralSyntax2.ts",
[all …]
|
| D | test-case.patch | 342 .../types/any/anyAsGenericFunctionCall.ts | 4 +-
343 .../types/any/assignAnyToEveryType.ts | 4 +-
344 .../types/any/assignEveryTypeToAny.ts | 4 +-
345 .../conformance/types/conditional/variance.ts | 2 +
347 .../types/import/importTypeAmbient.ts | 5 +-
348 .../types/import/importTypeGenericTypes.ts | 5 +-
349 .../types/import/importTypeLocal.ts | 5 +
351 .../types/keyof/keyofAndIndexedAccess.ts | 20 +
352 .../types/literal/literalTypes2.ts | 3 +
353 .../types/localTypes/localTypes2.ts | 3 +
[all …]
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | globalTypesHolder.cpp | 18 #include <typescript/types/numberType.h>
19 #include <typescript/types/anyType.h>
20 #include <typescript/types/stringType.h>
21 #include <typescript/types/symbolType.h>
22 #include <typescript/types/booleanType.h>
23 #include <typescript/types/voidType.h>
24 #include <typescript/types/nullType.h>
25 #include <typescript/types/undefinedType.h>
26 #include <typescript/types/unknownType.h>
27 #include <typescript/types/neverType.h>
[all …]
|
| /arkcompiler/runtime_core/verification/jobs/ |
| D | job.cpp | 23 bool Job::UpdateTypes(PandaTypes &types) const in UpdateTypes()
27 bool is_valid = types.TypeOf(klass).IsValid(); in UpdateTypes()
34 …ForAllCachedMethods([&types](const LibCache::CachedMethod &method) { types.NormalizedMethodSignatu… in UpdateTypes()
41 bool Job::Verify(PandaTypes &types) const in Verify()
43 auto verif_context = PrepareVerificationContext(types, *this); in Verify()
48 bool Job::DoChecks(LibCache &cache, PandaTypes &types) in DoChecks() argument
71 if (!UpdateTypes(types)) { in DoChecks()
72 LOG(WARNING, VERIFIER) << "Cannot update types from cached classes for method " in DoChecks()
79 if (!Verify(types)) { in DoChecks()
|
| /arkcompiler/runtime_core/runtime/templates/ |
| D | shorty_values.h.erb | 21 % PandaFile::types.each do |type|
26 % first_nonvoid = PandaFile::types.select {|type| type.name != "void"}.first.code
27 % first_32 = PandaFile::types.select {|type| type.width && type.width == 32}.first.code
28 % last_int32 = PandaFile::types.select {|type| type.width && type.width == 32 && type.properties.in…
29 % first_64 = PandaFile::types.select {|type| (type.width && type.width == 64)}.first.code
30 % first_float = PandaFile::types.select {|type| type.properties.include?("float") }.first.code
31 % num_32_and_larger = PandaFile::types.select {|type| type.width && type.width >= 32 || type.name =…
32 % num_float_types = PandaFile::types.select {|type| type.properties.include?("float") }.length
33 % num_64bit_types = PandaFile::types.select {|type| (type.width && type.width == 64)}.length
|
| /arkcompiler/ets_frontend/legacy_bin/api8/ |
| D | package.json | 6 "types": "types/index.d.ts", string
19 "@types/chai": "^4.2.12",
20 "@types/mocha": "^8.0.2",
22 "@types/node": "10.5.5",
39 "@types/command-line-args": "^5.0.0",
40 "@types/command-line-usage": "^5.0.1",
|
| /arkcompiler/ets_frontend/ts2panda/ |
| D | package.json | 6 "types": "types/index.d.ts", string
19 "@types/chai": "^4.2.12",
20 "@types/mocha": "^8.0.2",
22 "@types/node": "10.5.5",
39 "@types/command-line-args": "^5.0.0",
40 "@types/command-line-usage": "^5.0.1",
|
| /arkcompiler/runtime_core/verification/cache/ |
| D | file_entity_cache.h | 36 template <typename... Types>
38 static_assert(sizeof...(Types) > 1, "Type was not found in list");
42 template <typename T, typename... Types>
43 constexpr TypeIndexT TypeIndex<T, T, Types...> = 0;
45 template <typename T, typename U, typename... Types>
46 constexpr TypeIndexT TypeIndex<T, U, Types...> = []() {
47 constexpr TypeIndexT result = 1 + TypeIndex<T, Types...>;
|
| /arkcompiler/runtime_core/verification/gen/templates/ |
| D | lang_specifics.h.erb | 42 inline TypeRelationship GetRelationship(const Job &job, PandaTypes &types,
48 … TypeRelationship relationship = GetRelationship(types.TypeOf(class1), types.TypeOf(class2));
82 [[maybe_unused]] PandaTypes &types) {
85 …auto relation = GetRelationship(currentJob, types, currentJob.JobCachedMethod().klass, field->klas…
95 [[maybe_unused]] PandaTypes &types) {
98 …auto relation = GetRelationship(currentJob, types, currentJob.JobCachedMethod().klass, method->kla…
108 [[maybe_unused]] PandaTypes &types) {
111 …auto relation = GetRelationship(currentJob, types, currentJob.JobCachedMethod().klass, *cached_cla…
|
| /arkcompiler/runtime_core/irtoc/lang/ |
| D | instructions_data.rb | 20 @@types = {}
34 yaml_data['types'].each do |type|
35 @@types[type["name"]] = type
40 def self.types; @@types; end singletonMethod in InstructionsData
|
| /arkcompiler/ets_runtime/ecmascript/ts_types/ |
| D | ts_type_parser.h | 22 /* TSTypeParser parses types recorded in abc files into TSTypes. VM uses TSTypeTables to
23 * store TSTypes. Each TSTypeTable is used to store all types from the same record.
24 * Since VM can only record types in GlobalTSTypeRef::MAX_MODULE_ID records and
25 * can only record GlobalTSTypeRef::MAX_LOCAL_ID types in one record, all types outside
27 * In addition to this, in the following case, types will not be parsed and will be treated as any.
28 * 1. Import types with module request that does not point to one abc file
29 * 2. Import types with module request that point to one abc file which is generated by JS
30 * 3. Types with kind that are not supported temporarily
|
| /arkcompiler/runtime_core/bytecode_optimizer/ |
| D | bytecode_optimizer_isapi.rb | 82 Case = Struct.new(:types, :node) do
84 res = types.map { |type| "case #{type}:" }.join("\n")
155 def prefixed_case(prefix, types, node) argument
156 types = types.map { |t| "#{prefix}#{t}" }
157 Case.new(types, node)
160 def case_(types, opcode, *args) argument
161 prefixed_case("compiler::DataType::", types, plain(opcode, *args))
164 def cc_case(types, opcode, *args) argument
165 prefixed_case("compiler::CC_", types, plain(opcode, *args))
168 def case_switch(types, condition, inner_cases) argument
[all …]
|
| /arkcompiler/runtime_core/docs/ |
| D | assembly_format.md | 60 …r naming metadata annotations, primitive data types, aggregate data types, members of aggregate da…
66 Prefixed identifiers can be used for naming metadata annotations, aggregate data types and function…
195 ## Data Types
197 Semantics of operations on all data types defined below follows the semantics defined in [Bytecode …
199 ### Primitive Data Types argument
201 Following primitive types are supported:
218 All identifiers that are used for naming primitive data types cannot be used for any other purpose.
220 ### Reference Data Types argument
222 Following reference types are supported:
227 | `dref` | data reference, represents references to aggregate data types (see below) |
[all …]
|
| /arkcompiler/ets_frontend/es2panda/test/parser/ts/ |
| D | test-intersection-expected.txt | 347 "types": [
352 "types": [
383 "types": [
451 "types": [
454 "types": [
601 "types": [
604 "types": [
637 "types": [
731 "types": [
764 "types": [
[all …]
|
| /arkcompiler/runtime_core/compiler/optimizer/ |
| D | pass_manager.h | 43 template <typename... Types>
47 using TupleType = std::tuple<std::decay_t<Types>...>;
52 return std::disjunction_v<std::is_same<T, Types>...>; in HasType()
59 vec.reserve(sizeof...(Types)); in Instantiate()
60 ((vec.push_back(allocator->New<Types>((std::forward<Args>(args))...))), ...); in Instantiate()
73 …static constexpr IdentifierType ID = GetIndex<std::decay_t<Type>>(std::index_sequence_for<Types...…
74 static constexpr size_t SIZE = sizeof...(Types);
|