blob: e0e0b70c572ca03fc888d4a558dcede1e1f05ea1 [file] [log] [blame]
Chris Lattnerde4aa4c2002-12-23 23:50:16 +00001//===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===//
2//
3// This file contains code used to execute the program utilizing one of the
4// various ways of running LLVM bytecode.
5//
6//===----------------------------------------------------------------------===//
7
8/*
9BUGPOINT NOTES:
10
111. Bugpoint should not leave any files behind if the program works properly
122. There should be an option to specify the program name, which specifies a
13 unique string to put into output files. This allows operation in the
Misha Brukmand792c9b2003-07-24 18:17:43 +000014 SingleSource directory, e.g. default to the first input filename.
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000015*/
16
17#include "BugDriver.h"
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000018#include "Support/CommandLine.h"
Chris Lattnerf0c69642003-08-01 22:13:59 +000019#include "Support/Debug.h"
Chris Lattneraa997fb2003-08-01 20:29:45 +000020#include "Support/FileUtilities.h"
Misha Brukman0c2305b2003-08-07 21:19:30 +000021#include "Support/SystemUtils.h"
Chris Lattner10bd1c22003-10-07 13:45:51 +000022#include "llvm/Support/ToolRunner.h"
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000023#include <fstream>
Chris Lattner7c0f8622002-12-24 00:44:34 +000024#include <iostream>
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000025
26namespace {
27 // OutputType - Allow the user to specify the way code should be run, to test
28 // for miscompilation.
29 //
30 enum OutputType {
31 RunLLI, RunJIT, RunLLC, RunCBE
32 };
Misha Brukman5bc6a8f2003-09-29 22:40:52 +000033
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000034 cl::opt<OutputType>
35 InterpreterSel(cl::desc("Specify how LLVM code should be executed:"),
Misha Brukmand792c9b2003-07-24 18:17:43 +000036 cl::values(clEnumValN(RunLLI, "run-lli", "Execute with LLI"),
37 clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
38 clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
39 clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
40 0));
Chris Lattner68efaa72003-04-23 20:31:37 +000041
42 cl::opt<std::string>
43 InputFile("input", cl::init("/dev/null"),
44 cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
Chris Lattnerdc92fa62003-10-14 22:24:31 +000045
46 cl::list<std::string>
47 AdditionalSOs("additional-so",
48 cl::desc("Additional shared objects to load "
49 "into executing programs"));
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000050}
51
Misha Brukman40feb362003-07-30 20:15:44 +000052// Anything specified after the --args option are taken as arguments to the
53// program being debugged.
54cl::list<std::string>
55InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
56 cl::ZeroOrMore);
57
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000058//===----------------------------------------------------------------------===//
59// BugDriver method implementation
60//
61
62/// initializeExecutionEnvironment - This method is used to set up the
63/// environment for executing LLVM programs.
64///
65bool BugDriver::initializeExecutionEnvironment() {
66 std::cout << "Initializing execution environment: ";
67
68 // FIXME: This should default to searching for the best interpreter to use on
69 // this platform, which would be JIT, then LLC, then CBE, then LLI.
70
Misha Brukman5bc6a8f2003-09-29 22:40:52 +000071 // Create an instance of the AbstractInterpreter interface as specified on
72 // the command line
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000073 std::string Message;
Chris Lattner7709ec52003-05-03 03:19:41 +000074 switch (InterpreterSel) {
Chris Lattner3f6e5222003-10-14 21:59:36 +000075 case RunLLI:
76 Interpreter = AbstractInterpreter::createLLI(getToolName(), Message);
77 break;
78 case RunLLC:
79 Interpreter = AbstractInterpreter::createLLC(getToolName(), Message);
80 break;
81 case RunJIT:
82 Interpreter = AbstractInterpreter::createJIT(getToolName(), Message);
83 break;
84 case RunCBE:
85 Interpreter = AbstractInterpreter::createCBE(getToolName(), Message);
86 break;
Chris Lattner7709ec52003-05-03 03:19:41 +000087 default:
Misha Brukman5bc6a8f2003-09-29 22:40:52 +000088 Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
Chris Lattner7709ec52003-05-03 03:19:41 +000089 break;
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000090 }
Misha Brukman5bc6a8f2003-09-29 22:40:52 +000091 std::cerr << Message;
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000092
Misha Brukman0fd31722003-07-24 21:59:10 +000093 // Initialize auxiliary tools for debugging
Chris Lattner3f6e5222003-10-14 21:59:36 +000094 cbe = AbstractInterpreter::createCBE(getToolName(), Message);
Misha Brukman0fd31722003-07-24 21:59:10 +000095 if (!cbe) { std::cout << Message << "\nExiting.\n"; exit(1); }
Chris Lattner3f6e5222003-10-14 21:59:36 +000096 gcc = GCC::create(getToolName(), Message);
Misha Brukman0fd31722003-07-24 21:59:10 +000097 if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); }
98
Chris Lattnerde4aa4c2002-12-23 23:50:16 +000099 // If there was an error creating the selected interpreter, quit with error.
100 return Interpreter == 0;
101}
102
103
104/// executeProgram - This method runs "Program", capturing the output of the
105/// program to a file, returning the filename of the file. A recommended
106/// filename may be optionally specified.
107///
108std::string BugDriver::executeProgram(std::string OutputFile,
Misha Brukmand792c9b2003-07-24 18:17:43 +0000109 std::string BytecodeFile,
Chris Lattner3f6e5222003-10-14 21:59:36 +0000110 const std::string &SharedObj,
Misha Brukmand792c9b2003-07-24 18:17:43 +0000111 AbstractInterpreter *AI) {
Chris Lattner3f6e5222003-10-14 21:59:36 +0000112 if (AI == 0) AI = Interpreter;
113 assert(AI && "Interpreter should have been created already!");
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000114 bool CreatedBytecode = false;
115 if (BytecodeFile.empty()) {
116 // Emit the program to a bytecode file...
117 BytecodeFile = getUniqueFilename("bugpoint-test-program.bc");
118
119 if (writeProgramToFile(BytecodeFile, Program)) {
120 std::cerr << ToolName << ": Error emitting bytecode to file '"
Misha Brukmand792c9b2003-07-24 18:17:43 +0000121 << BytecodeFile << "'!\n";
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000122 exit(1);
123 }
124 CreatedBytecode = true;
125 }
126
127 if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
Misha Brukmand792c9b2003-07-24 18:17:43 +0000128
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000129 // Check to see if this is a valid output filename...
130 OutputFile = getUniqueFilename(OutputFile);
131
Chris Lattner3f6e5222003-10-14 21:59:36 +0000132 // Figure out which shared objects to run, if any.
Chris Lattnerdc92fa62003-10-14 22:24:31 +0000133 std::vector<std::string> SharedObjs(AdditionalSOs);
Chris Lattner3f6e5222003-10-14 21:59:36 +0000134 if (!SharedObj.empty())
135 SharedObjs.push_back(SharedObj);
136
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000137 // Actually execute the program!
Chris Lattner3f6e5222003-10-14 21:59:36 +0000138 int RetVal = AI->ExecuteProgram(BytecodeFile, InputArgv, InputFile,
139 OutputFile, SharedObjs);
140
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000141
142 // Remove the temporary bytecode file.
Misha Brukmand792c9b2003-07-24 18:17:43 +0000143 if (CreatedBytecode) removeFile(BytecodeFile);
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000144
145 // Return the filename we captured the output to.
146 return OutputFile;
147}
148
Misha Brukmand792c9b2003-07-24 18:17:43 +0000149
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000150std::string BugDriver::compileSharedObject(const std::string &BytecodeFile) {
Misha Brukmand792c9b2003-07-24 18:17:43 +0000151 assert(Interpreter && "Interpreter should have been created already!");
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000152 std::string OutputCFile;
Misha Brukmand792c9b2003-07-24 18:17:43 +0000153
154 // Using CBE
Misha Brukmand792c9b2003-07-24 18:17:43 +0000155 cbe->OutputC(BytecodeFile, OutputCFile);
156
157#if 0 /* This is an alternative, as yet unimplemented */
158 // Using LLC
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000159 std::string Message;
Misha Brukman5bc6a8f2003-09-29 22:40:52 +0000160 LLC *llc = createLLCtool(Message);
Misha Brukmand792c9b2003-07-24 18:17:43 +0000161 if (llc->OutputAsm(BytecodeFile, OutputFile)) {
162 std::cerr << "Could not generate asm code with `llc', exiting.\n";
163 exit(1);
164 }
165#endif
166
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000167 std::string SharedObjectFile;
Chris Lattner3f6e5222003-10-14 21:59:36 +0000168 if (gcc->MakeSharedObject(OutputCFile, GCC::CFile, SharedObjectFile))
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000169 exit(1);
Misha Brukmand792c9b2003-07-24 18:17:43 +0000170
171 // Remove the intermediate C file
172 removeFile(OutputCFile);
173
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000174 return SharedObjectFile;
Misha Brukmand792c9b2003-07-24 18:17:43 +0000175}
176
177
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000178/// diffProgram - This method executes the specified module and diffs the output
179/// against the file specified by ReferenceOutputFile. If the output is
180/// different, true is returned.
181///
Misha Brukmand792c9b2003-07-24 18:17:43 +0000182bool BugDriver::diffProgram(const std::string &BytecodeFile,
183 const std::string &SharedObject,
Chris Lattner16a41312003-04-24 17:02:17 +0000184 bool RemoveBytecode) {
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000185 // Execute the program, generating an output file...
Misha Brukmand792c9b2003-07-24 18:17:43 +0000186 std::string Output = executeProgram("", BytecodeFile, SharedObject);
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000187
Chris Lattneraa997fb2003-08-01 20:29:45 +0000188 std::string Error;
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000189 bool FilesDifferent = false;
Chris Lattneraa997fb2003-08-01 20:29:45 +0000190 if (DiffFiles(ReferenceOutputFile, Output, &Error)) {
191 if (!Error.empty()) {
192 std::cerr << "While diffing output: " << Error << "\n";
193 exit(1);
194 }
195 FilesDifferent = true;
196 }
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000197
Chris Lattner16a41312003-04-24 17:02:17 +0000198 if (RemoveBytecode) removeFile(BytecodeFile);
Chris Lattnerde4aa4c2002-12-23 23:50:16 +0000199 return FilesDifferent;
200}
Misha Brukman539f9592003-07-28 19:16:14 +0000201
202bool BugDriver::isExecutingJIT() {
203 return InterpreterSel == RunJIT;
204}