Searched full:absint (Results 1 – 19 of 19) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| D | AbsInt.cmake | 15 ${VERIFICATION_SOURCES_DIR}/absint/absint.cpp
16 ${VERIFICATION_SOURCES_DIR}/absint/abs_int_inl.cpp
20 ${VERIFICATION_SOURCES_DIR}/absint/tests/reg_context_test.cpp
21 ${VERIFICATION_SOURCES_DIR}/absint/tests/exec_context_test.cpp
24 set_source_files_properties(${VERIFICATION_SOURCES_DIR}/absint/absint.cpp
27 set_source_files_properties(${VERIFICATION_SOURCES_DIR}/absint/abs_int_inl.cpp
|
| D | verification_context.h | 23 #include "verification/absint/exec_context.h"
|
| D | abs_int_inl.cpp | 76 // RegContext extends flexibly for any number of registers, though on AbsInt instruction in SetReg()
|
| D | absint.cpp | 16 #include "absint.h"
|
| D | abs_int_inl.h | 80 after absint process ends, check this AddrMap for holes.
81 holes are either dead byte-code or issues with absint cflow handling.
109 So, on attempt of usage of conflicting reg, absint will fail with message of undefined reg.
716 // NOTE(vdyadov): think of two-pass absint, where we can catch const-null cases in HandleJeqzObj()
3578 // on absint stage: in HandleThrow()
3582 // - stop absint in HandleThrow()
|
| /arkcompiler/runtime_core/static_core/verification/ |
| D | verification.gni | 32 "$ark_root/verification/absint/abs_int_inl.cpp",
33 "$ark_root/verification/absint/absint.cpp",
|
| D | TODO.txt | 6 …- [x] Passing PandaTypes to absint by const ref, because absint is not expected to change PandaTyp…
|
| D | Verification.cmake | 20 include(${VERIFICATION_SOURCES_DIR}/absint/AbsInt.cmake)
|
| D | messages.yaml | 137 …ABSINT: ${std::hex << std::setw(sizeof(uint32_t) * 2) << std::setfill('0') << instruction.GetOffse…
|
| /arkcompiler/runtime_core/static_core/verification/jobs/ |
| D | job.cpp | 18 #include "verification/absint/absint.h"
87 if (check[MethodOption::CheckType::ABSINT]) { in DoChecks()
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/plugins/ets/ |
| D | ets-verifier.config | 6 cflow, resolve-id, typing, absint
|
| /arkcompiler/runtime_core/static_core/verification/config/options/ |
| D | method_options.h | 32 enum class CheckType { CFLOW, RESOLVE_ID, REG_USAGE, TYPING, ABSINT }; enumerator
36 …using CheckEnum = SaturatedEnum<CheckType, CheckType::ABSINT, CheckType::TYPING, CheckType::REG_US…
155 case MethodOption::CheckType::ABSINT: in Image()
156 result += "'absint' "; in Image()
|
| /arkcompiler/runtime_core/tests/cts-generator/ |
| D | verifier.config | 22 cflow, resolve-id, typing, absint
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/ |
| D | verifier.config | 25 cflow, resolve-id, typing, absint
|
| /arkcompiler/runtime_core/static_core/verification/config/default/ |
| D | default_config.cpp | 34 " cflow, resolve-id, typing, absint\n"
|
| /arkcompiler/runtime_core/static_core/verification/absint/tests/ |
| D | exec_context_test.cpp | 16 #include "absint/reg_context.h"
17 #include "absint/exec_context.h"
|
| D | reg_context_test.cpp | 16 #include "absint/reg_context.h"
|
| /arkcompiler/runtime_core/static_core/verification/gen/templates/ |
| D | abs_int_inl_gen.h.erb | 75 …LOG(DEBUG, VERIFIER) << "ABSINT: Prefix subdispatch: " << "<%= p.name %>, " << static_cast<int32_t…
|
| /arkcompiler/runtime_core/static_core/verification/config/handlers/ |
| D | config_handler_method_options.cpp | 217 } else if (c == "absint") { in ProcessSectionCheck()
218 optionsCheck |= MethodOption::CheckType::ABSINT; in ProcessSectionCheck()
|