Home
last modified time | relevance | path

Searched refs:regCtx (Results 1 - 1 of 1) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/
H A Dabsint.cpp78 RegContext &regCtx = verifCtx.ExecCtx().CurrentRegContext(); in PrepareVerificationContext() local
79 regCtx.Clear(); in PrepareVerificationContext()
82 regCtx[numVregs] = AbstractTypedValue {}; in PrepareVerificationContext()
88 regCtx[numVregs++] = AbstractTypedValue {t, verifCtx.NewVar(), AbstractTypedValue::Start {}, idx}; in PrepareVerificationContext()
90 LOG_VERIFIER_DEBUG_REGISTERS("registers =", regCtx.DumpRegs(typeSystem)); in PrepareVerificationContext()

Completed in 1 milliseconds