[PM] Pull the generic graph algorithms and data structures for dominator

[oota-llvm.git] / include / llvm / IR / Verifier.h

diff --git a/include/llvm/IR/Verifier.h b/include/llvm/IR/Verifier.h
index 787166d4b57d05d03cf0ca547997c41a2ec87959..7aec9732b9e3cf0c826f5349cc871f4057a6aba0 100644 (file)
--- a/include/llvm/IR/Verifier.h
+++ b/include/llvm/IR/Verifier.h
@@ -49,6 +49,11 @@ enum VerifierFailureAction {
 FunctionPass *
 createVerifierPass(VerifierFailureAction action = AbortProcessAction);
 
+/// \brief Check a function for errors, useful for use when debugging a
+/// pass.
+bool verifyFunction(const Function &F,
+                    VerifierFailureAction action = AbortProcessAction);
+
 /// \brief Check a module for errors.
 ///
 /// If there are no errors, the function returns false. If an error is found,
@@ -59,11 +64,6 @@ bool verifyModule(const Module &M,
                   VerifierFailureAction action = AbortProcessAction,
                   std::string *ErrorInfo = 0);
 
-/// \brief Check a function for errors, useful for use when debugging a
-/// pass.
-bool verifyFunction(const Function &F,
-                    VerifierFailureAction action = AbortProcessAction);
-
 } // End llvm namespace
 
 #endif