| /arkcompiler/runtime_core/verification/ |
| D | verification.gni | 17 "$ark_root/verification/type/type_param.cpp",
18 "$ark_root/verification/type/type_parametric.cpp",
19 "$ark_root/verification/type/type_params.cpp",
20 "$ark_root/verification/type/type_set.cpp",
21 "$ark_root/verification/type/type_systems.cpp",
22 "$ark_root/verification/type/type_type.cpp",
28 "$ark_root/verification/cflow/cflow_check.cpp",
29 "$ark_root/verification/cflow/cflow_common.cpp",
30 "$ark_root/verification/cflow/cflow_info.cpp",
36 "$ark_root/verification/absint/abs_int_inl.cpp",
[all …]
|
| D | CMakeLists.txt | 16 include(${PANDA_ROOT}/verification/Verification.cmake)
26 DATAFILE "${PANDA_ROOT}/verification/verification.yaml"
27 REQUIRES "${PANDA_ROOT}/verification/verification.rb"
49 YAML_FILE ${PANDA_ROOT}/verification/messages.yaml
|
| D | TODO.txt | 3 …- [x] (using atomic flag) Verification of method put under lock to exclude double verification at …
5 (double verification is very rare case, and verification is to be expected idempotent operation)
10 1a. Redesign verification into job-queue and separate thread for verifier.
|
| D | verification.rb | 16 module Verification module
36 Verification.load_data(data)
|
| /arkcompiler/runtime_core/verification/gen/ |
| D | BUILD.gn | 18 "$ark_root/verification",
26 data_file = "$ark_root/verification/verification.yaml"
27 requires = [ "$ark_root/verification/verification.rb" ]
44 data_file = "$ark_root/verification/messages.yaml"
51 template_file = "$ark_root/verification/gen/templates/lang_specifics.h.erb"
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | verification_context.h | 22 #include "verification/absint/exec_context.h"
23 #include "verification/absint/panda_types.h"
24 #include "verification/cflow/cflow_info.h"
25 #include "verification/jobs/job.h"
26 #include "verification/jobs/cache.h"
27 #include "verification/type/type_systems.h"
28 #include "verification/util/lazy.h"
29 #include "verification/util/callable.h"
30 #include "verification/value/variables.h"
|
| D | panda_types.h | 22 #include "verification/type/type_systems.h"
23 #include "verification/type/type_system.h"
24 #include "verification/type/type_sort.h"
25 #include "verification/type/type_tags.h"
26 #include "verification/type/type_type_inl.h"
28 #include "verification/util/synchronized.h"
29 #include "verification/util/callable.h"
30 #include "verification/jobs/cache.h"
|
| /arkcompiler/runtime_core/verification/config/ |
| D | config_load.cpp | 21 #include "verification/config/debug_breakpoint/breakpoint_private.h"
22 #include "verification/config/default/default_config.h"
23 #include "verification/config/parse/config_parse.h"
24 #include "verification/config/process/config_process.h"
25 #include "verification/config/context/context.h"
26 #include "verification/config/handlers/config_handlers.h"
27 #include "verification/config/whitelist/whitelist_private.h"
|
| /arkcompiler/runtime_core/verification/cache/ |
| D | results_cache.cpp | 16 #include "verification/cache/results_cache.h"
17 #include "verification/util/synchronized.h"
61 LOG(INFO, VERIFIER) << "Cannot open verification cache file '" << filename << "'"; in Initialize()
67 LOG(INFO, VERIFIER) << "Cannot get verification cache file size"; in Initialize()
79 LOG(INFO, VERIFIER) << "Cannot read verification cache data"; in Initialize()
107 … LOG(INFO, VERIFIER) << "Cannot open verification cache file '" << impl->filename << "'"; in Destroy()
111 … LOG(INFO, VERIFIER) << "Cannot clear verification cache file '" << impl->filename << "'"; in Destroy()
116 … LOG(INFO, VERIFIER) << "Cannot write to verification cache file '" << impl->filename << "'"; in Destroy()
|
| /arkcompiler/ets_runtime/ecmascript/mem/ |
| D | verification.h | 58 class Verification {
60 explicit Verification(const Heap *heap) : heap_(heap), objXRay_(heap->GetEcmaVM()) {} in Verification() function
61 ~Verification() = default;
76 NO_COPY_SEMANTIC(Verification);
77 NO_MOVE_SEMANTIC(Verification);
|
| D | verification.cpp | 16 #include "verification.h"
69 size_t Verification::VerifyRoot() const in VerifyRoot()
92 size_t Verification::VerifyHeap() const in VerifyHeap()
101 size_t Verification::VerifyOldToNewRSet() const in VerifyOldToNewRSet()
110 void Verification::VerifyObjectSlot(const ObjectSlot &slot, size_t *failCount) const in VerifyObjectSlot()
|
| /arkcompiler/runtime_core/verification/config/context/ |
| D | context.h | 19 #include "verification/config/config.h"
20 #include "verification/config/debug_breakpoint/breakpoint.h"
21 #include "verification/config/whitelist/whitelist.h"
22 #include "verification/util/callable.h"
23 #include "verification/util/synchronized.h"
|
| /arkcompiler/runtime_core/tests/cts-coverage-tool/config/ |
| D | non_testable.yaml | 38 verification:
51 verification:
64 verification:
77 verification:
95 verification:
118 verification:
|
| /arkcompiler/runtime_core/tests/cts-coverage-tool/lib/ |
| D | spec.rb | 61 … %w[prefixes groups properties exceptions verification version min_version chapters].each do |attr|
103 grp['verification_tests'] = grp['verification'].map do |v|
104 { 'verification' => v, 'tests' => [], 'non_testable' => false }
149 ntg['verification']&.each do |ntv|
150 spec_verification = spec_group['verification_tests'].find { |sv| sv['verification'] == ntv }
152 warn "Non testable verification \"#{ntv}\" in group \"#{ntg['title']}\" not found in ISA."
297 test_group['verification']&.each do |tv|
304 sv = spec_group['verification_tests'].find { |x| x['verification'] == test_ver }
306 … @orphaned << { 'file' => file, 'error' => 'Given verification assertion not found in the spec',
311 …@orphaned << { 'file' => file, 'error' => 'Given verification assertion is non-testable', 'comment…
|
| /arkcompiler/runtime_core/runtime/mem/gc/ |
| D | gc_settings.h | 76 * \brief true if heap verification before GC enabled
81 * \brief true if heap verification during GC enabled
86 * \brief true if heap verification after GC enabled
172 …bool pre_gc_heap_verification_ = false; /// true if heap verification before GC enab…
173 …bool into_gc_heap_verification_ = false; /// true if heap verification during GC enab…
174 …bool post_gc_heap_verification_ = false; /// true if heap verification after GC enabl…
|
| /arkcompiler/runtime_core/assembler/templates/ |
| D | opcode_parsing.h.erb | 32 % verification = insn.verification
96 % if (verification.include?("type_id_array"))
98 % elsif (verification.include?("type_id_object"))
100 % elsif (verification.include?("type_id_any_object"))
|
| /arkcompiler/runtime_core/verification/type/ |
| D | type_index.h | 21 #include "verification/util/lazy.h"
22 #include "verification/util/relation.h"
23 #include "verification/util/tagged_index.h"
|
| /arkcompiler/runtime_core/verification/jobs/ |
| D | job.cpp | 17 #include "verification/absint/absint.h"
18 #include "verification/cflow/cflow_check.h"
19 #include "verification/config/debug_breakpoint/breakpoint.h"
20 #include "verification/jobs/job.h"
|
| D | job.h | 19 #include "verification/jobs/cache.h"
20 #include "verification/cflow/cflow_info.h"
21 #include "verification/verification_options.h"
118 // TODO(vdyadov): store file_id for double check during verification
|
| /arkcompiler/ets_runtime/ecmascript/tests/ |
| D | js_verification_test.cpp | 24 #include "ecmascript/mem/verification.h"
65 auto verifier = Verification(heap); in HWTEST_F_L0()
67 auto funcVerify = [](TaggedObject *object, [[maybe_unused]] Verification &v, const Heap *heap) { in HWTEST_F_L0()
93 auto verifier = Verification(heap); in HWTEST_F_L0()
|
| /arkcompiler/runtime_core/verification/config/handlers/ |
| D | config_handler_whitelist.cpp | 16 #include "verification/config/debug_breakpoint/breakpoint_private.h"
17 #include "verification/config/process/config_process.h"
18 #include "verification/config/whitelist/whitelist_private.h"
19 #include "verification/util/parser/parser.h"
|
| /arkcompiler/runtime_core/runtime/ |
| D | method.cpp | 16 #include "verification/config/config_load.h"
17 #include "verification/config/context/context.h"
18 #include "verification/config/debug_breakpoint/breakpoint_private.h"
19 #include "verification/config/whitelist/whitelist_private.h"
20 #include "verification/jobs/thread_pool.h"
21 #include "verification/cache/results_cache.h"
22 #include "verification/util/is_system.h"
464 … LOG(DEBUG, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: OK"; in AddJobInQueue()
468 …LOG(DEBUG, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: FAIL"; in AddJobInQueue()
475 LOG(DEBUG, VERIFIER) << "Method '" << GetFullName() << "' enqueued for verification"; in AddJobInQueue()
[all …]
|
| /arkcompiler/runtime_core/tests/cts-coverage-tool/lib/templates/ |
| D | uncovered_md.erb | 46 <% if v['verification'].class == Array %>
48 Verification:
50 <% v['verification']&.each do |x| -%>
|
| /arkcompiler/runtime_core/verification/config/debug_breakpoint/ |
| D | breakpoint.cpp | 20 #include "verification/config/context/context.h"
21 #include "verification/util/optional_ref.h"
22 #include "verification/util/str.h"
|
| /arkcompiler/runtime_core/verification/value/ |
| D | variables.h | 19 #include "verification/util/lazy.h"
25 #include "verification/util/obj_pool.h"
27 #include "verification/type/type_tags.h"
|