| /arkcompiler/runtime_core/static_core/verification/ |
| D | verification.gni | 17 "$ark_root/verification/type/type_system.cpp",
18 "$ark_root/verification/type/type_type.cpp",
24 "$ark_root/verification/cflow/cflow_check.cpp",
25 "$ark_root/verification/cflow/cflow_common.cpp",
26 "$ark_root/verification/cflow/cflow_info.cpp",
32 "$ark_root/verification/absint/abs_int_inl.cpp",
33 "$ark_root/verification/absint/absint.cpp",
37 "$ark_root/verification/config/config_load.cpp",
38 "$ark_root/verification/config/context/context.cpp",
39 "$ark_root/verification/config/debug_breakpoint/breakpoint.cpp",
[all …]
|
| D | CMakeLists.txt | 16 include(${PANDA_ROOT}/verification/Verification.cmake)
26 DATA "${PANDA_ROOT}/verification/verification.yaml"
27 API "${PANDA_ROOT}/verification/verification.rb"
53 YAML_FILE ${PANDA_ROOT}/verification/messages.yaml
59 DATA ${PANDA_ROOT}/verification/messages.yaml
61 SOURCE ${PANDA_ROOT}/verification/gen/templates
|
| 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 | public.cpp | 20 #include "verification/config/config_load.h"
21 #include "verification/config/context/context.h"
22 #include "verification/cache/results_cache.h"
23 #include "verification/jobs/service.h"
24 #include "verification/jobs/job.h"
117 …LOG(DEBUG, VERIFIER) << "Verification result for method " << method->GetFullName(true) << ": " << … in ReportStatus()
166 … LOG(DEBUG, VERIFIER) << method->GetFullName(true) << " has no code, no meaningful verification"; in CheckBeforeVerification()
171 LOG(DEBUG, VERIFIER) << "Skipping verification of '" << method->GetFullName() in CheckBeforeVerification()
181 LOG(DEBUG, VERIFIER) << "Verification result of method '" << methodName in CheckBeforeVerification()
214 …LOG(DEBUG, VERIFIER) << "Verification config for '" << methodName << "': " << verifMethodOptions.G… in Verify()
[all …]
|
| D | public_internal.h | 19 #include "verification/verification_options.h"
20 #include "verification/jobs/service.h"
21 #include "verification/config/context/context.h"
|
| /arkcompiler/runtime_core/static_core/verification/gen/ |
| D | BUILD.gn | 23 "$ark_root/verification",
33 "$ark_root/verification",
45 data = [ "$ark_root/verification/verification.yaml" ]
46 api = [ "$ark_root/verification/verification.rb" ]
64 data = [ "$ark_root/verification/messages.yaml" ]
71 template_file = "$ark_root/verification/gen/templates/plugins_gen.inc.erb"
79 "$ark_root/verification/gen/templates/verifier_messages_data_gen.cpp.erb"
80 data = [ "$ark_root/verification/messages.yaml" ]
|
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| D | verification_context.h | 23 #include "verification/absint/exec_context.h"
24 #include "verification/cflow/cflow_info.h"
25 #include "verification/jobs/job.h"
26 #include "verification/plugins.h"
27 #include "verification/type/type_system.h"
28 #include "verification/util/lazy.h"
29 #include "verification/util/callable.h"
30 #include "verification/value/variables.h"
|
| /arkcompiler/runtime_core/static_core/verification/config/process/ |
| D | config_process.h | 19 #include "verification/config/config.h"
20 #include "verification/config/context/context.h"
21 #include "verification/public.h"
22 #include "verification/util/callable.h"
|
| /arkcompiler/runtime_core/static_core/verification/gen/templates/ |
| D | plugins_gen.inc.erb | 24 #include "verification/plugins.h"
25 #include "verification/default_plugin.h"
26 <%= Common::include_plugin_files "Verification", "header" %>
31 % Common::each_plugin_suboption("Verification", "plugin_class") do |plugin_class, plugin_lang|
38 % Common::each_plugin_suboption("Verification", "plugin_class") do |_, plugin_lang|
|
| D | abs_int_inl_compat_checks.h.erb | 19 #include "verification/verification_status.h"
20 #include "verification/type/type_system.h"
21 #include "verification/util/str.h"
23 % checks = Verification.compatibility_checks
64 % type1, type2 = Verification.domain_types(check)
|
| /arkcompiler/runtime_core/static_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/runtime_core/static_core/verification/config/ |
| D | config_load.cpp | 21 #include "verification/public.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"
|
| /arkcompiler/runtime_core/static_core/plugins/ets/isa/ |
| D | isa.yaml | 22 verification:
31 verification:
82 verification:
152 verification:
193 verification:
209 verification:
225 verification:
246 verification:
275 verification:
304 verification:
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/mem/ |
| D | verification.h | 90 class Verification {
92 explicit Verification(Heap *heap, VerifyKind verifyKind = VerifyKind::VERIFY_PRE_GC)
94 ~Verification() = default;
106 explicit VerificationRootVisitor(const Verification *verification, size_t &failCount) in VerificationRootVisitor() argument
107 : verification_(verification), failCount_(failCount) {} in VerificationRootVisitor()
115 const Verification *verification_;
121 NO_COPY_SEMANTIC(Verification);
122 NO_MOVE_SEMANTIC(Verification);
|
| /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/static_core/tests/cts-coverage-tool/config/ |
| D | non_testable.yaml | 38 verification:
51 verification:
64 verification:
77 verification:
|
| /arkcompiler/ets_frontend/test/scripts/sdk_test/ |
| D | readme.md | 3 This test suite can perform end-to-end SDK test verification. There are two ways to perform verific…
23 … SDK built on the current day from the trunk branch and use it to perform a full test verification.
|
| /arkcompiler/runtime_core/static_core/verification/jobs/ |
| D | job.cpp | 18 #include "verification/absint/absint.h"
19 #include "verification/cflow/cflow_check.h"
20 #include "verification/config/debug_breakpoint/breakpoint.h"
21 #include "verification/jobs/job.h"
22 #include "verification/public_internal.h"
|
| D | job.h | 20 #include "verification/cflow/cflow_info.h"
21 #include "verification/verification_options.h"
22 #include "verification/plugins.h"
23 #include "verification/public_internal.h"
148 // NOTE(vdyadov): store file_id for double check during verification
|
| /arkcompiler/runtime_core/static_core/verification/config/context/ |
| D | context.h | 19 #include "verification/config/config.h"
20 #include "verification/config/debug_breakpoint/breakpoint.h"
21 #include "verification/public.h"
22 #include "verification/util/callable.h"
23 #include "verification/util/synchronized.h"
|
| /arkcompiler/runtime_core/static_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/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/static_core/assembler/templates/ |
| D | opcode_parsing.h.erb | 33 % verification = insn.verification
97 % if (verification.include?("type_id_array"))
99 % elsif (verification.include?("type_id_object"))
101 % elsif (verification.include?("type_id_class"))
103 % elsif (verification.include?("type_id_any_object"))
|
| /arkcompiler/runtime_core/static_core/verification/config/handlers/ |
| D | config_handler_method_groups.cpp | 16 #include "verification/public_internal.h"
17 #include "verification/config/process/config_process.h"
18 #include "verification/config/options/method_group_parser.h"
19 #include "verification/util/parser/parser.h"
|
| /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"))
|