blob: a6b90dc44b25f36a01f8a7fa8546d754f42e79dc [file] [log] [blame]
Chris Lattnerafade922002-11-20 22:28:10 +00001//===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell7c0e0222003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner21c62da2007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell7c0e0222003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerafade922002-11-20 22:28:10 +00009//
10// This file defines an interface that allows bugpoint to run various passes
Misha Brukmancf00c4a2003-10-10 17:57:28 +000011// 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
Chris Lattnerafade922002-11-20 22:28:10 +000013// 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
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000018// 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
Chris Lattnerafade922002-11-20 22:28:10 +000022#include "BugDriver.h"
Chris Lattner0a002562004-03-14 21:21:57 +000023#include "llvm/Module.h"
Chris Lattnerafade922002-11-20 22:28:10 +000024#include "llvm/PassManager.h"
25#include "llvm/Analysis/Verifier.h"
Chris Lattner03b69632007-05-06 05:47:06 +000026#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattnerf2bcccf2003-01-22 23:24:11 +000027#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000028#include "llvm/Support/FileUtilities.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000029#include "llvm/Support/CommandLine.h"
Chris Lattner74382b72009-08-23 22:45:37 +000030#include "llvm/Support/raw_ostream.h"
Reid Spencer97182982004-12-15 01:53:08 +000031#include "llvm/System/Path.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000032#include "llvm/System/Program.h"
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +000033
34#define DONT_GET_PLUGIN_LOADER_OPTION
35#include "llvm/Support/PluginLoader.h"
36
Misha Brukmane49603d2003-08-07 21:19:30 +000037#include <fstream>
Chris Lattnerfa761832004-01-14 03:38:37 +000038using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000039
Daniel Dunbar68ccdaa2009-09-07 19:26:11 +000040namespace llvm {
41 extern cl::opt<std::string> OutputPrefix;
42}
Chris Lattner03b69632007-05-06 05:47:06 +000043
Reid Spencerc4bb0522005-12-22 20:02:55 +000044namespace {
45 // ChildOutput - This option captures the name of the child output file that
46 // is set up by the parent bugpoint process
47 cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden);
48}
49
Gabor Greif8ff70c22007-07-04 21:55:50 +000050/// writeProgramToFile - This writes the current "Program" to the named bitcode
Chris Lattnerafade922002-11-20 22:28:10 +000051/// file. If an error occurs, true is returned.
52///
Chris Lattner218e26e2002-12-23 23:49:59 +000053bool BugDriver::writeProgramToFile(const std::string &Filename,
Rafael Espindolabae1b712010-07-28 18:12:30 +000054 const Module *M) const {
Chris Lattnerb515d752009-08-23 07:49:08 +000055 std::string ErrInfo;
56 raw_fd_ostream Out(Filename.c_str(), ErrInfo,
Dan Gohmanbaa26392009-08-25 15:34:52 +000057 raw_fd_ostream::F_Binary);
Chris Lattnerb515d752009-08-23 07:49:08 +000058 if (!ErrInfo.empty()) return true;
Chris Lattner744879e2007-05-06 09:32:02 +000059
Rafael Espindolabae1b712010-07-28 18:12:30 +000060 WriteBitcodeToFile(M, Out);
Chris Lattnerafade922002-11-20 22:28:10 +000061 return false;
62}
63
64
Gabor Greif8ff70c22007-07-04 21:55:50 +000065/// EmitProgressBitcode - This function is used to output the current Program
Misha Brukman265789f2003-07-21 21:58:16 +000066/// to a file named "bugpoint-ID.bc".
Chris Lattnerafade922002-11-20 22:28:10 +000067///
Rafael Espindolabae1b712010-07-28 18:12:30 +000068void BugDriver::EmitProgressBitcode(const Module *M,
Rafael Espindolaca356af2010-08-05 00:29:04 +000069 const std::string &ID,
70 bool NoFlyer) const {
Gabor Greif8ff70c22007-07-04 21:55:50 +000071 // Output the input to the current pass to a bitcode file, emit a message
Chris Lattnerafade922002-11-20 22:28:10 +000072 // telling the user how to reproduce it: opt -foo blah.bc
73 //
Daniel Dunbar68ccdaa2009-09-07 19:26:11 +000074 std::string Filename = OutputPrefix + "-" + ID + ".bc";
Rafael Espindolabae1b712010-07-28 18:12:30 +000075 if (writeProgramToFile(Filename, M)) {
Dan Gohmanac95cc72009-07-16 15:30:09 +000076 errs() << "Error opening file '" << Filename << "' for writing!\n";
Chris Lattnerafade922002-11-20 22:28:10 +000077 return;
78 }
79
Dan Gohmanac95cc72009-07-16 15:30:09 +000080 outs() << "Emitted bitcode to '" << Filename << "'\n";
Chris Lattnerca005122004-02-18 23:24:56 +000081 if (NoFlyer || PassesToRun.empty()) return;
Dan Gohmanac95cc72009-07-16 15:30:09 +000082 outs() << "\n*** You can reproduce the problem with: ";
Nick Lewycky40cce092009-08-18 06:08:01 +000083 if (UseValgrind) outs() << "valgrind ";
Dan Gohmanac95cc72009-07-16 15:30:09 +000084 outs() << "opt " << Filename << " ";
85 outs() << getPassesString(PassesToRun) << "\n";
Chris Lattnerafade922002-11-20 22:28:10 +000086}
87
Bob Wilsonb8be03b02010-08-05 16:26:32 +000088int BugDriver::runPassesAsChild(const std::vector<const PassInfo*> &Passes) {
89 std::string ErrInfo;
90 raw_fd_ostream OutFile(ChildOutput.c_str(), ErrInfo,
91 raw_fd_ostream::F_Binary);
92 if (!ErrInfo.empty()) {
93 errs() << "Error opening bitcode file: " << ChildOutput << "\n";
94 return 1;
95 }
96
97 PassManager PM;
98 // Make sure that the appropriate target data is always used...
99 PM.add(new TargetData(Program));
100
101 for (unsigned i = 0, e = Passes.size(); i != e; ++i) {
102 if (Passes[i]->getNormalCtor())
103 PM.add(Passes[i]->getNormalCtor()());
104 else
105 errs() << "Cannot create pass yet: " << Passes[i]->getPassName() << "\n";
106 }
107 // Check that the module is well formed on completion of optimization
108 PM.add(createVerifierPass());
109
110 // Write bitcode out to disk as the last step...
111 PM.add(createBitcodeWriterPass(OutFile));
112
113 // Run all queued passes.
114 PM.run(*Program);
115
116 return 0;
117}
118
Matthijs Kooijmanfbea2272008-06-12 13:02:26 +0000119cl::opt<bool> SilencePasses("silence-passes", cl::desc("Suppress output of running passes (both stdout and stderr)"));
120
Gabor Greif8ff70c22007-07-04 21:55:50 +0000121/// runPasses - Run the specified passes on Program, outputting a bitcode file
Misha Brukmancf00c4a2003-10-10 17:57:28 +0000122/// and writing the filename into OutputFile if successful. If the
Chris Lattnerafade922002-11-20 22:28:10 +0000123/// optimizations fail for some reason (optimizer crashes), return true,
Gabor Greif8ff70c22007-07-04 21:55:50 +0000124/// otherwise return false. If DeleteOutput is set to true, the bitcode is
Chris Lattnerafade922002-11-20 22:28:10 +0000125/// deleted on success, and the filename string is undefined. This prints to
Dan Gohmanac95cc72009-07-16 15:30:09 +0000126/// outs() a single line message indicating whether compilation was successful
127/// or failed.
Chris Lattnerafade922002-11-20 22:28:10 +0000128///
Rafael Espindolaca356af2010-08-05 00:29:04 +0000129bool BugDriver::runPasses(Module *Program,
130 const std::vector<const PassInfo*> &Passes,
Chris Lattner218e26e2002-12-23 23:49:59 +0000131 std::string &OutputFilename, bool DeleteOutput,
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000132 bool Quiet, unsigned NumExtraArgs,
133 const char * const *ExtraArgs) const {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000134 // setup the output file name
Dan Gohmanac95cc72009-07-16 15:30:09 +0000135 outs().flush();
Daniel Dunbar68ccdaa2009-09-07 19:26:11 +0000136 sys::Path uniqueFilename(OutputPrefix + "-output.bc");
Reid Spencer51c5a282006-08-23 20:34:57 +0000137 std::string ErrMsg;
138 if (uniqueFilename.makeUnique(true, &ErrMsg)) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000139 errs() << getToolName() << ": Error making unique filename: "
140 << ErrMsg << "\n";
Reid Spencer51c5a282006-08-23 20:34:57 +0000141 return(1);
142 }
Chris Lattner74382b72009-08-23 22:45:37 +0000143 OutputFilename = uniqueFilename.str();
Chris Lattnerafade922002-11-20 22:28:10 +0000144
Reid Spencerc4bb0522005-12-22 20:02:55 +0000145 // set up the input file name
Daniel Dunbar68ccdaa2009-09-07 19:26:11 +0000146 sys::Path inputFilename(OutputPrefix + "-input.bc");
Reid Spencer51c5a282006-08-23 20:34:57 +0000147 if (inputFilename.makeUnique(true, &ErrMsg)) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000148 errs() << getToolName() << ": Error making unique filename: "
149 << ErrMsg << "\n";
Reid Spencer51c5a282006-08-23 20:34:57 +0000150 return(1);
151 }
Chris Lattnerb515d752009-08-23 07:49:08 +0000152
153 std::string ErrInfo;
154 raw_fd_ostream InFile(inputFilename.c_str(), ErrInfo,
Dan Gohmanbaa26392009-08-25 15:34:52 +0000155 raw_fd_ostream::F_Binary);
Chris Lattnerb515d752009-08-23 07:49:08 +0000156
157
158 if (!ErrInfo.empty()) {
Chris Lattner74382b72009-08-23 22:45:37 +0000159 errs() << "Error opening bitcode file: " << inputFilename.str() << "\n";
Chris Lattnerb515d752009-08-23 07:49:08 +0000160 return 1;
Chris Lattnerafade922002-11-20 22:28:10 +0000161 }
Chris Lattner744879e2007-05-06 09:32:02 +0000162 WriteBitcodeToFile(Program, InFile);
Reid Spencerc4bb0522005-12-22 20:02:55 +0000163 InFile.close();
Chris Lattnerafade922002-11-20 22:28:10 +0000164
Reid Spencerc4bb0522005-12-22 20:02:55 +0000165 // setup the child process' arguments
Chris Lattner74382b72009-08-23 22:45:37 +0000166 SmallVector<const char*, 8> Args;
Bob Wilsonb8be03b02010-08-05 16:26:32 +0000167 sys::Path tool = sys::Program::FindProgramByName(ToolName);
Nick Lewycky40394bc2006-09-14 03:49:54 +0000168 if (UseValgrind) {
Chris Lattner74382b72009-08-23 22:45:37 +0000169 Args.push_back("valgrind");
170 Args.push_back("--error-exitcode=1");
171 Args.push_back("-q");
172 Args.push_back(tool.c_str());
Nick Lewycky40394bc2006-09-14 03:49:54 +0000173 } else
Bob Wilsonb8be03b02010-08-05 16:26:32 +0000174 Args.push_back(ToolName);
Nick Lewycky40394bc2006-09-14 03:49:54 +0000175
Bob Wilsonb8be03b02010-08-05 16:26:32 +0000176 Args.push_back("-as-child");
177 Args.push_back("-child-output");
Chris Lattner74382b72009-08-23 22:45:37 +0000178 Args.push_back(OutputFilename.c_str());
Reid Spencerc4bb0522005-12-22 20:02:55 +0000179 std::vector<std::string> pass_args;
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +0000180 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
181 pass_args.push_back( std::string("-load"));
182 pass_args.push_back( PluginLoader::getPlugin(i));
183 }
Owen Anderson8be32912010-07-20 08:26:15 +0000184 for (std::vector<const PassInfo*>::const_iterator I = Passes.begin(),
Reid Spencerc4bb0522005-12-22 20:02:55 +0000185 E = Passes.end(); I != E; ++I )
186 pass_args.push_back( std::string("-") + (*I)->getPassArgument() );
187 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
188 E = pass_args.end(); I != E; ++I )
Chris Lattner74382b72009-08-23 22:45:37 +0000189 Args.push_back(I->c_str());
190 Args.push_back(inputFilename.c_str());
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000191 for (unsigned i = 0; i < NumExtraArgs; ++i)
Chris Lattner74382b72009-08-23 22:45:37 +0000192 Args.push_back(*ExtraArgs);
193 Args.push_back(0);
Chris Lattnerafade922002-11-20 22:28:10 +0000194
Nick Lewycky40394bc2006-09-14 03:49:54 +0000195 sys::Path prog;
196 if (UseValgrind)
197 prog = sys::Program::FindProgramByName("valgrind");
198 else
Nick Lewyckye290c6d2006-09-14 04:20:17 +0000199 prog = tool;
Matthijs Kooijmanfbea2272008-06-12 13:02:26 +0000200
201 // Redirect stdout and stderr to nowhere if SilencePasses is given
202 sys::Path Nowhere;
203 const sys::Path *Redirects[3] = {0, &Nowhere, &Nowhere};
204
Chris Lattner74382b72009-08-23 22:45:37 +0000205 int result = sys::Program::ExecuteAndWait(prog, Args.data(), 0,
206 (SilencePasses ? Redirects : 0),
Anton Korobeynikov9ba8a762007-02-16 19:11:07 +0000207 Timeout, MemoryLimit, &ErrMsg);
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000208
Gabor Greif8ff70c22007-07-04 21:55:50 +0000209 // If we are supposed to delete the bitcode file or if the passes crashed,
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000210 // remove it now. This may fail if the file was never created, but that's ok.
Reid Spencerc4bb0522005-12-22 20:02:55 +0000211 if (DeleteOutput || result != 0)
Reid Spencera229c5c2005-07-08 03:08:58 +0000212 sys::Path(OutputFilename).eraseFromDisk();
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000213
Reid Spencerc4bb0522005-12-22 20:02:55 +0000214 // Remove the temporary input file as well
215 inputFilename.eraseFromDisk();
216
Chris Lattner24271cf2003-06-02 04:54:16 +0000217 if (!Quiet) {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000218 if (result == 0)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000219 outs() << "Success!\n";
Reid Spencerc4bb0522005-12-22 20:02:55 +0000220 else if (result > 0)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000221 outs() << "Exited with error code '" << result << "'\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000222 else if (result < 0) {
223 if (result == -1)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000224 outs() << "Execute failed: " << ErrMsg << "\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000225 else
Dan Gohmanac95cc72009-07-16 15:30:09 +0000226 outs() << "Crashed with signal #" << abs(result) << "\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000227 }
Reid Spencerc4bb0522005-12-22 20:02:55 +0000228 if (result & 0x01000000)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000229 outs() << "Dumped core\n";
Chris Lattner24271cf2003-06-02 04:54:16 +0000230 }
Chris Lattnerafade922002-11-20 22:28:10 +0000231
232 // Was the child successful?
Reid Spencerc4bb0522005-12-22 20:02:55 +0000233 return result != 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000234}
Brian Gaeked0fde302003-11-11 22:41:34 +0000235
Chris Lattner3b6441e2004-03-14 21:17:03 +0000236
237/// runPassesOn - Carefully run the specified set of pass on the specified
238/// module, returning the transformed module on success, or a null pointer on
239/// failure.
240Module *BugDriver::runPassesOn(Module *M,
Owen Anderson8be32912010-07-20 08:26:15 +0000241 const std::vector<const PassInfo*> &Passes,
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000242 bool AutoDebugCrashes, unsigned NumExtraArgs,
243 const char * const *ExtraArgs) {
Gabor Greif8ff70c22007-07-04 21:55:50 +0000244 std::string BitcodeResult;
Rafael Espindolaca356af2010-08-05 00:29:04 +0000245 if (runPasses(M, Passes, BitcodeResult, false/*delete*/, true/*quiet*/,
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000246 NumExtraArgs, ExtraArgs)) {
Chris Lattner0a002562004-03-14 21:21:57 +0000247 if (AutoDebugCrashes) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000248 errs() << " Error running this sequence of passes"
249 << " on the input program!\n";
Rafael Espindolaca356af2010-08-05 00:29:04 +0000250 delete swapProgramIn(M);
251 EmitProgressBitcode(M, "pass-error", false);
Chris Lattner0a002562004-03-14 21:21:57 +0000252 exit(debugOptimizerCrash());
253 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000254 return 0;
Chris Lattner0a002562004-03-14 21:21:57 +0000255 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000256
Owen Anderson8b477ed2009-07-01 16:58:40 +0000257 Module *Ret = ParseInputFile(BitcodeResult, Context);
Chris Lattner3b6441e2004-03-14 21:17:03 +0000258 if (Ret == 0) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000259 errs() << getToolName() << ": Error reading bitcode file '"
260 << BitcodeResult << "'!\n";
Chris Lattner3b6441e2004-03-14 21:17:03 +0000261 exit(1);
262 }
Gabor Greif8ff70c22007-07-04 21:55:50 +0000263 sys::Path(BitcodeResult).eraseFromDisk(); // No longer need the file on disk
Chris Lattner3b6441e2004-03-14 21:17:03 +0000264 return Ret;
265}