blob: 3ca5d42272551185349bc6245c298aa61fc9f1b0 [file] [log] [blame]
Chris Lattner76351aa2004-04-02 05:06:57 +00001//===- opt.cpp - The LLVM Modular Optimizer -------------------------------===//
John Criswell7c0e0222003-10-20 17:47:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +00009//
Chris Lattner00950542001-06-06 20:29:01 +000010// Optimizations may be specified an arbitrary number of times on the command
11// line, they are run in the order specified.
12//
Chris Lattner0eafc312001-10-18 06:05:15 +000013//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +000014
Chris Lattner00950542001-06-06 20:29:01 +000015#include "llvm/Module.h"
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000016#include "llvm/PassManager.h"
Chris Lattner00950542001-06-06 20:29:01 +000017#include "llvm/Bytecode/Reader.h"
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000018#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattnerffa6f9c2001-10-19 15:39:14 +000019#include "llvm/Assembly/PrintModulePass.h"
Chris Lattner22d26d72002-02-20 17:56:53 +000020#include "llvm/Analysis/Verifier.h"
Vikram S. Adve18fdfc42002-09-16 16:09:43 +000021#include "llvm/Target/TargetMachine.h"
Chris Lattner2053a2a2002-07-26 21:09:32 +000022#include "llvm/Support/PassNameParser.h"
Chris Lattnerbed85ff2004-05-27 05:41:36 +000023#include "llvm/System/Signals.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/Support/PluginLoader.h"
25#include "llvm/Support/SystemUtils.h"
Chris Lattner73e11d72001-10-18 06:13:08 +000026#include <fstream>
Chris Lattner63202322001-11-26 19:22:39 +000027#include <memory>
Chris Lattnerc0ce68b2002-07-23 18:12:22 +000028#include <algorithm>
Anand Shukla63aaa112002-06-25 21:43:28 +000029
Brian Gaeked0fde302003-11-11 22:41:34 +000030using namespace llvm;
Chris Lattner9d6e7eb2002-04-12 18:21:13 +000031
Chris Lattnerc0ce68b2002-07-23 18:12:22 +000032// The OptimizationList is automatically populated with registered Passes by the
33// PassNameParser.
34//
Chris Lattner2053a2a2002-07-26 21:09:32 +000035static cl::list<const PassInfo*, bool,
36 FilteredPassNameParser<PassInfo::Optimization> >
Chris Lattnerc0ce68b2002-07-23 18:12:22 +000037OptimizationList(cl::desc("Optimizations available:"));
38
39
40// Other command line options...
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000041//
Chris Lattner6c8103f2003-05-22 20:13:16 +000042static cl::opt<std::string>
Chris Lattner5ff62e92002-07-22 02:10:13 +000043InputFilename(cl::Positional, cl::desc("<input bytecode>"), cl::init("-"));
44
Chris Lattner6c8103f2003-05-22 20:13:16 +000045static cl::opt<std::string>
Chris Lattner5ff62e92002-07-22 02:10:13 +000046OutputFilename("o", cl::desc("Override output filename"),
Chris Lattnerb592fc22003-12-10 14:41:33 +000047 cl::value_desc("filename"), cl::init("-"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000048
49static cl::opt<bool>
50Force("f", cl::desc("Overwrite output files"));
51
52static cl::opt<bool>
53PrintEachXForm("p", cl::desc("Print module after each transformation"));
54
55static cl::opt<bool>
Chris Lattnerddd5b412003-02-26 20:00:41 +000056NoOutput("disable-output",
57 cl::desc("Do not write result bytecode file"), cl::Hidden);
Chris Lattnerd70b68e2003-02-12 18:43:33 +000058
59static cl::opt<bool>
Chris Lattnerddd5b412003-02-26 20:00:41 +000060NoVerify("disable-verify", cl::desc("Do not verify result module"), cl::Hidden);
Chris Lattnerf3bafc12003-02-12 18:45:08 +000061
62static cl::opt<bool>
Chris Lattner3153e4f2004-05-27 20:32:10 +000063Quiet("q", cl::desc("Obsolete option"), cl::Hidden);
Chris Lattner5ff62e92002-07-22 02:10:13 +000064
Reid Spencerec7eb452004-05-27 16:28:54 +000065static cl::alias
66QuietA("quiet", cl::desc("Alias for -q"), cl::aliasopt(Quiet));
67
Chris Lattner0be41012002-02-01 04:54:11 +000068
Chris Lattnerc0ce68b2002-07-23 18:12:22 +000069//===----------------------------------------------------------------------===//
70// main for opt
71//
Chris Lattner00950542001-06-06 20:29:01 +000072int main(int argc, char **argv) {
Reid Spencer1ef8bda2004-12-30 05:36:08 +000073 try {
74 cl::ParseCommandLineOptions(argc, argv,
75 " llvm .bc -> .bc modular optimizer\n");
76 sys::PrintStackTraceOnErrorSignal();
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000077
Reid Spencer1ef8bda2004-12-30 05:36:08 +000078 // Allocate a full target machine description only if necessary...
79 // FIXME: The choice of target should be controllable on the command line.
80 std::auto_ptr<TargetMachine> target;
Vikram S. Adve18fdfc42002-09-16 16:09:43 +000081
Reid Spencer1ef8bda2004-12-30 05:36:08 +000082 TargetMachine* TM = NULL;
83 std::string ErrorMessage;
Vikram S. Adve18fdfc42002-09-16 16:09:43 +000084
Reid Spencer1ef8bda2004-12-30 05:36:08 +000085 // Load the input module...
86 std::auto_ptr<Module> M(ParseBytecodeFile(InputFilename, &ErrorMessage));
87 if (M.get() == 0) {
88 std::cerr << argv[0] << ": ";
89 if (ErrorMessage.size())
90 std::cerr << ErrorMessage << "\n";
91 else
92 std::cerr << "bytecode didn't read correctly.\n";
Chris Lattner00950542001-06-06 20:29:01 +000093 return 1;
94 }
Chris Lattner76d12292002-04-18 19:55:25 +000095
Reid Spencer1ef8bda2004-12-30 05:36:08 +000096 // Figure out what stream we are supposed to write to...
97 std::ostream *Out = &std::cout; // Default to printing to stdout...
98 if (OutputFilename != "-") {
99 if (!Force && std::ifstream(OutputFilename.c_str())) {
100 // If force is not specified, make sure not to overwrite a file!
101 std::cerr << argv[0] << ": error opening '" << OutputFilename
102 << "': file exists!\n"
103 << "Use -f command line argument to force output\n";
104 return 1;
105 }
106 Out = new std::ofstream(OutputFilename.c_str());
Chris Lattner00950542001-06-06 20:29:01 +0000107
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000108 if (!Out->good()) {
109 std::cerr << argv[0] << ": error opening " << OutputFilename << "!\n";
110 return 1;
111 }
Chris Lattner76351aa2004-04-02 05:06:57 +0000112
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000113 // Make sure that the Output file gets unlinked from the disk if we get a
114 // SIGINT
115 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
116 }
Chris Lattner00950542001-06-06 20:29:01 +0000117
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000118 // If the output is set to be emitted to standard out, and standard out is a
119 // console, print out a warning message and refuse to do it. We don't impress
120 // anyone by spewing tons of binary goo to a terminal.
121 if (Out == &std::cout && isStandardOutAConsole() && !Force && !NoOutput
122 && !Quiet) {
123 std::cerr << "WARNING: It looks like you're attempting to print out a "
124 << "bytecode file. I'm\ngoing to pretend you didn't ask me to do"
125 << " this (for your own good). If you\nREALLY want to taste LLVM"
126 << " bytecode first-hand, you can force output with the\n`-f'"
127 << " option.\n\n";
128 NoOutput = true;
129 }
Chris Lattner9c3b55e2003-04-24 19:13:02 +0000130
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000131 // Create a PassManager to hold and optimize the collection of passes we are
132 // about to build...
133 //
134 PassManager Passes;
135
136 // Add an appropriate TargetData instance for this module...
137 Passes.add(new TargetData("opt", M.get()));
138
139 // Create a new optimization pass for each one specified on the command line
140 for (unsigned i = 0; i < OptimizationList.size(); ++i) {
141 const PassInfo *Opt = OptimizationList[i];
142
143 if (Opt->getNormalCtor())
144 Passes.add(Opt->getNormalCtor()());
145 else if (Opt->getTargetCtor()) {
Chris Lattner0af1e8e2003-04-16 23:02:16 +0000146#if 0
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000147 if (target.get() == NULL)
148 target.reset(allocateSparcTargetMachine()); // FIXME: target option
Chris Lattner0af1e8e2003-04-16 23:02:16 +0000149#endif
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000150 assert(target.get() && "Could not allocate target machine!");
151 Passes.add(Opt->getTargetCtor()(*target.get()));
152 } else
153 std::cerr << argv[0] << ": cannot create pass: " << Opt->getPassName()
154 << "\n";
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000155
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000156 if (PrintEachXForm)
157 Passes.add(new PrintModulePass(&std::cerr));
158 }
159
160 // Check that the module is well formed on completion of optimization
161 if (!NoVerify)
162 Passes.add(createVerifierPass());
163
164 // Write bytecode out to disk or cout as the last step...
165 if (!NoOutput)
166 Passes.add(new WriteBytecodePass(Out, Out != &std::cout));
167
168 // Now that we have all of the passes ready, run them.
169 Passes.run(*M.get());
170
171 return 0;
172 } catch (const std::string& msg) {
173 std::cerr << argv[0] << ": " << msg << "\n";
174 } catch (...) {
175 std::cerr << argv[0] << ": Unexpected unknown exception occurred.\n";
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000176 }
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000177 return 1;
Chris Lattner00950542001-06-06 20:29:01 +0000178}