blob: 3a6149b24a529f8657852b5c895a447c15f9c389 [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"
Chris Lattnerb1aa85b2009-08-23 22:45:37 +000030#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031#include "llvm/System/Path.h"
32#include "llvm/System/Program.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000033
34#define DONT_GET_PLUGIN_LOADER_OPTION
35#include "llvm/Support/PluginLoader.h"
36
37#include <fstream>
38using namespace llvm;
39
Daniel Dunbar377b5a32009-09-07 19:26:11 +000040namespace llvm {
41 extern cl::opt<std::string> OutputPrefix;
42}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000043
44namespace {
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);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000048}
49
50/// writeProgramToFile - This writes the current "Program" to the named bitcode
51/// file. If an error occurs, true is returned.
52///
53bool BugDriver::writeProgramToFile(const std::string &Filename,
54 Module *M) const {
Chris Lattner371c1ef2009-08-23 07:49:08 +000055 std::string ErrInfo;
56 raw_fd_ostream Out(Filename.c_str(), ErrInfo,
Dan Gohman176426d2009-08-25 15:34:52 +000057 raw_fd_ostream::F_Binary);
Chris Lattner371c1ef2009-08-23 07:49:08 +000058 if (!ErrInfo.empty()) return true;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000059
60 WriteBitcodeToFile(M ? M : Program, Out);
61 return false;
62}
63
64
65/// EmitProgressBitcode - This function is used to output the current Program
66/// to a file named "bugpoint-ID.bc".
67///
68void BugDriver::EmitProgressBitcode(const std::string &ID, bool NoFlyer) {
69 // Output the input to the current pass to a bitcode file, emit a message
70 // telling the user how to reproduce it: opt -foo blah.bc
71 //
Daniel Dunbar377b5a32009-09-07 19:26:11 +000072 std::string Filename = OutputPrefix + "-" + ID + ".bc";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000073 if (writeProgramToFile(Filename)) {
Dan Gohmanb714fab2009-07-16 15:30:09 +000074 errs() << "Error opening file '" << Filename << "' for writing!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000075 return;
76 }
77
Dan Gohmanb714fab2009-07-16 15:30:09 +000078 outs() << "Emitted bitcode to '" << Filename << "'\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000079 if (NoFlyer || PassesToRun.empty()) return;
Dan Gohmanb714fab2009-07-16 15:30:09 +000080 outs() << "\n*** You can reproduce the problem with: ";
Nick Lewycky51e4d122009-08-18 06:08:01 +000081 if (UseValgrind) outs() << "valgrind ";
Dan Gohmanb714fab2009-07-16 15:30:09 +000082 outs() << "opt " << Filename << " ";
83 outs() << getPassesString(PassesToRun) << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000084}
85
86int BugDriver::runPassesAsChild(const std::vector<const PassInfo*> &Passes) {
Chris Lattner371c1ef2009-08-23 07:49:08 +000087 std::string ErrInfo;
88 raw_fd_ostream OutFile(ChildOutput.c_str(), ErrInfo,
Dan Gohman176426d2009-08-25 15:34:52 +000089 raw_fd_ostream::F_Binary);
Chris Lattner371c1ef2009-08-23 07:49:08 +000090 if (!ErrInfo.empty()) {
Dan Gohmanb714fab2009-07-16 15:30:09 +000091 errs() << "Error opening bitcode file: " << ChildOutput << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000092 return 1;
93 }
94
95 PassManager PM;
96 // Make sure that the appropriate target data is always used...
97 PM.add(new TargetData(Program));
98
99 for (unsigned i = 0, e = Passes.size(); i != e; ++i) {
100 if (Passes[i]->getNormalCtor())
101 PM.add(Passes[i]->getNormalCtor()());
102 else
Dan Gohmanb714fab2009-07-16 15:30:09 +0000103 errs() << "Cannot create pass yet: " << Passes[i]->getPassName() << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000104 }
105 // Check that the module is well formed on completion of optimization
106 PM.add(createVerifierPass());
107
108 // Write bitcode out to disk as the last step...
Chris Lattner371c1ef2009-08-23 07:49:08 +0000109 PM.add(createBitcodeWriterPass(OutFile));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000110
111 // Run all queued passes.
112 PM.run(*Program);
113
114 return 0;
115}
116
Matthijs Kooijman5fea5852008-06-12 13:02:26 +0000117cl::opt<bool> SilencePasses("silence-passes", cl::desc("Suppress output of running passes (both stdout and stderr)"));
118
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000119/// runPasses - Run the specified passes on Program, outputting a bitcode file
120/// and writing the filename into OutputFile if successful. If the
121/// optimizations fail for some reason (optimizer crashes), return true,
122/// otherwise return false. If DeleteOutput is set to true, the bitcode is
123/// deleted on success, and the filename string is undefined. This prints to
Dan Gohmanb714fab2009-07-16 15:30:09 +0000124/// outs() a single line message indicating whether compilation was successful
125/// or failed.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000126///
127bool BugDriver::runPasses(const std::vector<const PassInfo*> &Passes,
128 std::string &OutputFilename, bool DeleteOutput,
Nick Lewycky43e736d2007-11-14 06:47:06 +0000129 bool Quiet, unsigned NumExtraArgs,
130 const char * const *ExtraArgs) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000131 // setup the output file name
Dan Gohmanb714fab2009-07-16 15:30:09 +0000132 outs().flush();
Daniel Dunbar377b5a32009-09-07 19:26:11 +0000133 sys::Path uniqueFilename(OutputPrefix + "-output.bc");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000134 std::string ErrMsg;
135 if (uniqueFilename.makeUnique(true, &ErrMsg)) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000136 errs() << getToolName() << ": Error making unique filename: "
137 << ErrMsg << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000138 return(1);
139 }
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000140 OutputFilename = uniqueFilename.str();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000141
142 // set up the input file name
Daniel Dunbar377b5a32009-09-07 19:26:11 +0000143 sys::Path inputFilename(OutputPrefix + "-input.bc");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000144 if (inputFilename.makeUnique(true, &ErrMsg)) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000145 errs() << getToolName() << ": Error making unique filename: "
146 << ErrMsg << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000147 return(1);
148 }
Chris Lattner371c1ef2009-08-23 07:49:08 +0000149
150 std::string ErrInfo;
151 raw_fd_ostream InFile(inputFilename.c_str(), ErrInfo,
Dan Gohman176426d2009-08-25 15:34:52 +0000152 raw_fd_ostream::F_Binary);
Chris Lattner371c1ef2009-08-23 07:49:08 +0000153
154
155 if (!ErrInfo.empty()) {
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000156 errs() << "Error opening bitcode file: " << inputFilename.str() << "\n";
Chris Lattner371c1ef2009-08-23 07:49:08 +0000157 return 1;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000158 }
159 WriteBitcodeToFile(Program, InFile);
160 InFile.close();
161
162 // setup the child process' arguments
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000163 SmallVector<const char*, 8> Args;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000164 sys::Path tool = sys::Program::FindProgramByName(ToolName);
165 if (UseValgrind) {
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000166 Args.push_back("valgrind");
167 Args.push_back("--error-exitcode=1");
168 Args.push_back("-q");
169 Args.push_back(tool.c_str());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000170 } else
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000171 Args.push_back(ToolName);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000172
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000173 Args.push_back("-as-child");
174 Args.push_back("-child-output");
175 Args.push_back(OutputFilename.c_str());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000176 std::vector<std::string> pass_args;
177 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
178 pass_args.push_back( std::string("-load"));
179 pass_args.push_back( PluginLoader::getPlugin(i));
180 }
181 for (std::vector<const PassInfo*>::const_iterator I = Passes.begin(),
182 E = Passes.end(); I != E; ++I )
183 pass_args.push_back( std::string("-") + (*I)->getPassArgument() );
184 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
185 E = pass_args.end(); I != E; ++I )
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000186 Args.push_back(I->c_str());
187 Args.push_back(inputFilename.c_str());
Nick Lewycky43e736d2007-11-14 06:47:06 +0000188 for (unsigned i = 0; i < NumExtraArgs; ++i)
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000189 Args.push_back(*ExtraArgs);
190 Args.push_back(0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000191
192 sys::Path prog;
193 if (UseValgrind)
194 prog = sys::Program::FindProgramByName("valgrind");
195 else
196 prog = tool;
Matthijs Kooijman5fea5852008-06-12 13:02:26 +0000197
198 // Redirect stdout and stderr to nowhere if SilencePasses is given
199 sys::Path Nowhere;
200 const sys::Path *Redirects[3] = {0, &Nowhere, &Nowhere};
201
Chris Lattnerb1aa85b2009-08-23 22:45:37 +0000202 int result = sys::Program::ExecuteAndWait(prog, Args.data(), 0,
203 (SilencePasses ? Redirects : 0),
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000204 Timeout, MemoryLimit, &ErrMsg);
205
206 // If we are supposed to delete the bitcode file or if the passes crashed,
207 // remove it now. This may fail if the file was never created, but that's ok.
208 if (DeleteOutput || result != 0)
209 sys::Path(OutputFilename).eraseFromDisk();
210
211 // Remove the temporary input file as well
212 inputFilename.eraseFromDisk();
213
214 if (!Quiet) {
215 if (result == 0)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000216 outs() << "Success!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000217 else if (result > 0)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000218 outs() << "Exited with error code '" << result << "'\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000219 else if (result < 0) {
220 if (result == -1)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000221 outs() << "Execute failed: " << ErrMsg << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000222 else
Dan Gohmanb714fab2009-07-16 15:30:09 +0000223 outs() << "Crashed with signal #" << abs(result) << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000224 }
225 if (result & 0x01000000)
Dan Gohmanb714fab2009-07-16 15:30:09 +0000226 outs() << "Dumped core\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000227 }
228
229 // Was the child successful?
230 return result != 0;
231}
232
233
234/// runPassesOn - Carefully run the specified set of pass on the specified
235/// module, returning the transformed module on success, or a null pointer on
236/// failure.
237Module *BugDriver::runPassesOn(Module *M,
238 const std::vector<const PassInfo*> &Passes,
Nick Lewycky43e736d2007-11-14 06:47:06 +0000239 bool AutoDebugCrashes, unsigned NumExtraArgs,
240 const char * const *ExtraArgs) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000241 Module *OldProgram = swapProgramIn(M);
242 std::string BitcodeResult;
Nick Lewycky43e736d2007-11-14 06:47:06 +0000243 if (runPasses(Passes, BitcodeResult, false/*delete*/, true/*quiet*/,
244 NumExtraArgs, ExtraArgs)) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000245 if (AutoDebugCrashes) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000246 errs() << " Error running this sequence of passes"
247 << " on the input program!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000248 delete OldProgram;
249 EmitProgressBitcode("pass-error", false);
250 exit(debugOptimizerCrash());
251 }
252 swapProgramIn(OldProgram);
253 return 0;
254 }
255
256 // Restore the current program.
257 swapProgramIn(OldProgram);
258
Owen Anderson25209b42009-07-01 16:58:40 +0000259 Module *Ret = ParseInputFile(BitcodeResult, Context);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000260 if (Ret == 0) {
Dan Gohmanb714fab2009-07-16 15:30:09 +0000261 errs() << getToolName() << ": Error reading bitcode file '"
262 << BitcodeResult << "'!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000263 exit(1);
264 }
265 sys::Path(BitcodeResult).eraseFromDisk(); // No longer need the file on disk
266 return Ret;
267}