1 //===----------------------------------------------------------------------===//
2 // LLVM Modular Optimizer Utility: opt
4 // Optimizations may be specified an arbitrary number of times on the command
5 // line, they are run in the order specified.
7 //===----------------------------------------------------------------------===//
9 #include "llvm/Module.h"
10 #include "llvm/PassManager.h"
11 #include "llvm/Bytecode/Reader.h"
12 #include "llvm/Bytecode/WriteBytecodePass.h"
13 #include "llvm/Assembly/PrintModulePass.h"
14 #include "llvm/Analysis/Verifier.h"
15 #include "llvm/Target/TargetMachine.h"
16 #include "llvm/Target/TargetMachineImpls.h"
17 #include "llvm/Support/PassNameParser.h"
18 #include "Support/Signals.h"
27 // The OptimizationList is automatically populated with registered Passes by the
30 static cl::list<const PassInfo*, bool,
31 FilteredPassNameParser<PassInfo::Optimization> >
32 OptimizationList(cl::desc("Optimizations available:"));
35 // Other command line options...
37 static cl::opt<string>
38 InputFilename(cl::Positional, cl::desc("<input bytecode>"), cl::init("-"));
40 static cl::opt<string>
41 OutputFilename("o", cl::desc("Override output filename"),
42 cl::value_desc("filename"));
45 Force("f", cl::desc("Overwrite output files"));
48 PrintEachXForm("p", cl::desc("Print module after each transformation"));
51 NoOutput("disable-output",
52 cl::desc("Do not write result bytecode file"), cl::Hidden);
55 NoVerify("disable-verify", cl::desc("Do not verify result module"), cl::Hidden);
58 Quiet("q", cl::desc("Don't print 'program modified' message"));
61 QuietA("quiet", cl::desc("Alias for -q"), cl::aliasopt(Quiet));
64 //===----------------------------------------------------------------------===//
67 int main(int argc, char **argv) {
68 cl::ParseCommandLineOptions(argc, argv,
69 " llvm .bc -> .bc modular optimizer\n");
71 // Allocate a full target machine description only if necessary...
72 // FIXME: The choice of target should be controllable on the command line.
73 std::auto_ptr<TargetMachine> target;
75 TargetMachine* TM = NULL;
76 std::string ErrorMessage;
78 // Load the input module...
79 std::auto_ptr<Module> M(ParseBytecodeFile(InputFilename, &ErrorMessage));
81 cerr << argv[0] << ": ";
82 if (ErrorMessage.size())
83 cerr << ErrorMessage << "\n";
85 cerr << "bytecode didn't read correctly.\n";
89 // Figure out what stream we are supposed to write to...
90 std::ostream *Out = &std::cout; // Default to printing to stdout...
91 if (OutputFilename != "") {
92 if (!Force && std::ifstream(OutputFilename.c_str())) {
93 // If force is not specified, make sure not to overwrite a file!
94 cerr << argv[0] << ": error opening '" << OutputFilename
95 << "': file exists!\n"
96 << "Use -f command line argument to force output\n";
99 Out = new std::ofstream(OutputFilename.c_str());
102 cerr << argv[0] << ": error opening " << OutputFilename << "!\n";
106 // Make sure that the Output file gets unlink'd from the disk if we get a
108 RemoveFileOnSignal(OutputFilename);
111 // Create a PassManager to hold and optimize the collection of passes we are
116 // Add an appropriate TargetData instance for this module...
117 Passes.add(new TargetData("opt", M.get()));
119 // Create a new optimization pass for each one specified on the command line
120 for (unsigned i = 0; i < OptimizationList.size(); ++i) {
121 const PassInfo *Opt = OptimizationList[i];
123 if (Opt->getNormalCtor())
124 Passes.add(Opt->getNormalCtor()());
125 else if (Opt->getTargetCtor()) {
127 if (target.get() == NULL)
128 target.reset(allocateSparcTargetMachine()); // FIXME: target option
130 assert(target.get() && "Could not allocate target machine!");
131 Passes.add(Opt->getTargetCtor()(*target.get()));
133 cerr << argv[0] << ": cannot create pass: " << Opt->getPassName() << "\n";
136 Passes.add(new PrintModulePass(&cerr));
139 // Check that the module is well formed on completion of optimization
141 Passes.add(createVerifierPass());
143 // Write bytecode out to disk or cout as the last step...
145 Passes.add(new WriteBytecodePass(Out, Out != &std::cout));
147 // Now that we have all of the passes ready, run them.
148 if (Passes.run(*M.get()) && !Quiet)
149 cerr << "Program modified.\n";