blob: 09983584a51256d4d3aec5d7a5e84d07bd2115ad [file] [log] [blame]
Chris Lattner4a106452002-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 Brukman50733362003-07-24 18:17:43 +000014 SingleSource directory, e.g. default to the first input filename.
Chris Lattner4a106452002-12-23 23:50:16 +000015*/
16
17#include "BugDriver.h"
Chris Lattner4a106452002-12-23 23:50:16 +000018#include "Support/CommandLine.h"
Chris Lattnerc648dab2003-08-01 22:13:59 +000019#include "Support/Debug.h"
Chris Lattner65f62792003-08-01 20:29:45 +000020#include "Support/FileUtilities.h"
Misha Brukmane49603d2003-08-07 21:19:30 +000021#include "Support/SystemUtils.h"
Chris Lattner5de0bac2003-10-07 13:45:51 +000022#include "llvm/Support/ToolRunner.h"
Chris Lattner4a106452002-12-23 23:50:16 +000023#include <fstream>
Chris Lattnere1b52b72002-12-24 00:44:34 +000024#include <iostream>
Chris Lattner4a106452002-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 Brukman41485562003-09-29 22:40:52 +000033
Chris Lattner4a106452002-12-23 23:50:16 +000034 cl::opt<OutputType>
35 InterpreterSel(cl::desc("Specify how LLVM code should be executed:"),
Chris Lattner367e1ee2003-10-18 20:30:48 +000036 cl::values(clEnumValN(RunLLI, "run-int", "Execute with the interpreter"),
Misha Brukman50733362003-07-24 18:17:43 +000037 clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
38 clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
39 clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
Chris Lattner25d66472003-10-18 20:18:20 +000040 0),
41 cl::init(RunCBE));
Chris Lattner3c053a02003-04-23 20:31:37 +000042
43 cl::opt<std::string>
44 InputFile("input", cl::init("/dev/null"),
45 cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
Chris Lattner7dac6582003-10-14 22:24:31 +000046
47 cl::list<std::string>
48 AdditionalSOs("additional-so",
49 cl::desc("Additional shared objects to load "
50 "into executing programs"));
Chris Lattner4a106452002-12-23 23:50:16 +000051}
52
Misha Brukman9d679cb2003-07-30 20:15:44 +000053// Anything specified after the --args option are taken as arguments to the
54// program being debugged.
55cl::list<std::string>
56InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
57 cl::ZeroOrMore);
58
Chris Lattner4a106452002-12-23 23:50:16 +000059//===----------------------------------------------------------------------===//
60// BugDriver method implementation
61//
62
63/// initializeExecutionEnvironment - This method is used to set up the
64/// environment for executing LLVM programs.
65///
66bool BugDriver::initializeExecutionEnvironment() {
67 std::cout << "Initializing execution environment: ";
68
69 // FIXME: This should default to searching for the best interpreter to use on
70 // this platform, which would be JIT, then LLC, then CBE, then LLI.
71
Misha Brukman41485562003-09-29 22:40:52 +000072 // Create an instance of the AbstractInterpreter interface as specified on
73 // the command line
Chris Lattner4a106452002-12-23 23:50:16 +000074 std::string Message;
Chris Lattnercc876a72003-05-03 03:19:41 +000075 switch (InterpreterSel) {
Chris Lattner769f1fe2003-10-14 21:59:36 +000076 case RunLLI:
77 Interpreter = AbstractInterpreter::createLLI(getToolName(), Message);
78 break;
79 case RunLLC:
80 Interpreter = AbstractInterpreter::createLLC(getToolName(), Message);
81 break;
82 case RunJIT:
83 Interpreter = AbstractInterpreter::createJIT(getToolName(), Message);
84 break;
85 case RunCBE:
86 Interpreter = AbstractInterpreter::createCBE(getToolName(), Message);
87 break;
Chris Lattnercc876a72003-05-03 03:19:41 +000088 default:
Misha Brukman41485562003-09-29 22:40:52 +000089 Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
Chris Lattnercc876a72003-05-03 03:19:41 +000090 break;
Chris Lattner4a106452002-12-23 23:50:16 +000091 }
Misha Brukman41485562003-09-29 22:40:52 +000092 std::cerr << Message;
Chris Lattner4a106452002-12-23 23:50:16 +000093
Misha Brukmana259c9b2003-07-24 21:59:10 +000094 // Initialize auxiliary tools for debugging
Chris Lattner769f1fe2003-10-14 21:59:36 +000095 cbe = AbstractInterpreter::createCBE(getToolName(), Message);
Misha Brukmana259c9b2003-07-24 21:59:10 +000096 if (!cbe) { std::cout << Message << "\nExiting.\n"; exit(1); }
Chris Lattner769f1fe2003-10-14 21:59:36 +000097 gcc = GCC::create(getToolName(), Message);
Misha Brukmana259c9b2003-07-24 21:59:10 +000098 if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); }
99
Chris Lattner4a106452002-12-23 23:50:16 +0000100 // If there was an error creating the selected interpreter, quit with error.
101 return Interpreter == 0;
102}
103
104
105/// executeProgram - This method runs "Program", capturing the output of the
106/// program to a file, returning the filename of the file. A recommended
107/// filename may be optionally specified.
108///
109std::string BugDriver::executeProgram(std::string OutputFile,
Misha Brukman50733362003-07-24 18:17:43 +0000110 std::string BytecodeFile,
Chris Lattner769f1fe2003-10-14 21:59:36 +0000111 const std::string &SharedObj,
Misha Brukman50733362003-07-24 18:17:43 +0000112 AbstractInterpreter *AI) {
Chris Lattner769f1fe2003-10-14 21:59:36 +0000113 if (AI == 0) AI = Interpreter;
114 assert(AI && "Interpreter should have been created already!");
Chris Lattner4a106452002-12-23 23:50:16 +0000115 bool CreatedBytecode = false;
116 if (BytecodeFile.empty()) {
117 // Emit the program to a bytecode file...
118 BytecodeFile = getUniqueFilename("bugpoint-test-program.bc");
119
120 if (writeProgramToFile(BytecodeFile, Program)) {
121 std::cerr << ToolName << ": Error emitting bytecode to file '"
Misha Brukman50733362003-07-24 18:17:43 +0000122 << BytecodeFile << "'!\n";
Chris Lattner4a106452002-12-23 23:50:16 +0000123 exit(1);
124 }
125 CreatedBytecode = true;
126 }
127
128 if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
Misha Brukman50733362003-07-24 18:17:43 +0000129
Chris Lattner4a106452002-12-23 23:50:16 +0000130 // Check to see if this is a valid output filename...
131 OutputFile = getUniqueFilename(OutputFile);
132
Chris Lattner769f1fe2003-10-14 21:59:36 +0000133 // Figure out which shared objects to run, if any.
Chris Lattner7dac6582003-10-14 22:24:31 +0000134 std::vector<std::string> SharedObjs(AdditionalSOs);
Chris Lattner769f1fe2003-10-14 21:59:36 +0000135 if (!SharedObj.empty())
136 SharedObjs.push_back(SharedObj);
137
Chris Lattner4a106452002-12-23 23:50:16 +0000138 // Actually execute the program!
Chris Lattner769f1fe2003-10-14 21:59:36 +0000139 int RetVal = AI->ExecuteProgram(BytecodeFile, InputArgv, InputFile,
140 OutputFile, SharedObjs);
141
Chris Lattner4a106452002-12-23 23:50:16 +0000142
143 // Remove the temporary bytecode file.
Misha Brukman50733362003-07-24 18:17:43 +0000144 if (CreatedBytecode) removeFile(BytecodeFile);
Chris Lattner4a106452002-12-23 23:50:16 +0000145
146 // Return the filename we captured the output to.
147 return OutputFile;
148}
149
Misha Brukman50733362003-07-24 18:17:43 +0000150
Chris Lattnera0f5b152003-10-14 21:09:11 +0000151std::string BugDriver::compileSharedObject(const std::string &BytecodeFile) {
Misha Brukman50733362003-07-24 18:17:43 +0000152 assert(Interpreter && "Interpreter should have been created already!");
Chris Lattnera0f5b152003-10-14 21:09:11 +0000153 std::string OutputCFile;
Misha Brukman50733362003-07-24 18:17:43 +0000154
155 // Using CBE
Misha Brukman50733362003-07-24 18:17:43 +0000156 cbe->OutputC(BytecodeFile, OutputCFile);
157
158#if 0 /* This is an alternative, as yet unimplemented */
159 // Using LLC
Chris Lattnera0f5b152003-10-14 21:09:11 +0000160 std::string Message;
Misha Brukman41485562003-09-29 22:40:52 +0000161 LLC *llc = createLLCtool(Message);
Misha Brukman50733362003-07-24 18:17:43 +0000162 if (llc->OutputAsm(BytecodeFile, OutputFile)) {
163 std::cerr << "Could not generate asm code with `llc', exiting.\n";
164 exit(1);
165 }
166#endif
167
Chris Lattnera0f5b152003-10-14 21:09:11 +0000168 std::string SharedObjectFile;
Chris Lattner769f1fe2003-10-14 21:59:36 +0000169 if (gcc->MakeSharedObject(OutputCFile, GCC::CFile, SharedObjectFile))
Chris Lattnera0f5b152003-10-14 21:09:11 +0000170 exit(1);
Misha Brukman50733362003-07-24 18:17:43 +0000171
172 // Remove the intermediate C file
173 removeFile(OutputCFile);
174
Chris Lattnera0f5b152003-10-14 21:09:11 +0000175 return SharedObjectFile;
Misha Brukman50733362003-07-24 18:17:43 +0000176}
177
178
Chris Lattner4a106452002-12-23 23:50:16 +0000179/// diffProgram - This method executes the specified module and diffs the output
180/// against the file specified by ReferenceOutputFile. If the output is
181/// different, true is returned.
182///
Misha Brukman50733362003-07-24 18:17:43 +0000183bool BugDriver::diffProgram(const std::string &BytecodeFile,
184 const std::string &SharedObject,
Chris Lattner640f22e2003-04-24 17:02:17 +0000185 bool RemoveBytecode) {
Chris Lattner4a106452002-12-23 23:50:16 +0000186 // Execute the program, generating an output file...
Misha Brukman50733362003-07-24 18:17:43 +0000187 std::string Output = executeProgram("", BytecodeFile, SharedObject);
Chris Lattner4a106452002-12-23 23:50:16 +0000188
Chris Lattner65f62792003-08-01 20:29:45 +0000189 std::string Error;
Chris Lattner4a106452002-12-23 23:50:16 +0000190 bool FilesDifferent = false;
Chris Lattner65f62792003-08-01 20:29:45 +0000191 if (DiffFiles(ReferenceOutputFile, Output, &Error)) {
192 if (!Error.empty()) {
193 std::cerr << "While diffing output: " << Error << "\n";
194 exit(1);
195 }
196 FilesDifferent = true;
197 }
Chris Lattner4a106452002-12-23 23:50:16 +0000198
Chris Lattner640f22e2003-04-24 17:02:17 +0000199 if (RemoveBytecode) removeFile(BytecodeFile);
Chris Lattner4a106452002-12-23 23:50:16 +0000200 return FilesDifferent;
201}
Misha Brukman91eabc12003-07-28 19:16:14 +0000202
203bool BugDriver::isExecutingJIT() {
204 return InterpreterSel == RunJIT;
205}