blob: 3af551f43dd6e699f97e38a22301897aa38b9640 [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
18#include "BugDriver.h"
Chandler Carruthf010c462012-12-04 10:44:52 +000019#include "llvm/Analysis/Verifier.h"
20#include "llvm/Bitcode/ReaderWriter.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000021#include "llvm/IR/DataLayout.h"
22#include "llvm/IR/Module.h"
Chris Lattnerafade922002-11-20 22:28:10 +000023#include "llvm/PassManager.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000024#include "llvm/Support/CommandLine.h"
Rafael Espindola7f99f742010-08-07 23:03:21 +000025#include "llvm/Support/Debug.h"
Chandler Carruthf010c462012-12-04 10:44:52 +000026#include "llvm/Support/FileUtilities.h"
Michael J. Spencer1f6efa32010-11-29 18:16:10 +000027#include "llvm/Support/Path.h"
28#include "llvm/Support/Program.h"
Chandler Carruthf010c462012-12-04 10:44:52 +000029#include "llvm/Support/SystemUtils.h"
30#include "llvm/Support/ToolOutputFile.h"
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +000031
32#define DONT_GET_PLUGIN_LOADER_OPTION
33#include "llvm/Support/PluginLoader.h"
34
Misha Brukmane49603d2003-08-07 21:19:30 +000035#include <fstream>
Rafael Espindola2c073ee2013-06-18 15:54:13 +000036
37#if !defined(_MSC_VER) && !defined(__MINGW32__)
38#include <unistd.h>
39#else
40#include <io.h>
41#endif
42
Chris Lattnerfa761832004-01-14 03:38:37 +000043using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000044
Daniel Dunbar68ccdaa2009-09-07 19:26:11 +000045namespace llvm {
46 extern cl::opt<std::string> OutputPrefix;
47}
Chris Lattner03b69632007-05-06 05:47:06 +000048
Reid Spencerc4bb0522005-12-22 20:02:55 +000049namespace {
50 // ChildOutput - This option captures the name of the child output file that
51 // is set up by the parent bugpoint process
52 cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden);
53}
54
Gabor Greif8ff70c22007-07-04 21:55:50 +000055/// writeProgramToFile - This writes the current "Program" to the named bitcode
Chris Lattnerafade922002-11-20 22:28:10 +000056/// file. If an error occurs, true is returned.
57///
Rafael Espindola88088f42013-06-18 15:29:32 +000058static bool writeProgramToFileAux(tool_output_file &Out, const Module *M) {
59 WriteBitcodeToFile(M, Out.os());
60 Out.os().close();
61 if (!Out.os().has_error()) {
62 Out.keep();
63 return false;
64 }
65 return true;
66}
67
68bool BugDriver::writeProgramToFile(const std::string &Filename, int FD,
69 const Module *M) const {
70 tool_output_file Out(Filename.c_str(), FD);
71 return writeProgramToFileAux(Out, M);
72}
73
Chris Lattner218e26e2002-12-23 23:49:59 +000074bool BugDriver::writeProgramToFile(const std::string &Filename,
Rafael Espindolabae1b712010-07-28 18:12:30 +000075 const Module *M) const {
Chris Lattnerb515d752009-08-23 07:49:08 +000076 std::string ErrInfo;
Rafael Espindola88088f42013-06-18 15:29:32 +000077 tool_output_file Out(Filename.c_str(), ErrInfo, raw_fd_ostream::F_Binary);
78 if (ErrInfo.empty())
79 return writeProgramToFileAux(Out, M);
Dan Gohmanf2914012010-08-20 16:59:15 +000080 return true;
Chris Lattnerafade922002-11-20 22:28:10 +000081}
82
83
Gabor Greif8ff70c22007-07-04 21:55:50 +000084/// EmitProgressBitcode - This function is used to output the current Program
Misha Brukman265789f2003-07-21 21:58:16 +000085/// to a file named "bugpoint-ID.bc".
Chris Lattnerafade922002-11-20 22:28:10 +000086///
Rafael Espindolabae1b712010-07-28 18:12:30 +000087void BugDriver::EmitProgressBitcode(const Module *M,
Rafael Espindolaca356af2010-08-05 00:29:04 +000088 const std::string &ID,
89 bool NoFlyer) const {
Gabor Greif8ff70c22007-07-04 21:55:50 +000090 // Output the input to the current pass to a bitcode file, emit a message
Chris Lattnerafade922002-11-20 22:28:10 +000091 // telling the user how to reproduce it: opt -foo blah.bc
92 //
Daniel Dunbar68ccdaa2009-09-07 19:26:11 +000093 std::string Filename = OutputPrefix + "-" + ID + ".bc";
Rafael Espindolabae1b712010-07-28 18:12:30 +000094 if (writeProgramToFile(Filename, M)) {
Dan Gohmanac95cc72009-07-16 15:30:09 +000095 errs() << "Error opening file '" << Filename << "' for writing!\n";
Chris Lattnerafade922002-11-20 22:28:10 +000096 return;
97 }
98
Dan Gohmanac95cc72009-07-16 15:30:09 +000099 outs() << "Emitted bitcode to '" << Filename << "'\n";
Chris Lattnerca005122004-02-18 23:24:56 +0000100 if (NoFlyer || PassesToRun.empty()) return;
Dan Gohmanac95cc72009-07-16 15:30:09 +0000101 outs() << "\n*** You can reproduce the problem with: ";
Nick Lewycky40cce092009-08-18 06:08:01 +0000102 if (UseValgrind) outs() << "valgrind ";
Chris Lattner1aa73cc2012-03-19 23:42:11 +0000103 outs() << "opt " << Filename;
104 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
105 outs() << " -load " << PluginLoader::getPlugin(i);
106 }
107 outs() << " " << getPassesString(PassesToRun) << "\n";
Chris Lattnerafade922002-11-20 22:28:10 +0000108}
109
Chris Lattner9992fca2011-02-24 18:59:38 +0000110cl::opt<bool> SilencePasses("silence-passes",
111 cl::desc("Suppress output of running passes (both stdout and stderr)"));
Matthijs Kooijmanfbea2272008-06-12 13:02:26 +0000112
Rafael Espindolaec62d532010-08-08 22:14:20 +0000113static cl::list<std::string> OptArgs("opt-args", cl::Positional,
114 cl::desc("<opt arguments>..."),
115 cl::ZeroOrMore, cl::PositionalEatsArgs);
116
Gabor Greif8ff70c22007-07-04 21:55:50 +0000117/// runPasses - Run the specified passes on Program, outputting a bitcode file
Misha Brukmancf00c4a2003-10-10 17:57:28 +0000118/// and writing the filename into OutputFile if successful. If the
Chris Lattnerafade922002-11-20 22:28:10 +0000119/// optimizations fail for some reason (optimizer crashes), return true,
Gabor Greif8ff70c22007-07-04 21:55:50 +0000120/// otherwise return false. If DeleteOutput is set to true, the bitcode is
Chris Lattnerafade922002-11-20 22:28:10 +0000121/// deleted on success, and the filename string is undefined. This prints to
Dan Gohmanac95cc72009-07-16 15:30:09 +0000122/// outs() a single line message indicating whether compilation was successful
123/// or failed.
Chris Lattnerafade922002-11-20 22:28:10 +0000124///
Rafael Espindolaca356af2010-08-05 00:29:04 +0000125bool BugDriver::runPasses(Module *Program,
Rafael Espindola8261dfe2010-08-08 03:55:08 +0000126 const std::vector<std::string> &Passes,
Chris Lattner218e26e2002-12-23 23:49:59 +0000127 std::string &OutputFilename, bool DeleteOutput,
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000128 bool Quiet, unsigned NumExtraArgs,
129 const char * const *ExtraArgs) const {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000130 // setup the output file name
Dan Gohmanac95cc72009-07-16 15:30:09 +0000131 outs().flush();
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000132 SmallString<128> UniqueFilename;
133 int UniqueFD;
134 error_code EC = sys::fs::unique_file(OutputPrefix + "-output-%%%%%%%.bc",
135 UniqueFD, UniqueFilename);
136 if (EC) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000137 errs() << getToolName() << ": Error making unique filename: "
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000138 << EC.message() << "\n";
Chris Lattnerb515d752009-08-23 07:49:08 +0000139 return 1;
Chris Lattnerafade922002-11-20 22:28:10 +0000140 }
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000141 OutputFilename = UniqueFilename.str();
142 close(UniqueFD); // We only want the filename.
143
144 // set up the input file name
145 SmallString<128> InputFilename;
146 int InputFD;
147 EC = sys::fs::unique_file(OutputPrefix + "-input-%%%%%%%.bc", InputFD,
148 InputFilename);
149 if (EC) {
150 errs() << getToolName() << ": Error making unique filename: "
151 << EC.message() << "\n";
152 return 1;
153 }
154
155 tool_output_file InFile(InputFilename.c_str(), InputFD);
156
Dan Gohmand4c45432010-09-01 14:20:41 +0000157 WriteBitcodeToFile(Program, InFile.os());
158 InFile.os().close();
159 if (InFile.os().has_error()) {
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000160 errs() << "Error writing bitcode file: " << InputFilename << "\n";
Dan Gohmand4c45432010-09-01 14:20:41 +0000161 InFile.os().clear_error();
Dan Gohmanf2914012010-08-20 16:59:15 +0000162 return 1;
163 }
Dan Gohmancc11df02010-10-29 16:18:26 +0000164
Rafael Espindola6585b382013-06-13 19:25:37 +0000165 std::string tool = sys::FindProgramByName("opt");
Dan Gohmancc11df02010-10-29 16:18:26 +0000166 if (tool.empty()) {
Chris Lattner1aa73cc2012-03-19 23:42:11 +0000167 errs() << "Cannot find `opt' in PATH!\n";
Dan Gohmancc11df02010-10-29 16:18:26 +0000168 return 1;
169 }
170
171 // Ok, everything that could go wrong before running opt is done.
Dan Gohmanf2914012010-08-20 16:59:15 +0000172 InFile.keep();
Chris Lattnerafade922002-11-20 22:28:10 +0000173
Reid Spencerc4bb0522005-12-22 20:02:55 +0000174 // setup the child process' arguments
Chris Lattner74382b72009-08-23 22:45:37 +0000175 SmallVector<const char*, 8> Args;
Nick Lewycky40394bc2006-09-14 03:49:54 +0000176 if (UseValgrind) {
Chris Lattner74382b72009-08-23 22:45:37 +0000177 Args.push_back("valgrind");
178 Args.push_back("--error-exitcode=1");
179 Args.push_back("-q");
180 Args.push_back(tool.c_str());
Nick Lewycky40394bc2006-09-14 03:49:54 +0000181 } else
Rafael Espindola6585b382013-06-13 19:25:37 +0000182 Args.push_back(tool.c_str());
Nick Lewycky40394bc2006-09-14 03:49:54 +0000183
Rafael Espindola7f99f742010-08-07 23:03:21 +0000184 Args.push_back("-o");
Chris Lattner74382b72009-08-23 22:45:37 +0000185 Args.push_back(OutputFilename.c_str());
Rafael Espindolaec62d532010-08-08 22:14:20 +0000186 for (unsigned i = 0, e = OptArgs.size(); i != e; ++i)
187 Args.push_back(OptArgs[i].c_str());
Reid Spencerc4bb0522005-12-22 20:02:55 +0000188 std::vector<std::string> pass_args;
Andrew Lenharthe4da1dd2006-01-26 18:37:21 +0000189 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
190 pass_args.push_back( std::string("-load"));
191 pass_args.push_back( PluginLoader::getPlugin(i));
192 }
Rafael Espindola8261dfe2010-08-08 03:55:08 +0000193 for (std::vector<std::string>::const_iterator I = Passes.begin(),
Reid Spencerc4bb0522005-12-22 20:02:55 +0000194 E = Passes.end(); I != E; ++I )
Rafael Espindola8261dfe2010-08-08 03:55:08 +0000195 pass_args.push_back( std::string("-") + (*I) );
Reid Spencerc4bb0522005-12-22 20:02:55 +0000196 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
197 E = pass_args.end(); I != E; ++I )
Chris Lattner74382b72009-08-23 22:45:37 +0000198 Args.push_back(I->c_str());
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000199 Args.push_back(InputFilename.c_str());
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000200 for (unsigned i = 0; i < NumExtraArgs; ++i)
Chris Lattner74382b72009-08-23 22:45:37 +0000201 Args.push_back(*ExtraArgs);
202 Args.push_back(0);
Chris Lattnerafade922002-11-20 22:28:10 +0000203
Rafael Espindola7f99f742010-08-07 23:03:21 +0000204 DEBUG(errs() << "\nAbout to run:\t";
205 for (unsigned i = 0, e = Args.size()-1; i != e; ++i)
206 errs() << " " << Args[i];
207 errs() << "\n";
208 );
209
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000210 std::string Prog;
Nick Lewycky40394bc2006-09-14 03:49:54 +0000211 if (UseValgrind)
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000212 Prog = sys::FindProgramByName("valgrind");
Nick Lewycky40394bc2006-09-14 03:49:54 +0000213 else
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000214 Prog = tool;
Mikhail Glushenkov544fba12010-11-03 16:14:07 +0000215
Matthijs Kooijmanfbea2272008-06-12 13:02:26 +0000216 // Redirect stdout and stderr to nowhere if SilencePasses is given
Rafael Espindola675e0ac2013-06-13 20:25:38 +0000217 StringRef Nowhere;
218 const StringRef *Redirects[3] = {0, &Nowhere, &Nowhere};
Matthijs Kooijmanfbea2272008-06-12 13:02:26 +0000219
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000220 std::string ErrMsg;
221 int result = sys::ExecuteAndWait(Prog, Args.data(), 0,
Rafael Espindola675e0ac2013-06-13 20:25:38 +0000222 (SilencePasses ? Redirects : 0), Timeout,
223 MemoryLimit, &ErrMsg);
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000224
Gabor Greif8ff70c22007-07-04 21:55:50 +0000225 // If we are supposed to delete the bitcode file or if the passes crashed,
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000226 // remove it now. This may fail if the file was never created, but that's ok.
Reid Spencerc4bb0522005-12-22 20:02:55 +0000227 if (DeleteOutput || result != 0)
Rafael Espindola366f5102013-06-18 15:33:18 +0000228 sys::fs::remove(OutputFilename);
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000229
Reid Spencerc4bb0522005-12-22 20:02:55 +0000230 // Remove the temporary input file as well
Rafael Espindola2c073ee2013-06-18 15:54:13 +0000231 sys::fs::remove(InputFilename.c_str());
Reid Spencerc4bb0522005-12-22 20:02:55 +0000232
Chris Lattner24271cf2003-06-02 04:54:16 +0000233 if (!Quiet) {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000234 if (result == 0)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000235 outs() << "Success!\n";
Reid Spencerc4bb0522005-12-22 20:02:55 +0000236 else if (result > 0)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000237 outs() << "Exited with error code '" << result << "'\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000238 else if (result < 0) {
239 if (result == -1)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000240 outs() << "Execute failed: " << ErrMsg << "\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000241 else
Andrew Trickdc5948d2011-05-21 00:56:46 +0000242 outs() << "Crashed: " << ErrMsg << "\n";
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000243 }
Reid Spencerc4bb0522005-12-22 20:02:55 +0000244 if (result & 0x01000000)
Dan Gohmanac95cc72009-07-16 15:30:09 +0000245 outs() << "Dumped core\n";
Chris Lattner24271cf2003-06-02 04:54:16 +0000246 }
Chris Lattnerafade922002-11-20 22:28:10 +0000247
248 // Was the child successful?
Reid Spencerc4bb0522005-12-22 20:02:55 +0000249 return result != 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000250}
Brian Gaeked0fde302003-11-11 22:41:34 +0000251
Chris Lattner3b6441e2004-03-14 21:17:03 +0000252
253/// runPassesOn - Carefully run the specified set of pass on the specified
254/// module, returning the transformed module on success, or a null pointer on
255/// failure.
256Module *BugDriver::runPassesOn(Module *M,
Rafael Espindola8261dfe2010-08-08 03:55:08 +0000257 const std::vector<std::string> &Passes,
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000258 bool AutoDebugCrashes, unsigned NumExtraArgs,
259 const char * const *ExtraArgs) {
Gabor Greif8ff70c22007-07-04 21:55:50 +0000260 std::string BitcodeResult;
Rafael Espindolaca356af2010-08-05 00:29:04 +0000261 if (runPasses(M, Passes, BitcodeResult, false/*delete*/, true/*quiet*/,
Nick Lewycky6fa98b12007-11-14 06:47:06 +0000262 NumExtraArgs, ExtraArgs)) {
Chris Lattner0a002562004-03-14 21:21:57 +0000263 if (AutoDebugCrashes) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000264 errs() << " Error running this sequence of passes"
265 << " on the input program!\n";
Rafael Espindolaca356af2010-08-05 00:29:04 +0000266 delete swapProgramIn(M);
267 EmitProgressBitcode(M, "pass-error", false);
Chris Lattner0a002562004-03-14 21:21:57 +0000268 exit(debugOptimizerCrash());
269 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000270 return 0;
Chris Lattner0a002562004-03-14 21:21:57 +0000271 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000272
Owen Anderson8b477ed2009-07-01 16:58:40 +0000273 Module *Ret = ParseInputFile(BitcodeResult, Context);
Chris Lattner3b6441e2004-03-14 21:17:03 +0000274 if (Ret == 0) {
Dan Gohmanac95cc72009-07-16 15:30:09 +0000275 errs() << getToolName() << ": Error reading bitcode file '"
276 << BitcodeResult << "'!\n";
Chris Lattner3b6441e2004-03-14 21:17:03 +0000277 exit(1);
278 }
Rafael Espindola366f5102013-06-18 15:33:18 +0000279 sys::fs::remove(BitcodeResult);
Chris Lattner3b6441e2004-03-14 21:17:03 +0000280 return Ret;
281}