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()
|