1 //===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===//
3 // The LLVM Compiler Infrastructure
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains code used to execute the program utilizing one of the
11 // various ways of running LLVM bytecode.
13 //===----------------------------------------------------------------------===//
15 #include "BugDriver.h"
16 #include "llvm/Support/ToolRunner.h"
17 #include "llvm/Support/CommandLine.h"
18 #include "llvm/Support/Debug.h"
19 #include "llvm/Support/FileUtilities.h"
20 #include "llvm/Support/SystemUtils.h"
25 // OutputType - Allow the user to specify the way code should be run, to test
26 // for miscompilation.
29 AutoPick, RunLLI, RunJIT, RunLLC, RunCBE
33 InterpreterSel(cl::desc("Specify how LLVM code should be executed:"),
34 cl::values(clEnumValN(AutoPick, "auto", "Use best guess"),
35 clEnumValN(RunLLI, "run-int",
36 "Execute with the interpreter"),
37 clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
38 clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
39 clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
44 CheckProgramExitCode("check-exit-code",
45 cl::desc("Assume nonzero exit code is failure (default on)"),
49 InputFile("input", cl::init("/dev/null"),
50 cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
53 AdditionalSOs("additional-so",
54 cl::desc("Additional shared objects to load "
55 "into executing programs"));
58 TimeoutValue("timeout", cl::init(300), cl::value_desc("seconds"),
59 cl::desc("Number of seconds program is allowed to run before it "
60 "is killed (default is 300s), 0 disables timeout"));
64 // Anything specified after the --args option are taken as arguments to the
65 // program being debugged.
67 InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
68 cl::ZeroOrMore, cl::PositionalEatsArgs);
71 ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."),
72 cl::ZeroOrMore, cl::PositionalEatsArgs);
75 //===----------------------------------------------------------------------===//
76 // BugDriver method implementation
79 /// initializeExecutionEnvironment - This method is used to set up the
80 /// environment for executing LLVM programs.
82 bool BugDriver::initializeExecutionEnvironment() {
83 std::cout << "Initializing execution environment: ";
85 // Create an instance of the AbstractInterpreter interface as specified on
90 switch (InterpreterSel) {
92 InterpreterSel = RunCBE;
93 Interpreter = cbe = AbstractInterpreter::createCBE(getToolName(), Message,
96 InterpreterSel = RunJIT;
97 Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
101 InterpreterSel = RunLLC;
102 Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
106 InterpreterSel = RunLLI;
107 Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
111 InterpreterSel = AutoPick;
112 Message = "Sorry, I can't automatically select an interpreter!\n";
116 Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
120 Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
124 Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
128 Interpreter = cbe = AbstractInterpreter::createCBE(getToolName(), Message,
132 Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
135 std::cerr << Message;
137 // Initialize auxiliary tools for debugging
139 cbe = AbstractInterpreter::createCBE(getToolName(), Message, &ToolArgv);
140 if (!cbe) { std::cout << Message << "\nExiting.\n"; exit(1); }
142 gcc = GCC::create(getToolName(), Message);
143 if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); }
145 // If there was an error creating the selected interpreter, quit with error.
146 return Interpreter == 0;
149 /// compileProgram - Try to compile the specified module, throwing an exception
150 /// if an error occurs, or returning normally if not. This is used for code
151 /// generation crash testing.
153 void BugDriver::compileProgram(Module *M) {
154 // Emit the program to a bytecode file...
155 sys::Path BytecodeFile ("bugpoint-test-program.bc");
156 BytecodeFile.makeUnique();
157 if (writeProgramToFile(BytecodeFile.toString(), M)) {
158 std::cerr << ToolName << ": Error emitting bytecode to file '"
159 << BytecodeFile << "'!\n";
163 // Remove the temporary bytecode file when we are done.
164 FileRemover BytecodeFileRemover(BytecodeFile);
166 // Actually compile the program!
167 Interpreter->compileProgram(BytecodeFile.toString());
171 /// executeProgram - This method runs "Program", capturing the output of the
172 /// program to a file, returning the filename of the file. A recommended
173 /// filename may be optionally specified.
175 std::string BugDriver::executeProgram(std::string OutputFile,
176 std::string BytecodeFile,
177 const std::string &SharedObj,
178 AbstractInterpreter *AI,
179 bool *ProgramExitedNonzero) {
180 if (AI == 0) AI = Interpreter;
181 assert(AI && "Interpreter should have been created already!");
182 bool CreatedBytecode = false;
183 if (BytecodeFile.empty()) {
184 // Emit the program to a bytecode file...
185 sys::Path uniqueFilename("bugpoint-test-program.bc");
186 uniqueFilename.makeUnique();
187 BytecodeFile = uniqueFilename.toString();
189 if (writeProgramToFile(BytecodeFile, Program)) {
190 std::cerr << ToolName << ": Error emitting bytecode to file '"
191 << BytecodeFile << "'!\n";
194 CreatedBytecode = true;
197 // Remove the temporary bytecode file when we are done.
198 sys::Path BytecodePath (BytecodeFile);
199 FileRemover BytecodeFileRemover(BytecodePath, CreatedBytecode);
201 if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
203 // Check to see if this is a valid output filename...
204 sys::Path uniqueFile(OutputFile);
205 uniqueFile.makeUnique();
206 OutputFile = uniqueFile.toString();
208 // Figure out which shared objects to run, if any.
209 std::vector<std::string> SharedObjs(AdditionalSOs);
210 if (!SharedObj.empty())
211 SharedObjs.push_back(SharedObj);
213 // Actually execute the program!
214 int RetVal = AI->ExecuteProgram(BytecodeFile, InputArgv, InputFile,
215 OutputFile, SharedObjs, TimeoutValue);
218 std::cerr << "<timeout>";
219 static bool FirstTimeout = true;
222 "*** Program execution timed out! This mechanism is designed to handle\n"
223 " programs stuck in infinite loops gracefully. The -timeout option\n"
224 " can be used to change the timeout threshold or disable it completely\n"
225 " (with -timeout=0). This message is only displayed once.\n";
226 FirstTimeout = false;
230 if (ProgramExitedNonzero != 0)
231 *ProgramExitedNonzero = (RetVal != 0);
233 // Return the filename we captured the output to.
237 /// executeProgramWithCBE - Used to create reference output with the C
238 /// backend, if reference output is not provided.
240 std::string BugDriver::executeProgramWithCBE(std::string OutputFile) {
241 bool ProgramExitedNonzero;
242 std::string outFN = executeProgram(OutputFile, "", "",
243 (AbstractInterpreter*)cbe,
244 &ProgramExitedNonzero);
245 if (ProgramExitedNonzero) {
247 << "Warning: While generating reference output, program exited with\n"
248 << "non-zero exit code. This will NOT be treated as a failure.\n";
249 CheckProgramExitCode = false;
254 std::string BugDriver::compileSharedObject(const std::string &BytecodeFile) {
255 assert(Interpreter && "Interpreter should have been created already!");
256 sys::Path OutputCFile;
259 cbe->OutputC(BytecodeFile, OutputCFile);
261 #if 0 /* This is an alternative, as yet unimplemented */
264 LLC *llc = createLLCtool(Message);
265 if (llc->OutputAsm(BytecodeFile, OutputFile)) {
266 std::cerr << "Could not generate asm code with `llc', exiting.\n";
271 std::string SharedObjectFile;
272 if (gcc->MakeSharedObject(OutputCFile.toString(), GCC::CFile,
276 // Remove the intermediate C file
277 OutputCFile.destroyFile();
279 return "./" + SharedObjectFile;
283 /// diffProgram - This method executes the specified module and diffs the output
284 /// against the file specified by ReferenceOutputFile. If the output is
285 /// different, true is returned.
287 bool BugDriver::diffProgram(const std::string &BytecodeFile,
288 const std::string &SharedObject,
289 bool RemoveBytecode) {
290 bool ProgramExitedNonzero;
292 // Execute the program, generating an output file...
293 sys::Path Output (executeProgram("", BytecodeFile, SharedObject, 0,
294 &ProgramExitedNonzero));
296 // If we're checking the program exit code, assume anything nonzero is bad.
297 if (CheckProgramExitCode && ProgramExitedNonzero) {
298 Output.destroyFile();
300 sys::Path(BytecodeFile).destroyFile();
305 bool FilesDifferent = false;
306 if (DiffFiles(ReferenceOutputFile, Output.toString(), &Error)) {
307 if (!Error.empty()) {
308 std::cerr << "While diffing output: " << Error << '\n';
311 FilesDifferent = true;
314 // Remove the generated output.
315 Output.destroyFile();
317 // Remove the bytecode file if we are supposed to.
318 if (RemoveBytecode) sys::Path(BytecodeFile).destroyFile();
319 return FilesDifferent;
322 bool BugDriver::isExecutingJIT() {
323 return InterpreterSel == RunJIT;