30 VeriFlowAnalysis::VeriFlowAnalysis(VeridexResolver* resolver,  in VeriFlowAnalysis()  function in art::VeriFlowAnalysis
38 void VeriFlowAnalysis::SetAsBranchTarget(uint32_t dex_pc) {  in SetAsBranchTarget()
45 bool VeriFlowAnalysis::IsBranchTarget(uint32_t dex_pc) {  in IsBranchTarget()
49 bool VeriFlowAnalysis::MergeRegisterValues(uint32_t dex_pc) {  in MergeRegisterValues()
62 void VeriFlowAnalysis::SetVisited(uint32_t dex_pc) {  in SetVisited()
66 void VeriFlowAnalysis::FindBranches() {  in FindBranches()
114 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register,  in UpdateRegister()
126 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) {  in UpdateRegister()
132 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) {  in UpdateRegister()
139 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) {  in UpdateRegister()
146 const RegisterValue& VeriFlowAnalysis::GetRegister(uint32_t dex_register) const {  in GetRegister()
150 RegisterValue VeriFlowAnalysis::GetReturnType(uint32_t method_index) {  in GetReturnType()
158 RegisterValue VeriFlowAnalysis::GetFieldType(uint32_t field_index) {  in GetFieldType()
165 int VeriFlowAnalysis::GetBranchFlags(const Instruction& instruction) const {  in GetBranchFlags()
208 void VeriFlowAnalysis::AnalyzeCode() {  in AnalyzeCode()
259 void VeriFlowAnalysis::ProcessDexInstruction(const Instruction& instruction) {  in ProcessDexInstruction()
688 void VeriFlowAnalysis::Run() {  in Run()