Lines Matching refs:verifier
29 namespace verifier {
55 static RegisterLine* Create(size_t num_regs, MethodVerifier* verifier) { in Create() argument
57 RegisterLine* rl = new (memory) RegisterLine(num_regs, verifier); in Create()
62 void CopyRegister1(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc, TypeCategory cat)
67 void CopyRegister2(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc)
72 void CopyResultRegister1(MethodVerifier* verifier, uint32_t vdst, bool is_reference)
77 void CopyResultRegister2(MethodVerifier* verifier, uint32_t vdst)
81 void SetResultTypeToUnknown(MethodVerifier* verifier) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
86 ALWAYS_INLINE bool SetRegisterType(MethodVerifier* verifier, uint32_t vdst,
90 bool SetRegisterTypeWide(MethodVerifier* verifier, uint32_t vdst, const RegType& new_type1,
95 void SetResultRegisterType(MethodVerifier* verifier, const RegType& new_type)
102 const RegType& GetRegisterType(MethodVerifier* verifier, uint32_t vsrc) const;
104 ALWAYS_INLINE bool VerifyRegisterType(MethodVerifier* verifier, uint32_t vsrc,
108 bool VerifyRegisterTypeWide(MethodVerifier* verifier, uint32_t vsrc, const RegType& check_type1,
120 std::string Dump(MethodVerifier* verifier) const SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
134 void MarkUninitRefsAsInvalid(MethodVerifier* verifier, const RegType& uninit_type)
142 void MarkRefsAsInitialized(MethodVerifier* verifier, const RegType& uninit_type,
149 void MarkAllRegistersAsConflicts(MethodVerifier* verifier);
150 void MarkAllRegistersAsConflictsExcept(MethodVerifier* verifier, uint32_t vsrc);
151 void MarkAllRegistersAsConflictsExceptWide(MethodVerifier* verifier, uint32_t vsrc);
168 bool CheckConstructorReturn(MethodVerifier* verifier) const;
192 const RegType& GetInvocationThis(MethodVerifier* verifier, const Instruction* inst,
200 void CheckUnaryOp(MethodVerifier* verifier, const Instruction* inst, const RegType& dst_type,
204 void CheckUnaryOpWide(MethodVerifier* verifier, const Instruction* inst,
209 void CheckUnaryOpToWide(MethodVerifier* verifier, const Instruction* inst,
214 void CheckUnaryOpFromWide(MethodVerifier* verifier, const Instruction* inst,
224 void CheckBinaryOp(MethodVerifier* verifier, const Instruction* inst,
229 void CheckBinaryOpWide(MethodVerifier* verifier, const Instruction* inst,
235 void CheckBinaryOpWideShift(MethodVerifier* verifier, const Instruction* inst,
244 void CheckBinaryOp2addr(MethodVerifier* verifier, const Instruction* inst,
250 void CheckBinaryOp2addrWide(MethodVerifier* verifier, const Instruction* inst,
256 void CheckBinaryOp2addrWideShift(MethodVerifier* verifier, const Instruction* inst,
267 void CheckLiteralOp(MethodVerifier* verifier, const Instruction* inst,
273 void PushMonitor(MethodVerifier* verifier, uint32_t reg_idx, int32_t insn_idx)
277 void PopMonitor(MethodVerifier* verifier, uint32_t reg_idx)
287 bool VerifyMonitorStackEmpty(MethodVerifier* verifier) const;
289 bool MergeRegisters(MethodVerifier* verifier, const RegisterLine* incoming_line)
292 size_t GetMaxNonZeroReferenceReg(MethodVerifier* verifier, size_t max_ref_reg) const;
295 void WriteReferenceBitMap(MethodVerifier* verifier, std::vector<uint8_t>* data, size_t max_bytes);
353 RegisterLine(size_t num_regs, MethodVerifier* verifier) in RegisterLine() argument
356 SetResultTypeToUnknown(verifier); in RegisterLine()