Make the verifier pass run (in debug mode) in llc. This adds a sanity check

to llc when debugging. Also allow other passes to be run from llc.
Patch contributed by Michael McCracken.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22532 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Reid Spencer 2005-07-28 02:25:30 +00:00
parent 832481fd99
commit 4418c2b3ac

View File

@ -22,6 +22,8 @@
#include "llvm/Pass.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/PluginLoader.h"
#include "llvm/Support/PassNameParser.h"
#include "llvm/Analysis/Verifier.h"
#include "llvm/System/Signals.h"
#include "llvm/Config/config.h"
#include <fstream>
@ -57,6 +59,14 @@ FileType("filetype", cl::init(TargetMachine::AssemblyFile),
" Emit a native dynamic library ('.so') file"),
clEnumValEnd));
// The LLCPassList is populated with passes that were registered using
// PassInfo::LLC by the FilteredPassNameParser:
cl::list<const PassInfo*, bool, FilteredPassNameParser<PassInfo::LLC> >
LLCPassList(cl::desc("Passes Available"));
cl::opt<bool> NoVerify("disable-verify", cl::Hidden,
cl::desc("Do not verify input module"));
// GetFileNameRoot - Helper function to get the basename of a filename.
static inline std::string
@ -113,6 +123,25 @@ int main(int argc, char **argv) {
PassManager Passes;
Passes.add(new TargetData(TD));
#ifndef NDEBUG
if(!NoVerify)
Passes.add(createVerifierPass());
#endif
// Create a new pass for each one specified on the command line
for (unsigned i = 0; i < LLCPassList.size(); ++i) {
const PassInfo *aPass = LLCPassList[i];
if (aPass->getNormalCtor()) {
Pass *P = aPass->getNormalCtor()();
Passes.add(P);
} else {
std::cerr << argv[0] << ": cannot create pass: "
<< aPass->getPassName() << "\n";
}
}
// Figure out where we are going to send the output...
std::ostream *Out = 0;
if (OutputFilename != "") {