Home
last modified time | relevance | path

Searched full:verified (Results 1 – 17 of 17) sorted by relevance

/arkcompiler/runtime_core/verification/config/
DREADME.md18 List with methods full names, which will be considered as verified.
/arkcompiler/runtime_core/runtime/
Dclass_initializer.cpp318 klass->SetState(Class::State::VERIFIED); in VerifyClass()
327 klass->SetState(Class::State::VERIFIED); in VerifyClass()
338 klass->SetState(Class::State::VERIFIED); in VerifyClass()
348 klass->SetState(Class::State::VERIFIED); in VerifyClass()
Dclass.cpp38 case Class::State::VERIFIED: { in operator <<()
39 os << "VERIFIED"; in operator <<()
Dmethod.cpp412 … LOG(DEBUG, VERIFIER) << "Method '" << GetFullName() << std::hex << "' is waiting to be verified"; in WaitForVerification()
489 …LOG(DEBUG, VERIFIER) << "Intrinsic method " << GetFullName(true) << " doesn't need to be verified"; in EnqueueForVerification()
493 LOG(DEBUG, VERIFIER) << "Method " << GetFullName(true) << " is already verified"; in EnqueueForVerification()
548 // not verified: 000 0 0 NOT_VERIFIED in BitsToVerificationStage()
/arkcompiler/runtime_core/tests/checked/verify_aot_tests/
Dverify_aot_test.pa28 #! EVENT /AotManager,.*test.*,VERIFIED/
34 #! EVENT /AotManager,.*test.*,VERIFIED/
/arkcompiler/runtime_core/verification/verifier/
Doptions.yaml43 …ualified method names to verify (if neither this nor classes are set, all classes will be verified)
Dverifier.cpp103 // verified in RunVerifier()
160 // this method was already verified while enumerating class_names in RunVerifier()
/arkcompiler/runtime_core/libpandabase/events/
Devents.yaml212 enum: [added, open_failed, verified, cha_verify_failed, file_verify_failed]
/arkcompiler/runtime_core/verification/jobs/
Dthread_pool.cpp40 LOG(DEBUG, VERIFIER) << "Method '" << method.GetFullName(true) << "' is already verified"; in Process()
Dthread_pool.h142 …DO(romanov) Current API implies waking everyone waiting for a method when _any_ method is verified.
Dcache.h317 that were successfully verified with contexts on beginnings of
/arkcompiler/runtime_core/compiler/aot/
Daot_manager.cpp147 EVENT_AOT_MANAGER(aot_file->GetFileName(), events::AotManagerAction::VERIFIED); in VerifyClassHierarchy()
/arkcompiler/runtime_core/runtime/include/
Dclass.h133 …enum class State : uint8_t { INITIAL = 0, LOADED, VERIFIED, INITIALIZING, ERRONEOUS, INITIALIZED }; enumerator
454 return state_ >= State::VERIFIED; in IsVerified()
Dmethod.h79 // When the method is not verified all bits are zero.
84 // (not verified) (waiting) | (ok)
/arkcompiler/runtime_core/libpandabase/
DREADME.md161 …` is a string value. List may not be a tail argument. Positional values verified the same way as r…
/arkcompiler/toolchain/build/config/sanitizers/
Dsanitizers.gni212 # and have verified it works, ask brettw and we can consider removing it from
/arkcompiler/runtime_core/isa/
Disa.yaml27 bits of a register, undefined bits shall not be accessed in verified code.
47 …arguments. Accumulator value is considered as undefined and shall not be read in verified bytecode.
50 be read in verified bytecode.