projects
/
oota-llvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
*** empty log message ***
[oota-llvm.git]
/
tools
/
as
/
as.cpp
diff --git
a/tools/as/as.cpp
b/tools/as/as.cpp
index 7593cef4b0f125b21ce197a0866bfef7490c4e76..c9bd3b4e08c05a6d7bc5ebb71b66a1fdb40d5216 100644
(file)
--- a/
tools/as/as.cpp
+++ b/
tools/as/as.cpp
@@
-12,6
+12,7
@@
#include "llvm/Module.h"
#include "llvm/Assembly/Parser.h"
#include "llvm/Bytecode/Writer.h"
#include "llvm/Module.h"
#include "llvm/Assembly/Parser.h"
#include "llvm/Bytecode/Writer.h"
+#include "llvm/Analysis/Verifier.h"
#include "Support/CommandLine.h"
#include "Support/Signals.h"
#include <fstream>
#include "Support/CommandLine.h"
#include "Support/Signals.h"
#include <fstream>
@@
-43,6
+44,12
@@
int main(int argc, char **argv) {
cerr << argv[0] << ": assembly didn't read correctly.\n";
return 1;
}
cerr << argv[0] << ": assembly didn't read correctly.\n";
return 1;
}
+
+ if (verifyModule(*M.get())) {
+ cerr << argv[0] << ": assembly parsed, but does not verify as correct!\n";
+ return 1;
+ }
+
if (DumpAsm) cerr << "Here's the assembly:\n" << M.get();
if (DumpAsm) cerr << "Here's the assembly:\n" << M.get();