From c1051ab26e8b2182268130343b9b11e2e4b61df2 Mon Sep 17 00:00:00 2001 From: David Callahan Date: Wed, 5 Oct 2016 21:36:16 +0000 Subject: Modify df_iterator to support post-order actions Summary: This makes a change to the state used to maintain visited information for depth first iterator. We know assume a method "completed(...)" which is called after all children of a node have been visited. In all existing cases, this method does nothing so this patch has no functional changes. It will however allow a client to distinguish back from cross edges in a DFS tree. Reviewers: nadav, mehdi_amini, dberlin Subscribers: MatzeB, mzolotukhin, twoh, freik, llvm-commits Differential Revision: https://reviews.llvm.org/D25191 llvm-svn: 283391 --- llvm/lib/CodeGen/MachineVerifier.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp') diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 33bf9abc8ef..6175313e391 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -2014,11 +2014,11 @@ void MachineVerifier::verifyStackFrame() { SmallVector SPState; SPState.resize(MF->getNumBlockIDs()); - SmallPtrSet Reachable; + df_iterator_default_set Reachable; // Visit the MBBs in DFS order. for (df_ext_iterator > + df_iterator_default_set > DFI = df_ext_begin(MF, Reachable), DFE = df_ext_end(MF, Reachable); DFI != DFE; ++DFI) { const MachineBasicBlock *MBB = *DFI; -- cgit v1.2.3