Searched full:absint (Results 1 – 18 of 18) sorted by relevance
| /arkcompiler/runtime_core/verification/absint/ |
| D | AbsInt.cmake | 15 ${VERIFICATION_SOURCES_DIR}/absint/absint.cpp
16 ${VERIFICATION_SOURCES_DIR}/absint/abs_int_inl.cpp
17 ${VERIFICATION_SOURCES_DIR}/absint/panda_types.cpp
21 ${VERIFICATION_SOURCES_DIR}/absint/tests/reg_context_test.cpp
22 ${VERIFICATION_SOURCES_DIR}/absint/tests/exec_context_test.cpp
25 set_source_files_properties(${VERIFICATION_SOURCES_DIR}/absint/absint.cpp
28 set_source_files_properties(${VERIFICATION_SOURCES_DIR}/absint/abs_int_inl.cp
|
| D | verification_context.h | 22 #include "verification/absint/exec_context.h"
23 #include "verification/absint/panda_types.h"
|
| D | absint.cpp | 16 #include "absint.h"
|
| D | abs_int_inl.h | 97 after absint process ends, check this AddrMap for holes.
98 holes are either dead byte-code or issues with absint cflow handling.
126 So, on attempt of usage of conflicting reg, absint will fail with message of undefined reg.
942 // TODO(vdyadov): think of two-pass absint, where we can catch const-null cases in HandleJeqzObj()
3203 // ACC may be a supertype of given type, because of impresicion of absint, in HandleCheckcast()
3204 // real type in ACC during execution may be a subtype of ACC type during absint in HandleCheckcast()
3291 // ACC may be a supertype of given type, because of impresicion of absint, in HandleIsinstance()
3292 // real type in ACC during execution may be a subtype of ACC type during absint in HandleIsinstance()
3864 // on absint stage: in HandleThrow()
3868 // - stop absint in HandleThrow()
|
| /arkcompiler/runtime_core/verification/ |
| D | verification.gni | 36 "$ark_root/verification/absint/abs_int_inl.cpp",
37 "$ark_root/verification/absint/absint.cpp",
38 "$ark_root/verification/absint/panda_types.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 | 138 …ABSINT: ${std::hex << std::setw(sizeof(uint32_t) * 2) << std::setfill('0') << instruction.GetOffse…
|
| /arkcompiler/runtime_core/verification/jobs/ |
| D | job.cpp | 17 #include "verification/absint/absint.h"
78 if (check[MethodOption::CheckType::ABSINT]) { in DoChecks()
|
| D | thread_pool.h | 24 #include "verification/absint/panda_types.h"
|
| /arkcompiler/runtime_core/verification/gen/templates/ |
| D | abs_int_inl_compat_checks.h.erb | 19 #include "absint/verification_status.h"
21 #include "verification/absint/panda_types.h"
|
| D | lang_specifics.h.erb | 20 #include "verification/absint/panda_types.h"
|
| /arkcompiler/runtime_core/verification/config/options/ |
| D | method_options.h | 30 enum class CheckType { CFLOW, RESOLVE_ID, REG_USAGE, TYPING, ABSINT }; enumerator
34 …using CheckEnum = SaturatedEnum<CheckType, CheckType::ABSINT, CheckType::TYPING, CheckType::REG_US…
252 case MethodOption::CheckType::ABSINT: in Image()
253 result += "'absint' "; in Image()
|
| /arkcompiler/runtime_core/tests/cts-generator/ |
| D | verifier.config | 22 cflow, resolve-id, typing, absint
|
| /arkcompiler/runtime_core/verification/config/default/ |
| D | default_config.cpp | 34 " cflow, resolve-id, typing, absint\n"
|
| /arkcompiler/runtime_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/verification/config/handlers/ |
| D | config_handler_method_options.cpp | 105 } else if (c == "absint") { in ProcessSectionCheck()
106 options_check |= MethodOption::CheckType::ABSINT; in ProcessSectionCheck()
|