Home
last modified time | relevance | path

Searched refs:GetTypeSystem (Results 1 - 6 of 6) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/
H A Dabs_int_inl.h209 return tp.ToString(GetTypeSystem()); in ToString()
229 return atv->ToString(GetTypeSystem()); in ToString()
240 return IsSubtype(type, tgtType, GetTypeSystem()); in CheckType()
267 TypeSystem *GetTypeSystem() const in GetTypeSystem() function in ark::verifier::AbsIntInstructionHandler
269 return context_.GetTypeSystem(); in GetTypeSystem()
595 if (cachedType != GetTypeSystem()->ClassClass()) { in HandleLdaType()
599 SetAcc(GetTypeSystem()->ClassClass()); in HandleLdaType()
1547 auto arrEltType = regType.GetArrayElementType(GetTypeSystem()); in HandleLdarrObj()
1548 if (!IsSubtype(arrEltType, refType_, GetTypeSystem())) { in HandleLdarrObj()
1675 if (!IsSubtype(type, arrayType_, GetTypeSystem())) { in HandleNewarr()
[all...]
H A Dabs_int_inl.cpp82 auto numAregs = GetTypeSystem()->GetMethodSignature(method)->args.size(); in SetReg()
158 LOG_VERIFIER_DEBUG_REGISTERS("registers =", ctx.DumpRegs(GetTypeSystem())); in DumpRegs()
H A Dverification_context.h105 TypeSystem *GetTypeSystem() in GetTypeSystem() function in ark::verifier::VerificationContext
H A Dabsint.cpp166 auto *typeSystem = verifCtx.GetTypeSystem(); in ComputeRegContext()
235 exceptionType = verifCtx->GetTypeSystem()->Throwable(); in VerifyExcHandler()
/arkcompiler/runtime_core/static_core/verification/jobs/
H A Dservice.h75 TypeSystem *GetTypeSystem() in GetTypeSystem() function in ark::verifier::final
/arkcompiler/runtime_core/static_core/verification/
H A Dpublic.cpp213 bool result = job.DoChecks(processor->GetTypeSystem()); in Verify()

Completed in 6 milliseconds