1 //===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
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. :)
16 //===----------------------------------------------------------------------===//
18 #include "BugDriver.h"
19 #include "llvm/Analysis/Verifier.h"
20 #include "llvm/Bitcode/ReaderWriter.h"
21 #include "llvm/IR/DataLayout.h"
22 #include "llvm/IR/Module.h"
23 #include "llvm/PassManager.h"
24 #include "llvm/Support/CommandLine.h"
25 #include "llvm/Support/Debug.h"
26 #include "llvm/Support/FileUtilities.h"
27 #include "llvm/Support/Path.h"
28 #include "llvm/Support/Program.h"
29 #include "llvm/Support/SystemUtils.h"
30 #include "llvm/Support/ToolOutputFile.h"
32 #define DONT_GET_PLUGIN_LOADER_OPTION
33 #include "llvm/Support/PluginLoader.h"
40 extern cl::opt<std::string> OutputPrefix;
44 // ChildOutput - This option captures the name of the child output file that
45 // is set up by the parent bugpoint process
46 cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden);
49 /// writeProgramToFile - This writes the current "Program" to the named bitcode
50 /// file. If an error occurs, true is returned.
52 static bool writeProgramToFileAux(tool_output_file &Out, const Module *M) {
53 WriteBitcodeToFile(M, Out.os());
55 if (!Out.os().has_error()) {
62 bool BugDriver::writeProgramToFile(const std::string &Filename, int FD,
63 const Module *M) const {
64 tool_output_file Out(Filename.c_str(), FD);
65 return writeProgramToFileAux(Out, M);
68 bool BugDriver::writeProgramToFile(const std::string &Filename,
69 const Module *M) const {
71 tool_output_file Out(Filename.c_str(), ErrInfo, raw_fd_ostream::F_Binary);
73 return writeProgramToFileAux(Out, M);
78 /// EmitProgressBitcode - This function is used to output the current Program
79 /// to a file named "bugpoint-ID.bc".
81 void BugDriver::EmitProgressBitcode(const Module *M,
82 const std::string &ID,
84 // Output the input to the current pass to a bitcode file, emit a message
85 // telling the user how to reproduce it: opt -foo blah.bc
87 std::string Filename = OutputPrefix + "-" + ID + ".bc";
88 if (writeProgramToFile(Filename, M)) {
89 errs() << "Error opening file '" << Filename << "' for writing!\n";
93 outs() << "Emitted bitcode to '" << Filename << "'\n";
94 if (NoFlyer || PassesToRun.empty()) return;
95 outs() << "\n*** You can reproduce the problem with: ";
96 if (UseValgrind) outs() << "valgrind ";
97 outs() << "opt " << Filename;
98 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
99 outs() << " -load " << PluginLoader::getPlugin(i);
101 outs() << " " << getPassesString(PassesToRun) << "\n";
104 cl::opt<bool> SilencePasses("silence-passes",
105 cl::desc("Suppress output of running passes (both stdout and stderr)"));
107 static cl::list<std::string> OptArgs("opt-args", cl::Positional,
108 cl::desc("<opt arguments>..."),
109 cl::ZeroOrMore, cl::PositionalEatsArgs);
111 /// runPasses - Run the specified passes on Program, outputting a bitcode file
112 /// and writing the filename into OutputFile if successful. If the
113 /// optimizations fail for some reason (optimizer crashes), return true,
114 /// otherwise return false. If DeleteOutput is set to true, the bitcode is
115 /// deleted on success, and the filename string is undefined. This prints to
116 /// outs() a single line message indicating whether compilation was successful
119 bool BugDriver::runPasses(Module *Program,
120 const std::vector<std::string> &Passes,
121 std::string &OutputFilename, bool DeleteOutput,
122 bool Quiet, unsigned NumExtraArgs,
123 const char * const *ExtraArgs) const {
124 // setup the output file name
126 SmallString<128> UniqueFilename;
127 error_code EC = sys::fs::createUniqueFile(
128 OutputPrefix + "-output-%%%%%%%.bc", UniqueFilename);
130 errs() << getToolName() << ": Error making unique filename: "
131 << EC.message() << "\n";
134 OutputFilename = UniqueFilename.str();
136 // set up the input file name
137 SmallString<128> InputFilename;
139 EC = sys::fs::createUniqueFile(OutputPrefix + "-input-%%%%%%%.bc", InputFD,
142 errs() << getToolName() << ": Error making unique filename: "
143 << EC.message() << "\n";
147 tool_output_file InFile(InputFilename.c_str(), InputFD);
149 WriteBitcodeToFile(Program, InFile.os());
151 if (InFile.os().has_error()) {
152 errs() << "Error writing bitcode file: " << InputFilename << "\n";
153 InFile.os().clear_error();
157 std::string tool = sys::FindProgramByName("opt");
159 errs() << "Cannot find `opt' in PATH!\n";
163 // Ok, everything that could go wrong before running opt is done.
166 // setup the child process' arguments
167 SmallVector<const char*, 8> Args;
169 Args.push_back("valgrind");
170 Args.push_back("--error-exitcode=1");
171 Args.push_back("-q");
172 Args.push_back(tool.c_str());
174 Args.push_back(tool.c_str());
176 Args.push_back("-o");
177 Args.push_back(OutputFilename.c_str());
178 for (unsigned i = 0, e = OptArgs.size(); i != e; ++i)
179 Args.push_back(OptArgs[i].c_str());
180 std::vector<std::string> pass_args;
181 for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
182 pass_args.push_back( std::string("-load"));
183 pass_args.push_back( PluginLoader::getPlugin(i));
185 for (std::vector<std::string>::const_iterator I = Passes.begin(),
186 E = Passes.end(); I != E; ++I )
187 pass_args.push_back( std::string("-") + (*I) );
188 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
189 E = pass_args.end(); I != E; ++I )
190 Args.push_back(I->c_str());
191 Args.push_back(InputFilename.c_str());
192 for (unsigned i = 0; i < NumExtraArgs; ++i)
193 Args.push_back(*ExtraArgs);
196 DEBUG(errs() << "\nAbout to run:\t";
197 for (unsigned i = 0, e = Args.size()-1; i != e; ++i)
198 errs() << " " << Args[i];
204 Prog = sys::FindProgramByName("valgrind");
208 // Redirect stdout and stderr to nowhere if SilencePasses is given
210 const StringRef *Redirects[3] = {0, &Nowhere, &Nowhere};
213 int result = sys::ExecuteAndWait(Prog, Args.data(), 0,
214 (SilencePasses ? Redirects : 0), Timeout,
215 MemoryLimit, &ErrMsg);
217 // If we are supposed to delete the bitcode file or if the passes crashed,
218 // remove it now. This may fail if the file was never created, but that's ok.
219 if (DeleteOutput || result != 0)
220 sys::fs::remove(OutputFilename);
222 // Remove the temporary input file as well
223 sys::fs::remove(InputFilename.c_str());
227 outs() << "Success!\n";
229 outs() << "Exited with error code '" << result << "'\n";
230 else if (result < 0) {
232 outs() << "Execute failed: " << ErrMsg << "\n";
234 outs() << "Crashed: " << ErrMsg << "\n";
236 if (result & 0x01000000)
237 outs() << "Dumped core\n";
240 // Was the child successful?
245 /// runPassesOn - Carefully run the specified set of pass on the specified
246 /// module, returning the transformed module on success, or a null pointer on
248 Module *BugDriver::runPassesOn(Module *M,
249 const std::vector<std::string> &Passes,
250 bool AutoDebugCrashes, unsigned NumExtraArgs,
251 const char * const *ExtraArgs) {
252 std::string BitcodeResult;
253 if (runPasses(M, Passes, BitcodeResult, false/*delete*/, true/*quiet*/,
254 NumExtraArgs, ExtraArgs)) {
255 if (AutoDebugCrashes) {
256 errs() << " Error running this sequence of passes"
257 << " on the input program!\n";
258 delete swapProgramIn(M);
259 EmitProgressBitcode(M, "pass-error", false);
260 exit(debugOptimizerCrash());
265 Module *Ret = ParseInputFile(BitcodeResult, Context);
267 errs() << getToolName() << ": Error reading bitcode file '"
268 << BitcodeResult << "'!\n";
271 sys::fs::remove(BitcodeResult);