Searched refs:dex_register (Results 1 – 2 of 2) sorted by relevance
/art/tools/veridex/ |
D | flow_analysis.h | 139 uint32_t dex_register, RegisterSource kind, VeriClass* cls, uint32_t source_id); 140 void UpdateRegister(uint32_t dex_register, const RegisterValue& value); 141 void UpdateRegister(uint32_t dex_register, const VeriClass* cls); 142 void UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls); 150 const RegisterValue& GetRegister(uint32_t dex_register) const;
|
D | flow_analysis.cc | 106 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, in UpdateRegister() argument 110 current_registers_[dex_register] = RegisterValue( in UpdateRegister() 114 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) { in UpdateRegister() argument 115 current_registers_[dex_register] = value; in UpdateRegister() 118 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) { in UpdateRegister() argument 119 current_registers_[dex_register] = in UpdateRegister() 123 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) { in UpdateRegister() argument 124 current_registers_[dex_register] = in UpdateRegister() 128 const RegisterValue& VeriFlowAnalysis::GetRegister(uint32_t dex_register) const { in GetRegister() 129 return current_registers_[dex_register]; in GetRegister()
|