| /arkcompiler/runtime_core/static_core/runtime/entrypoints/ |
| D | entrypoints.yaml | 21 # * signature: signature of the entrypoint, the first element is the return value, the rest are ar…
29 signature:
37 signature:
45 signature:
54 signature:
63 signature:
72 signature:
81 signature:
90 signature:
99 signature:
[all …]
|
| D | entrypoints_gen.h.erb | 49 extern <%= prefix %> <%= entrypoint.signature[0] %> <%= entrypoint.bridge_name %>(<%= entrypoint.si…
56 static constexpr <%= entrypoint.signature[0] %> (*<%= entrypoint.entrypoint %>)(<%= entrypoint.sign…
59 extern <%= prefix %> <%= entrypoint.signature[0] %> <%= entrypoint.entrypoint %>(<%= entrypoint.sig…
63 extern <%= prefix %> <%= entrypoint.signature[0] %> <%= entrypoint.entrypoint %>(<%= entrypoint.sig…
88 …<%= entrypoint.signature[0] %> (*p<%= entrypoint.name %>)(<%= entrypoint.signature[1..-1].join(', …
|
| /arkcompiler/ets_runtime/ecmascript/compiler/baseline/ |
| D | baseline_call_signature.cpp | 21 CallSignature signature(name, 0, 4, \
23 *callSign = signature; \
32 CallSignature signature(name, 0, 3, \
34 *callSign = signature; \
44 CallSignature signature("BaselineTryLdGLobalByNameImm8ID16", 0, 4, in DEF_CALL_SIGNATURE() local
46 *callSign = signature; in DEF_CALL_SIGNATURE()
60 CallSignature signature("BaselineStToGlobalRecordImm16ID16", 0, 4, in DEF_CALL_SIGNATURE() local
62 *callSign = signature; in DEF_CALL_SIGNATURE()
76 CallSignature signature("BaselineLdaStrID16", 0, 3, in DEF_CALL_SIGNATURE() local
78 *callSign = signature; in DEF_CALL_SIGNATURE()
[all …]
|
| /arkcompiler/runtime_core/static_core/runtime/ |
| D | runtime.yaml | 33 # The `signature` for instance intrinsics (`static` is false) doesn't include
41 signature:
53 signature:
65 signature:
77 signature:
89 signature:
100 signature:
111 signature:
122 signature:
133 signature:
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/ |
| D | ets_libbase_runtime.yaml | 68 signature:
80 signature:
92 signature:
104 signature:
116 signature:
127 signature:
138 signature:
149 signature:
160 signature:
171 signature:
[all …]
|
| D | ets_entrypoints.yaml | 21 # * signature: signature of the entrypoint, the first element is the return value, the rest are ar…
28 signature:
38 signature:
49 signature:
61 signature:
73 signature:
85 signature:
97 signature:
109 signature:
121 signature:
[all …]
|
| D | ets_compiler_intrinsics.yaml | 29 signature:
40 signature:
51 signature:
62 signature:
73 signature:
84 signature:
95 signature:
106 signature:
117 signature:
128 signature:
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsFunctionType.h | 20 #include "checker/types/signature.h"
27 …explicit ETSFunctionType(ETSChecker *checker, util::StringView name, ArenaVector<Signature *> &&si…
29 explicit ETSFunctionType(util::StringView name, Signature *signature, ArenaAllocator *allocator) in ETSFunctionType() argument
32 callSignatures_.push_back(signature); in ETSFunctionType()
39 ArenaVector<Signature *> &CallSignatures() in CallSignatures()
44 const ArenaVector<Signature *> &CallSignatures() const in CallSignatures()
59 void AddCallSignature(Signature *signature) in AddCallSignature() argument
61 if (signature->Function()->IsGetter()) { in AddCallSignature()
63 } else if (signature->Function()->IsSetter()) { in AddCallSignature()
66 callSignatures_.push_back(signature); in AddCallSignature()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/ir/ |
| D | instructions.yaml | 18 signature
19 Describes signature of the instruction. Properties of the operands are separated by '-' symbol.
56 signature: [d-number, number]
64 signature: [d-number, number]
72 signature: [d-float, float]
80 signature: [d-int-bool, int-bool]
88 signature: [d-number-ptr, number-ptr, number-ptr]
96 signature: [d-number-ptr, number-ptr, number-ptr]
104 signature: [d-number, number, number]
112 signature: [d-int, int, int, save_state]
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/interop_js/intrinsics/ |
| D | std_js_jsruntime.yaml | 40 signature:
51 signature:
63 signature:
75 signature:
87 signature:
98 signature:
110 signature:
122 signature:
134 signature:
145 signature:
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/types/ |
| D | ets_method_signature.h | 29 explicit EtsMethodSignature(const PandaString &signature) in EtsMethodSignature() argument
31 size_t dots = signature.find(':'); in EtsMethodSignature()
33 if (dots == PandaString::npos || dots == signature.size() - 1) { in EtsMethodSignature()
37 if (ProcessParameter(signature, dots + 1) != signature.size() - 1) { in EtsMethodSignature()
43 i = ProcessParameter(signature, i); in EtsMethodSignature()
54 size_t ProcessParameter(const PandaString &signature, size_t i) in ProcessParameter() argument
56 EtsType paramType = GetTypeByFirstChar(signature[i]); in ProcessParameter()
58 …if (paramType == EtsType::UNKNOWN || (paramType == EtsType::VOID && (i != signature.size() - 1))) { in ProcessParameter()
67 i = ProcessObjectParameter(signature, i); in ProcessParameter()
71 paramTypes_.push_back(signature.substr(nameStart, i + 1 - nameStart)); in ProcessParameter()
[all …]
|
| /arkcompiler/runtime_core/static_core/irtoc/ |
| D | intrinsics.yaml | 29 signature:
44 signature:
59 signature:
74 signature:
90 signature:
106 signature:
121 signature:
136 signature:
151 signature:
166 signature:
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | function_helpers.h | 71 static void InferUntilFail(Signature const *const signature, const ArenaVector<ir::Expression *> &a… in InferUntilFail() argument
74 auto *sigInfo = signature->GetSignatureInfo(); in InferUntilFail()
75 auto &sigParams = signature->GetSignatureInfo()->typeParams; in InferUntilFail()
98 auto *const paramType = (ix < signature->MinArgCount()) ? sigInfo->params[ix]->TsType() in InferUntilFail()
117 …onst Substitution *BuildImplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature, in BuildImplicitSubstitutionForArguments() argument
121 auto *sigInfo = signature->GetSignatureInfo(); in BuildImplicitSubstitutionForArguments()
122 auto &sigParams = signature->GetSignatureInfo()->typeParams; in BuildImplicitSubstitutionForArguments()
124 InferUntilFail(signature, arguments, checker, substitution); in BuildImplicitSubstitutionForArguments()
142 (signature->Function()->ReturnTypeAnnotation() == nullptr || in BuildImplicitSubstitutionForArguments()
144 … signature->Function()->ReturnTypeAnnotation()->TsType(), in BuildImplicitSubstitutionForArguments()
[all …]
|
| D | function.cpp | 95 …// Check if the type parameter is in the signature, and the type argument is not already in the re… in InsertTypeIntoSubstitution()
297 Signature *ETSChecker::ValidateParameterlessConstructor(Signature *signature, const lexer::SourcePo… in ValidateParameterlessConstructor() argument
300 std::size_t const parameterCount = signature->MinArgCount(); in ValidateParameterlessConstructor()
309 return signature; in ValidateParameterlessConstructor()
312 bool ETSChecker::CheckOptionalLambdaFunction(ir::Expression *argument, Signature *substitutedSig, s… in CheckOptionalLambdaFunction()
335 bool ETSChecker::ValidateSignatureRequiredParams(Signature *substitutedSig, in ValidateSignatureRequiredParams()
399 bool ETSChecker::CheckInvokable(Signature *substitutedSig, ir::Expression *argument, std::size_t in… in CheckInvokable()
421 bool ETSChecker::ValidateSignatureInvocationContext(Signature *substitutedSig, ir::Expression *argu… in ValidateSignatureInvocationContext()
437 bool ETSChecker::ValidateSignatureRestParams(Signature *substitutedSig, const ArenaVector<ir::Expre… in ValidateSignatureRestParams()
553 Signature *ETSChecker::ValidateSignature( in ValidateSignature()
[all …]
|
| /arkcompiler/runtime_core/compiler/ |
| D | intrinsics.yaml | 22 signature:
42 signature:
62 signature:
82 signature:
102 signature:
122 signature:
142 signature:
162 signature:
182 signature:
202 signature:
[all …]
|
| /arkcompiler/runtime_core/libabckit/src/ |
| D | abckit_compiler_intrinsics.yaml | 23 signature:
43 signature:
63 signature:
83 signature:
103 signature:
123 signature:
143 signature:
163 signature:
183 signature:
203 signature:
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSchecker.h | 58 using GlobalArraySignatureMap = ArenaUnorderedMap<ETSArrayType *, Signature *>;
61 using DynamicLambdaObjectSignatureMap = ArenaUnorderedMap<std::string, Signature *>;
155 Type *GuaranteedTypeForUncheckedCallReturn(Signature *sig);
180 …void CheckIfOverrideIsValidInInterface(ETSObjectType *classType, Signature *sig, ir::ScriptFunctio…
181 …void CheckFunctionRedeclarationInInterface(ETSObjectType *classType, ArenaVector<Signature *> &sim…
185 … const std::vector<Signature *> &implementedSignatures);
192 … const std::vector<Signature *> &implementedSignatures, bool &functionOverridden,
203 std::vector<Signature *> *implementedSignatures,
205 …void AddImplementedSignature(std::vector<Signature *> *implementedSignatures, varbinder::LocalVari…
217 void CheckConstFieldInitialized(const Signature *signature, varbinder::LocalVariable *classVar);
[all …]
|
| /arkcompiler/runtime_core/static_core/bytecode_optimizer/templates/ |
| D | codegen_call_intrinsics.inc.erb | 16 % Runtime.intrinsics.select{ |i| i.static && !i.signature.stackrange && !i.is_stub && !i.compiler_o…
19 % types = intrinsic.signature.args.map { |i| i.gsub("\\[", "[]") } + [intrinsic.signature.ret]
24 % signature = types.join(';')
27 % signature = signature.gsub('.', sep)
29 …:CallHandler(visitor, inst, <%= "#{class_name}.#{intrinsic.method_name}:#{signature};".inspect %>);
|
| /arkcompiler/runtime_core/libabckit/src/codegen/templates/ |
| D | codegen_call_intrinsics_static.inc.erb | 16 % Runtime.intrinsics.select{ |i| i.static && !i.signature.stackrange && !i.is_stub && !i.compiler_o…
19 % types = intrinsic.signature.args.map { |i| i.gsub("\\[", "[]") } + [intrinsic.signature.ret]
24 % signature = types.join(';')
27 % signature = signature.gsub('.', sep)
29 …:CallHandler(visitor, inst, <%= "#{class_name}.#{intrinsic.method_name}:#{signature};".inspect %>);
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | objectType.h | 33 class Signature; variable
97 virtual ArenaVector<Signature *> CallSignatures() in DEFINE_BITOPS()
102 virtual ArenaVector<Signature *> ConstructSignatures() in DEFINE_BITOPS()
158 void AddCallSignature(Signature *signature) in DEFINE_BITOPS()
160 desc_->callSignatures.push_back(signature); in DEFINE_BITOPS()
163 void AddConstructSignature(Signature *signature) in DEFINE_BITOPS()
165 desc_->constructSignatures.push_back(signature); in DEFINE_BITOPS()
183 static bool SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in DEFINE_BITOPS()
184 ArenaVector<Signature *> *targetSignatures); in DEFINE_BITOPS()
187 … const ArenaVector<Signature *> &sourceSignatures, in DEFINE_BITOPS()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/ir/ets/ |
| D | etsNewArrayInstanceExpression.h | 23 class Signature; variable
67 [[nodiscard]] checker::Signature *Signature() const noexcept in Signature() function
72 [[nodiscard]] checker::Signature *Signature() noexcept in Signature() function
85 void SetSignature(checker::Signature *signature) noexcept in SetSignature() argument
87 defaultConstructorSignature_ = signature; in SetSignature()
109 checker::Signature *defaultConstructorSignature_ {};
|
| D | etsNewMultiDimArrayInstanceExpression.h | 23 class Signature; variable
71 [[nodiscard]] checker::Signature *Signature() noexcept in Signature() function
76 [[nodiscard]] const checker::Signature *Signature() const noexcept in Signature() function
81 void SetSignature(checker::Signature *signature) noexcept in SetSignature() argument
83 signature_ = signature; in SetSignature()
106 checker::Signature *signature_ {};
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | signature.cpp | 16 #include "signature.h"
22 util::StringView Signature::InternalName() const in InternalName()
27 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
75 auto *result = allocator->New<Signature>(newSigInfo, newReturnType); in Substitute()
85 void Signature::ToAssemblerType(std::stringstream &ss) const in ToAssemblerType()
103 Signature *Signature::Copy(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *gl… in Copy()
119 auto *const copiedSignature = allocator->New<Signature>(copiedInfo, returnType_, func_); in Copy()
128 void Signature::ToString(std::stringstream &ss, const varbinder::Variable *variable, bool printAsMe… in ToString()
182 std::string Signature::ToString() const in ToString()
190 std::size_t GetToCheckParamCount(Signature *signature, bool isEts) in GetToCheckParamCount() argument
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/compiler/scripts/ |
| D | signatures.rb | 59 data.signatures.each do |signature|
60 …method_name = signature.method_name.start_with?('$') ? refs[signature.method_name[1..-1]] : signat…
61 sig = "%s.%s:" % [refs[signature.callee], method_name]
63 signature.params.each do |param|
67 sig += "%s;" % [refs[signature.return_type]]
69 Signatures::SIGNATURES[signature.ref] = sig
|
| /arkcompiler/runtime_core/static_core/verification/models/typesystem/ |
| D | ark_typesystem.als | 41 signature: seq Param
45 | p1.@signature != p2.@signature
77 all idx: ps1.signature.inds
78 | ps1.signature[idx].variance = ps1.signature[idx].variance
81 all t: Type| t not in universe.signature[t].elems.type
109 let sig1 = sig1.signature,
110 sig2 = sig2.signature
121 fun signature[universe: Sort->Params->Type, t: Type] : seq Param { universe.params[t].signature }
123 pred non_parameterized[universe: Sort->Params->Type, t: Type] { universe.signature[t].isEmpty }
135 #universe.signature[t1] != #universe.signature[t2] or
|