| /arkcompiler/runtime_core/compiler/optimizer/templates/ |
| D | IR-instructions.md.erb | 28 verify = (inst.respond_to? 'verification') ? inst.verification : []
31 verify << "users.contain(#{ null_check_users.map { |x| x.opcode }.join(', ')})"
33 verify << "users.contain(#{ zero_check_users.map { |x| x.opcode }.join(', ')})"
35 verify << "users.contain(#{ bounds_check_users.map { |x| x.opcode }.join(', ')})"
37 verify << "users.contain(#{ negative_check_users.map { |x| x.opcode }.join(', ')})"
39 verify_str = !verify.empty? ? "<ul><li> #{verify.join('</li><li>') } </li></ul>" : ''
|
| /arkcompiler/runtime_core/verification/verifier/ |
| D | options.yaml | 35 description: Fully qualified class names to verify
43 …Fully qualified method names to verify (if neither this nor classes are set, all classes will be v…
136 - name: verify-runtime-libraries
139 description: Whether to verify system files
|
| D | verifier.cpp | 73 // we need ScopedManagedCodeThread for verify since it can allocate objects in RunVerifier()
112 LOG(ERROR, VERIFIER) << "No files given to verify"; in RunVerifier()
184 if (!method->Verify()) { in RunVerifier()
185 … LOG(ERROR, VERIFIER) << "Error: method " << method->GetFullName(true) << " failed to verify"; in RunVerifier()
225 << "Verify specified Panda files (given by file and --panda-files) " in PrintHelp()
|
| /arkcompiler/runtime_core/verification/models/ |
| D | README.md | 28 2. `verify` - to verify (search for counterexamples), where supertypes intersection calculation dur…
|
| /arkcompiler/ets_runtime/test/aottest/aot_compatibility_test/base_verification/ |
| D | base_verification.ts | 34 print(hc0 === hc1); // verify no transition occurs in constructor
35 print(ArkTools.isTSHClass(c)); // verify the hclass of c is come from compile phase
|
| /arkcompiler/runtime_core/runtime/include/coretypes/ |
| D | string-inl.h | 26 template <bool verify>
30 if (verify) { in At()
|
| /arkcompiler/runtime_core/runtime/ |
| D | options.yaml | 613 - name: pre-gc-heap-verify-enabled
616 description: whether verify heap before GC
618 - name: into-gc-heap-verify-enabled
621 description: whether verify heap during GC
623 - name: post-gc-heap-verify-enabled
626 description: whether verify heap after GC
668 - name: verify-call-stack
671 description: Verify call stack before using of the StackWalker
704 - name: verify-entrypoints
707 description: Verify compiler entrypoints
|
| /arkcompiler/ets_runtime/ecmascript/dfx/pgo_profiler/ |
| D | pgo_profiler_loader.cpp | 88 bool PGOProfilerLoader::Verify(uint32_t checksum) in Verify() function in panda::ecmascript::PGOProfilerLoader
100 LOG_ECMA(ERROR) << "Verify profiler failure"; in Verify()
111 if (Load(inPath, hotnessThreshold) && Verify(checksum)) { in LoadAndVerify()
124 return header_.Verify(); in ParseProfilerHeader()
|
| /arkcompiler/runtime_core/compiler/optimizer/templates/intrinsics/ |
| D | intrinsic_codegen_test.inl.erb | 25 …// cannot verify <%= intrinsic.entrypoint_name %> behavior because it is not supported by some enc…
27 // cannot verify <%= intrinsic.entrypoint_name %> behavior in Release build
|
| /arkcompiler/ets_frontend/testTs/expect/jsdoc/declarations/ |
| D | jsDeclarationsThisTypes.txt | 4 …'}, {'t': 2, 'v': 0}, {'t': 2, 'v': 0}, {'t': 2, 'v': 1}, {'t': 5, 'v': 'verify'}, {'t': 24, 'v': …
5 {'lb': [{'t': 2, 'v': 3}, {'t': 2, 'v': 0}, {'t': 5, 'v': 'verify'}, {'t': 2, 'v': 0}, {'t': 2, 'v'…
|
| /arkcompiler/ets_runtime/ecmascript/mem/ |
| D | verification.cpp | 23 // Verify the object body
34 … LOG_GC(ERROR) << "Heap verify detected a dead weak object " << value.GetTaggedObject() in VisitAllObjects()
40 … LOG_GC(ERROR) << "Heap verify detected a dead object at " << value.GetTaggedObject() in VisitAllObjects()
|
| D | verification.h | 28 // Verify the object body
|
| /arkcompiler/runtime_core/verification/models/contexts_merge/ |
| D | check_set_intersection_as_lub.als | 72 -- so verify, that all reg instances from all contexts can be used for arg
81 verify: check SupertypesIntersectionAsLUB for 8
85 -- Executing "Check verify for 8"
|
| /arkcompiler/runtime_core/verification/jobs/ |
| D | job.cpp | 41 bool Job::Verify(PandaTypes &types) const in Verify() function in panda::verifier::Job
79 if (!Verify(types)) { in DoChecks()
|
| /arkcompiler/ets_frontend/legacy_bin/ |
| D | prebuilts-readme-legacy.md | 5 repo init -u git@gitee.com:openharmony/manifest.git -b OpenHarmony-3.1-Release --no-repo-verify
|
| /arkcompiler/ets_runtime/ecmascript/pgo_profiler/ |
| D | pgo_profiler_loader.cpp | 49 bool PGOProfilerLoader::Verify(uint32_t checksum) in Verify() function in panda::ecmascript::PGOProfilerLoader
66 if (Load() && Verify(checksum)) { in LoadAndVerify()
|
| D | pgo_profiler_loader.h | 67 bool Verify(uint32_t checksum);
|
| /arkcompiler/runtime_core/runtime/mem/gc/gen-gc/ |
| D | gen-gc.h | 127 * @return instance of verifier to be used to verify for updated references
132 * Verify updted references
|
| /arkcompiler/runtime_core/tests/checked/verify_aot_tests/ |
| D | verify_aot_test.pa | 24 #! CHECKER Verify AOT file with cha
30 #! CHECKER Verify AOT file without cha
|
| /arkcompiler/runtime_core/runtime/include/ |
| D | runtime_options.h | 28 ON_THE_FLY, // Verify methods before they are executed (used by panda/ark executable)
29 AHEAD_OF_TIME, // Verify methods at startup (used by verifier executable)
|
| /arkcompiler/ets_runtime/ecmascript/ |
| D | ecma_string-inl.h | 113 template<bool verify>
117 if (verify) { in At()
|
| /arkcompiler/ets_runtime/ecmascript/base/ |
| D | config.h | 54 * 7. enable verify heap
|
| /arkcompiler/ets_runtime/ecmascript/snapshot/mem/ |
| D | snapshot.h | 50 bool Verify() in Verify() function
|
| D | snapshot.cpp | 155 if (!hdr.Verify()) { in Deserialize()
157 LOG_FULL(FATAL) << "file verify failed"; in Deserialize()
|
| /arkcompiler/runtime_core/runtime/mem/ |
| D | runslots.cpp | 162 …// 1. should verify whether run's bracket size is the same as recorded in RunSlotsAllocator, but R… in operator ()()
164 // 2. should verify thread local run's ownership, but thread local run not implemented yet in operator ()()
|