From: Chris Lattner <sabre@nondot.org>
Date: Mon, 18 Aug 2003 20:47:13 +0000 (+0000)
Subject: Add new -disable-verify option
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=04aa29d7bf97f6fd73883df7fa5127510c9cc40b;p=oota-llvm.git

Add new -disable-verify option


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@7960 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/tools/as/as.cpp b/tools/as/as.cpp
index 58605420200..4ca59b99803 100644
--- a/tools/as/as.cpp
+++ b/tools/as/as.cpp
@@ -31,6 +31,10 @@ Force("f", cl::desc("Overwrite output files"));
 static cl::opt<bool>
 DumpAsm("d", cl::desc("Print assembly as parsed"), cl::Hidden);
 
+static cl::opt<bool>
+DisableVerify("disable-verify", cl::Hidden,
+              cl::desc("Do not run verifier on input LLVM (dangerous!"));
+
 int main(int argc, char **argv) {
   cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n");
 
@@ -43,12 +47,11 @@ int main(int argc, char **argv) {
       return 1;
     }
 
-    if (verifyModule(*M.get())) {
+    if (!DisableVerify && verifyModule(*M.get())) {
       std::cerr << argv[0]
                 << ": assembly parsed, but does not verify as correct!\n";
       return 1;
     }
-
   
     if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get();
 
diff --git a/tools/llvm-as/as.cpp b/tools/llvm-as/as.cpp
index 58605420200..4ca59b99803 100644
--- a/tools/llvm-as/as.cpp
+++ b/tools/llvm-as/as.cpp
@@ -31,6 +31,10 @@ Force("f", cl::desc("Overwrite output files"));
 static cl::opt<bool>
 DumpAsm("d", cl::desc("Print assembly as parsed"), cl::Hidden);
 
+static cl::opt<bool>
+DisableVerify("disable-verify", cl::Hidden,
+              cl::desc("Do not run verifier on input LLVM (dangerous!"));
+
 int main(int argc, char **argv) {
   cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n");
 
@@ -43,12 +47,11 @@ int main(int argc, char **argv) {
       return 1;
     }
 
-    if (verifyModule(*M.get())) {
+    if (!DisableVerify && verifyModule(*M.get())) {
       std::cerr << argv[0]
                 << ": assembly parsed, but does not verify as correct!\n";
       return 1;
     }
-
   
     if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get();
 
diff --git a/tools/llvm-as/llvm-as.cpp b/tools/llvm-as/llvm-as.cpp
index 58605420200..4ca59b99803 100644
--- a/tools/llvm-as/llvm-as.cpp
+++ b/tools/llvm-as/llvm-as.cpp
@@ -31,6 +31,10 @@ Force("f", cl::desc("Overwrite output files"));
 static cl::opt<bool>
 DumpAsm("d", cl::desc("Print assembly as parsed"), cl::Hidden);
 
+static cl::opt<bool>
+DisableVerify("disable-verify", cl::Hidden,
+              cl::desc("Do not run verifier on input LLVM (dangerous!"));
+
 int main(int argc, char **argv) {
   cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n");
 
@@ -43,12 +47,11 @@ int main(int argc, char **argv) {
       return 1;
     }
 
-    if (verifyModule(*M.get())) {
+    if (!DisableVerify && verifyModule(*M.get())) {
       std::cerr << argv[0]
                 << ": assembly parsed, but does not verify as correct!\n";
       return 1;
     }
-
   
     if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get();