blob: a30f83c96ae03e10f9c7a08de3e57da248a577d0 [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"
Misha Brukman41485562003-09-29 22:40:52 +000018#include "Support/ToolRunner.h"
Chris Lattner4a106452002-12-23 23:50:16 +000019#include "Support/CommandLine.h"
Chris Lattnerc648dab2003-08-01 22:13:59 +000020#include "Support/Debug.h"
Chris Lattner65f62792003-08-01 20:29:45 +000021#include "Support/FileUtilities.h"
Misha Brukmane49603d2003-08-07 21:19:30 +000022#include "Support/SystemUtils.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:"),
Misha Brukman50733362003-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 Lattner3c053a02003-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 Lattner4a106452002-12-23 23:50:16 +000045}
46
Misha Brukman9d679cb2003-07-30 20:15:44 +000047// Anything specified after the --args option are taken as arguments to the
48// program being debugged.
49cl::list<std::string>
50InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
51 cl::ZeroOrMore);
52
Chris Lattner4a106452002-12-23 23:50:16 +000053//===----------------------------------------------------------------------===//
54// BugDriver method implementation
55//
56
57/// initializeExecutionEnvironment - This method is used to set up the
58/// environment for executing LLVM programs.
59///
60bool BugDriver::initializeExecutionEnvironment() {
61 std::cout << "Initializing execution environment: ";
62
63 // FIXME: This should default to searching for the best interpreter to use on
64 // this platform, which would be JIT, then LLC, then CBE, then LLI.
65
Misha Brukman41485562003-09-29 22:40:52 +000066 // Create an instance of the AbstractInterpreter interface as specified on
67 // the command line
Chris Lattner4a106452002-12-23 23:50:16 +000068 std::string Message;
Chris Lattnercc876a72003-05-03 03:19:41 +000069 switch (InterpreterSel) {
Misha Brukman41485562003-09-29 22:40:52 +000070 case RunLLI: Interpreter = createLLItool(getToolName(), Message); break;
71 case RunLLC: Interpreter = createLLCtool(getToolName(), Message); break;
72 case RunJIT: Interpreter = createJITtool(getToolName(), Message); break;
73 case RunCBE: Interpreter = createCBEtool(getToolName(), Message); break;
Chris Lattnercc876a72003-05-03 03:19:41 +000074 default:
Misha Brukman41485562003-09-29 22:40:52 +000075 Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
Chris Lattnercc876a72003-05-03 03:19:41 +000076 break;
Chris Lattner4a106452002-12-23 23:50:16 +000077 }
Misha Brukman41485562003-09-29 22:40:52 +000078 std::cerr << Message;
Chris Lattner4a106452002-12-23 23:50:16 +000079
Misha Brukmana259c9b2003-07-24 21:59:10 +000080 // Initialize auxiliary tools for debugging
Misha Brukman41485562003-09-29 22:40:52 +000081 cbe = createCBEtool(getToolName(), Message);
Misha Brukmana259c9b2003-07-24 21:59:10 +000082 if (!cbe) { std::cout << Message << "\nExiting.\n"; exit(1); }
Misha Brukman41485562003-09-29 22:40:52 +000083 gcc = createGCCtool(getToolName(), Message);
Misha Brukmana259c9b2003-07-24 21:59:10 +000084 if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); }
85
Chris Lattner4a106452002-12-23 23:50:16 +000086 // If there was an error creating the selected interpreter, quit with error.
87 return Interpreter == 0;
88}
89
90
91/// executeProgram - This method runs "Program", capturing the output of the
92/// program to a file, returning the filename of the file. A recommended
93/// filename may be optionally specified.
94///
95std::string BugDriver::executeProgram(std::string OutputFile,
Misha Brukman50733362003-07-24 18:17:43 +000096 std::string BytecodeFile,
97 std::string SharedObject,
98 AbstractInterpreter *AI) {
Misha Brukman41485562003-09-29 22:40:52 +000099 assert((Interpreter||AI) && "Interpreter should have been created already!");
Chris Lattner4a106452002-12-23 23:50:16 +0000100 bool CreatedBytecode = false;
101 if (BytecodeFile.empty()) {
102 // Emit the program to a bytecode file...
103 BytecodeFile = getUniqueFilename("bugpoint-test-program.bc");
104
105 if (writeProgramToFile(BytecodeFile, Program)) {
106 std::cerr << ToolName << ": Error emitting bytecode to file '"
Misha Brukman50733362003-07-24 18:17:43 +0000107 << BytecodeFile << "'!\n";
Chris Lattner4a106452002-12-23 23:50:16 +0000108 exit(1);
109 }
110 CreatedBytecode = true;
111 }
112
113 if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
Misha Brukman50733362003-07-24 18:17:43 +0000114
Chris Lattner4a106452002-12-23 23:50:16 +0000115 // Check to see if this is a valid output filename...
116 OutputFile = getUniqueFilename(OutputFile);
117
118 // Actually execute the program!
Misha Brukman50733362003-07-24 18:17:43 +0000119 int RetVal = (AI != 0) ?
Misha Brukman41485562003-09-29 22:40:52 +0000120 AI->ExecuteProgram(BytecodeFile, InputArgv, InputFile, OutputFile,
121 SharedObject) :
122 Interpreter->ExecuteProgram(BytecodeFile, InputArgv,
123 InputFile, OutputFile, SharedObject);
Chris Lattner4a106452002-12-23 23:50:16 +0000124
125 // Remove the temporary bytecode file.
Misha Brukman50733362003-07-24 18:17:43 +0000126 if (CreatedBytecode) removeFile(BytecodeFile);
Chris Lattner4a106452002-12-23 23:50:16 +0000127
128 // Return the filename we captured the output to.
129 return OutputFile;
130}
131
Misha Brukman50733362003-07-24 18:17:43 +0000132std::string BugDriver::executeProgramWithCBE(std::string OutputFile,
133 std::string BytecodeFile,
134 std::string SharedObject) {
Misha Brukmana259c9b2003-07-24 21:59:10 +0000135 return executeProgram(OutputFile, BytecodeFile, SharedObject, cbe);
Misha Brukman50733362003-07-24 18:17:43 +0000136}
137
138int BugDriver::compileSharedObject(const std::string &BytecodeFile,
139 std::string &SharedObject) {
140 assert(Interpreter && "Interpreter should have been created already!");
141 std::string Message, OutputCFile;
142
143 // Using CBE
Misha Brukman50733362003-07-24 18:17:43 +0000144 cbe->OutputC(BytecodeFile, OutputCFile);
145
146#if 0 /* This is an alternative, as yet unimplemented */
147 // Using LLC
Misha Brukman41485562003-09-29 22:40:52 +0000148 LLC *llc = createLLCtool(Message);
Misha Brukman50733362003-07-24 18:17:43 +0000149 if (llc->OutputAsm(BytecodeFile, OutputFile)) {
150 std::cerr << "Could not generate asm code with `llc', exiting.\n";
151 exit(1);
152 }
153#endif
154
Misha Brukmana259c9b2003-07-24 21:59:10 +0000155 gcc->MakeSharedObject(OutputCFile, CFile, SharedObject);
Misha Brukman50733362003-07-24 18:17:43 +0000156
157 // Remove the intermediate C file
158 removeFile(OutputCFile);
159
Misha Brukman50733362003-07-24 18:17:43 +0000160 return 0;
161}
162
163
Chris Lattner4a106452002-12-23 23:50:16 +0000164/// diffProgram - This method executes the specified module and diffs the output
165/// against the file specified by ReferenceOutputFile. If the output is
166/// different, true is returned.
167///
Misha Brukman50733362003-07-24 18:17:43 +0000168bool BugDriver::diffProgram(const std::string &BytecodeFile,
169 const std::string &SharedObject,
Chris Lattner640f22e2003-04-24 17:02:17 +0000170 bool RemoveBytecode) {
Chris Lattner4a106452002-12-23 23:50:16 +0000171 // Execute the program, generating an output file...
Misha Brukman50733362003-07-24 18:17:43 +0000172 std::string Output = executeProgram("", BytecodeFile, SharedObject);
Chris Lattner4a106452002-12-23 23:50:16 +0000173
Chris Lattner65f62792003-08-01 20:29:45 +0000174 std::string Error;
Chris Lattner4a106452002-12-23 23:50:16 +0000175 bool FilesDifferent = false;
Chris Lattner65f62792003-08-01 20:29:45 +0000176 if (DiffFiles(ReferenceOutputFile, Output, &Error)) {
177 if (!Error.empty()) {
178 std::cerr << "While diffing output: " << Error << "\n";
179 exit(1);
180 }
181 FilesDifferent = true;
182 }
Chris Lattner4a106452002-12-23 23:50:16 +0000183
Chris Lattner640f22e2003-04-24 17:02:17 +0000184 if (RemoveBytecode) removeFile(BytecodeFile);
Chris Lattner4a106452002-12-23 23:50:16 +0000185 return FilesDifferent;
186}
Misha Brukman91eabc12003-07-28 19:16:14 +0000187
188bool BugDriver::isExecutingJIT() {
189 return InterpreterSel == RunJIT;
190}