Home
last modified time | relevance | path

Searched defs:stage (Results 1 – 2 of 2) sorted by relevance

/arkcompiler/runtime_core/docs/bc_verification/
Dabsint_checks.md3 ### Physical compatibility of arguments to instructions and actual parameters to methods
10 ### Access checks
17 ### Checks of subtyping
23 ### Checks of exception handlers
29 ### Checks of exceptions, that can be thrown in runtime
35 ### Check of return values from methods
39 ### (todo) Simple range checks of primitive types
43 ### (todo) Simple bounds checks
47 ### (todo) Checks for usage of some functions/intrinsics
/arkcompiler/runtime_core/runtime/
Dmethod.cpp405 auto stage = GetVerificationStage(); in IsVerified() local
434 auto stage = GetVerificationStage(); in Verify() local
526 void Method::SetVerificationStage(VerificationStage stage) in SetVerificationStage()
533 Method::VerificationStage Method::ExchangeVerificationStage(VerificationStage stage) in ExchangeVerificationStage()