| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/interop_js/ |
| D | js_refconvert_builtin.cpp | 223 EtsObject *MArray(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MArray() argument
227 if (!verified) { in MArray()
236 EtsObject *MError(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MError() argument
240 if (!verified) { in MError()
297 EtsObject *MObject(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MObject() argument
300 (void)verified; // ignored for Object in MObject()
357 [self = *this](InteropCtx *ctxx, napi_value jsValue, bool verified = true) mutable { in Run() argument
358 return self.MError(ctxx, jsValue, verified); in Run()
363 [self = *this](InteropCtx *ctxx, napi_value jsValue, bool verified = true) mutable { in Run() argument
364 return self.MObject(ctxx, jsValue, verified); in Run()
[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/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/static_core/verification/ |
| D | public.cpp | 129 clazz->SetState(Class::State::VERIFIED); in VerifyClass()
141 * Races are possible where the same method gets simultaneously verified on different threads. in CheckBeforeVerification()
209 …if ((method->GetClass()->GetState() < Class::State::VERIFIED) && !VerifyClass(method->GetClass()))… in Verify()
|
| /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()
415 klass->SetState(Class::State::VERIFIED); in VerifyClass()
|
| /arkcompiler/runtime_core/tests/checked/verify_aot_tests/ |
| D | verify_aot_test.pa | 28 #! EVENT /AotManager,.*test.*,VERIFIED/
34 #! EVENT /AotManager,.*test.*,VERIFIED/
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/include/ |
| D | all_attributes.def | 86 ATTR(verified)
|
| /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/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 | 147 EVENT_AOT_MANAGER(aotFile->GetFileName(), events::AotManagerAction::VERIFIED); in VerifyClassHierarchy()
|
| /arkcompiler/ets_frontend/ets2panda/linter/src/cli/ |
| D | CommandLineParser.ts | 155 program.argument('[srcFile...]', 'files to be verified');
|
| /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/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
456 return state_ >= State::VERIFIED; in IsVerified()
|
| /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.
|
| /arkcompiler/runtime_core/static_core/runtime/hotreload/ |
| D | hotreload.cpp | 102 * On this point all classes were verified and hotreload recognized like possible in ProcessHotreload()
|
| /arkcompiler/runtime_core/static_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.
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_be/src/cg/ |
| D | cgfunc.cpp | 761 // Cgirverify phase function: all insns will be verified before cgemit.
|
| /arkcompiler/runtime_core/verifier/ |
| D | verifier.cpp | 322 …utOfBounds(reg_idx, valid_regs_num)) { // for [format: +AA/+AAAA vBB vCC], vBB can be verified here in IsRangeInstAndHasInvalidRegIdx()
|