2002-11-20 22:28:10 +00:00
|
|
|
//===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
|
2005-04-22 00:00:37 +00:00
|
|
|
//
|
2003-10-20 17:47:21 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:44:31 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-22 00:00:37 +00:00
|
|
|
//
|
2003-10-20 17:47:21 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-11-20 22:28:10 +00:00
|
|
|
//
|
|
|
|
// This file defines an interface that allows bugpoint to run various passes
|
2003-10-10 17:57:28 +00:00
|
|
|
// without the threat of a buggy pass corrupting bugpoint (of course, bugpoint
|
|
|
|
// may have its own bugs, but that's another story...). It achieves this by
|
2002-11-20 22:28:10 +00:00
|
|
|
// forking a copy of itself and having the child process do the optimizations.
|
|
|
|
// If this client dies, we can always fork a new one. :)
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2005-01-22 17:36:17 +00:00
|
|
|
// Note: as a short term hack, the old Unix-specific code and platform-
|
|
|
|
// independent code co-exist via conditional compilation until it is verified
|
|
|
|
// that the new code works correctly on Unix.
|
|
|
|
|
2002-11-20 22:28:10 +00:00
|
|
|
#include "BugDriver.h"
|
2004-03-14 21:21:57 +00:00
|
|
|
#include "llvm/Module.h"
|
2002-11-20 22:28:10 +00:00
|
|
|
#include "llvm/PassManager.h"
|
|
|
|
#include "llvm/Analysis/Verifier.h"
|
2007-05-06 05:47:06 +00:00
|
|
|
#include "llvm/Bitcode/ReaderWriter.h"
|
2003-01-22 23:24:11 +00:00
|
|
|
#include "llvm/Target/TargetData.h"
|
2004-09-01 22:55:40 +00:00
|
|
|
#include "llvm/Support/FileUtilities.h"
|
2005-12-22 20:02:55 +00:00
|
|
|
#include "llvm/Support/CommandLine.h"
|
2010-08-07 23:03:21 +00:00
|
|
|
#include "llvm/Support/Debug.h"
|
2009-08-23 22:45:37 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2004-12-15 01:53:08 +00:00
|
|
|
#include "llvm/System/Path.h"
|
2005-12-22 20:02:55 +00:00
|
|
|
#include "llvm/System/Program.h"
|
2006-01-26 18:37:21 +00:00
|
|
|
|
|
|
|
#define DONT_GET_PLUGIN_LOADER_OPTION
|
|
|
|
#include "llvm/Support/PluginLoader.h"
|
|
|
|
|
2003-08-07 21:19:30 +00:00
|
|
|
#include <fstream>
|
2004-01-14 03:38:37 +00:00
|
|
|
using namespace llvm;
|
2003-11-11 22:41:34 +00:00
|
|
|
|
2009-09-07 19:26:11 +00:00
|
|
|
namespace llvm {
|
|
|
|
extern cl::opt<std::string> OutputPrefix;
|
|
|
|
}
|
2007-05-06 05:47:06 +00:00
|
|
|
|
2005-12-22 20:02:55 +00:00
|
|
|
namespace {
|
|
|
|
// ChildOutput - This option captures the name of the child output file that
|
|
|
|
// is set up by the parent bugpoint process
|
|
|
|
cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden);
|
|
|
|
}
|
|
|
|
|
2007-07-04 21:55:50 +00:00
|
|
|
/// writeProgramToFile - This writes the current "Program" to the named bitcode
|
2002-11-20 22:28:10 +00:00
|
|
|
/// file. If an error occurs, true is returned.
|
|
|
|
///
|
2002-12-23 23:49:59 +00:00
|
|
|
bool BugDriver::writeProgramToFile(const std::string &Filename,
|
2010-07-28 18:12:30 +00:00
|
|
|
const Module *M) const {
|
2009-08-23 07:49:08 +00:00
|
|
|
std::string ErrInfo;
|
|
|
|
raw_fd_ostream Out(Filename.c_str(), ErrInfo,
|
2009-08-25 15:34:52 +00:00
|
|
|
raw_fd_ostream::F_Binary);
|
2009-08-23 07:49:08 +00:00
|
|
|
if (!ErrInfo.empty()) return true;
|
2007-05-06 09:32:02 +00:00
|
|
|
|
2010-07-28 18:12:30 +00:00
|
|
|
WriteBitcodeToFile(M, Out);
|
2002-11-20 22:28:10 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-07-04 21:55:50 +00:00
|
|
|
/// EmitProgressBitcode - This function is used to output the current Program
|
2003-07-21 21:58:16 +00:00
|
|
|
/// to a file named "bugpoint-ID.bc".
|
2002-11-20 22:28:10 +00:00
|
|
|
///
|
2010-07-28 18:12:30 +00:00
|
|
|
void BugDriver::EmitProgressBitcode(const Module *M,
|
2010-08-05 00:29:04 +00:00
|
|
|
const std::string &ID,
|
|
|
|
bool NoFlyer) const {
|
2007-07-04 21:55:50 +00:00
|
|
|
// Output the input to the current pass to a bitcode file, emit a message
|
2002-11-20 22:28:10 +00:00
|
|
|
// telling the user how to reproduce it: opt -foo blah.bc
|
|
|
|
//
|
2009-09-07 19:26:11 +00:00
|
|
|
std::string Filename = OutputPrefix + "-" + ID + ".bc";
|
2010-07-28 18:12:30 +00:00
|
|
|
if (writeProgramToFile(Filename, M)) {
|
2009-07-16 15:30:09 +00:00
|
|
|
errs() << "Error opening file '" << Filename << "' for writing!\n";
|
2002-11-20 22:28:10 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "Emitted bitcode to '" << Filename << "'\n";
|
2004-02-18 23:24:56 +00:00
|
|
|
if (NoFlyer || PassesToRun.empty()) return;
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "\n*** You can reproduce the problem with: ";
|
2009-08-18 06:08:01 +00:00
|
|
|
if (UseValgrind) outs() << "valgrind ";
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "opt " << Filename << " ";
|
|
|
|
outs() << getPassesString(PassesToRun) << "\n";
|
2002-11-20 22:28:10 +00:00
|
|
|
}
|
|
|
|
|
2008-06-12 13:02:26 +00:00
|
|
|
cl::opt<bool> SilencePasses("silence-passes", cl::desc("Suppress output of running passes (both stdout and stderr)"));
|
|
|
|
|
2010-08-08 22:14:20 +00:00
|
|
|
static cl::list<std::string> OptArgs("opt-args", cl::Positional,
|
|
|
|
cl::desc("<opt arguments>..."),
|
|
|
|
cl::ZeroOrMore, cl::PositionalEatsArgs);
|
|
|
|
|
2007-07-04 21:55:50 +00:00
|
|
|
/// runPasses - Run the specified passes on Program, outputting a bitcode file
|
2003-10-10 17:57:28 +00:00
|
|
|
/// and writing the filename into OutputFile if successful. If the
|
2002-11-20 22:28:10 +00:00
|
|
|
/// optimizations fail for some reason (optimizer crashes), return true,
|
2007-07-04 21:55:50 +00:00
|
|
|
/// otherwise return false. If DeleteOutput is set to true, the bitcode is
|
2002-11-20 22:28:10 +00:00
|
|
|
/// deleted on success, and the filename string is undefined. This prints to
|
2009-07-16 15:30:09 +00:00
|
|
|
/// outs() a single line message indicating whether compilation was successful
|
|
|
|
/// or failed.
|
2002-11-20 22:28:10 +00:00
|
|
|
///
|
2010-08-05 00:29:04 +00:00
|
|
|
bool BugDriver::runPasses(Module *Program,
|
2010-08-08 03:55:08 +00:00
|
|
|
const std::vector<std::string> &Passes,
|
2002-12-23 23:49:59 +00:00
|
|
|
std::string &OutputFilename, bool DeleteOutput,
|
2007-11-14 06:47:06 +00:00
|
|
|
bool Quiet, unsigned NumExtraArgs,
|
|
|
|
const char * const *ExtraArgs) const {
|
2005-12-22 20:02:55 +00:00
|
|
|
// setup the output file name
|
2009-07-16 15:30:09 +00:00
|
|
|
outs().flush();
|
2009-09-07 19:26:11 +00:00
|
|
|
sys::Path uniqueFilename(OutputPrefix + "-output.bc");
|
2006-08-23 20:34:57 +00:00
|
|
|
std::string ErrMsg;
|
|
|
|
if (uniqueFilename.makeUnique(true, &ErrMsg)) {
|
2009-07-16 15:30:09 +00:00
|
|
|
errs() << getToolName() << ": Error making unique filename: "
|
|
|
|
<< ErrMsg << "\n";
|
2006-08-23 20:34:57 +00:00
|
|
|
return(1);
|
|
|
|
}
|
2009-08-23 22:45:37 +00:00
|
|
|
OutputFilename = uniqueFilename.str();
|
2002-11-20 22:28:10 +00:00
|
|
|
|
2005-12-22 20:02:55 +00:00
|
|
|
// set up the input file name
|
2009-09-07 19:26:11 +00:00
|
|
|
sys::Path inputFilename(OutputPrefix + "-input.bc");
|
2006-08-23 20:34:57 +00:00
|
|
|
if (inputFilename.makeUnique(true, &ErrMsg)) {
|
2009-07-16 15:30:09 +00:00
|
|
|
errs() << getToolName() << ": Error making unique filename: "
|
|
|
|
<< ErrMsg << "\n";
|
2006-08-23 20:34:57 +00:00
|
|
|
return(1);
|
|
|
|
}
|
2009-08-23 07:49:08 +00:00
|
|
|
|
|
|
|
std::string ErrInfo;
|
|
|
|
raw_fd_ostream InFile(inputFilename.c_str(), ErrInfo,
|
2009-08-25 15:34:52 +00:00
|
|
|
raw_fd_ostream::F_Binary);
|
2009-08-23 07:49:08 +00:00
|
|
|
|
|
|
|
|
|
|
|
if (!ErrInfo.empty()) {
|
2009-08-23 22:45:37 +00:00
|
|
|
errs() << "Error opening bitcode file: " << inputFilename.str() << "\n";
|
2009-08-23 07:49:08 +00:00
|
|
|
return 1;
|
2002-11-20 22:28:10 +00:00
|
|
|
}
|
2007-05-06 09:32:02 +00:00
|
|
|
WriteBitcodeToFile(Program, InFile);
|
2005-12-22 20:02:55 +00:00
|
|
|
InFile.close();
|
|
|
|
|
|
|
|
// setup the child process' arguments
|
2009-08-23 22:45:37 +00:00
|
|
|
SmallVector<const char*, 8> Args;
|
2010-08-07 23:03:21 +00:00
|
|
|
std::string Opt;
|
|
|
|
llvm::StringRef TN(ToolName);
|
|
|
|
if (TN.find('/') == llvm::StringRef::npos) {
|
|
|
|
Opt = "opt";
|
|
|
|
} else {
|
|
|
|
std::pair<llvm::StringRef, llvm::StringRef> P = TN.rsplit('/');
|
|
|
|
Opt = P.first.str() + "/" + "opt";
|
|
|
|
}
|
|
|
|
|
|
|
|
sys::Path tool = sys::Program::FindProgramByName(Opt);
|
2006-09-14 03:49:54 +00:00
|
|
|
if (UseValgrind) {
|
2009-08-23 22:45:37 +00:00
|
|
|
Args.push_back("valgrind");
|
|
|
|
Args.push_back("--error-exitcode=1");
|
|
|
|
Args.push_back("-q");
|
|
|
|
Args.push_back(tool.c_str());
|
2006-09-14 03:49:54 +00:00
|
|
|
} else
|
2010-08-07 23:03:21 +00:00
|
|
|
Args.push_back(Opt.c_str());
|
2006-09-14 03:49:54 +00:00
|
|
|
|
2010-08-07 23:03:21 +00:00
|
|
|
Args.push_back("-o");
|
2009-08-23 22:45:37 +00:00
|
|
|
Args.push_back(OutputFilename.c_str());
|
2010-08-08 22:14:20 +00:00
|
|
|
for (unsigned i = 0, e = OptArgs.size(); i != e; ++i)
|
|
|
|
Args.push_back(OptArgs[i].c_str());
|
2005-12-22 20:02:55 +00:00
|
|
|
std::vector<std::string> pass_args;
|
2006-01-26 18:37:21 +00:00
|
|
|
for (unsigned i = 0, e = PluginLoader::getNumPlugins(); i != e; ++i) {
|
|
|
|
pass_args.push_back( std::string("-load"));
|
|
|
|
pass_args.push_back( PluginLoader::getPlugin(i));
|
|
|
|
}
|
2010-08-08 03:55:08 +00:00
|
|
|
for (std::vector<std::string>::const_iterator I = Passes.begin(),
|
2005-12-22 20:02:55 +00:00
|
|
|
E = Passes.end(); I != E; ++I )
|
2010-08-08 03:55:08 +00:00
|
|
|
pass_args.push_back( std::string("-") + (*I) );
|
2005-12-22 20:02:55 +00:00
|
|
|
for (std::vector<std::string>::const_iterator I = pass_args.begin(),
|
|
|
|
E = pass_args.end(); I != E; ++I )
|
2009-08-23 22:45:37 +00:00
|
|
|
Args.push_back(I->c_str());
|
|
|
|
Args.push_back(inputFilename.c_str());
|
2007-11-14 06:47:06 +00:00
|
|
|
for (unsigned i = 0; i < NumExtraArgs; ++i)
|
2009-08-23 22:45:37 +00:00
|
|
|
Args.push_back(*ExtraArgs);
|
|
|
|
Args.push_back(0);
|
2005-12-22 20:02:55 +00:00
|
|
|
|
2010-08-07 23:03:21 +00:00
|
|
|
DEBUG(errs() << "\nAbout to run:\t";
|
|
|
|
for (unsigned i = 0, e = Args.size()-1; i != e; ++i)
|
|
|
|
errs() << " " << Args[i];
|
|
|
|
errs() << "\n";
|
|
|
|
);
|
|
|
|
|
2006-09-14 03:49:54 +00:00
|
|
|
sys::Path prog;
|
|
|
|
if (UseValgrind)
|
|
|
|
prog = sys::Program::FindProgramByName("valgrind");
|
|
|
|
else
|
2006-09-14 04:20:17 +00:00
|
|
|
prog = tool;
|
2008-06-12 13:02:26 +00:00
|
|
|
|
|
|
|
// Redirect stdout and stderr to nowhere if SilencePasses is given
|
|
|
|
sys::Path Nowhere;
|
|
|
|
const sys::Path *Redirects[3] = {0, &Nowhere, &Nowhere};
|
|
|
|
|
2009-08-23 22:45:37 +00:00
|
|
|
int result = sys::Program::ExecuteAndWait(prog, Args.data(), 0,
|
|
|
|
(SilencePasses ? Redirects : 0),
|
2007-02-16 19:11:07 +00:00
|
|
|
Timeout, MemoryLimit, &ErrMsg);
|
2004-05-12 02:55:45 +00:00
|
|
|
|
2007-07-04 21:55:50 +00:00
|
|
|
// If we are supposed to delete the bitcode file or if the passes crashed,
|
2004-05-12 02:55:45 +00:00
|
|
|
// remove it now. This may fail if the file was never created, but that's ok.
|
2005-12-22 20:02:55 +00:00
|
|
|
if (DeleteOutput || result != 0)
|
2005-07-08 03:08:58 +00:00
|
|
|
sys::Path(OutputFilename).eraseFromDisk();
|
2005-01-22 17:36:17 +00:00
|
|
|
|
2005-12-22 20:02:55 +00:00
|
|
|
// Remove the temporary input file as well
|
|
|
|
inputFilename.eraseFromDisk();
|
|
|
|
|
2003-06-02 04:54:16 +00:00
|
|
|
if (!Quiet) {
|
2005-12-22 20:02:55 +00:00
|
|
|
if (result == 0)
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "Success!\n";
|
2005-12-22 20:02:55 +00:00
|
|
|
else if (result > 0)
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "Exited with error code '" << result << "'\n";
|
2006-08-21 06:04:45 +00:00
|
|
|
else if (result < 0) {
|
|
|
|
if (result == -1)
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "Execute failed: " << ErrMsg << "\n";
|
2006-08-21 06:04:45 +00:00
|
|
|
else
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "Crashed with signal #" << abs(result) << "\n";
|
2006-08-21 06:04:45 +00:00
|
|
|
}
|
2005-12-22 20:02:55 +00:00
|
|
|
if (result & 0x01000000)
|
2009-07-16 15:30:09 +00:00
|
|
|
outs() << "Dumped core\n";
|
2003-06-02 04:54:16 +00:00
|
|
|
}
|
2002-11-20 22:28:10 +00:00
|
|
|
|
|
|
|
// Was the child successful?
|
2005-12-22 20:02:55 +00:00
|
|
|
return result != 0;
|
2002-11-20 22:28:10 +00:00
|
|
|
}
|
2003-11-11 22:41:34 +00:00
|
|
|
|
2004-03-14 21:17:03 +00:00
|
|
|
|
|
|
|
/// runPassesOn - Carefully run the specified set of pass on the specified
|
|
|
|
/// module, returning the transformed module on success, or a null pointer on
|
|
|
|
/// failure.
|
|
|
|
Module *BugDriver::runPassesOn(Module *M,
|
2010-08-08 03:55:08 +00:00
|
|
|
const std::vector<std::string> &Passes,
|
2007-11-14 06:47:06 +00:00
|
|
|
bool AutoDebugCrashes, unsigned NumExtraArgs,
|
|
|
|
const char * const *ExtraArgs) {
|
2007-07-04 21:55:50 +00:00
|
|
|
std::string BitcodeResult;
|
2010-08-05 00:29:04 +00:00
|
|
|
if (runPasses(M, Passes, BitcodeResult, false/*delete*/, true/*quiet*/,
|
2007-11-14 06:47:06 +00:00
|
|
|
NumExtraArgs, ExtraArgs)) {
|
2004-03-14 21:21:57 +00:00
|
|
|
if (AutoDebugCrashes) {
|
2009-07-16 15:30:09 +00:00
|
|
|
errs() << " Error running this sequence of passes"
|
|
|
|
<< " on the input program!\n";
|
2010-08-05 00:29:04 +00:00
|
|
|
delete swapProgramIn(M);
|
|
|
|
EmitProgressBitcode(M, "pass-error", false);
|
2004-03-14 21:21:57 +00:00
|
|
|
exit(debugOptimizerCrash());
|
|
|
|
}
|
2004-03-14 21:17:03 +00:00
|
|
|
return 0;
|
2004-03-14 21:21:57 +00:00
|
|
|
}
|
2004-03-14 21:17:03 +00:00
|
|
|
|
2009-07-01 16:58:40 +00:00
|
|
|
Module *Ret = ParseInputFile(BitcodeResult, Context);
|
2004-03-14 21:17:03 +00:00
|
|
|
if (Ret == 0) {
|
2009-07-16 15:30:09 +00:00
|
|
|
errs() << getToolName() << ": Error reading bitcode file '"
|
|
|
|
<< BitcodeResult << "'!\n";
|
2004-03-14 21:17:03 +00:00
|
|
|
exit(1);
|
|
|
|
}
|
2007-07-04 21:55:50 +00:00
|
|
|
sys::Path(BitcodeResult).eraseFromDisk(); // No longer need the file on disk
|
2004-03-14 21:17:03 +00:00
|
|
|
return Ret;
|
|
|
|
}
|