ABI verifier: Add standalone tool pnacl-abicheck

include/llvm/Analysis/NaCl.h

 //===-- NaCl.h - NaCl Analysis ---------------------------*- C++ -*-===//
 //
 //                     The LLVM Compiler Infrastructure
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 
 #ifndef LLVM_ANALYSIS_NACL_H
 #define LLVM_ANALYSIS_NACL_H
 
+#include "llvm/Pass.h"
+
 namespace llvm {
 
-class FunctionPass;
-class ModulePass;
+// Interface to get verification results from module verifier passes.
+// Separated from the logic of the pass itself to

[Mark Seaborn, 2013/03/12 22:25:56]

Incomplete sentence?

[Derek Schuff, 2013/03/13 21:51:01]

Done.

+class PNaClABIVerifierPass {
+ public:
+  // ABI verifier errors will immediately print out the error and
+  // cause the pass to return true, aborting compilation. Call before running.
+  virtual void setStrict(bool Strict) = 0;
+  // Return the number of errors from the

[Mark Seaborn, 2013/03/12 22:25:56]

ditto

[Derek Schuff, 2013/03/13 21:51:01]

Done.

+  virtual int getErrorCount() = 0;
+};
 
-FunctionPass *createPNaClABIVerifyFunctionsPass();
-ModulePass *createPNaClABIVerifyModulePass();
+FunctionPass *createPNaClABIVerifyFunctionsPass(bool Strict);
+ModulePass *createPNaClABIVerifyModulePass(bool Strict);
 
 }
 
 
 #endif