106 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register,  in UpdateRegister()  function in art::VeriFlowAnalysis
114 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) {  in UpdateRegister()  function in art::VeriFlowAnalysis
118 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) {  in UpdateRegister()  function in art::VeriFlowAnalysis
123 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) {  in UpdateRegister()  function in art::VeriFlowAnalysis
241       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
247       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
254       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
261       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
270       UpdateRegister(register_index, VeriClass::long_);  in ProcessDexInstruction()
277       UpdateRegister(instruction.VRegA(), GetRegister(instruction.VRegB()));  in ProcessDexInstruction()
284       UpdateRegister(instruction.VRegA(), GetRegister(instruction.VRegB()));  in ProcessDexInstruction()
291       UpdateRegister(instruction.VRegA(), GetRegister(instruction.VRegB()));  in ProcessDexInstruction()
295       UpdateRegister(instruction.VRegA_21c(),  in ProcessDexInstruction()
302       UpdateRegister(instruction.VRegA_21c(),  in ProcessDexInstruction()
310       UpdateRegister(instruction.VRegA_31c(),  in ProcessDexInstruction()
337       UpdateRegister(instruction.VRegA(), last_result_);  in ProcessDexInstruction()
382       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
401       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
437       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
473       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
485       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
500       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
506       UpdateRegister(instruction.VRegA(), cls);  in ProcessDexInstruction()
513       UpdateRegister(instruction.VRegA_22c(), cls);  in ProcessDexInstruction()
520       UpdateRegister(instruction.VRegA_22c(), cls);  in ProcessDexInstruction()
528       UpdateRegister(register_index, cls);  in ProcessDexInstruction()
541       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
555       UpdateRegister(instruction.VRegA_22c(), GetFieldType(instruction.VRegC_22c()));  in ProcessDexInstruction()
580         UpdateRegister(dest_reg, gTargetSdkVersion, VeriClass::integer_);  in ProcessDexInstruction()
582         UpdateRegister(dest_reg, GetFieldType(instruction.VRegC_22c()));  in ProcessDexInstruction()
600       UpdateRegister(instruction.VRegA_23x(), anticipated_type);                  \  in ProcessDexInstruction()
616       UpdateRegister(instruction.VRegA_23x(), VeriClass::object_);  in ProcessDexInstruction()
625       UpdateRegister(instruction.VRegA_12x(), VeriClass::integer_);  in ProcessDexInstruction()
630       UpdateRegister(instruction.VRegA_11x(), VeriClass::throwable_);  in ProcessDexInstruction()
640       UpdateRegister(destination, VeriClass::boolean_);  in ProcessDexInstruction()
647       UpdateRegister(reference, resolver_->GetVeriClass(type_index));  in ProcessDexInstruction()