Searched refs:resolver_ (Results 1 – 4 of 4) sorted by relevance
32 : resolver_(resolver), in VeriFlowAnalysis()111 kind, DexFileReference(&resolver_->GetDexFile(), source_id), cls); in UpdateRegister()133 const DexFile& dex_file = resolver_->GetDexFile(); in GetReturnType()136 VeriClass* cls = resolver_->GetVeriClass(proto_id.return_type_idx_); in GetReturnType()141 const DexFile& dex_file = resolver_->GetDexFile(); in GetFieldType()143 VeriClass* cls = resolver_->GetVeriClass(field_id.type_idx_); in GetFieldType()505 VeriClass* cls = resolver_->GetVeriClass(dex::TypeIndex(instruction.VRegB_21c())); in ProcessDexInstruction()512 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()519 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()527 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()[all …]
153 VeridexResolver* resolver_; variable
285 : resolver_(resolver), in ScratchRegisterScope()288 reg_ = resolver_->AllocateScratchRegister(blocked, number_of_registers, if_scratch, &spilled_); in ScratchRegisterScope()298 resolver_->RestoreScratch(reg_); in ~ScratchRegisterScope()
76 ParallelMoveResolverWithSwap* resolver_;