blob: ffd40997fc54e21a9428f054cd0577abafa2d45a [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5f5a5732007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines an interface that allows bugpoint to run various passes
11// without the threat of a buggy pass corrupting bugpoint (of course, bugpoint
12// may have its own bugs, but that's another story...). It achieves this by
13// forking a copy of itself and having the child process do the optimizations.
14// If this client dies, we can always fork a new one. :)
15//
16//===----------------------------------------------------------------------===//
17
18// Note: as a short term hack, the old Unix-specific code and platform-
19// independent code co-exist via conditional compilation until it is verified
20// that the new code works correctly on Unix.
21
22#include "BugDriver.h"
23#include "llvm/Module.h"
24#include "llvm/PassManager.h"
25#include "llvm/Analysis/Verifier.h"
26#include "llvm/Bitcode/ReaderWriter.h"
27#include "llvm/Target/TargetData.h"
28#include "llvm/Support/FileUtilities.h"
29#include "llvm/Support/CommandLine.h"
Rafael Espindola216c6242010-08-07 23:03:21 +000030#include "llvm/Support/Debug.h"
Chris Lattnerb1aa85b2009-08-23 22:45:37 +000031#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000032#include "llvm/System/Path.h"
33#include "llvm/System/Program.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000034
35#define DONT_GET_PLUGIN_LOADER_OPTION
36#include "llvm/Support/PluginLoader.h"
37
38#include <fstream>
39using namespace llvm;
40
Daniel Dunbar377b5a32009-09-07 19:26:11 +000041namespace llvm {
42 extern cl::opt<std::string> OutputPrefix;
43}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000044
45namespace {
46 // ChildOutput - This option captures the name of the child output file that
47 // is set up by the parent bugpoint process
48 cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000049}
50
51/// writeProgramToFile - This writes the current "Program" to the named bitcode
52/// file. If an error occurs, true is returned.
53///
54bool BugDriver::writeProgramToFile(const std::string &Filename,
Rafael Espindola131d2602010-07-28 18:12:30 +000055 const Module *M) const {
Chris Lattner371c1ef2009-08-23 07:49:08 +000056 std::string ErrInfo;
57 raw_fd_ostream Out(Filename.c_str(), ErrInfo,
Dan Gohman176426d2009-08-25 15:34:52 +000058 raw_fd_ostream::F_Binary);
Chris Lattner371c1ef2009-08-23 07:49:08 +000059 if (!ErrInfo.empty()) return true;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000060
Rafael Espindola131d2602010-07-28 18:12:30 +000061 WriteBitcodeToFile(M, Out);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000062 return false;
63}
64
65
66/// EmitProgressBitcode - This function is used to output the current Program
67/// to a file named "bugpoint-ID.bc".
68///
Rafael Espindola131d2602010-07-28 18:12:30 +000069void BugDriver::EmitProgressBitcode(const Module *M,
Rafael Espindola51bbc972010-08-05 00:29:04 +000070 const std::string &ID,
71 bool NoFlyer) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000072 // Output the input to the current pass to a bitcode file, emit a message
73 // telling the user how to reproduce it: opt -foo blah.bc
74 //
Daniel Dunbar377b5a32009-09-07 19:26:11 +000075 std::string Filename = OutputPrefix + "-" + ID + ".bc";
Rafael Espindola131d2602010-07-28 18:12:30 +000076 if (writeProgramToFile(Filename, M)) {
Dan Gohmanb714fab2009-07-16 15:30:09 +000077 errs() << "Error opening file '" << Filename << "' for writing!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000078 return;
79 }
80
Dan Gohmanb714fab2009-07-16 15:30:09 +000081 outs() << "Emitted bitcode to '" << Filename << "'\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000082 if (NoFlyer || PassesToRun.empty()) return;
Dan Gohmanb714fab2009-07-16 15:30:09 +000083 outs() << "\n*** You can reproduce the problem with: ";
Nick Lewycky51e4d122009-08-18 06:08:01 +000084 if (UseValgrind) outs() << "valgrind ";
Dan Gohmanb714fab2009-07-16 15:30:09 +000085 outs() << "opt " << Filename << " ";
86 outs() << getPassesString(PassesToRun) << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000087}
88
Matthijs Kooijman5fea5852008-06-12 13:02:26 +000089cl::opt<bool> SilencePasses("silence-passes", cl::desc("Suppress output of running passes (both stdout and stderr)"));
90
Rafael Espindolac074a702010-08-08 22:14:20 +000091static cl::list<std::string> OptArgs("opt-args", cl::Positional,
92 cl::desc("<opt arguments>..."),
93 cl::ZeroOrMore, cl::PositionalEatsArgs);
94
Dan Gohmanf17a25c2007-07-18 16:29:46 +000095/// runPasses - Run the specified passes on Program, outputting a bitcode file
96/// and writing the filename into OutputFile if successful. If the
97/// optimizations fail for some reason (optimizer crashes), return true,
98/// otherwise return false. If DeleteOutput is set to true, the bitcode is
99/// deleted on success, and the filename string is undefined. This prints to
Dan Gohmanb714fab2009-07-16 15:30:09 +0000100/// outs() a single line message indicating whether compilation was successful
101/// or failed.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000102///
Rafael Espindola51bbc972010-08-05 00:29:04 +0000103bool BugDriver::runPasses(Module *Program,
Rafael Espindola3f1a8f02010-08-08 03:55:08 +0000104 const std::vector<std::string> &Passes,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000105 std::string &OutputFilename, bool DeleteOutput,
Nick Lewycky43e736d2007-11-14 06:47:06 +0000106 bool Quiet, unsigned NumExtraArgs,
107 const char * const *ExtraArgs) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000108 // setup the output file name
Dan Gohmanb714fab2009-07-16 15:30:09 +0000109 outs().flush();
Daniel Dunbar377b5a32009-09-07 19:26:11 +0000110 sys::Path uniqueFilename(OutputPrefix + "-output.bc");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000111 std::string ErrMsg;
112 if (uniqueFilename.makeUnique(true, &ErrMsg)) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000113 errs() << getToolName() << ": Error making unique filename: "
114 << ErrMsg << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000115 return(1);
116 }
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000117 OutputFilename = uniqueFilename.str();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000118
119 // set up the input file name
Daniel Dunbar377b5a32009-09-07 19:26:11 +0000120 sys::Path inputFilename(OutputPrefix + "-input.bc");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000121 if (inputFilename.makeUnique(true, &ErrMsg)) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000122 errs() << getToolName() << ": Error making unique filename: "
123 << ErrMsg << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000124 return(1);
125 }
Chris Lattner371c1ef2009-08-23 07:49:08 +0000126
127 std::string ErrInfo;
128 raw_fd_ostream InFile(inputFilename.c_str(), ErrInfo,
Dan Gohman176426d2009-08-25 15:34:52 +0000129 raw_fd_ostream::F_Binary);
Chris Lattner371c1ef2009-08-23 07:49:08 +0000130
131
132 if (!ErrInfo.empty()) {
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000133 errs() << "Error opening bitcode file: " << inputFilename.str() << "\n";
Chris Lattner371c1ef2009-08-23 07:49:08 +0000134 return 1;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000135 }
136 WriteBitcodeToFile(Program, InFile);
137 InFile.close();
138
139 // setup the child process' arguments
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000140 SmallVector<const char*, 8> Args;
Rafael Espindola216c6242010-08-07 23:03:21 +0000141 std::string Opt;
142 llvm::StringRef TN(ToolName);
143 if (TN.find('/') == llvm::StringRef::npos) {
144 Opt = "opt";
145 } else {
146 std::pair<llvm::StringRef, llvm::StringRef> P = TN.rsplit('/');
147 Opt = P.first.str() + "/" + "opt";
148 }
149
150 sys::Path tool = sys::Program::FindProgramByName(Opt);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000151 if (UseValgrind) {
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000152 Args.push_back("valgrind");
153 Args.push_back("--error-exitcode=1");
154 Args.push_back("-q");
155 Args.push_back(tool.c_str());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000156 } else
Rafael Espindola216c6242010-08-07 23:03:21 +0000157 Args.push_back(Opt.c_str());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000158
Rafael Espindola216c6242010-08-07 23:03:21 +0000159 Args.push_back("-o");
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000160 Args.push_back(OutputFilename.c_str());
Rafael Espindolac074a702010-08-08 22:14:20 +0000161 for (unsigned i = 0, e = OptArgs.size(); i != e; ++i)
162 Args.push_back(OptArgs[i].c_str());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000163 std::vector<std::string> pass_args;
164 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
165 pass_args.push_back( std::string("-load"));
166 pass_args.push_back( PluginLoader::getPlugin(i));
167 }
Rafael Espindola3f1a8f02010-08-08 03:55:08 +0000168 for (std::vector<std::string>::const_iterator I = Passes.begin(),
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000169 E = Passes.end(); I != E; ++I )
Rafael Espindola3f1a8f02010-08-08 03:55:08 +0000170 pass_args.push_back( std::string("-") + (*I) );
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000171 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
172 E = pass_args.end(); I != E; ++I )
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000173 Args.push_back(I->c_str());
174 Args.push_back(inputFilename.c_str());
Nick Lewycky43e736d2007-11-14 06:47:06 +0000175 for (unsigned i = 0; i < NumExtraArgs; ++i)
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000176 Args.push_back(*ExtraArgs);
177 Args.push_back(0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000178
Rafael Espindola216c6242010-08-07 23:03:21 +0000179 DEBUG(errs() << "\nAbout to run:\t";
180 for (unsigned i = 0, e = Args.size()-1; i != e; ++i)
181 errs() << " " << Args[i];
182 errs() << "\n";
183 );
184
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000185 sys::Path prog;
186 if (UseValgrind)
187 prog = sys::Program::FindProgramByName("valgrind");
188 else
189 prog = tool;
Matthijs Kooijman5fea5852008-06-12 13:02:26 +0000190
191 // Redirect stdout and stderr to nowhere if SilencePasses is given
192 sys::Path Nowhere;
193 const sys::Path *Redirects[3] = {0, &Nowhere, &Nowhere};
194
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000195 int result = sys::Program::ExecuteAndWait(prog, Args.data(), 0,
196 (SilencePasses ? Redirects : 0),
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000197 Timeout, MemoryLimit, &ErrMsg);
198
199 // If we are supposed to delete the bitcode file or if the passes crashed,
200 // remove it now. This may fail if the file was never created, but that's ok.
201 if (DeleteOutput || result != 0)
202 sys::Path(OutputFilename).eraseFromDisk();
203
204 // Remove the temporary input file as well
205 inputFilename.eraseFromDisk();
206
207 if (!Quiet) {
208 if (result == 0)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000209 outs() << "Success!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000210 else if (result > 0)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000211 outs() << "Exited with error code '" << result << "'\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000212 else if (result < 0) {
213 if (result == -1)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000214 outs() << "Execute failed: " << ErrMsg << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000215 else
Dan Gohmanb714fab2009-07-16 15:30:09 +0000216 outs() << "Crashed with signal #" << abs(result) << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000217 }
218 if (result & 0x01000000)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000219 outs() << "Dumped core\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000220 }
221
222 // Was the child successful?
223 return result != 0;
224}
225
226
227/// runPassesOn - Carefully run the specified set of pass on the specified
228/// module, returning the transformed module on success, or a null pointer on
229/// failure.
230Module *BugDriver::runPassesOn(Module *M,
Rafael Espindola3f1a8f02010-08-08 03:55:08 +0000231 const std::vector<std::string> &Passes,
Nick Lewycky43e736d2007-11-14 06:47:06 +0000232 bool AutoDebugCrashes, unsigned NumExtraArgs,
233 const char * const *ExtraArgs) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000234 std::string BitcodeResult;
Rafael Espindola51bbc972010-08-05 00:29:04 +0000235 if (runPasses(M, Passes, BitcodeResult, false/*delete*/, true/*quiet*/,
Nick Lewycky43e736d2007-11-14 06:47:06 +0000236 NumExtraArgs, ExtraArgs)) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000237 if (AutoDebugCrashes) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000238 errs() << " Error running this sequence of passes"
239 << " on the input program!\n";
Rafael Espindola51bbc972010-08-05 00:29:04 +0000240 delete swapProgramIn(M);
241 EmitProgressBitcode(M, "pass-error", false);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000242 exit(debugOptimizerCrash());
243 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000244 return 0;
245 }
246
Owen Anderson25209b42009-07-01 16:58:40 +0000247 Module *Ret = ParseInputFile(BitcodeResult, Context);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000248 if (Ret == 0) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000249 errs() << getToolName() << ": Error reading bitcode file '"
250 << BitcodeResult << "'!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000251 exit(1);
252 }
253 sys::Path(BitcodeResult).eraseFromDisk(); // No longer need the file on disk
254 return Ret;
255}