| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| H A D | stringConstructorLowering.cpp | 69 auto *argType = arg->TsType(); in ReplaceStringConstructor() local
72 if (argType->IsETSNullType() || argType->IsETSUndefinedType()) { in ReplaceStringConstructor()
73 auto *literal = argType->IsETSNullType() ? checker->AllocNode<ir::StringLiteral>("null") in ReplaceStringConstructor()
91 if (argType->PossiblyETSNull() && !argType->PossiblyETSUndefined()) { in ReplaceStringConstructor()
94 } else if (argType->PossiblyETSUndefined() && !argType->PossiblyETSNull()) { in ReplaceStringConstructor()
97 } else if (argType->PossiblyETSNullish()) { in ReplaceStringConstructor()
|
| H A D | lambdaLowering.cpp | 899 auto *argType = ast->Parent()->AsCallExpression()->Signature()->Params()[ix]->TsType(); in GuessSignature() local
905 checker->Relation(), ast, tmpFunType, argType, ast->Start(), {}, checker::TypeRelationFlag::NO_THROW}; in GuessSignature() local
|
| /arkcompiler/ets_runtime/ecmascript/ic/ |
| H A D | ic_binary_op.h | 37 JSTaggedValue right, JSTaggedValue argType) in AddWithTSType()
40 BinaryType addType = static_cast<BinaryType>(argType.GetInt()); in AddWithTSType()
107 JSTaggedValue right, JSTaggedValue argType) in SubWithTSType()
110 BinaryType subType = static_cast<BinaryType>(argType.GetInt()); in SubWithTSType()
140 JSTaggedValue right, JSTaggedValue argType) in MulWithTSType()
143 BinaryType mulType = static_cast<BinaryType>(argType.GetInt()); in MulWithTSType()
175 JSTaggedValue right, JSTaggedValue argType) in DivWithTSType()
178 BinaryType divType = static_cast<BinaryType>(argType.GetInt()); in DivWithTSType()
211 JSTaggedValue right, JSTaggedValue argType) in ModWithTSType()
214 BinaryType modType = static_cast<BinaryType>(argType in ModWithTSType()
36 AddWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) AddWithTSType() argument
106 SubWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) SubWithTSType() argument
139 MulWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) MulWithTSType() argument
174 DivWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) DivWithTSType() argument
210 ModWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) ModWithTSType() argument
294 ShlWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) ShlWithTSType() argument
310 ShrWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) ShrWithTSType() argument
324 AshrWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) AshrWithTSType() argument
340 AndWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) AndWithTSType() argument
353 OrWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) OrWithTSType() argument
366 XorWithTSType(JSThread *thread, JSTaggedValue left, JSTaggedValue right, JSTaggedValue argType) XorWithTSType() argument
[all...] |
| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/intrinsics/ |
| H A D | std_core_Method.cpp | 63 auto argType = meth->GetArgType(firstRealArg + i); in TypeAPIMethodInvokeImplementation() local
64 if (argType == EtsType::OBJECT) { in TypeAPIMethodInvokeImplementation()
68 EtsPrimitiveTypeEnumToComptimeConstant(argType, [&](auto type) -> void { in TypeAPIMethodInvokeImplementation()
|
| /arkcompiler/runtime_core/static_core/verification/type/ |
| H A D | type_system.cpp | 138 Type argType; in GetMethodSignature() local
140 argType = DescriptorToType(method->GetRefArgType(refIdx++).data); in GetMethodSignature()
142 argType = Type::FromTypeId(method->GetArgType(i).GetId()); in GetMethodSignature()
144 sig.args.push_back(argType); in GetMethodSignature()
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/src/ |
| H A D | intrinsics.cpp | 36 MIRType *IntrinDesc::GetTypeFromArgTy(IntrinArgType argType) const in GetTypeFromArgTy()
38 switch (argType) { in GetTypeFromArgTy()
|
| /arkcompiler/runtime_core/static_core/plugins/ets/arkts_header/ |
| H A D | header_writer.cpp | 133 auto argType = pda.GetArgType(idx); in PrintPrototype() local
135 if (!argType.IsPrimitive()) { in PrintPrototype()
139 ProcessProtoType(argType, klassId, sign, args); in PrintPrototype()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | ETSAnalyzer.cpp | 937 checker::Type *argType = checker->GetApparentType(expr->argument_->Check(checker)); in Check() local
939 if (!argType->IsETSObjectType() || in Check()
940 (argType->AsETSObjectType()->GetOriginalBaseType() != checker->GlobalBuiltinPromiseType())) { in Check()
946 Type *type = argType->AsETSObjectType()->TypeArguments().at(0); in Check()
1664 static checker::Type *GetTypeOfStringType(checker::Type *argType, ETSChecker *checker) in GetTypeOfStringType() argument
1666 if (auto unboxed = checker->MaybePrimitiveBuiltinType(argType); in GetTypeOfStringType()
1685 if (argType->IsETSUndefinedType()) { in GetTypeOfStringType()
1688 if (argType->IsETSArrayType() || argType->IsETSNullType()) { in GetTypeOfStringType()
1691 if (argType in GetTypeOfStringType()
1707 ComputeTypeOfType(ETSChecker *checker, checker::Type *argType) ComputeTypeOfType() argument
1743 auto argType = expr->argument_->Check(checker); Check() local
2402 auto *argType = st->argument_->Check(checker); Check() local
[all...] |
| H A D | ETSchecker.h | 383 [[nodiscard]] bool EnhanceSubstitutionForGenericType(const ArenaVector<Type *> &typeParams, const Type *argType,
385 [[nodiscard]] static bool HasTypeArgsOfObject(Type *argType, Type *paramType);
593 void CheckValidGenericTypeParameter(Type *argType, const lexer::SourcePosition &pos);
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/include/ |
| H A D | intrinsics.h | 52 MIRType *GetTypeFromArgTy(IntrinArgType argType) const;
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/runtime/types/ |
| H A D | ets_method_test.cpp | 185 EtsType argType; in TEST_F() local
188 argType = fooMethod->GetArgType(i); in TEST_F()
189 ASSERT_EQ(argType, expectedArgTypes[i]); in TEST_F()
|
| /arkcompiler/runtime_core/static_core/abc2program/ |
| H A D | abc_method_processor.cpp | 160 auto argType = PFTypeToPandasmType(protoAccessor.GetArgType(i), protoAccessor, refIdx); in GetParams() local
161 function_.params.emplace_back(argType, keyData_.GetFileLanguage()); in GetParams()
|
| /arkcompiler/runtime_core/static_core/libpandafile/ |
| H A D | method_data_accessor-inl.h | 339 auto argType = pda.GetArgType(idx); in EnumerateTypesInProto() local
341 if (!argType.IsPrimitive()) { in EnumerateTypesInProto()
344 cb(argType, klassId); in EnumerateTypesInProto()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | function_helpers.h | 94 auto *const argType = arg->IsSpreadElement() in InferUntilFail() local
106 if (checker->EnhanceSubstitutionForType(sigInfo->typeParams, paramType, argType, substitution)) { in InferUntilFail()
|
| H A D | function.cpp | 86 bool ETSChecker::HasTypeArgsOfObject(Type *argType, Type *paramType) in HasTypeArgsOfObject() argument
88 return paramType->IsETSObjectType() && argType->IsETSObjectType() && in HasTypeArgsOfObject()
89 !argType->AsETSObjectType()->TypeArguments().empty() && in HasTypeArgsOfObject()
107 bool ETSChecker::EnhanceSubstitutionForGenericType(const ArenaVector<Type *> &typeParams, const Type *argType, in EnhanceSubstitutionForGenericType() argument
112 if (!argType->AsETSObjectType()->GetDeclNode()->IsClassDefinition()) { in EnhanceSubstitutionForGenericType()
123 objectParams.push_back(argType->AsETSObjectType()->TypeArguments()[i]); in EnhanceSubstitutionForGenericType()
143 argType->AsETSObjectType()->TypeArguments()[j], substitution); in EnhanceSubstitutionForGenericType()
|
| H A D | helpers.cpp | 2161 void ETSChecker::CheckValidGenericTypeParameter(Type *const argType, const lexer::SourcePosition &pos) in CheckValidGenericTypeParameter() argument
2163 if (!argType->IsETSEnumType()) { in CheckValidGenericTypeParameter()
2167 argType->ToString(ss); in CheckValidGenericTypeParameter()
|
| /arkcompiler/runtime_core/static_core/disassembler/ |
| H A D | disassembler.cpp | 668 auto argType = PFTypeToPandasmType(protoAccessor.GetArgType(i), protoAccessor, refIdx); in GetParams() local
669 method->params.emplace_back(argType, fileLanguage_); in GetParams()
|