Searched refs:typeSystem (Results 1 - 9 of 9) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/value/tests/ |
| H A D | abstract_typed_value_test.cpp | 37 TypeSystem typeSystem(service->verifierService); in TEST_F()
53 auto av3 = AtvJoin(&av1, &av2, &typeSystem); in TEST_F()
60 auto av5 = AtvJoin(&av2, &av4, &typeSystem); in TEST_F()
67 auto av7 = AtvJoin(&av1, &av6, &typeSystem); in TEST_F()
|
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| H A D | absint.cpp | 59 VerificationContext PrepareVerificationContext(TypeSystem *typeSystem, Job const *job) in PrepareVerificationContext() argument
67 VerificationContext verifCtx {typeSystem, job, methodClassType}; in PrepareVerificationContext()
84 const auto &signature = typeSystem->GetMethodSignature(method); in PrepareVerificationContext()
90 LOG_VERIFIER_DEBUG_REGISTERS("registers =", regCtx.DumpRegs(typeSystem)); in PrepareVerificationContext()
94 LOG_VERIFIER_DEBUG_RESULT(signature->result.ToString(typeSystem)); in PrepareVerificationContext()
166 auto *typeSystem = verifCtx.GetTypeSystem(); in ComputeRegContext() local
178 LOG_VERIFIER_DEBUG_REGISTERS("+", ctx.DumpRegs(typeSystem)); in ComputeRegContext()
183 regContext->UnionWith(&ctx, typeSystem); in ComputeRegContext()
188 LOG_VERIFIER_DEBUG_REGISTERS("=", regContext->DumpRegs(typeSystem)); in ComputeRegContext()
|
| H A D | verification_context.h | 41 VerificationContext(TypeSystem *typeSystem, Job const *job, Type methodClassType) in VerificationContext() argument
42 : types_ {typeSystem}, in VerificationContext()
45 execCtx_ {CflowInfo().GetAddrStart(), CflowInfo().GetAddrEnd(), typeSystem},
|
| H A D | absint.h | 31 VerificationContext PrepareVerificationContext(TypeSystem *typeSystem, Job const *job);
|
| H A D | exec_context.h | 179 ExecContext(const uint8_t *pcStartPtr, const uint8_t *pcEndPtr, TypeSystem *typeSystem) in ExecContext() argument
180 : checkPoint_ {pcStartPtr, pcEndPtr}, processedJumps_ {pcStartPtr, pcEndPtr}, typeSystem_ {typeSystem} in ExecContext()
|
| /arkcompiler/runtime_core/static_core/verification/absint/tests/ |
| H A D | reg_context_test.cpp | 39 TypeSystem typeSystem(service->verifierService); in TEST_F()
59 auto ctx3 = RcUnion(&ctx1, &ctx2, &typeSystem); in TEST_F()
66 ctx3 = RcUnion(&ctx1, &ctx2, &typeSystem); in TEST_F()
|
| H A D | exec_context_test.cpp | 93 TypeSystem typeSystem(service->verifierService); in TEST_F()
110 ExecContext execCtx {&instructions[0], &instructions[127U], &typeSystem}; in TEST_F()
|
| /arkcompiler/runtime_core/static_core/verification/ |
| H A D | verification_options.h | 48 bool typeSystem = false; member
|
| /arkcompiler/runtime_core/static_core/verification/config/handlers/ |
| H A D | config_handler_options.cpp | 111 {"typesystem", BoolField {offsetof(VerificationOptions, debug.show.typeSystem)}}, in RegisterConfigHandlerOptions()
|
Completed in 3 milliseconds