Home
last modified time | relevance | path

Searched refs:types (Results 1 - 25 of 151) sorted by relevance

1234567

/arkcompiler/runtime_core/static_core/plugins/ets/verification/
H A Dets_plugin.cpp43 void EtsPlugin::TypeSystemSetup(TypeSystem *types) const in TypeSystemSetup()
45 types->SetSupertypeOfArray(types->Object()); in TypeSystemSetup()
48 Type EtsPlugin::NormalizeType(Type type, TypeSystem *types) const in NormalizeType()
54 Type result = IsSubtype(type, integral32, types) ? integral32 in NormalizeType()
55 : IsSubtype(type, integral64, types) ? integral64 in NormalizeType()
56 : IsSubtype(type, float32, types) ? float32 in NormalizeType()
57 : IsSubtype(type, float64, types) ? float64 in NormalizeType()
H A Dets_plugin.h28 void TypeSystemSetup(TypeSystem *types) const override;
32 [[maybe_unused]] TypeSystem *types) const override
39 [[maybe_unused]] TypeSystem *types) const override
46 [[maybe_unused]] TypeSystem *types) const override
51 Type NormalizeType(Type type, TypeSystem *types) const override;
/arkcompiler/runtime_core/static_core/verification/
H A Ddefault_plugin.cpp35 void DefaultPlugin::TypeSystemSetup(TypeSystem *types) const in TypeSystemSetup()
37 types->SetSupertypeOfArray(types->Object()); in TypeSystemSetup()
40 Type DefaultPlugin::NormalizeType(Type type, TypeSystem *types) const in NormalizeType()
47 if (IsSubtype(type, integral32, types)) { in NormalizeType()
49 } else if (IsSubtype(type, integral64, types)) { in NormalizeType()
51 } else if (IsSubtype(type, float32, types)) { in NormalizeType()
53 } else if (IsSubtype(type, float64, types)) { in NormalizeType()
H A Ddefault_plugin.h28 void TypeSystemSetup(TypeSystem *types) const override;
32 [[maybe_unused]] TypeSystem *types) const override
39 [[maybe_unused]] TypeSystem *types) const override
46 [[maybe_unused]] TypeSystem *types) const override
56 Type NormalizeType(Type type, TypeSystem *types) const override;
H A Dplugins.h28 virtual void TypeSystemSetup(TypeSystem *types) const = 0;
31 TypeSystem *types) const = 0;
34 TypeSystem *types) const = 0;
37 TypeSystem *types) const = 0;
39 virtual Type NormalizeType(Type type, TypeSystem *types) const = 0;
/arkcompiler/runtime_core/static_core/verification/jobs/
H A Djob.cpp25 bool Job::UpdateTypes(TypeSystem *types) const in UpdateTypes()
31 types->MentionClass(klass); in UpdateTypes()
39 ForAllCachedMethods([&](Method const *method) { types->GetMethodSignature(method); }); in UpdateTypes()
50 bool Job::Verify(TypeSystem *types) const in Verify()
52 auto verifContext = PrepareVerificationContext(types, this); in Verify()
57 bool Job::DoChecks(TypeSystem *types) in DoChecks() argument
80 if (!UpdateTypes(types)) { in DoChecks()
81 LOG(WARNING, VERIFIER) << "Cannot update types from cached classes for method " in DoChecks()
88 if (!Verify(types)) { in DoChecks()
94 // Clean up temporary types in DoChecks()
[all...]
/arkcompiler/ets_frontend/es2panda/typescript/types/
H A DglobalTypesHolder.cpp18 #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/neverTyp
[all...]
H A Dtype.cpp18 #include <typescript/types/typeFlag.h>
19 #include <typescript/types/typeFacts.h>
20 #include <typescript/types/typeRelation.h>
/arkcompiler/runtime_core/bytecode_optimizer/
H A Dbytecode_optimizer_isapi.rb82 Case = Struct.new(:types, :node) do
84 res = types.map { |type| "case #{type}:" }.join("\n")
155 def prefixed_case(prefix, types, node)
156 types = types.map { |t| "#{prefix}#{t}" }
157 Case.new(types, node)
160 def case_(types, opcode, *args)
161 prefixed_case("compiler::DataType::", types, plain(opcode, *args))
164 def cc_case(types, opcode, *args)
165 prefixed_case("compiler::CC_", types, plai
[all...]
/arkcompiler/runtime_core/static_core/irtoc/lang/
H A Dinstructions_data.rb20 @@types = {}
34 yaml_data['types'].each do |type|
35 @@types[type["name"]] = type
40 def self.types; @@types; end singleton method in InstructionsData
/arkcompiler/ets_frontend/ets2panda/ir/ets/
H A DetsUnionType.cpp43 dumper->Add({{"type", "ETSUnionType"}, {"types", types_}}); in Dump()
88 ArenaVector<checker::Type *> types(checker->Allocator()->Adapter()); in GetType()
91 types.push_back(it->GetType(checker)); in GetType()
95 if (!CheckConstituentTypesValid(types)) { in GetType()
98 SetTsType(checker->CreateETSUnionType(std::move(types))); in GetType()
106 ArenaVector<ir::TypeNode *> types(allocator->Adapter()); in Clone()
109 types.push_back(type); in Clone()
111 ETSUnionType *const clone = allocator->New<ir::ETSUnionType>(std::move(types)); in Clone()
/arkcompiler/ets_frontend/ets2panda/checker/types/ets/
H A DetsUnionType.cpp20 #include "checker/types/globalTypesHolder.h"
265 void ETSUnionType::LinearizeAndEraseIdentical(TypeRelation *relation, ArenaVector<Type *> &types)
270 size_t const initialSz = types.size();
272 auto *ct = types[i];
279 types.insert(types.end(), otherTypes.begin(), otherTypes.end());
280 types[i] = nullptr;
282 types[i] = nullptr;
286 for (size_t i = 0; i < types.size(); ++i) {
287 auto *const ct = types[
[all...]
H A DetsUnionType.h19 #include "checker/types/type.h"
20 #include "checker/types/ets/etsObjectType.h"
60 static void NormalizeTypes(TypeRelation *relation, ArenaVector<Type *> &types);
61 static void ReduceSubtypes(TypeRelation *relation, ArenaVector<Type *> &types);
63 static ArenaVector<Type *> GetNonConstantTypes(ETSChecker *checker, const ArenaVector<Type *> &types);
90 static void LinearizeAndEraseIdentical(TypeRelation *relation, ArenaVector<Type *> &types);
/arkcompiler/runtime_core/compiler/optimizer/templates/
H A Dinstructions.rb61 attr_accessor :tokens, :types
64 # We add `bool` type into the `int`, because IR uses same constant instructions for bool and integer types, i.e.
92 @types = []
95 if IR::types.include?(token)
96 @types << token
101 @types += resolved
214 def types method in IR
215 @types ||= @data['types'].map { |x| x.name }
/arkcompiler/runtime_core/static_core/compiler/optimizer/templates/
H A Dinstructions.rb61 attr_accessor :tokens, :types
64 # We add `bool` type into the `int`, because IR uses same constant instructions for bool and integer types, i.e.
92 @types = []
95 if IR::types.include?(token)
96 @types << token
101 @types += resolved
218 def types method in IR
219 @types ||= @data['types'].map { |x| x.name }
/arkcompiler/ets_runtime/ecmascript/intl/
H A Dglobal_intl_helper.h74 const JSHandle<JSTaggedValue> &options, GlobalFormatterType types) in GetGlobalObject()
80 inputOptions = OptionsToMap(thread, options, types); in GetGlobalObject()
88 const JSHandle<JSTaggedValue> &options, GlobalFormatterType types, const bool cache) in GetGlobalObject()
91 switch (types) { in GetGlobalObject()
117 std::unique_ptr<T> tObject = GetGlobalObject<T>(thread, locales, options, types); in GetGlobalObject()
173 const JSHandle<JSTaggedValue> &options, GlobalFormatterType types);
183 std::string> &options, GlobalFormatterType &types);
73 GetGlobalObject(JSThread *thread, const JSHandle<JSTaggedValue> &locales, const JSHandle<JSTaggedValue> &options, GlobalFormatterType types) GetGlobalObject() argument
87 GetGlobalObject(JSThread *thread, const JSHandle<JSTaggedValue> &locales, const JSHandle<JSTaggedValue> &options, GlobalFormatterType types, const bool cache) GetGlobalObject() argument
H A Dglobal_intl_helper.cpp134 const JSHandle<JSTaggedValue> &options, GlobalFormatterType types) in OptionsToMap()
148 auto matterType = types; in OptionsToMap()
149 if (types == GlobalFormatterType::SimpleDateFormatDate || in OptionsToMap()
150 types == GlobalFormatterType::SimpleDateFormatTime) { in OptionsToMap()
170 return OptionsWithDataFormatter(inputOptions, types); in OptionsToMap()
174 std::string> &options, GlobalFormatterType &types) in OptionsWithDataFormatter()
177 if (types == GlobalFormatterType::DateFormatter) { in OptionsWithDataFormatter()
180 if (types == GlobalFormatterType::SimpleDateFormatDate) { in OptionsWithDataFormatter()
183 if (types == GlobalFormatterType::SimpleDateFormatTime) { in OptionsWithDataFormatter()
133 OptionsToMap(JSThread *thread, const JSHandle<JSTaggedValue> &options, GlobalFormatterType types) OptionsToMap() argument
173 OptionsWithDataFormatter(std::map<std::string, std::string> &options, GlobalFormatterType &types) OptionsWithDataFormatter() argument
/arkcompiler/runtime_core/libpandafile/
H A Dtypes.rb22 def types method in PandaFile
23 @data.types.sort_by(&:code)
/arkcompiler/runtime_core/static_core/libpandafile/
H A Dtypes.rb22 def types method in PandaFile
23 @data.types.sort_by(&:code)
/arkcompiler/runtime_core/static_core/bytecode_optimizer/
H A Dbytecode_optimizer_isapi.rb82 Case = Struct.new(:types, :node) do
84 res = types.map { |type| "case #{type}:" }.join("\n")
178 def prefixed_case(prefix, types, node)
179 types = types.map { |t| "#{prefix}#{t}" }
180 Case.new(types, node)
183 def case_(types, opcode, *args)
184 prefixed_case("compiler::DataType::", types, plain(opcode, *args))
187 def cc_case(types, opcode, *args)
188 prefixed_case("compiler::CC_", types, plai
[all...]
/arkcompiler/runtime_core/static_core/compiler/tests/
H A Dlowering_test.cpp83 Graph *BuildGraphMultiplyAddInteger(const std::array<DataType::Type, 4U> &types);
84 Graph *BuildExpectedMultiplyAddInteger(const std::array<DataType::Type, 4U> &types);
85 Graph *BuildGraphMultiplySubInteger(const std::array<DataType::Type, 4U> &types);
86 Graph *BuildExpectedMultiplySubInteger(const std::array<DataType::Type, 4U> &types);
87 Graph *BuildGraphMultiplyNegate(const TypeTriple &types);
88 Graph *BuildExpectedMultiplyNegate(const TypeTriple &types);
90 void TestBitwiseBinaryOpWithInvertedOperand(const TypeTriple &types, OpcodePair ops);
91 Graph *BuildGraphCommutativeBinaryOpWithShiftedOperand(const TypeTriple &types, ShiftOpPair shiftOp,
93 Graph *BuildExpectedCommutativeBinaryOpWithShiftedOperand(const TypeTriple &types, ShiftOpPair shiftOp,
96 Graph *BuildGraphSubWithShiftedOperand(TypeTriple types, ShiftOpPai
1064 BuildGraphMultiplyAddInteger(const std::array<DataType::Type, 4U> &types) BuildGraphMultiplyAddInteger() argument
1097 BuildExpectedMultiplyAddInteger(const std::array<DataType::Type, 4U> &types) BuildExpectedMultiplyAddInteger() argument
1174 BuildGraphMultiplySubInteger(const std::array<DataType::Type, 4U> &types) BuildGraphMultiplySubInteger() argument
1220 BuildExpectedMultiplySubInteger(const std::array<DataType::Type, 4U> &types) BuildExpectedMultiplySubInteger() argument
1354 BuildGraphMultiplyNegate(const TypeTriple &types) BuildGraphMultiplyNegate() argument
1397 BuildExpectedMultiplyNegate(const TypeTriple &types) BuildExpectedMultiplyNegate() argument
1500 TestBitwiseBinaryOpWithInvertedOperand(const TypeTriple &types, OpcodePair ops) TestBitwiseBinaryOpWithInvertedOperand() argument
1613 BuildGraphCommutativeBinaryOpWithShiftedOperand(const TypeTriple &types, ShiftOpPair shiftOp, OpcodePair ops) BuildGraphCommutativeBinaryOpWithShiftedOperand() argument
1649 BuildExpectedCommutativeBinaryOpWithShiftedOperand(const TypeTriple &types, ShiftOpPair shiftOp, OpcodePair ops) BuildExpectedCommutativeBinaryOpWithShiftedOperand() argument
1768 BuildGraphSubWithShiftedOperand(TypeTriple types, ShiftOpPair shiftOp) BuildGraphSubWithShiftedOperand() argument
1803 TestSubWithShiftedOperand(TypeTriple types, ShiftOpPair shiftOp) TestSubWithShiftedOperand() argument
1905 TestNonCommutativeBinaryOpWithShiftedOperand(const TypeTriple &types, const ShiftOpPair &shiftOp, OpcodePair ops) TestNonCommutativeBinaryOpWithShiftedOperand() argument
2041 TestBitwiseInstructionsWithInvertedShiftedOperand(const TypeTriple &types, ShiftOp shiftOp, OpcodePair ops) TestBitwiseInstructionsWithInvertedShiftedOperand() argument
2149 SRC_GRAPH(NegWithShiftedOperand, Graph *graph, ShiftOp shiftOp, std::pair<DataType::Type, DataType::Type> types) SRC_GRAPH() argument
2166 OUT_GRAPH(NegWithShiftedOperand, Graph *graph, ShiftOp shiftOp, std::pair<DataType::Type, DataType::Type> types) OUT_GRAPH() argument
[all...]
/arkcompiler/ets_frontend/ets2panda/ir/ts/
H A DtsUnionType.cpp44 dumper->Add({{"type", "TSUnionType"}, {"types", types_}}); in Dump()
78 ArenaVector<checker::Type *> types(checker->Allocator()->Adapter()); in GetType()
81 types.push_back(it->GetType(checker)); in GetType()
84 SetTsType(checker->CreateUnionType(std::move(types))); in GetType()
/arkcompiler/ets_frontend/es2panda/ir/ts/
H A DtsUnionType.cpp32 dumper->Add({{"type", "TSUnionType"}, {"types", types_}}); in Dump()
54 ArenaVector<checker::Type *> types(checker->Allocator()->Adapter()); in GetType()
57 types.push_back(it->AsTypeNode()->GetType(checker)); in GetType()
60 checker::Type *type = checker->CreateUnionType(std::move(types)); in GetType()
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/
H A DinterfacePropertyDeclarations.cpp19 #include "checker/types/type.h"
51 ArenaVector<ir::TypeNode *> types(field->AsETSUnionType()->Types(), checker->Allocator()->Adapter()); in TransformOptionalFieldTypeAnnotation()
52 types.push_back(checker->AllocNode<ir::ETSUndefinedType>()); in TransformOptionalFieldTypeAnnotation()
53 auto *const unionType = checker->AllocNode<ir::ETSUnionType>(std::move(types)); in TransformOptionalFieldTypeAnnotation()
57 ArenaVector<ir::TypeNode *> types(checker->Allocator()->Adapter()); in TransformOptionalFieldTypeAnnotation()
58 types.push_back(field->TypeAnnotation()); in TransformOptionalFieldTypeAnnotation()
59 types.push_back(checker->AllocNode<ir::ETSUndefinedType>()); in TransformOptionalFieldTypeAnnotation()
60 auto *const unionType = checker->AllocNode<ir::ETSUnionType>(std::move(types)); in TransformOptionalFieldTypeAnnotation()
/arkcompiler/ets_frontend/ets2panda/ir/statements/
H A DforOfStatement.cpp28 ArenaVector<checker::Type *> types(checker->Allocator()->Adapter()); in CreateUnionIteratorTypes()
32 types.push_back(checker->GetGlobalTypesHolder()->GlobalCharType()); in CreateUnionIteratorTypes()
34 types.push_back(this->CheckIteratorMethodForObject(checker, it->AsETSObjectType())); in CreateUnionIteratorTypes()
36 types.push_back(it->AsETSArrayType()->ElementType()->Instantiate(checker->Allocator(), checker->Relation(), in CreateUnionIteratorTypes()
38 types.back()->RemoveTypeFlag(checker::TypeFlag::CONSTANT); in CreateUnionIteratorTypes()
44 return checker->CreateETSUnionType(std::move(types)); in CreateUnionIteratorTypes()

Completed in 11 milliseconds

1234567