Home
last modified time | relevance | path

Searched defs:stage (Results 1 – 5 of 5) 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/static_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/ets_frontend/ets2panda/test/unit/plugin/
Dutil.cpp198 int Test(es2panda_Context *context, es2panda_Impl *impl, int stage, in Test()
/arkcompiler/runtime_core/static_core/verification/
Dpublic.cpp153 auto stage = method->GetVerificationStage(); in CheckBeforeVerification() local
/arkcompiler/runtime_core/static_core/runtime/
Dmethod.cpp472 auto stage = GetVerificationStage(); in IsVerified() local