Home
last modified time | relevance | path

Searched refs:execCtx (Results 1 - 3 of 3) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/tests/
H A Dexec_context_test.cpp35 void ProcessAbsIntExecContext(ExecContext &execCtx, std::array<const uint8_t *, 6> &cp, RegContext &ctx2, in ProcessAbsIntExecContext() argument
41 execCtx.CurrentRegContext() = ctx2; in ProcessAbsIntExecContext()
43 execCtx.StoreCurrentRegContextForAddr(ep++); in ProcessAbsIntExecContext()
45 execCtx.StoreCurrentRegContextForAddr(ep++); in ProcessAbsIntExecContext()
47 execCtx.CurrentRegContext() = ctx3; in ProcessAbsIntExecContext()
49 execCtx.StoreCurrentRegContextForAddr(ep++); in ProcessAbsIntExecContext()
51 execCtx.StoreCurrentRegContextForAddr(ep); in ProcessAbsIntExecContext()
53 execCtx.CurrentRegContext() = ctx2; in ProcessAbsIntExecContext()
55 execCtx.StoreCurrentRegContextForAddr(ep++); in ProcessAbsIntExecContext()
57 execCtx in ProcessAbsIntExecContext()
[all...]
/arkcompiler/runtime_core/static_core/verification/absint/
H A Dabsint.cpp71 auto &execCtx = verifCtx.ExecCtx(); in PrepareVerificationContext() local
108 execCtx.SetCheckPoint(pc); in PrepareVerificationContext()
128 VerificationStatus VerifyEntryPoints(VerificationContext &verifCtx, ExecContext &execCtx) in VerifyEntryPoints() argument
140 while (execCtx.GetEntryPointForChecking(&entryPoint, &entryType) == ExecContext::Status::OK) { in VerifyEntryPoints()
165 auto &execCtx = verifCtx.ExecCtx(); in ComputeRegContext() local
176 execCtx.ForContextsOnCheckPointsInRange(start, end, [&](const uint8_t *pc, const RegContext &ctx) { in ComputeRegContext()
213 auto &execCtx = verifCtx->ExecCtx(); in VerifyExcHandler() local
246 execCtx.CurrentRegContext() = *regContext; in VerifyExcHandler()
247 execCtx.AddEntryPoint(startPc, EntryPointType::EXCEPTION_HANDLER); in VerifyExcHandler()
248 execCtx in VerifyExcHandler()
258 auto &execCtx = verifCtx.ExecCtx(); VerifyMethod() local
[all...]
H A Dabs_int_inl.cpp164 ExecContext &execCtx = ExecCtx(); in Sync() local
167 execCtx.StoreCurrentRegContextForAddr( in Sync()
178 execCtx.StoreCurrentRegContextForAddr(addr); in Sync()

Completed in 2 milliseconds