Home | History | Annotate | Download | only in verifier

Lines Matching defs:reg_type

1235           RegType& reg_type = ResolveClassAndCheckAccess(iterator.GetTypeIdx());
1236 if (!reg_type.IsNonZeroReferenceTypes()) {
1240 reg_line->SetRegisterType(arg_start + cur_arg, reg_type);
1630 RegType& reg_type = work_line_->GetRegisterType(vregA);
1633 if (reg_type.IsUninitializedTypes()) {
1635 << reg_type << "'";
1636 } else if (!return_type.IsAssignableFrom(reg_type)) {
1637 if (reg_type.IsUnresolvedTypes() || return_type.IsUnresolvedTypes()) {
1639 << "' or '" << reg_type << "'";
1641 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning '" << reg_type
1964 RegType& reg_type = work_line_->GetRegisterType(inst->VRegA_21t());
1965 if (!reg_type.IsReferenceTypes() && !reg_type.IsIntegralTypes()) {
1966 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type
2074 RegType& reg_type = work_line_->GetRegisterType(inst->VRegA_21t());
2075 if (!reg_type.IsIntegralTypes()) {
2076 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type
3225 RegType& reg_type = reg_types_.FromDescriptor(class_loader_->Get(), param_descriptor,
3229 if (reg_type.IsIntegralTypes()) {
3233 << " but expected " << reg_type;
3236 } else if (!work_line_->VerifyRegisterType(get_reg, reg_type)) {
3243 sig_registers += reg_type.IsLongOrDoubleTypes() ? 2 : 1;
3462 RegType& reg_type = reg_types_.FromDescriptor(class_loader_->Get(), descriptor, false);
3464 if (!work_line_->VerifyRegisterType(get_reg, reg_type)) {
3467 actual_args = reg_type.IsLongOrDoubleTypes() ? actual_args + 2 : actual_args + 1;