| /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/runtime_core/static_core/plugins/ets/runtime/ |
| D | ets_libbase_runtime.yaml | 60 signature:
72 signature:
84 signature:
96 signature:
108 signature:
119 signature:
130 signature:
141 signature:
152 signature:
163 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_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/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/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsFunctionType.h | 20 #include "checker/types/signature.h"
27 explicit ETSFunctionType(util::StringView name, Signature *signature, ArenaAllocator *allocator) in ETSFunctionType() argument
30 callSignatures_.push_back(signature); in ETSFunctionType()
38 ArenaVector<Signature *> &CallSignatures() in CallSignatures()
43 const ArenaVector<Signature *> &CallSignatures() const in CallSignatures()
53 void AddCallSignature(Signature *signature) in AddCallSignature() argument
55 if (signature->Function()->IsGetter()) { in AddCallSignature()
57 } else if (signature->Function()->IsSetter()) { in AddCallSignature()
60 callSignatures_.push_back(signature); in AddCallSignature()
63 void SetReferencedSignature(Signature *refSignature) in SetReferencedSignature()
[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:
147 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:
43 signature:
57 signature:
71 signature:
86 signature:
101 signature:
116 signature:
131 signature:
146 signature:
161 signature:
[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/ets_frontend/ets2panda/checker/ets/ |
| D | function.cpp | 87 …// Check if the type parameter is in the signature, and the type argument is not already in the re… in InsertTypeIntoSubstitution()
288 Signature *ETSChecker::ValidateParameterlessConstructor(Signature *signature, const lexer::SourcePo… in ValidateParameterlessConstructor() argument
291 std::size_t const parameterCount = signature->MinArgCount(); in ValidateParameterlessConstructor()
300 return signature; in ValidateParameterlessConstructor()
303 bool ETSChecker::CheckOptionalLambdaFunction(ir::Expression *argument, Signature *substitutedSig, s… in CheckOptionalLambdaFunction()
326 bool ETSChecker::ValidateSignatureRequiredParams(Signature *substitutedSig, in ValidateSignatureRequiredParams()
389 bool ETSChecker::CheckInvokable(Signature *substitutedSig, ir::Expression *argument, std::size_t in… in CheckInvokable()
403 bool ETSChecker::ValidateSignatureInvocationContext(Signature *substitutedSig, ir::Expression *argu… in ValidateSignatureInvocationContext()
417 bool ETSChecker::ValidateSignatureRestParams(Signature *substitutedSig, const ArenaVector<ir::Expre… in ValidateSignatureRestParams()
533 Signature *ETSChecker::ValidateSignature( in ValidateSignature()
[all …]
|
| D | function_helpers.h | 85 …onst Substitution *BuildImplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature, in BuildImplicitSubstitutionForArguments() argument
89 auto *sigInfo = signature->GetSignatureInfo(); in BuildImplicitSubstitutionForArguments()
90 auto &sigParams = signature->GetSignatureInfo()->typeParams; in BuildImplicitSubstitutionForArguments()
102 auto *const paramType = (ix < signature->MinArgCount()) ? sigInfo->params[ix]->TsType() in BuildImplicitSubstitutionForArguments()
131 (signature->Function()->ReturnTypeAnnotation() == nullptr || in BuildImplicitSubstitutionForArguments()
133 … signature->Function()->ReturnTypeAnnotation()->TsType(), in BuildImplicitSubstitutionForArguments()
134 signature->ReturnType(), substitution))) { in BuildImplicitSubstitutionForArguments()
142 …onst Substitution *BuildExplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature, in BuildExplicitSubstitutionForArguments() argument
147 auto &sigParams = signature->GetSignatureInfo()->typeParams; in BuildExplicitSubstitutionForArguments()
185 static Signature *MaybeSubstituteTypeParameters(ETSChecker *checker, Signature *signature, in MaybeSubstituteTypeParameters() argument
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSchecker.h | 52 using GlobalArraySignatureMap = ArenaUnorderedMap<ETSArrayType *, Signature *>;
55 using DynamicLambdaObjectSignatureMap = ArenaUnorderedMap<std::string, Signature *>;
145 Type *GuaranteedTypeForUncheckedCallReturn(Signature *sig);
170 …void CheckIfOverrideIsValidInInterface(const ETSObjectType *classType, Signature *sig, ir::ScriptF…
172 … ArenaVector<Signature *> &similarSignatures, ir::ScriptFunction *func);
175 … const std::vector<Signature *> &implementedSignatures);
182 … const std::vector<Signature *> &implementedSignatures, bool &functionOverridden,
193 std::vector<Signature *> *implementedSignatures,
195 …void AddImplementedSignature(std::vector<Signature *> *implementedSignatures, varbinder::LocalVari…
205 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/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/checker/types/ |
| D | signature.cpp | 16 #include "signature.h"
27 util::StringView Signature::InternalName() const in InternalName()
32 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
80 auto *result = allocator->New<Signature>(newSigInfo, newReturnType); in Substitute()
90 void Signature::ToAssemblerType(std::stringstream &ss) const in ToAssemblerType()
108 Signature *Signature::Copy(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *gl… in Copy()
124 auto *const copiedSignature = allocator->New<Signature>(copiedInfo, returnType_, func_); in Copy()
133 void Signature::ToString(std::stringstream &ss, const varbinder::Variable *variable, bool printAsMe… in ToString()
187 std::string Signature::ToString() const in ToString()
195 std::size_t GetToCheckParamCount(Signature *signature, bool isEts) in GetToCheckParamCount() argument
[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/ts/ |
| D | objectType.h | 27 class Signature; variable
102 virtual ArenaVector<Signature *> CallSignatures()
107 virtual ArenaVector<Signature *> ConstructSignatures()
164 void AddCallSignature(Signature *signature)
166 desc_->callSignatures.push_back(signature);
169 void AddConstructSignature(Signature *signature)
171 desc_->constructSignatures.push_back(signature);
189 static bool SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature,
190 ArenaVector<Signature *> *targetSignatures);
193 … const ArenaVector<Signature *> &sourceSignatures,
[all …]
|
| /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
|
| /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/plugins/ets/tests/napi/lib/ |
| D | EtsnapiNameTest.h | 29 Signature: :I
36 Signature: Lstd/core/Object;:I
43 Signature: :Lstd/core/String;
51 Signature: Lstd/core/Object;Lstd/core/String;[D:I
59 Signature: I:I
66 Signature: :I
73 Signature: ZBCDFIJS:I
|