Lines Matching refs:RegType

142   const RegType& ResolveCheckedClass(dex::TypeIndex class_idx) override  in ResolveCheckedClass()
145 const RegType& result = ResolveClass<CheckAccess::kYes>(class_idx); in ResolveCheckedClass()
546 void VerifyPrimitivePut(const RegType& target_type, const RegType& insn_type,
553 void VerifyAGet(const Instruction* inst, const RegType& insn_type,
557 void VerifyAPut(const Instruction* inst, const RegType& insn_type,
561 ArtField* GetInstanceField(const RegType& obj_type, int field_idx)
569 void VerifyISFieldAccess(const Instruction* inst, const RegType& insn_type,
576 const RegType& ResolveClass(dex::TypeIndex class_idx)
584 const RegType& GetCaughtExceptionType()
685 const RegType& GetMethodReturnType() REQUIRES_SHARED(Locks::mutator_lock_);
688 const RegType& GetDeclaringClass() REQUIRES_SHARED(Locks::mutator_lock_) { in GetDeclaringClass()
707 const RegType& DetermineCat1Constant(int32_t value, bool precise)
715 const RegType& FromClass(const char* descriptor, ObjPtr<mirror::Class> klass, bool precise) in FromClass()
791 const RegType* return_type_; // Lazily computed return type of the method.
797 const RegType* declaring_class_; // Lazily computed reg type of the method's declaring class.
1703 const RegType& declaring_class = GetDeclaringClass(); in SetTypesFromSignature()
1745 const RegType& reg_type = ResolveClass<CheckAccess::kNo>(iterator.GetTypeIdx()); in SetTypesFromSignature()
1779 const RegType* lo_half; in SetTypesFromSignature()
1780 const RegType* hi_half; in SetTypesFromSignature()
2169 const RegType& return_type = GetMethodReturnType(); in CodeFlowVerifyInstruction()
2177 const RegType& src_type = work_line_->GetRegisterType(this, vregA); in CodeFlowVerifyInstruction()
2194 const RegType& return_type = GetMethodReturnType(); in CodeFlowVerifyInstruction()
2209 const RegType& return_type = GetMethodReturnType(); in CodeFlowVerifyInstruction()
2217 const RegType& reg_type = work_line_->GetRegisterType(this, vregA); in CodeFlowVerifyInstruction()
2285 const RegType& lo = reg_types_.FromCat2ConstLo(static_cast<int32_t>(val), true); in CodeFlowVerifyInstruction()
2286 const RegType& hi = reg_types_.FromCat2ConstHi(static_cast<int32_t>(val >> 32), true); in CodeFlowVerifyInstruction()
2292 const RegType& lo = reg_types_.FromCat2ConstLo(static_cast<int32_t>(val), true); in CodeFlowVerifyInstruction()
2293 const RegType& hi = reg_types_.FromCat2ConstHi(static_cast<int32_t>(val >> 32), true); in CodeFlowVerifyInstruction()
2299 const RegType& lo = reg_types_.FromCat2ConstLo(static_cast<int32_t>(val), true); in CodeFlowVerifyInstruction()
2300 const RegType& hi = reg_types_.FromCat2ConstHi(static_cast<int32_t>(val >> 32), true); in CodeFlowVerifyInstruction()
2306 const RegType& lo = reg_types_.FromCat2ConstLo(static_cast<int32_t>(val), true); in CodeFlowVerifyInstruction()
2307 const RegType& hi = reg_types_.FromCat2ConstHi(static_cast<int32_t>(val >> 32), true); in CodeFlowVerifyInstruction()
2322 const RegType& res_type = ResolveClass<CheckAccess::kYes>(dex::TypeIndex(inst->VRegB_21c())); in CodeFlowVerifyInstruction()
2440 const RegType& res_type = ResolveClass<CheckAccess::kYes>(type_idx); in CodeFlowVerifyInstruction()
2462 const RegType& orig_type = work_line_->GetRegisterType(this, orig_type_reg); in CodeFlowVerifyInstruction()
2495 const RegType& res_type = work_line_->GetRegisterType(this, inst->VRegB_12x()); in CodeFlowVerifyInstruction()
2511 const RegType& res_type = ResolveClass<CheckAccess::kYes>(dex::TypeIndex(inst->VRegB_21c())); in CodeFlowVerifyInstruction()
2523 const RegType& uninit_type = reg_types_.Uninitialized(res_type, work_insn_idx_); in CodeFlowVerifyInstruction()
2576 const RegType& res_type = work_line_->GetRegisterType(this, inst->VRegA_11x()); in CodeFlowVerifyInstruction()
2603 const RegType& array_type = work_line_->GetRegisterType(this, inst->VRegA_31t()); in CodeFlowVerifyInstruction()
2614 const RegType& component_type = reg_types_.GetComponentType(array_type, in CodeFlowVerifyInstruction()
2643 const RegType& reg_type1 = work_line_->GetRegisterType(this, inst->VRegA_22t()); in CodeFlowVerifyInstruction()
2644 const RegType& reg_type2 = work_line_->GetRegisterType(this, inst->VRegB_22t()); in CodeFlowVerifyInstruction()
2663 const RegType& reg_type1 = work_line_->GetRegisterType(this, inst->VRegA_22t()); in CodeFlowVerifyInstruction()
2664 const RegType& reg_type2 = work_line_->GetRegisterType(this, inst->VRegB_22t()); in CodeFlowVerifyInstruction()
2673 const RegType& reg_type = work_line_->GetRegisterType(this, inst->VRegA_21t()); in CodeFlowVerifyInstruction()
2721 const RegType& orig_type = work_line_->GetRegisterType(this, instance_of_inst.VRegB_22c()); in CodeFlowVerifyInstruction()
2722 const RegType& cast_type = ResolveClass<CheckAccess::kNo>( in CodeFlowVerifyInstruction()
2787 const RegType& reg_type = work_line_->GetRegisterType(this, inst->VRegA_21t()); in CodeFlowVerifyInstruction()
2957 const RegType* return_type = nullptr; in CodeFlowVerifyInstruction()
2993 const RegType* return_type = nullptr; in CodeFlowVerifyInstruction()
3024 const RegType& this_type = work_line_->GetInvocationThis(this, inst); in CodeFlowVerifyInstruction()
3083 const RegType& return_type = reg_types_.FromDescriptor(class_loader_.Get(), in CodeFlowVerifyInstruction()
3109 const RegType& this_type = work_line_->GetInvocationThis(this, inst); in CodeFlowVerifyInstruction()
3140 const RegType& return_type = reg_types_.FromDescriptor(class_loader_.Get(), in CodeFlowVerifyInstruction()
3174 const RegType& return_type = in CodeFlowVerifyInstruction()
3207 const RegType& return_type = in CodeFlowVerifyInstruction()
3432 const RegType& declaring_class = GetDeclaringClass(); in CodeFlowVerifyInstruction()
3725 const RegType& MethodVerifier<kVerifierDebug>::ResolveClass(dex::TypeIndex class_idx) { in ResolveClass()
3734 const RegType* result = nullptr; in ResolveClass()
3771 const RegType& referrer = GetDeclaringClass(); in ResolveClass()
3794 std::pair<bool, const RegType*> { in HandleMoveException()
3795 const RegType* common_super = nullptr; in HandleMoveException()
3799 const RegType* unresolved = nullptr; in HandleMoveException()
3808 const RegType& exception = in HandleMoveException()
3876 const RegType& klass_type = ResolveClass<CheckAccess::kYes>(method_id.class_idx_); in ResolveMethodAndCheckAccess()
3887 const RegType& referrer = GetDeclaringClass(); in ResolveMethodAndCheckAccess()
4043 const RegType& actual_arg_type = work_line_->GetInvocationThis(this, inst); in VerifyInvocationArgsFromIterator()
4065 const RegType& adjusted_type = is_init in VerifyInvocationArgsFromIterator()
4069 const RegType* res_method_class; in VerifyInvocationArgsFromIterator()
4121 const RegType& reg_type = reg_types_.FromDescriptor(class_loader_.Get(), in VerifyInvocationArgsFromIterator()
4127 const RegType& src_type = work_line_->GetRegisterType(this, get_reg); in VerifyInvocationArgsFromIterator()
4279 const RegType& reference_type = reg_types_.FromDescriptor( in VerifyInvocationArgs()
4302 const RegType& super = GetDeclaringClass().GetSuperClass(&reg_types_); in VerifyInvocationArgs()
4384 const RegType& this_type = work_line_->GetInvocationThis(this, inst); in CheckSignaturePolymorphicReceiver()
4431 const RegType& res_type = ResolveClass<CheckAccess::kYes>(type_idx); in VerifyNewArray()
4442 const RegType& precise_type = reg_types_.FromUninitialized(res_type); in VerifyNewArray()
4448 const RegType& expected_type = reg_types_.GetComponentType(res_type, class_loader_.Get()); in VerifyNewArray()
4462 const RegType& precise_type = reg_types_.FromUninitialized(res_type); in VerifyNewArray()
4470 const RegType& insn_type, in VerifyAGet()
4472 const RegType& index_type = work_line_->GetRegisterType(this, inst->VRegC_23x()); in VerifyAGet()
4476 const RegType& array_type = work_line_->GetRegisterType(this, inst->VRegB_23x()); in VerifyAGet()
4514 const RegType& component_type = reg_types_.GetComponentType(array_type, class_loader_.Get()); in VerifyAGet()
4542 void MethodVerifier<kVerifierDebug>::VerifyPrimitivePut(const RegType& target_type, in VerifyPrimitivePut()
4543 const RegType& insn_type, in VerifyPrimitivePut()
4548 const RegType& value_type = work_line_->GetRegisterType(this, vregA); in VerifyPrimitivePut()
4560 const RegType& value_type_hi = work_line_->GetRegisterType(this, vregA + 1); in VerifyPrimitivePut()
4570 const RegType& value_type_hi = work_line_->GetRegisterType(this, vregA + 1); in VerifyPrimitivePut()
4596 const RegType& insn_type, in VerifyAPut()
4598 const RegType& index_type = work_line_->GetRegisterType(this, inst->VRegC_23x()); in VerifyAPut()
4602 const RegType& array_type = work_line_->GetRegisterType(this, inst->VRegB_23x()); in VerifyAPut()
4608 const RegType* modified_reg_type = &insn_type; in VerifyAPut()
4612 const RegType& value_type = work_line_->GetRegisterType(this, inst->VRegA_23x()); in VerifyAPut()
4636 const RegType& component_type = reg_types_.GetComponentType(array_type, class_loader_.Get()); in VerifyAPut()
4659 const RegType& klass_type = ResolveClass<CheckAccess::kYes>(field_id.class_idx_); in GetStaticField()
4700 ArtField* MethodVerifier<kVerifierDebug>::GetInstanceField(const RegType& obj_type, int field_idx) { in GetInstanceField()
4709 const RegType& klass_type = ResolveClass<CheckAccess::kYes>(field_id.class_idx_); in GetInstanceField()
4743 const RegType& field_klass = in GetInstanceField()
4796 const RegType& insn_type, in VerifyISFieldAccess()
4804 const RegType& object_type = work_line_->GetRegisterType(this, inst->VRegB_22c()); in VerifyISFieldAccess()
4813 const RegType& adjusted_type = should_adjust in VerifyISFieldAccess()
4834 const RegType* field_type = nullptr; in VerifyISFieldAccess()
4867 const RegType* field_class_type = &reg_types_.FromDescriptor(class_loader_.Get(), in VerifyISFieldAccess()
5006 const RegType& MethodVerifier<kVerifierDebug>::GetMethodReturnType() { in GetMethodReturnType()
5033 const RegType& MethodVerifier<kVerifierDebug>::DetermineCat1Constant(int32_t value, bool precise) { in DetermineCat1Constant()