| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/interop_js/ |
| D | js_refconvert_builtin.cpp | 191 …[self = *this, wclass, descriptor](InteropCtx *ctxx, napi_value jsValue, bool verified = true) mut… in RegisterClassWithLeafMatcher() argument
192 (void)verified; in RegisterClassWithLeafMatcher()
279 EtsObject *MArray(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MArray() argument
283 if (!verified) { in MArray()
292 EtsObject *MMap(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MMap() argument
296 if (!verified) { in MMap()
305 EtsObject *MSet(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MSet() argument
309 if (!verified) { in MSet()
318 EtsObject *MDate(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MDate() argument
322 if (!verified) { in MDate()
[all …]
|
| /arkcompiler/runtime_core/static_core/models/ |
| D | README.md | 4 This model was verified in `TLA+ Toolbox` tool with the following parameters: `max_producers = 2`,
|
| /arkcompiler/runtime_core/static_core/verification/config/ |
| D | README.md | 18 List with methods full names, which will be considered as verified.
|
| /arkcompiler/runtime_core/static_core/plugins/ets/playground/backend/tests/ |
| D | test_runner.py | 59 stdout=b"verified",
78 "output": "verified",
105 stdout=b"verified",
156 "output": "verified",
|
| /arkcompiler/runtime_core/static_core/tests/checked/verify_aot_tests/ |
| D | verify_aot_test.pa | 28 #! EVENT /AotManager,.*test.*,VERIFIED/
34 #! EVENT /AotManager,.*test.*,VERIFIED/
83 #! EVENT /AotManager,.*test.*,VERIFIED/
|
| /arkcompiler/runtime_core/tests/checked/verify_aot_tests/ |
| D | verify_aot_test.pa | 28 #! EVENT /AotManager,.*test.*,VERIFIED/
34 #! EVENT /AotManager,.*test.*,VERIFIED/
|
| /arkcompiler/runtime_core/static_core/runtime/ |
| D | class.cpp | 38 case Class::State::VERIFIED: { in operator <<()
39 os << "VERIFIED"; in operator <<()
|
| D | class_initializer.cpp | 272 klass->SetState(Class::State::VERIFIED); in InitClassVerificationMode()
403 klass->SetState(Class::State::VERIFIED); in VerifyClass()
417 klass->SetState(Class::State::VERIFIED); in VerifyClass()
|
| /arkcompiler/runtime_core/static_core/verification/ |
| D | public.cpp | 138 clazz->SetState(Class::State::VERIFIED); in VerifyClass()
150 * Races are possible where the same method gets simultaneously verified on different threads. in CheckBeforeVerification()
218 …if ((method->GetClass()->GetState() < Class::State::VERIFIED) && !VerifyClass(method->GetClass()))… in Verify()
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/include/ |
| D | all_attributes.def | 86 ATTR(verified)
|
| /arkcompiler/runtime_core/taihe/scripts/ |
| D | install-ubuntu-deps | 42 log "INFO" "Root privileges verified"
173 log "INFO" "Pip configuration verified successfully"
|
| /arkcompiler/ets_runtime/common_components/heap/ |
| D | verification.cpp | 435 LOG_COMMON(DEBUG) << "[WVerify]: VerifyAfterMark (STWRoots) verified ref count: " in VerifyAfterMarkInternal()
437 LOG_COMMON(DEBUG) << "[WVerify]: VerifyAfterMark (ConcurrentRoots) verified ref count: " in VerifyAfterMarkInternal()
465 …LOG_COMMON(DEBUG) << "[WVerify]: VerifyAfterForward verified ref count: " << visitor.VerifyRefCoun… in VerifyAfterForwardInternal()
494 … LOG_COMMON(DEBUG) << "[WVerify]: VerifyAfterFix verified ref count: " << visitor.VerifyRefCount(); in VerifyAfterFixInternal()
|
| /arkcompiler/runtime_core/static_core/verification/verifier/ |
| D | options.yaml | 43 …ualified method names to verify (if neither this nor classes are set, all classes will be verified)
|
| D | verifier.cpp | 171 // verified in VerifyAllNames()
254 // this method was already verified while enumerating class_names in RunVerifierImpl()
|
| /arkcompiler/runtime_core/taihe/compiler/taihe/driver/ |
| D | contexts.py | 67 can be considered as the parsed and verified version of a compiler's
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_be/include/cg/aarch64/ |
| D | aarch64_imm_valid.h | 186 …32-bit variant: is the width of the bitfield, in the range 1 to 32, is used for only width verified
207 …64-bit variant: is the width of the bitfield, in the range 1 to 64, is used for only width verified
|
| /arkcompiler/runtime_core/libpandabase/events/ |
| D | events.yaml | 212 enum: [added, open_failed, verified, cha_verify_failed, file_verify_failed]
|
| /arkcompiler/runtime_core/static_core/libpandabase/events/ |
| D | events.yaml | 230 enum: [added, open_failed, verified, cha_verify_failed, file_verify_failed]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/analysis/ |
| D | reg_alloc_verifier.h | 50 as updated and should be verified.
|
| /arkcompiler/runtime_core/static_core/compiler/aot/ |
| D | aot_manager.cpp | 145 EVENT_AOT_MANAGER(aotFile->GetFileName(), events::AotManagerAction::VERIFIED); in VerifyClassHierarchy()
|
| /arkcompiler/runtime_core/libpandabase/ |
| D | README.md | 161 …` is a string value. List may not be a tail argument. Positional values verified the same way as r…
|
| /arkcompiler/runtime_core/static_core/libpandabase/ |
| D | README.md | 161 …` is a string value. List may not be a tail argument. Positional values verified the same way as r…
|
| /arkcompiler/runtime_core/static_core/runtime/include/ |
| D | class.h | 132 …enum class State : uint8_t { INITIAL = 0, LOADED, VERIFIED, INITIALIZING, ERRONEOUS, INITIALIZED }; enumerator
466 return state_ >= State::VERIFIED; in IsVerified()
|
| /arkcompiler/ets_frontend/ets2panda/linter/src/cli/ |
| D | CommandLineParser.ts | 265 program.argument('[srcFile...]', 'files to be verified');
|
| /arkcompiler/runtime_core/isa/ |
| D | isa.yaml | 27 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.
|