aboutsummaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2003-02-12 18:45:08 +0000
committerChris Lattner <sabre@nondot.org>2003-02-12 18:45:08 +0000
commitf3bafc10438a70d5a65d65b7bc42d7798b7fe14b (patch)
treeaa5060e71e02a51038003483bce9914663a621c6 /tools
parentd70b68ebd01baf2c5308ee7bc0881bb3fb999c56 (diff)
downloadexternal_llvm-f3bafc10438a70d5a65d65b7bc42d7798b7fe14b.zip
external_llvm-f3bafc10438a70d5a65d65b7bc42d7798b7fe14b.tar.gz
external_llvm-f3bafc10438a70d5a65d65b7bc42d7798b7fe14b.tar.bz2
Add new -no-verify option
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5542 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools')
-rw-r--r--tools/opt/opt.cpp6
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/opt/opt.cpp b/tools/opt/opt.cpp
index 9d0837c..74c30d1 100644
--- a/tools/opt/opt.cpp
+++ b/tools/opt/opt.cpp
@@ -51,6 +51,9 @@ static cl::opt<bool>
NoOutput("no-output", cl::desc("Do not write result bytecode file"), cl::Hidden);
static cl::opt<bool>
+NoVerify("no-verify", cl::desc("Do not verify result module"), cl::Hidden);
+
+static cl::opt<bool>
Quiet("q", cl::desc("Don't print 'program modified' message"));
static cl::alias
@@ -128,7 +131,8 @@ int main(int argc, char **argv) {
}
// Check that the module is well formed on completion of optimization
- Passes.add(createVerifierPass());
+ if (!NoVerify)
+ Passes.add(createVerifierPass());
// Write bytecode out to disk or cout as the last step...
if (!NoOutput)