diff options
author | Chris Lattner <sabre@nondot.org> | 2003-05-12 22:12:44 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-05-12 22:12:44 +0000 |
commit | 59039a926de3ccc77745427e1bc50547fb304263 (patch) | |
tree | d9a1deb5f62be1d2f506a1b16404ccc06a842548 /tools | |
parent | 0b43f4ef2950b709311434cb5589e5fcb94a127a (diff) | |
download | llvm-59039a926de3ccc77745427e1bc50547fb304263.tar.gz llvm-59039a926de3ccc77745427e1bc50547fb304263.tar.bz2 llvm-59039a926de3ccc77745427e1bc50547fb304263.tar.xz |
Add a disable-verify option
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6155 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools')
-rw-r--r-- | tools/analyze/analyze.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/analyze/analyze.cpp b/tools/analyze/analyze.cpp index 4491a299cf..be2adee68b 100644 --- a/tools/analyze/analyze.cpp +++ b/tools/analyze/analyze.cpp @@ -94,6 +94,9 @@ namespace { cl::alias QuietA("quiet", cl::desc("Alias for -q"), cl::aliasopt(Quiet)); + cl::opt<bool> NoVerify("disable-verify", cl::Hidden, + cl::desc("Do not verify input module")); + // The AnalysesList is automatically populated with registered Passes by the // PassNameParser. // @@ -130,7 +133,8 @@ int main(int argc, char **argv) { Passes.add(new TargetData("analyze", CurMod)); // Make sure the input LLVM is well formed. - Passes.add(createVerifierPass()); + if (!NoVerify) + Passes.add(createVerifierPass()); // Create a new optimization pass for each one specified on the command line for (unsigned i = 0; i < AnalysesList.size(); ++i) { |