Searched refs:verifCtx (Results 1 - 3 of 3) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| H A D | absint.cpp | 67 VerificationContext verifCtx {typeSystem, job, methodClassType}; in PrepareVerificationContext()
70 auto &cflowInfo = verifCtx.CflowInfo(); in PrepareVerificationContext()
71 auto &execCtx = verifCtx.ExecCtx(); in PrepareVerificationContext()
78 RegContext ®Ctx = verifCtx.ExecCtx().CurrentRegContext(); in PrepareVerificationContext()
88 regCtx[numVregs++] = AbstractTypedValue {t, verifCtx.NewVar(), AbstractTypedValue::Start {}, idx}; in PrepareVerificationContext()
92 verifCtx.SetReturnType(&signature->result); in PrepareVerificationContext()
120 verifCtx.ExecCtx().AddEntryPoint(methodPcStartPtr, EntryPointType::METHOD_BODY); in PrepareVerificationContext()
121 verifCtx.ExecCtx().StoreCurrentRegContextForAddr(methodPcStartPtr); in PrepareVerificationContext()
123 return verifCtx; in PrepareVerificationContext()
128 VerificationStatus VerifyEntryPoints(VerificationContext &verifCtx, ExecContex argument
161 ComputeRegContext(Method const *method, TryBlock const *tryBlock, VerificationContext &verifCtx, RegContext *regContext) ComputeRegContext() argument
209 VerifyExcHandler([[maybe_unused]] TryBlock const *tryBlock, CatchBlock const *catchBlock, VerificationContext *verifCtx, RegContext *regContext) VerifyExcHandler() argument
255 VerifyMethod(VerificationContext &verifCtx) VerifyMethod() argument
[all...] |
| H A D | absint.h | 33 VerificationStatus AbstractInterpret(VerificationContext &verifCtx, const uint8_t *pc);
35 VerificationStatus VerifyMethod(VerificationContext &verifCtx);
|
| H A D | abs_int_inl.h | 162 AbsIntInstructionHandler(VerificationContext &verifCtx, const uint8_t *pc, EntryPointType codeType) in AbsIntInstructionHandler() argument
163 : job_ {verifCtx.GetJob()}, in AbsIntInstructionHandler()
166 inst_(pc, verifCtx.CflowInfo().GetAddrStart(), verifCtx.CflowInfo().GetAddrEnd()),
167 context_ {verifCtx},
|
Completed in 6 milliseconds