Home | History | Annotate | Download | only in verifier

Lines Matching refs:vsrc

98   /* Get the element type of the array held in vsrc */
109 bool RegisterLine::VerifyRegisterType(uint32_t vsrc,
112 RegType& src_type = GetRegisterType(vsrc);
123 verifier_->Fail(fail_type) << "register v" << vsrc << " has type "
128 RegType& src_type_h = GetRegisterType(vsrc + 1);
130 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type "
135 // The register at vsrc has a defined type, we know the lower-upper-bound, but this is less
136 // precise than the subtype in vsrc so leave it for reference types. For primitive types
142 bool RegisterLine::VerifyRegisterTypeWide(uint32_t vsrc, RegType& check_type1,
146 RegType& src_type = GetRegisterType(vsrc);
148 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << vsrc << " has type " << src_type
152 RegType& src_type_h = GetRegisterType(vsrc + 1);
154 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type "
158 // The register at vsrc has a defined type, we know the lower-upper-bound, but this is less
159 // precise than the subtype in vsrc so leave it for reference types. For primitive types
185 void RegisterLine::MarkAllRegistersAsConflictsExcept(uint32_t vsrc) {
188 if (i != vsrc) {
194 void RegisterLine::MarkAllRegistersAsConflictsExceptWide(uint32_t vsrc) {
197 if ((i != vsrc) && (i != (vsrc + 1))) {
225 void RegisterLine::CopyRegister1(uint32_t vdst, uint32_t vsrc, TypeCategory cat) {
227 RegType& type = GetRegisterType(vsrc);
233 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "copy1 v" << vdst << "<-v" << vsrc << " type=" << type
236 CopyRegToLockDepth(vdst, vsrc);
240 void RegisterLine::CopyRegister2(uint32_t vdst, uint32_t vsrc) {
241 RegType& type_l = GetRegisterType(vsrc);
242 RegType& type_h = GetRegisterType(vsrc + 1);
245 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "copy2 v" << vdst << "<-v" << vsrc