Searched full:verification (Results 1 – 25 of 4924) sorted by relevance
12345678910>>...197
| /arkcompiler/ets_runtime/ecmascript/mem/ |
| D | verification.h | 59 class Verification {
61 explicit Verification(const Heap *heap) : heap_(heap), objXRay_(heap->GetEcmaVM()) {} in Verification() function
62 ~Verification() = default;
77 NO_COPY_SEMANTIC(Verification);
78 NO_MOVE_SEMANTIC(Verification);
|
| D | verification.cpp | 16 #include "ecmascript/mem/verification.h"
88 size_t Verification::VerifyRoot() const in VerifyRoot()
111 size_t Verification::VerifyHeap() const in VerifyHeap()
120 size_t Verification::VerifyOldToNewRSet() const in VerifyOldToNewRSet()
129 void Verification::VerifyObjectSlot(const ObjectSlot &slot, size_t *failCount) const in VerifyObjectSlot()
|
| /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…
|
| D | full_md.rb | 30 @verification_hash = convert_to_hash(@full['verification'])
55 "#{md(@verification_hash[ver['verification']])} [#{test_list(ver['tests'])}]"
|
| /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…
22 … SDK built on the current day from the trunk branch and use it to perform a full test verification.
|
| /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/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/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/compiler/optimizer/templates/ |
| D | IR-instructions.md.erb | 16 % columns = %w(Instruction Destination Inputs Properties Verification Description)
28 verify = (inst.respond_to? 'verification') ? inst.verification : []
|
| /arkcompiler/runtime_core/tests/verifier-tests/ |
| D | bug_2107_1.pa | 28 # verification:
38 …st failed, because this line is unreachable and code will not be executed after verification error.
|
| D | bug_2107_2.pa | 30 # verification:
40 …st failed, because this line is unreachable and code will not be executed after verification error.
|
| /arkcompiler/runtime_core/isa/ |
| D | asserts.rb | 80 %i[verification exceptions properties].flat_map { |type| Panda.send(type).map(&:tag) }.uniq?
84 %i[verification exceptions properties].map do |type|
92 %i[verification exceptions properties].map do |type|
101 assert('Verification, exceptions and properties are not empty for every instruction group') do
102 %i[verification exceptions properties].map do |type|
|
| D | isa.yaml | 183 verification:
274 verification:
364 verification:
404 verification:
514 verification:
620 verification:
709 verification:
745 verification:
766 verification:
828 verification:
[all …]
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | starr.yaml | 353 verification:
392 verification:
413 verification:
433 verification:
461 verification:
491 verification:
579 verification:
658 verification:
750 verification:
832 verification:
[all …]
|
| D | jnez.yaml | 34 verification:
182 verification:
238 verification:
332 verification:
382 verification:
|
| D | starr.16.yaml | 352 verification:
391 verification:
412 verification:
434 verification:
462 verification:
491 verification:
579 verification:
658 verification:
750 verification:
833 verification:
[all …]
|
| D | fstarr.64.yaml | 354 verification:
393 verification:
411 verification:
430 verification:
459 verification:
489 verification:
577 verification:
656 verification:
747 verification:
829 verification:
[all …]
|
| D | starr.8.yaml | 358 verification:
397 verification:
419 verification:
441 verification:
468 verification:
497 verification:
585 verification:
664 verification:
757 verification:
840 verification:
[all …]
|
| D | starr.64.yaml | 355 verification:
394 verification:
417 verification:
438 verification:
466 verification:
496 verification:
584 verification:
663 verification:
755 verification:
837 verification:
[all …]
|
| D | fstarr.32.yaml | 357 verification:
396 verification:
415 verification:
434 verification:
463 verification:
493 verification:
579 verification:
656 verification:
747 verification:
829 verification:
[all …]
|
| D | ldobj.64.yaml | 213 verification:
250 verification:
285 verification:
340 verification:
395 verification:
437 verification:
475 verification:
|
| D | ldarr.obj.yaml | 102 verification:
123 verification:
138 verification:
360 verification:
387 verification:
416 verification:
448 verification:
493 verification:
562 verification:
620 verification:
|
| D | ldobj.v.64.yaml | 211 verification:
249 verification:
285 verification:
340 verification:
395 verification:
437 verification:
475 verification:
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | aot_cha.md | 57 image should be checked during AOT file verification.
60 … the options `--paoc-boot-output` should be used. The class hierarchy verification for boot librar…
61 is performed during Runtime initialization when only boot panda files are loaded. The verification …
|
12345678910>>...197