Cross Reference: /art/runtime/verifier/register

Lines Matching refs:verifier
30 namespace verifier {
66   static RegisterLine* Create(size_t num_regs, MethodVerifier* verifier);
69   void CopyRegister1(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc, TypeCategory cat)
74   void CopyRegister2(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc)
79   void CopyResultRegister1(MethodVerifier* verifier, uint32_t vdst, bool is_reference)
84   void CopyResultRegister2(MethodVerifier* verifier, uint32_t vdst)
88   void SetResultTypeToUnknown(MethodVerifier* verifier) SHARED_REQUIRES(Locks::mutator_lock_);
102   ALWAYS_INLINE bool SetRegisterType(MethodVerifier* verifier,
107   bool SetRegisterTypeWide(MethodVerifier* verifier,
114   void SetResultRegisterType(MethodVerifier* verifier, const RegType& new_type)
121   const RegType& GetRegisterType(MethodVerifier* verifier, uint32_t vsrc) const;
123   ALWAYS_INLINE bool VerifyRegisterType(MethodVerifier* verifier,
128   bool VerifyRegisterTypeWide(MethodVerifier* verifier,
142   std::string Dump(MethodVerifier* verifier) const SHARED_REQUIRES(Locks::mutator_lock_);
156   void MarkUninitRefsAsInvalid(MethodVerifier* verifier, const RegType& uninit_type)
164   void MarkRefsAsInitialized(MethodVerifier* verifier, const RegType& uninit_type)
170   void MarkAllRegistersAsConflicts(MethodVerifier* verifier);
171   void MarkAllRegistersAsConflictsExcept(MethodVerifier* verifier, uint32_t vsrc);
172   void MarkAllRegistersAsConflictsExceptWide(MethodVerifier* verifier, uint32_t vsrc);
189   bool CheckConstructorReturn(MethodVerifier* verifier) const;
218   const RegType& GetInvocationThis(MethodVerifier* verifier,
228   void CheckUnaryOp(MethodVerifier* verifier,
234   void CheckUnaryOpWide(MethodVerifier* verifier,
242   void CheckUnaryOpToWide(MethodVerifier* verifier,
249   void CheckUnaryOpFromWide(MethodVerifier* verifier,
261   void CheckBinaryOp(MethodVerifier* verifier,
269   void CheckBinaryOpWide(MethodVerifier* verifier,
279   void CheckBinaryOpWideShift(MethodVerifier* verifier,
290   void CheckBinaryOp2addr(MethodVerifier* verifier,
298   void CheckBinaryOp2addrWide(MethodVerifier* verifier,
308   void CheckBinaryOp2addrWideShift(MethodVerifier* verifier,
321   void CheckLiteralOp(MethodVerifier* verifier,
330   void PushMonitor(MethodVerifier* verifier, uint32_t reg_idx, int32_t insn_idx)
334   void PopMonitor(MethodVerifier* verifier, uint32_t reg_idx)
344   void VerifyMonitorStackEmpty(MethodVerifier* verifier) const;
346   bool MergeRegisters(MethodVerifier* verifier, const RegisterLine* incoming_line)
403         VLOG(verifier) << "Also unlocking " << pair.first;
413   RegisterLine(size_t num_regs, MethodVerifier* verifier);
443 }  // namespace verifier