blob: e5435ed1bc0cf0f232971ea142a136cfd4025873 [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//
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.
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"
26#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattner03b69632007-05-06 05:47:06 +000027#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattnerf2bcccf2003-01-22 23:24:11 +000028#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000029#include "llvm/Support/FileUtilities.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000030#include "llvm/Support/CommandLine.h"
Bill Wendling68fe61d2006-11-29 00:19:40 +000031#include "llvm/Support/Streams.h"
Reid Spencer97182982004-12-15 01:53:08 +000032#include "llvm/System/Path.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000033#include "llvm/System/Program.h"
Jeff Cohen46e1ee92005-12-23 05:00:38 +000034#include "llvm/Config/alloca.h"
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +000035
36#define DONT_GET_PLUGIN_LOADER_OPTION
37#include "llvm/Support/PluginLoader.h"
38
Misha Brukmane49603d2003-08-07 21:19:30 +000039#include <fstream>
Chris Lattnerfa761832004-01-14 03:38:37 +000040using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000041
Chris Lattner03b69632007-05-06 05:47:06 +000042static bool Bitcode = false;
43
44
Reid Spencerc4bb0522005-12-22 20:02:55 +000045namespace {
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);
Nick Lewycky40394bc2006-09-14 03:49:54 +000049 cl::opt<bool> UseValgrind("enable-valgrind",
50 cl::desc("Run optimizations through valgrind"));
Reid Spencerc4bb0522005-12-22 20:02:55 +000051}
52
Chris Lattnerafade922002-11-20 22:28:10 +000053/// writeProgramToFile - This writes the current "Program" to the named bytecode
54/// file. If an error occurs, true is returned.
55///
Chris Lattner218e26e2002-12-23 23:49:59 +000056bool BugDriver::writeProgramToFile(const std::string &Filename,
Jeff Cohenea3e5e52005-04-22 04:13:13 +000057 Module *M) const {
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000058 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
59 std::ios::binary;
60 std::ofstream Out(Filename.c_str(), io_mode);
Chris Lattnerafade922002-11-20 22:28:10 +000061 if (!Out.good()) return true;
Chris Lattnerf877e602006-05-14 19:11:40 +000062 try {
Bill Wendlinge8156192006-12-07 01:30:32 +000063 OStream L(Out);
Chris Lattner17be6792007-01-21 06:34:18 +000064 WriteBytecodeToFile(M ? M : Program, L, /*compression=*/false);
Chris Lattnerf877e602006-05-14 19:11:40 +000065 } catch (...) {
66 return true;
67 }
Chris Lattnerafade922002-11-20 22:28:10 +000068 return false;
69}
70
71
72/// EmitProgressBytecode - This function is used to output the current Program
Misha Brukman265789f2003-07-21 21:58:16 +000073/// to a file named "bugpoint-ID.bc".
Chris Lattnerafade922002-11-20 22:28:10 +000074///
Chris Lattner640f22e2003-04-24 17:02:17 +000075void BugDriver::EmitProgressBytecode(const std::string &ID, bool NoFlyer) {
Chris Lattnerafade922002-11-20 22:28:10 +000076 // Output the input to the current pass to a bytecode file, emit a message
77 // telling the user how to reproduce it: opt -foo blah.bc
78 //
79 std::string Filename = "bugpoint-" + ID + ".bc";
80 if (writeProgramToFile(Filename)) {
Bill Wendlinge8156192006-12-07 01:30:32 +000081 cerr << "Error opening file '" << Filename << "' for writing!\n";
Chris Lattnerafade922002-11-20 22:28:10 +000082 return;
83 }
84
Bill Wendlinge8156192006-12-07 01:30:32 +000085 cout << "Emitted bytecode to '" << Filename << "'\n";
Chris Lattnerca005122004-02-18 23:24:56 +000086 if (NoFlyer || PassesToRun.empty()) return;
Bill Wendlinge8156192006-12-07 01:30:32 +000087 cout << "\n*** You can reproduce the problem with: ";
88 cout << "opt " << Filename << " ";
89 cout << getPassesString(PassesToRun) << "\n";
Chris Lattnerafade922002-11-20 22:28:10 +000090}
91
Reid Spencerc4bb0522005-12-22 20:02:55 +000092int BugDriver::runPassesAsChild(const std::vector<const PassInfo*> &Passes) {
93
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000094 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
95 std::ios::binary;
Reid Spencerc4bb0522005-12-22 20:02:55 +000096 std::ofstream OutFile(ChildOutput.c_str(), io_mode);
Chris Lattnerafade922002-11-20 22:28:10 +000097 if (!OutFile.good()) {
Bill Wendlinge8156192006-12-07 01:30:32 +000098 cerr << "Error opening bytecode file: " << ChildOutput << "\n";
Reid Spencerc4bb0522005-12-22 20:02:55 +000099 return 1;
Chris Lattnerafade922002-11-20 22:28:10 +0000100 }
101
102 PassManager PM;
Chris Lattner9c3b55e2003-04-24 19:13:02 +0000103 // Make sure that the appropriate target data is always used...
Chris Lattner831b1212006-06-16 18:23:49 +0000104 PM.add(new TargetData(Program));
Chris Lattner9c3b55e2003-04-24 19:13:02 +0000105
Chris Lattnerafade922002-11-20 22:28:10 +0000106 for (unsigned i = 0, e = Passes.size(); i != e; ++i) {
107 if (Passes[i]->getNormalCtor())
108 PM.add(Passes[i]->getNormalCtor()());
109 else
Bill Wendlinge8156192006-12-07 01:30:32 +0000110 cerr << "Cannot create pass yet: " << Passes[i]->getPassName() << "\n";
Chris Lattnerafade922002-11-20 22:28:10 +0000111 }
112 // Check that the module is well formed on completion of optimization
113 PM.add(createVerifierPass());
114
115 // Write bytecode out to disk as the last step...
Bill Wendlinge8156192006-12-07 01:30:32 +0000116 OStream L(OutFile);
Chris Lattner03b69632007-05-06 05:47:06 +0000117 if (Bitcode)
118 PM.add(CreateBitcodeWriterPass(OutFile));
119 else
120 PM.add(new WriteBytecodePass(&L));
Chris Lattnerafade922002-11-20 22:28:10 +0000121
122 // Run all queued passes.
123 PM.run(*Program);
Reid Spencerc4bb0522005-12-22 20:02:55 +0000124
125 return 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000126}
127
128/// runPasses - Run the specified passes on Program, outputting a bytecode file
Misha Brukmancf00c4a2003-10-10 17:57:28 +0000129/// and writing the filename into OutputFile if successful. If the
Chris Lattnerafade922002-11-20 22:28:10 +0000130/// optimizations fail for some reason (optimizer crashes), return true,
131/// otherwise return false. If DeleteOutput is set to true, the bytecode is
132/// deleted on success, and the filename string is undefined. This prints to
133/// cout a single line message indicating whether compilation was successful or
134/// failed.
135///
136bool BugDriver::runPasses(const std::vector<const PassInfo*> &Passes,
Chris Lattner218e26e2002-12-23 23:49:59 +0000137 std::string &OutputFilename, bool DeleteOutput,
Nick Lewycky40394bc2006-09-14 03:49:54 +0000138 bool Quiet) const {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000139 // setup the output file name
Bill Wendlinge8156192006-12-07 01:30:32 +0000140 cout << std::flush;
Reid Spencer97182982004-12-15 01:53:08 +0000141 sys::Path uniqueFilename("bugpoint-output.bc");
Reid Spencer51c5a282006-08-23 20:34:57 +0000142 std::string ErrMsg;
143 if (uniqueFilename.makeUnique(true, &ErrMsg)) {
Bill Wendlinge8156192006-12-07 01:30:32 +0000144 cerr << getToolName() << ": Error making unique filename: "
145 << ErrMsg << "\n";
Reid Spencer51c5a282006-08-23 20:34:57 +0000146 return(1);
147 }
Reid Spencer97182982004-12-15 01:53:08 +0000148 OutputFilename = uniqueFilename.toString();
Chris Lattnerafade922002-11-20 22:28:10 +0000149
Reid Spencerc4bb0522005-12-22 20:02:55 +0000150 // set up the input file name
151 sys::Path inputFilename("bugpoint-input.bc");
Reid Spencer51c5a282006-08-23 20:34:57 +0000152 if (inputFilename.makeUnique(true, &ErrMsg)) {
Bill Wendlinge8156192006-12-07 01:30:32 +0000153 cerr << getToolName() << ": Error making unique filename: "
154 << ErrMsg << "\n";
Reid Spencer51c5a282006-08-23 20:34:57 +0000155 return(1);
156 }
Reid Spencerc4bb0522005-12-22 20:02:55 +0000157 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
158 std::ios::binary;
159 std::ofstream InFile(inputFilename.c_str(), io_mode);
160 if (!InFile.good()) {
Bill Wendlinge8156192006-12-07 01:30:32 +0000161 cerr << "Error opening bytecode file: " << inputFilename << "\n";
Reid Spencerc4bb0522005-12-22 20:02:55 +0000162 return(1);
Chris Lattnerafade922002-11-20 22:28:10 +0000163 }
Bill Wendlinge8156192006-12-07 01:30:32 +0000164 OStream L(InFile);
Bill Wendling68fe61d2006-11-29 00:19:40 +0000165 WriteBytecodeToFile(Program,L,false);
Reid Spencerc4bb0522005-12-22 20:02:55 +0000166 InFile.close();
Chris Lattnerafade922002-11-20 22:28:10 +0000167
Reid Spencerc4bb0522005-12-22 20:02:55 +0000168 // setup the child process' arguments
169 const char** args = (const char**)
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +0000170 alloca(sizeof(const char*) *
Nick Lewyckye290c6d2006-09-14 04:20:17 +0000171 (Passes.size()+13+2*PluginLoader::getNumPlugins()));
Reid Spencerc4bb0522005-12-22 20:02:55 +0000172 int n = 0;
Nick Lewyckye290c6d2006-09-14 04:20:17 +0000173 sys::Path tool = sys::Program::FindProgramByName(ToolName);
Nick Lewycky40394bc2006-09-14 03:49:54 +0000174 if (UseValgrind) {
175 args[n++] = "valgrind";
176 args[n++] = "--error-exitcode=1";
177 args[n++] = "-q";
Nick Lewyckye290c6d2006-09-14 04:20:17 +0000178 args[n++] = tool.c_str();
Nick Lewycky40394bc2006-09-14 03:49:54 +0000179 } else
180 args[n++] = ToolName.c_str();
181
Reid Spencerc4bb0522005-12-22 20:02:55 +0000182 args[n++] = "-as-child";
183 args[n++] = "-child-output";
184 args[n++] = OutputFilename.c_str();
185 std::vector<std::string> pass_args;
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +0000186 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
187 pass_args.push_back( std::string("-load"));
188 pass_args.push_back( PluginLoader::getPlugin(i));
189 }
Reid Spencerc4bb0522005-12-22 20:02:55 +0000190 for (std::vector<const PassInfo*>::const_iterator I = Passes.begin(),
191 E = Passes.end(); I != E; ++I )
192 pass_args.push_back( std::string("-") + (*I)->getPassArgument() );
193 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
194 E = pass_args.end(); I != E; ++I )
195 args[n++] = I->c_str();
196 args[n++] = inputFilename.c_str();
197 args[n++] = 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000198
Nick Lewycky40394bc2006-09-14 03:49:54 +0000199 sys::Path prog;
200 if (UseValgrind)
201 prog = sys::Program::FindProgramByName("valgrind");
202 else
Nick Lewyckye290c6d2006-09-14 04:20:17 +0000203 prog = tool;
Anton Korobeynikov9ba8a762007-02-16 19:11:07 +0000204 int result = sys::Program::ExecuteAndWait(prog, args, 0, 0,
205 Timeout, MemoryLimit, &ErrMsg);
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000206
207 // If we are supposed to delete the bytecode file or if the passes crashed,
208 // remove it now. This may fail if the file was never created, but that's ok.
Reid Spencerc4bb0522005-12-22 20:02:55 +0000209 if (DeleteOutput || result != 0)
Reid Spencera229c5c2005-07-08 03:08:58 +0000210 sys::Path(OutputFilename).eraseFromDisk();
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000211
Reid Spencerc4bb0522005-12-22 20:02:55 +0000212 // Remove the temporary input file as well
213 inputFilename.eraseFromDisk();
214
Chris Lattner24271cf2003-06-02 04:54:16 +0000215 if (!Quiet) {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000216 if (result == 0)
Bill Wendlinge8156192006-12-07 01:30:32 +0000217 cout << "Success!\n";
Reid Spencerc4bb0522005-12-22 20:02:55 +0000218 else if (result > 0)
Bill Wendlinge8156192006-12-07 01:30:32 +0000219 cout << "Exited with error code '" << result << "'\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000220 else if (result < 0) {
221 if (result == -1)
Bill Wendlinge8156192006-12-07 01:30:32 +0000222 cout << "Execute failed: " << ErrMsg << "\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000223 else
Bill Wendlinge8156192006-12-07 01:30:32 +0000224 cout << "Crashed with signal #" << abs(result) << "\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000225 }
Reid Spencerc4bb0522005-12-22 20:02:55 +0000226 if (result & 0x01000000)
Bill Wendlinge8156192006-12-07 01:30:32 +0000227 cout << "Dumped core\n";
Chris Lattner24271cf2003-06-02 04:54:16 +0000228 }
Chris Lattnerafade922002-11-20 22:28:10 +0000229
230 // Was the child successful?
Reid Spencerc4bb0522005-12-22 20:02:55 +0000231 return result != 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000232}
Brian Gaeked0fde302003-11-11 22:41:34 +0000233
Chris Lattner3b6441e2004-03-14 21:17:03 +0000234
235/// runPassesOn - Carefully run the specified set of pass on the specified
236/// module, returning the transformed module on success, or a null pointer on
237/// failure.
238Module *BugDriver::runPassesOn(Module *M,
Chris Lattner0a002562004-03-14 21:21:57 +0000239 const std::vector<const PassInfo*> &Passes,
240 bool AutoDebugCrashes) {
Chris Lattner3b6441e2004-03-14 21:17:03 +0000241 Module *OldProgram = swapProgramIn(M);
242 std::string BytecodeResult;
Chris Lattner0a002562004-03-14 21:21:57 +0000243 if (runPasses(Passes, BytecodeResult, false/*delete*/, true/*quiet*/)) {
244 if (AutoDebugCrashes) {
Bill Wendlinge8156192006-12-07 01:30:32 +0000245 cerr << " Error running this sequence of passes"
246 << " on the input program!\n";
Chris Lattner0a002562004-03-14 21:21:57 +0000247 delete OldProgram;
248 EmitProgressBytecode("pass-error", false);
249 exit(debugOptimizerCrash());
250 }
Chris Lattner44a64bc2004-03-14 21:37:41 +0000251 swapProgramIn(OldProgram);
Chris Lattner3b6441e2004-03-14 21:17:03 +0000252 return 0;
Chris Lattner0a002562004-03-14 21:21:57 +0000253 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000254
255 // Restore the current program.
256 swapProgramIn(OldProgram);
257
258 Module *Ret = ParseInputFile(BytecodeResult);
259 if (Ret == 0) {
Bill Wendlinge8156192006-12-07 01:30:32 +0000260 cerr << getToolName() << ": Error reading bytecode file '"
261 << BytecodeResult << "'!\n";
Chris Lattner3b6441e2004-03-14 21:17:03 +0000262 exit(1);
263 }
Reid Spencera229c5c2005-07-08 03:08:58 +0000264 sys::Path(BytecodeResult).eraseFromDisk(); // No longer need the file on disk
Chris Lattner3b6441e2004-03-14 21:17:03 +0000265 return Ret;
266}