Searched refs:verifyResult (Results 1 – 5 of 5) sorted by relevance
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/include/ |
| D | verification.h | 105 VerificationPhaseResult(MemPool &mp, const VerifyResult &verifyResult) in VerificationPhaseResult() argument
106 : AnalysisResult(&mp), verifyResult(verifyResult) in VerificationPhaseResult()
113 return verifyResult.GetDeferredClassesPragma(); in GetDeferredClassesPragma()
117 const VerifyResult &verifyResult;
|
| D | mir_nodes.h | 337 bool Verify(VerifyResult &verifyResult) const override;
358 bool CheckFromJarray(const MIRType &from, const MIRType &to, VerifyResult &verifyResult) const;
360 VerifyResult &verifyResult) const;
361 …rayDimention(const MIRJarrayType &from, const MIRJarrayType &to, VerifyResult &verifyResult) const;
362 bool IsJavaAssignable(const MIRType &from, const MIRType &to, VerifyResult &verifyResult) const;
1178 bool Verify(VerifyResult &verifyResult) const override;
1216 bool VerifyJArrayLength(VerifyResult &verifyResult) const;
2433 bool Verify(VerifyResult &verifyResult) const override in Verify() argument
2435 if (GetOpCode() == OP_throw && !VerifyThrowable(verifyResult)) { in Verify()
2438 return uOpnd->Verify(verifyResult); in Verify()
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/src/ |
| D | mir_nodes.cpp | 1694 bool verifyResult = IntTypeVerify(pTyp); in UnaryTypeVerify0() local
1695 if (!verifyResult) { in UnaryTypeVerify0()
1698 return verifyResult; in UnaryTypeVerify0()
1729 bool verifyResult = ArithResTypeVerify(pType); in UnaryTypeVerify1() local
1730 if (!verifyResult) { in UnaryTypeVerify1()
1733 return verifyResult; in UnaryTypeVerify1()
1738 bool verifyResult = IsPrimitiveFloat(pType); in UnaryTypeVerify2() local
1739 if (!verifyResult) { in UnaryTypeVerify2()
1742 return verifyResult; in UnaryTypeVerify2()
1757 bool verifyResult = IsPrimitiveInteger(pType); in CompareTypeVerify() local
[all …]
|
| D | verification.cpp | 37 auto *verifyResult = memPool->New<VerifyResult>(*module, *klassHierarchy, *memPool); in Run() local
38 VerifyModule(*module, *verifyResult); in Run()
39 if (verifyResult->HasErrorNotDeferred()) { in Run()
43 CheckExtendFinalClass(*verifyResult); in Run()
45 DeferredCheckFinalClassAndMethod(*verifyResult); in Run()
48 auto *result = memPool->New<VerificationPhaseResult>(*memPool, *verifyResult); in Run()
|
| D | verify_mark.cpp | 42 const auto *verifyResult = static_cast<VerificationPhaseResult *>(verifyAnalysis); in Run() local
43 const auto &verifyResultMap = verifyResult->GetDeferredClassesPragma(); in Run()
|