Add new -disable-verify option

llvm-svn: 7960
This commit is contained in:
Chris Lattner 2003-08-18 20:47:13 +00:00
parent f3f63ace86
commit 016ccdfea6
3 changed files with 15 additions and 6 deletions

View File

@ -31,6 +31,10 @@ Force("f", cl::desc("Overwrite output files"));
static cl::opt<bool> static cl::opt<bool>
DumpAsm("d", cl::desc("Print assembly as parsed"), cl::Hidden); 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) { int main(int argc, char **argv) {
cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n"); cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n");
@ -43,13 +47,12 @@ int main(int argc, char **argv) {
return 1; return 1;
} }
if (verifyModule(*M.get())) { if (!DisableVerify && verifyModule(*M.get())) {
std::cerr << argv[0] std::cerr << argv[0]
<< ": assembly parsed, but does not verify as correct!\n"; << ": assembly parsed, but does not verify as correct!\n";
return 1; return 1;
} }
if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get(); if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get();
if (OutputFilename != "") { // Specified an output filename? if (OutputFilename != "") { // Specified an output filename?

View File

@ -31,6 +31,10 @@ Force("f", cl::desc("Overwrite output files"));
static cl::opt<bool> static cl::opt<bool>
DumpAsm("d", cl::desc("Print assembly as parsed"), cl::Hidden); 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) { int main(int argc, char **argv) {
cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n"); cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n");
@ -43,13 +47,12 @@ int main(int argc, char **argv) {
return 1; return 1;
} }
if (verifyModule(*M.get())) { if (!DisableVerify && verifyModule(*M.get())) {
std::cerr << argv[0] std::cerr << argv[0]
<< ": assembly parsed, but does not verify as correct!\n"; << ": assembly parsed, but does not verify as correct!\n";
return 1; return 1;
} }
if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get(); if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get();
if (OutputFilename != "") { // Specified an output filename? if (OutputFilename != "") { // Specified an output filename?

View File

@ -31,6 +31,10 @@ Force("f", cl::desc("Overwrite output files"));
static cl::opt<bool> static cl::opt<bool>
DumpAsm("d", cl::desc("Print assembly as parsed"), cl::Hidden); 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) { int main(int argc, char **argv) {
cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n"); cl::ParseCommandLineOptions(argc, argv, " llvm .ll -> .bc assembler\n");
@ -43,13 +47,12 @@ int main(int argc, char **argv) {
return 1; return 1;
} }
if (verifyModule(*M.get())) { if (!DisableVerify && verifyModule(*M.get())) {
std::cerr << argv[0] std::cerr << argv[0]
<< ": assembly parsed, but does not verify as correct!\n"; << ": assembly parsed, but does not verify as correct!\n";
return 1; return 1;
} }
if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get(); if (DumpAsm) std::cerr << "Here's the assembly:\n" << M.get();
if (OutputFilename != "") { // Specified an output filename? if (OutputFilename != "") { // Specified an output filename?