Skip to content
This repository has been archived by the owner on Jan 9, 2021. It is now read-only.

Commit

Permalink
Add support for debugging miscompilations with the use of the JIT or …
Browse files Browse the repository at this point in the history
…CBE!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5990 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
lattner committed May 3, 2003
1 parent fb74224 commit cc876a7
Showing 1 changed file with 162 additions and 4 deletions.
166 changes: 162 additions & 4 deletions tools/bugpoint/ExecutionDriver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -83,8 +83,10 @@ class LLI : public AbstractInterpreter {
int LLI::ExecuteProgram(const std::string &Bytecode,
const std::string &OutputFile) {
const char *Args[] = {
"lli",
"-abort-on-exception",
"-quiet",
"-force-interpreter=true",
Bytecode.c_str(),
0
};
Expand All @@ -93,6 +95,159 @@ int LLI::ExecuteProgram(const std::string &Bytecode,
InputFile, OutputFile, OutputFile);
}

//===----------------------------------------------------------------------===//
// JIT Implementation of AbstractIntepreter interface
//
class JIT : public AbstractInterpreter {
std::string LLIPath; // The path to the LLI executable
public:
JIT(const std::string &Path) : LLIPath(Path) { }

// JIT create method - Try to find the LLI executable
static JIT *create(BugDriver *BD, std::string &Message) {
std::string LLIPath = FindExecutable("lli", BD->getToolName());
if (!LLIPath.empty()) {
Message = "Found lli: " + LLIPath + "\n";
return new JIT(LLIPath);
}

Message = "Cannot find 'lli' in bugpoint executable directory or PATH!\n";
return 0;
}
virtual int ExecuteProgram(const std::string &Bytecode,
const std::string &OutputFile);
};

int JIT::ExecuteProgram(const std::string &Bytecode,
const std::string &OutputFile) {
const char *Args[] = {
"-lli",
"-quiet",
"-force-interpreter=false",
Bytecode.c_str(),
0
};

return RunProgramWithTimeout(LLIPath, Args,
InputFile, OutputFile, OutputFile);
}

//===----------------------------------------------------------------------===//
// CBE Implementation of AbstractIntepreter interface
//
class CBE : public AbstractInterpreter {
std::string DISPath; // The path to the LLVM 'dis' executable
std::string GCCPath; // The path to the gcc executable
public:
CBE(const std::string &disPath, const std::string &gccPath)
: DISPath(disPath), GCCPath(gccPath) { }

// CBE create method - Try to find the 'dis' executable
static CBE *create(BugDriver *BD, std::string &Message) {
std::string DISPath = FindExecutable("dis", BD->getToolName());
if (DISPath.empty()) {
Message = "Cannot find 'dis' in bugpoint executable directory or PATH!\n";
return 0;
}

Message = "Found dis: " + DISPath + "\n";

std::string GCCPath = FindExecutable("gcc", BD->getToolName());
if (GCCPath.empty()) {
Message = "Cannot find 'gcc' in bugpoint executable directory or PATH!\n";
return 0;
}

Message += "Found gcc: " + GCCPath + "\n";
return new CBE(DISPath, GCCPath);
}
virtual int ExecuteProgram(const std::string &Bytecode,
const std::string &OutputFile);
};

int CBE::ExecuteProgram(const std::string &Bytecode,
const std::string &OutputFile) {
std::string OutputCFile = getUniqueFilename("bugpoint.cbe.c");
const char *DisArgs[] = {
DISPath.c_str(),
"-o", OutputCFile.c_str(), // Output to the C file
"-c", // Output to C
"-f", // Overwrite as necessary...
Bytecode.c_str(), // This is the input bytecode
0
};

std::cout << "<cbe>";
if (RunProgramWithTimeout(DISPath, DisArgs, "/dev/null", "/dev/null",
"/dev/null")) {
// If dis failed on the bytecode, print error...
std::cerr << "bugpoint error: dis -c failed!?\n";
removeFile(OutputCFile);
return 1;
}

// Assuming the c backend worked, compile the result with GCC...
std::string OutputBinary = getUniqueFilename("bugpoint.cbe.exe");
const char *GCCArgs[] = {
GCCPath.c_str(),
"-x", "c", // Force recognition as a C file
"-o", OutputBinary.c_str(), // Output to the right filename...
OutputCFile.c_str(), // Specify the input filename...
"-O2", // Optimize the program a bit...
0
};

// FIXME: Eventually the CC program and arguments for it should be settable on
// the bugpoint command line!

std::cout << "<gcc>";

// Run the C compiler on the output of the C backend...
if (RunProgramWithTimeout(GCCPath, GCCArgs, "/dev/null", "/dev/null",
"/dev/null")) {
std::cerr << "\n*** bugpoint error: invocation of the C compiler "
"failed on CBE result!\n";
for (const char **Arg = DisArgs; *Arg; ++Arg)
std::cerr << " " << *Arg;
std::cerr << "\n";
for (const char **Arg = GCCArgs; *Arg; ++Arg)
std::cerr << " " << *Arg;
std::cerr << "\n";

// Rerun the compiler, capturing any error messages to print them.
std::string ErrorFilename = getUniqueFilename("bugpoint.cbe.errors");
RunProgramWithTimeout(GCCPath, GCCArgs, "/dev/null", ErrorFilename.c_str(),
ErrorFilename.c_str());

// Read the error message into a string.
std::ifstream ErrorFile(ErrorFilename.c_str());
if (ErrorFile) {
std::copy(std::istreambuf_iterator<char>(ErrorFile),
std::istreambuf_iterator<char>(),
std::ostreambuf_iterator<char>(std::cerr));
ErrorFile.close();
std::cerr << "\n";
}

removeFile(ErrorFilename);
exit(1); // Leave stuff around for the user to inspect or debug the CBE
}

const char *ProgramArgs[] = {
OutputBinary.c_str(),
0
};

std::cout << "<program>";

// Now that we have a binary, run it!
int Result = RunProgramWithTimeout(OutputBinary, ProgramArgs,
InputFile, OutputFile, OutputFile);
std::cout << " ";
removeFile(OutputCFile);
removeFile(OutputBinary);
return Result;
}

//===----------------------------------------------------------------------===//
// BugDriver method implementation
Expand All @@ -110,10 +265,13 @@ bool BugDriver::initializeExecutionEnvironment() {
// Create an instance of the AbstractInterpreter interface as specified on the
// command line
std::string Message;
if (InterpreterSel == RunLLI) {
Interpreter = LLI::create(this, Message);
} else {
Message = " Sorry, only LLI is supported right now!";
switch (InterpreterSel) {
case RunLLI: Interpreter = LLI::create(this, Message); break;
case RunJIT: Interpreter = JIT::create(this, Message); break;
case RunCBE: Interpreter = CBE::create(this, Message); break;
default:
Message = " Sorry, this back-end is not supported by bugpoint right now!\n";
break;
}

std::cout << Message;
Expand Down

0 comments on commit cc876a7

Please sign in to comment.