2002-12-24 07:50:16 +08:00
|
|
|
//===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===//
|
2005-04-22 08:00:37 +08:00
|
|
|
//
|
2003-10-21 01:47:21 +08:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-30 04:44:31 +08:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-22 08:00:37 +08:00
|
|
|
//
|
2003-10-21 01:47:21 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-12-24 07:50:16 +08:00
|
|
|
//
|
|
|
|
// This file contains code used to execute the program utilizing one of the
|
2007-07-05 05:55:50 +08:00
|
|
|
// various ways of running LLVM bitcode.
|
2002-12-24 07:50:16 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "BugDriver.h"
|
2006-06-07 06:30:59 +08:00
|
|
|
#include "ToolRunner.h"
|
2004-09-02 06:55:40 +08:00
|
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
#include "llvm/Support/Debug.h"
|
|
|
|
#include "llvm/Support/FileUtilities.h"
|
|
|
|
#include "llvm/Support/SystemUtils.h"
|
2002-12-24 07:50:16 +08:00
|
|
|
#include <fstream>
|
2006-06-06 08:00:42 +08:00
|
|
|
|
2003-11-12 06:41:34 +08:00
|
|
|
using namespace llvm;
|
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
namespace {
|
|
|
|
// OutputType - Allow the user to specify the way code should be run, to test
|
|
|
|
// for miscompilation.
|
|
|
|
//
|
|
|
|
enum OutputType {
|
2008-04-29 04:53:48 +08:00
|
|
|
AutoPick, RunLLI, RunJIT, RunLLC, RunCBE, CBE_bug, LLC_Safe, Custom
|
2002-12-24 07:50:16 +08:00
|
|
|
};
|
2003-09-30 06:40:52 +08:00
|
|
|
|
2005-01-23 11:45:26 +08:00
|
|
|
cl::opt<double>
|
|
|
|
AbsTolerance("abs-tolerance", cl::desc("Absolute error tolerated"),
|
|
|
|
cl::init(0.0));
|
|
|
|
cl::opt<double>
|
|
|
|
RelTolerance("rel-tolerance", cl::desc("Relative error tolerated"),
|
|
|
|
cl::init(0.0));
|
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
cl::opt<OutputType>
|
2008-12-08 12:02:47 +08:00
|
|
|
InterpreterSel(cl::desc("Specify the \"test\" i.e. suspect back-end:"),
|
2003-10-22 01:41:35 +08:00
|
|
|
cl::values(clEnumValN(AutoPick, "auto", "Use best guess"),
|
2004-04-19 11:12:35 +08:00
|
|
|
clEnumValN(RunLLI, "run-int",
|
|
|
|
"Execute with the interpreter"),
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
|
|
|
|
clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
|
|
|
|
clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
|
2006-09-16 05:29:15 +08:00
|
|
|
clEnumValN(CBE_bug,"cbe-bug", "Find CBE bugs"),
|
2006-11-09 13:57:53 +08:00
|
|
|
clEnumValN(LLC_Safe, "llc-safe", "Use LLC for all"),
|
2008-04-29 04:53:48 +08:00
|
|
|
clEnumValN(Custom, "run-custom",
|
|
|
|
"Use -exec-command to define a command to execute "
|
|
|
|
"the bitcode. Useful for cross-compilation."),
|
2004-07-16 08:08:28 +08:00
|
|
|
clEnumValEnd),
|
2003-10-22 01:41:35 +08:00
|
|
|
cl::init(AutoPick));
|
2003-04-24 04:31:37 +08:00
|
|
|
|
2008-12-08 12:02:47 +08:00
|
|
|
cl::opt<OutputType>
|
|
|
|
SafeInterpreterSel(cl::desc("Specify \"safe\" i.e. known-good backend:"),
|
2009-07-22 03:25:09 +08:00
|
|
|
cl::values(clEnumValN(AutoPick, "safe-auto", "Use best guess"),
|
|
|
|
clEnumValN(RunLLC, "safe-run-llc", "Compile with LLC"),
|
|
|
|
clEnumValN(RunCBE, "safe-run-cbe", "Compile with CBE"),
|
|
|
|
clEnumValN(Custom, "safe-run-custom",
|
|
|
|
"Use -exec-command to define a command to execute "
|
|
|
|
"the bitcode. Useful for cross-compilation."),
|
|
|
|
clEnumValEnd),
|
2008-12-08 12:02:47 +08:00
|
|
|
cl::init(AutoPick));
|
|
|
|
|
|
|
|
cl::opt<std::string>
|
|
|
|
SafeInterpreterPath("safe-path",
|
2009-07-22 03:25:09 +08:00
|
|
|
cl::desc("Specify the path to the \"safe\" backend program"),
|
|
|
|
cl::init(""));
|
2008-12-08 12:02:47 +08:00
|
|
|
|
2006-11-28 15:04:10 +08:00
|
|
|
cl::opt<bool>
|
|
|
|
AppendProgramExitCode("append-exit-code",
|
|
|
|
cl::desc("Append the exit code to the output so it gets diff'd too"),
|
|
|
|
cl::init(false));
|
|
|
|
|
2003-04-24 04:31:37 +08:00
|
|
|
cl::opt<std::string>
|
|
|
|
InputFile("input", cl::init("/dev/null"),
|
|
|
|
cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
|
2003-10-15 06:24:31 +08:00
|
|
|
|
|
|
|
cl::list<std::string>
|
|
|
|
AdditionalSOs("additional-so",
|
|
|
|
cl::desc("Additional shared objects to load "
|
|
|
|
"into executing programs"));
|
2004-07-24 15:53:26 +08:00
|
|
|
|
2006-06-06 08:00:42 +08:00
|
|
|
cl::list<std::string>
|
2008-04-29 04:53:48 +08:00
|
|
|
AdditionalLinkerArgs("Xlinker",
|
2006-06-06 08:00:42 +08:00
|
|
|
cl::desc("Additional arguments to pass to the linker"));
|
2008-04-29 04:53:48 +08:00
|
|
|
|
|
|
|
cl::opt<std::string>
|
|
|
|
CustomExecCommand("exec-command", cl::init("simulate"),
|
|
|
|
cl::desc("Command to execute the bitcode (use with -run-custom) "
|
|
|
|
"(default: simulate)"));
|
2002-12-24 07:50:16 +08:00
|
|
|
}
|
|
|
|
|
2003-11-12 06:41:34 +08:00
|
|
|
namespace llvm {
|
2004-01-14 11:38:37 +08:00
|
|
|
// Anything specified after the --args option are taken as arguments to the
|
|
|
|
// program being debugged.
|
|
|
|
cl::list<std::string>
|
|
|
|
InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
|
2004-05-07 06:05:35 +08:00
|
|
|
cl::ZeroOrMore, cl::PositionalEatsArgs);
|
2008-12-08 12:02:47 +08:00
|
|
|
}
|
2004-05-05 05:09:16 +08:00
|
|
|
|
2008-12-08 12:02:47 +08:00
|
|
|
namespace {
|
2004-05-05 05:09:16 +08:00
|
|
|
cl::list<std::string>
|
|
|
|
ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."),
|
2004-05-07 06:05:35 +08:00
|
|
|
cl::ZeroOrMore, cl::PositionalEatsArgs);
|
2008-12-08 12:02:47 +08:00
|
|
|
|
|
|
|
cl::list<std::string>
|
|
|
|
SafeToolArgv("safe-tool-args", cl::Positional,
|
|
|
|
cl::desc("<safe-tool arguments>..."),
|
|
|
|
cl::ZeroOrMore, cl::PositionalEatsArgs);
|
2009-03-03 07:13:18 +08:00
|
|
|
|
|
|
|
cl::list<std::string>
|
|
|
|
GCCToolArgv("gcc-tool-args", cl::Positional,
|
|
|
|
cl::desc("<gcc-tool arguments>..."),
|
|
|
|
cl::ZeroOrMore, cl::PositionalEatsArgs);
|
2004-01-14 11:38:37 +08:00
|
|
|
}
|
2003-07-31 04:15:44 +08:00
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// BugDriver method implementation
|
|
|
|
//
|
|
|
|
|
|
|
|
/// initializeExecutionEnvironment - This method is used to set up the
|
|
|
|
/// environment for executing LLVM programs.
|
|
|
|
///
|
|
|
|
bool BugDriver::initializeExecutionEnvironment() {
|
2009-07-16 23:30:09 +08:00
|
|
|
outs() << "Initializing execution environment: ";
|
2002-12-24 07:50:16 +08:00
|
|
|
|
2003-09-30 06:40:52 +08:00
|
|
|
// Create an instance of the AbstractInterpreter interface as specified on
|
|
|
|
// the command line
|
2008-12-08 12:02:47 +08:00
|
|
|
SafeInterpreter = 0;
|
2002-12-24 07:50:16 +08:00
|
|
|
std::string Message;
|
2004-05-05 05:09:16 +08:00
|
|
|
|
2003-05-03 11:19:41 +08:00
|
|
|
switch (InterpreterSel) {
|
2003-10-22 01:41:35 +08:00
|
|
|
case AutoPick:
|
|
|
|
InterpreterSel = RunCBE;
|
2008-12-08 12:02:47 +08:00
|
|
|
Interpreter =
|
2009-03-03 07:13:18 +08:00
|
|
|
AbstractInterpreter::createCBE(getToolName(), Message, &ToolArgv,
|
|
|
|
&GCCToolArgv);
|
2003-10-22 01:41:35 +08:00
|
|
|
if (!Interpreter) {
|
|
|
|
InterpreterSel = RunJIT;
|
2004-05-05 05:09:16 +08:00
|
|
|
Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
|
|
|
|
&ToolArgv);
|
2003-10-22 01:41:35 +08:00
|
|
|
}
|
|
|
|
if (!Interpreter) {
|
|
|
|
InterpreterSel = RunLLC;
|
2004-05-05 05:09:16 +08:00
|
|
|
Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&ToolArgv, &GCCToolArgv);
|
2003-10-22 01:41:35 +08:00
|
|
|
}
|
|
|
|
if (!Interpreter) {
|
|
|
|
InterpreterSel = RunLLI;
|
2004-05-05 05:09:16 +08:00
|
|
|
Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
|
|
|
|
&ToolArgv);
|
2003-10-22 01:41:35 +08:00
|
|
|
}
|
|
|
|
if (!Interpreter) {
|
|
|
|
InterpreterSel = AutoPick;
|
|
|
|
Message = "Sorry, I can't automatically select an interpreter!\n";
|
|
|
|
}
|
|
|
|
break;
|
2003-10-15 05:59:36 +08:00
|
|
|
case RunLLI:
|
2004-05-05 05:09:16 +08:00
|
|
|
Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
|
|
|
|
&ToolArgv);
|
2003-10-15 05:59:36 +08:00
|
|
|
break;
|
|
|
|
case RunLLC:
|
2008-12-08 12:02:47 +08:00
|
|
|
case LLC_Safe:
|
2004-05-05 05:09:16 +08:00
|
|
|
Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&ToolArgv, &GCCToolArgv);
|
2003-10-15 05:59:36 +08:00
|
|
|
break;
|
|
|
|
case RunJIT:
|
2004-05-05 05:09:16 +08:00
|
|
|
Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
|
|
|
|
&ToolArgv);
|
2003-10-15 05:59:36 +08:00
|
|
|
break;
|
|
|
|
case RunCBE:
|
2006-09-16 05:29:15 +08:00
|
|
|
case CBE_bug:
|
|
|
|
Interpreter = AbstractInterpreter::createCBE(getToolName(), Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&ToolArgv, &GCCToolArgv);
|
2003-10-15 05:59:36 +08:00
|
|
|
break;
|
2008-04-29 04:53:48 +08:00
|
|
|
case Custom:
|
|
|
|
Interpreter = AbstractInterpreter::createCustom(getToolName(), Message,
|
|
|
|
CustomExecCommand);
|
|
|
|
break;
|
2003-05-03 11:19:41 +08:00
|
|
|
default:
|
2003-09-30 06:40:52 +08:00
|
|
|
Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
|
2003-05-03 11:19:41 +08:00
|
|
|
break;
|
2002-12-24 07:50:16 +08:00
|
|
|
}
|
2008-06-12 21:09:43 +08:00
|
|
|
if (!Interpreter)
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << Message;
|
2008-06-12 21:09:43 +08:00
|
|
|
else // Display informational messages on stdout instead of stderr
|
2009-07-16 23:30:09 +08:00
|
|
|
outs() << Message;
|
2002-12-24 07:50:16 +08:00
|
|
|
|
2008-12-08 12:02:47 +08:00
|
|
|
std::string Path = SafeInterpreterPath;
|
|
|
|
if (Path.empty())
|
|
|
|
Path = getToolName();
|
|
|
|
std::vector<std::string> SafeToolArgs = SafeToolArgv;
|
|
|
|
switch (SafeInterpreterSel) {
|
|
|
|
case AutoPick:
|
|
|
|
// In "cbe-bug" mode, default to using LLC as the "safe" backend.
|
|
|
|
if (!SafeInterpreter &&
|
|
|
|
InterpreterSel == CBE_bug) {
|
|
|
|
SafeInterpreterSel = RunLLC;
|
|
|
|
SafeToolArgs.push_back("--relocation-model=pic");
|
|
|
|
SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&SafeToolArgs,
|
|
|
|
&GCCToolArgv);
|
2008-12-08 12:02:47 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// In "llc-safe" mode, default to using LLC as the "safe" backend.
|
|
|
|
if (!SafeInterpreter &&
|
|
|
|
InterpreterSel == LLC_Safe) {
|
|
|
|
SafeInterpreterSel = RunLLC;
|
|
|
|
SafeToolArgs.push_back("--relocation-model=pic");
|
|
|
|
SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&SafeToolArgs,
|
|
|
|
&GCCToolArgv);
|
2008-12-08 12:02:47 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Pick a backend that's different from the test backend. The JIT and
|
|
|
|
// LLC backends share a lot of code, so prefer to use the CBE as the
|
|
|
|
// safe back-end when testing them.
|
|
|
|
if (!SafeInterpreter &&
|
|
|
|
InterpreterSel != RunCBE) {
|
|
|
|
SafeInterpreterSel = RunCBE;
|
|
|
|
SafeInterpreter = AbstractInterpreter::createCBE(Path, Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&SafeToolArgs,
|
|
|
|
&GCCToolArgv);
|
2008-12-08 12:02:47 +08:00
|
|
|
}
|
|
|
|
if (!SafeInterpreter &&
|
|
|
|
InterpreterSel != RunLLC &&
|
|
|
|
InterpreterSel != RunJIT) {
|
|
|
|
SafeInterpreterSel = RunLLC;
|
|
|
|
SafeToolArgs.push_back("--relocation-model=pic");
|
|
|
|
SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&SafeToolArgs,
|
|
|
|
&GCCToolArgv);
|
2008-12-08 12:02:47 +08:00
|
|
|
}
|
|
|
|
if (!SafeInterpreter) {
|
|
|
|
SafeInterpreterSel = AutoPick;
|
|
|
|
Message = "Sorry, I can't automatically select an interpreter!\n";
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case RunLLC:
|
|
|
|
SafeToolArgs.push_back("--relocation-model=pic");
|
|
|
|
SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&SafeToolArgs,
|
|
|
|
&GCCToolArgv);
|
2008-12-08 12:02:47 +08:00
|
|
|
break;
|
|
|
|
case RunCBE:
|
|
|
|
SafeInterpreter = AbstractInterpreter::createCBE(Path, Message,
|
2009-03-03 07:13:18 +08:00
|
|
|
&SafeToolArgs,
|
|
|
|
&GCCToolArgv);
|
2008-12-08 12:02:47 +08:00
|
|
|
break;
|
|
|
|
case Custom:
|
|
|
|
SafeInterpreter = AbstractInterpreter::createCustom(Path, Message,
|
|
|
|
CustomExecCommand);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
Message = "Sorry, this back-end is not supported by bugpoint as the "
|
|
|
|
"\"safe\" backend right now!\n";
|
|
|
|
break;
|
2004-02-19 04:52:02 +08:00
|
|
|
}
|
2009-07-16 23:30:09 +08:00
|
|
|
if (!SafeInterpreter) { outs() << Message << "\nExiting.\n"; exit(1); }
|
2006-09-16 05:29:15 +08:00
|
|
|
|
2009-03-03 07:13:18 +08:00
|
|
|
gcc = GCC::create(getToolName(), Message, &GCCToolArgv);
|
2009-07-16 23:30:09 +08:00
|
|
|
if (!gcc) { outs() << Message << "\nExiting.\n"; exit(1); }
|
2003-07-25 05:59:10 +08:00
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
// If there was an error creating the selected interpreter, quit with error.
|
|
|
|
return Interpreter == 0;
|
|
|
|
}
|
|
|
|
|
2004-02-19 07:25:22 +08:00
|
|
|
/// compileProgram - Try to compile the specified module, throwing an exception
|
|
|
|
/// if an error occurs, or returning normally if not. This is used for code
|
|
|
|
/// generation crash testing.
|
|
|
|
///
|
|
|
|
void BugDriver::compileProgram(Module *M) {
|
2007-07-05 05:55:50 +08:00
|
|
|
// Emit the program to a bitcode file...
|
|
|
|
sys::Path BitcodeFile ("bugpoint-test-program.bc");
|
2006-08-24 04:34:57 +08:00
|
|
|
std::string ErrMsg;
|
2007-07-05 05:55:50 +08:00
|
|
|
if (BitcodeFile.makeUnique(true,&ErrMsg)) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << ToolName << ": Error making unique filename: " << ErrMsg
|
|
|
|
<< "\n";
|
2006-08-24 04:34:57 +08:00
|
|
|
exit(1);
|
|
|
|
}
|
2007-07-05 05:55:50 +08:00
|
|
|
if (writeProgramToFile(BitcodeFile.toString(), M)) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << ToolName << ": Error emitting bitcode to file '"
|
|
|
|
<< BitcodeFile << "'!\n";
|
2004-02-19 07:25:22 +08:00
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
|
2007-07-05 05:55:50 +08:00
|
|
|
// Remove the temporary bitcode file when we are done.
|
|
|
|
FileRemover BitcodeFileRemover(BitcodeFile);
|
2004-02-19 07:25:22 +08:00
|
|
|
|
|
|
|
// Actually compile the program!
|
2007-07-05 05:55:50 +08:00
|
|
|
Interpreter->compileProgram(BitcodeFile.toString());
|
2004-02-19 07:25:22 +08:00
|
|
|
}
|
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
|
|
|
|
/// executeProgram - This method runs "Program", capturing the output of the
|
|
|
|
/// program to a file, returning the filename of the file. A recommended
|
|
|
|
/// filename may be optionally specified.
|
|
|
|
///
|
|
|
|
std::string BugDriver::executeProgram(std::string OutputFile,
|
2007-07-05 05:55:50 +08:00
|
|
|
std::string BitcodeFile,
|
2003-10-15 05:59:36 +08:00
|
|
|
const std::string &SharedObj,
|
2004-02-12 02:37:32 +08:00
|
|
|
AbstractInterpreter *AI,
|
|
|
|
bool *ProgramExitedNonzero) {
|
2003-10-15 05:59:36 +08:00
|
|
|
if (AI == 0) AI = Interpreter;
|
|
|
|
assert(AI && "Interpreter should have been created already!");
|
2007-07-05 05:55:50 +08:00
|
|
|
bool CreatedBitcode = false;
|
2006-08-24 04:34:57 +08:00
|
|
|
std::string ErrMsg;
|
2007-07-05 05:55:50 +08:00
|
|
|
if (BitcodeFile.empty()) {
|
|
|
|
// Emit the program to a bitcode file...
|
2004-12-15 09:53:08 +08:00
|
|
|
sys::Path uniqueFilename("bugpoint-test-program.bc");
|
2006-08-24 04:34:57 +08:00
|
|
|
if (uniqueFilename.makeUnique(true, &ErrMsg)) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << ToolName << ": Error making unique filename: "
|
|
|
|
<< ErrMsg << "!\n";
|
2006-08-24 04:34:57 +08:00
|
|
|
exit(1);
|
|
|
|
}
|
2007-07-05 05:55:50 +08:00
|
|
|
BitcodeFile = uniqueFilename.toString();
|
2002-12-24 07:50:16 +08:00
|
|
|
|
2007-07-05 05:55:50 +08:00
|
|
|
if (writeProgramToFile(BitcodeFile, Program)) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << ToolName << ": Error emitting bitcode to file '"
|
|
|
|
<< BitcodeFile << "'!\n";
|
2002-12-24 07:50:16 +08:00
|
|
|
exit(1);
|
|
|
|
}
|
2007-07-05 05:55:50 +08:00
|
|
|
CreatedBitcode = true;
|
2002-12-24 07:50:16 +08:00
|
|
|
}
|
|
|
|
|
2007-07-05 05:55:50 +08:00
|
|
|
// Remove the temporary bitcode file when we are done.
|
|
|
|
sys::Path BitcodePath (BitcodeFile);
|
|
|
|
FileRemover BitcodeFileRemover(BitcodePath, CreatedBitcode);
|
2004-02-19 06:01:21 +08:00
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
// Check to see if this is a valid output filename...
|
2004-12-15 09:53:08 +08:00
|
|
|
sys::Path uniqueFile(OutputFile);
|
2006-08-24 04:34:57 +08:00
|
|
|
if (uniqueFile.makeUnique(true, &ErrMsg)) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << ToolName << ": Error making unique filename: "
|
|
|
|
<< ErrMsg << "\n";
|
2006-08-24 04:34:57 +08:00
|
|
|
exit(1);
|
|
|
|
}
|
2004-12-15 09:53:08 +08:00
|
|
|
OutputFile = uniqueFile.toString();
|
2002-12-24 07:50:16 +08:00
|
|
|
|
2003-10-15 05:59:36 +08:00
|
|
|
// Figure out which shared objects to run, if any.
|
2003-10-15 06:24:31 +08:00
|
|
|
std::vector<std::string> SharedObjs(AdditionalSOs);
|
2003-10-15 05:59:36 +08:00
|
|
|
if (!SharedObj.empty())
|
|
|
|
SharedObjs.push_back(SharedObj);
|
|
|
|
|
2008-12-08 12:02:47 +08:00
|
|
|
int RetVal = AI->ExecuteProgram(BitcodeFile, InputArgv, InputFile,
|
|
|
|
OutputFile, AdditionalLinkerArgs, SharedObjs,
|
|
|
|
Timeout, MemoryLimit);
|
2004-07-24 15:53:26 +08:00
|
|
|
|
|
|
|
if (RetVal == -1) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << "<timeout>";
|
2004-07-24 15:53:26 +08:00
|
|
|
static bool FirstTimeout = true;
|
|
|
|
if (FirstTimeout) {
|
2009-07-16 23:30:09 +08:00
|
|
|
outs() << "\n"
|
2004-07-24 15:53:26 +08:00
|
|
|
"*** Program execution timed out! This mechanism is designed to handle\n"
|
|
|
|
" programs stuck in infinite loops gracefully. The -timeout option\n"
|
|
|
|
" can be used to change the timeout threshold or disable it completely\n"
|
|
|
|
" (with -timeout=0). This message is only displayed once.\n";
|
|
|
|
FirstTimeout = false;
|
|
|
|
}
|
|
|
|
}
|
2003-10-15 05:59:36 +08:00
|
|
|
|
2006-11-28 15:04:10 +08:00
|
|
|
if (AppendProgramExitCode) {
|
|
|
|
std::ofstream outFile(OutputFile.c_str(), std::ios_base::app);
|
|
|
|
outFile << "exit " << RetVal << '\n';
|
|
|
|
outFile.close();
|
|
|
|
}
|
|
|
|
|
2004-02-12 02:37:32 +08:00
|
|
|
if (ProgramExitedNonzero != 0)
|
|
|
|
*ProgramExitedNonzero = (RetVal != 0);
|
2002-12-24 07:50:16 +08:00
|
|
|
|
|
|
|
// Return the filename we captured the output to.
|
|
|
|
return OutputFile;
|
|
|
|
}
|
|
|
|
|
2008-12-08 12:02:47 +08:00
|
|
|
/// executeProgramSafely - Used to create reference output with the "safe"
|
2004-02-12 02:37:32 +08:00
|
|
|
/// backend, if reference output is not provided.
|
|
|
|
///
|
2008-12-08 12:02:47 +08:00
|
|
|
std::string BugDriver::executeProgramSafely(std::string OutputFile) {
|
2004-02-12 02:37:32 +08:00
|
|
|
bool ProgramExitedNonzero;
|
2008-12-08 12:02:47 +08:00
|
|
|
std::string outFN = executeProgram(OutputFile, "", "", SafeInterpreter,
|
2004-02-12 02:37:32 +08:00
|
|
|
&ProgramExitedNonzero);
|
|
|
|
return outFN;
|
|
|
|
}
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
2007-07-05 05:55:50 +08:00
|
|
|
std::string BugDriver::compileSharedObject(const std::string &BitcodeFile) {
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
assert(Interpreter && "Interpreter should have been created already!");
|
2006-09-16 05:29:15 +08:00
|
|
|
sys::Path OutputFile;
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
2008-12-08 12:02:47 +08:00
|
|
|
// Using the known-good backend.
|
|
|
|
GCC::FileType FT = SafeInterpreter->OutputCode(BitcodeFile, OutputFile);
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
2003-10-15 05:09:11 +08:00
|
|
|
std::string SharedObjectFile;
|
2006-09-16 05:29:15 +08:00
|
|
|
if (gcc->MakeSharedObject(OutputFile.toString(), FT,
|
2006-06-28 04:35:36 +08:00
|
|
|
SharedObjectFile, AdditionalLinkerArgs))
|
2003-10-15 05:09:11 +08:00
|
|
|
exit(1);
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
|
|
|
// Remove the intermediate C file
|
2006-09-16 05:29:15 +08:00
|
|
|
OutputFile.eraseFromDisk();
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
2003-10-20 05:54:13 +08:00
|
|
|
return "./" + SharedObjectFile;
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
}
|
|
|
|
|
2006-08-16 00:40:49 +08:00
|
|
|
/// createReferenceFile - calls compileProgram and then records the output
|
|
|
|
/// into ReferenceOutputFile. Returns true if reference file created, false
|
|
|
|
/// otherwise. Note: initializeExecutionEnvironment should be called BEFORE
|
|
|
|
/// this function.
|
|
|
|
///
|
2006-09-16 05:29:15 +08:00
|
|
|
bool BugDriver::createReferenceFile(Module *M, const std::string &Filename) {
|
2006-08-16 00:40:49 +08:00
|
|
|
try {
|
|
|
|
compileProgram(Program);
|
2006-11-06 03:31:28 +08:00
|
|
|
} catch (ToolExecutionError &) {
|
2006-08-16 00:40:49 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
try {
|
2008-12-08 12:02:47 +08:00
|
|
|
ReferenceOutputFile = executeProgramSafely(Filename);
|
2009-07-16 23:30:09 +08:00
|
|
|
outs() << "\nReference output is: " << ReferenceOutputFile << "\n\n";
|
2006-08-16 00:40:49 +08:00
|
|
|
} catch (ToolExecutionError &TEE) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << TEE.what();
|
2008-12-08 12:02:47 +08:00
|
|
|
if (Interpreter != SafeInterpreter) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << "*** There is a bug running the \"safe\" backend. Either"
|
|
|
|
<< " debug it (for example with the -run-cbe bugpoint option,"
|
|
|
|
<< " if CBE is being used as the \"safe\" backend), or fix the"
|
|
|
|
<< " error some other way.\n";
|
2006-08-16 00:40:49 +08:00
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
|
2006-08-16 00:40:49 +08:00
|
|
|
/// diffProgram - This method executes the specified module and diffs the
|
|
|
|
/// output against the file specified by ReferenceOutputFile. If the output
|
|
|
|
/// is different, true is returned. If there is a problem with the code
|
|
|
|
/// generator (e.g., llc crashes), this will throw an exception.
|
2002-12-24 07:50:16 +08:00
|
|
|
///
|
2007-07-05 05:55:50 +08:00
|
|
|
bool BugDriver::diffProgram(const std::string &BitcodeFile,
|
Major addition to bugpoint: ability to debug code generators (LLC and LLI).
The C backend is assumed correct and is used to generate shared objects to be
loaded by the other two code generators.
LLC debugging should be functional now, LLI needs a few more additions to work,
the major one is renaming of external functions to call the JIT lazy function
resolver.
Bugpoint now has a command-line switch -mode with options 'compile' and
'codegen' to debug appropriate portions of tools.
ExecutionDriver.cpp: Added implementations of AbstractInterpreter for LLC and
GCC, broke out common code within other tools, and added ability to generate C
code with CBE individually, without executing the program, and the GCC tool can
generate executables shared objects or executables.
If no reference output is specified to Bugpoint, it will be generated with CBE,
because it is already assumed to be correct for the purposes of debugging using
this method. As a result, many functions now accept as an optional parameter a
shared object to be loaded in, if specified.
llvm-svn: 7293
2003-07-25 02:17:43 +08:00
|
|
|
const std::string &SharedObject,
|
2007-07-05 05:55:50 +08:00
|
|
|
bool RemoveBitcode) {
|
2004-02-12 02:37:32 +08:00
|
|
|
bool ProgramExitedNonzero;
|
|
|
|
|
2002-12-24 07:50:16 +08:00
|
|
|
// Execute the program, generating an output file...
|
2007-07-05 05:55:50 +08:00
|
|
|
sys::Path Output(executeProgram("", BitcodeFile, SharedObject, 0,
|
2004-12-17 07:04:20 +08:00
|
|
|
&ProgramExitedNonzero));
|
2004-02-12 02:37:32 +08:00
|
|
|
|
2003-08-02 04:29:45 +08:00
|
|
|
std::string Error;
|
2002-12-24 07:50:16 +08:00
|
|
|
bool FilesDifferent = false;
|
2005-01-23 11:45:26 +08:00
|
|
|
if (int Diff = DiffFilesWithTolerance(sys::Path(ReferenceOutputFile),
|
|
|
|
sys::Path(Output.toString()),
|
|
|
|
AbsTolerance, RelTolerance, &Error)) {
|
|
|
|
if (Diff == 2) {
|
2009-07-16 00:35:29 +08:00
|
|
|
errs() << "While diffing output: " << Error << '\n';
|
2003-08-02 04:29:45 +08:00
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
FilesDifferent = true;
|
|
|
|
}
|
2009-07-11 05:39:28 +08:00
|
|
|
else {
|
|
|
|
// Remove the generated output if there are no differences.
|
|
|
|
Output.eraseFromDisk();
|
|
|
|
}
|
2002-12-24 07:50:16 +08:00
|
|
|
|
2007-07-05 05:55:50 +08:00
|
|
|
// Remove the bitcode file if we are supposed to.
|
|
|
|
if (RemoveBitcode)
|
|
|
|
sys::Path(BitcodeFile).eraseFromDisk();
|
2002-12-24 07:50:16 +08:00
|
|
|
return FilesDifferent;
|
|
|
|
}
|
2003-07-29 03:16:14 +08:00
|
|
|
|
|
|
|
bool BugDriver::isExecutingJIT() {
|
|
|
|
return InterpreterSel == RunJIT;
|
|
|
|
}
|
2003-11-12 06:41:34 +08:00
|
|
|
|