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 58605420200b7b4f837307a3dff827404b2f35e0..4ca59b99803b49e1d17099942d247bcab2b25f56 100644 (file)
--- 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 58605420200b7b4f837307a3dff827404b2f35e0..4ca59b99803b49e1d17099942d247bcab2b25f56 100644 (file)
--- 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 58605420200b7b4f837307a3dff827404b2f35e0..4ca59b99803b49e1d17099942d247bcab2b25f56 100644 (file)
--- 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();