blob: 9a3bd55055561dda83dc425ef5d78fb3397bcb80 [file] [log] [blame]
Chris Lattner4a106452002-12-23 23:50:16 +00001//===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===//
John Criswell7c0e0222003-10-20 17:47:21 +00002//
3// The LLVM Compiler Infrastructure
4//
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.
7//
8//===----------------------------------------------------------------------===//
Chris Lattner4a106452002-12-23 23:50:16 +00009//
10// This file contains code used to execute the program utilizing one of the
11// various ways of running LLVM bytecode.
12//
13//===----------------------------------------------------------------------===//
14
15/*
16BUGPOINT NOTES:
17
181. Bugpoint should not leave any files behind if the program works properly
192. There should be an option to specify the program name, which specifies a
20 unique string to put into output files. This allows operation in the
Misha Brukman50733362003-07-24 18:17:43 +000021 SingleSource directory, e.g. default to the first input filename.
Chris Lattner4a106452002-12-23 23:50:16 +000022*/
23
24#include "BugDriver.h"
Chris Lattner4a106452002-12-23 23:50:16 +000025#include "Support/CommandLine.h"
Chris Lattnerc648dab2003-08-01 22:13:59 +000026#include "Support/Debug.h"
Chris Lattner65f62792003-08-01 20:29:45 +000027#include "Support/FileUtilities.h"
Misha Brukmane49603d2003-08-07 21:19:30 +000028#include "Support/SystemUtils.h"
Chris Lattner5de0bac2003-10-07 13:45:51 +000029#include "llvm/Support/ToolRunner.h"
Chris Lattner4a106452002-12-23 23:50:16 +000030#include <fstream>
Chris Lattnere1b52b72002-12-24 00:44:34 +000031#include <iostream>
Chris Lattner4a106452002-12-23 23:50:16 +000032
Brian Gaeked0fde302003-11-11 22:41:34 +000033using namespace llvm;
34
Chris Lattner4a106452002-12-23 23:50:16 +000035namespace {
36 // OutputType - Allow the user to specify the way code should be run, to test
37 // for miscompilation.
38 //
39 enum OutputType {
Brian Gaekeb5ee5092003-10-21 17:41:35 +000040 AutoPick, RunLLI, RunJIT, RunLLC, RunCBE
Chris Lattner4a106452002-12-23 23:50:16 +000041 };
Misha Brukman41485562003-09-29 22:40:52 +000042
Chris Lattner4a106452002-12-23 23:50:16 +000043 cl::opt<OutputType>
44 InterpreterSel(cl::desc("Specify how LLVM code should be executed:"),
Brian Gaekeb5ee5092003-10-21 17:41:35 +000045 cl::values(clEnumValN(AutoPick, "auto", "Use best guess"),
46 clEnumValN(RunLLI, "run-int", "Execute with the interpreter"),
Misha Brukman50733362003-07-24 18:17:43 +000047 clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
48 clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
49 clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
Chris Lattner25d66472003-10-18 20:18:20 +000050 0),
Brian Gaekeb5ee5092003-10-21 17:41:35 +000051 cl::init(AutoPick));
Chris Lattner3c053a02003-04-23 20:31:37 +000052
53 cl::opt<std::string>
54 InputFile("input", cl::init("/dev/null"),
55 cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
Chris Lattner7dac6582003-10-14 22:24:31 +000056
57 cl::list<std::string>
58 AdditionalSOs("additional-so",
59 cl::desc("Additional shared objects to load "
60 "into executing programs"));
Chris Lattner4a106452002-12-23 23:50:16 +000061}
62
Brian Gaeked0fde302003-11-11 22:41:34 +000063namespace llvm {
64
Misha Brukman9d679cb2003-07-30 20:15:44 +000065// Anything specified after the --args option are taken as arguments to the
66// program being debugged.
67cl::list<std::string>
68InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
69 cl::ZeroOrMore);
70
Chris Lattner4a106452002-12-23 23:50:16 +000071//===----------------------------------------------------------------------===//
72// BugDriver method implementation
73//
74
75/// initializeExecutionEnvironment - This method is used to set up the
76/// environment for executing LLVM programs.
77///
78bool BugDriver::initializeExecutionEnvironment() {
79 std::cout << "Initializing execution environment: ";
80
Misha Brukman41485562003-09-29 22:40:52 +000081 // Create an instance of the AbstractInterpreter interface as specified on
82 // the command line
Chris Lattner4a106452002-12-23 23:50:16 +000083 std::string Message;
Chris Lattnercc876a72003-05-03 03:19:41 +000084 switch (InterpreterSel) {
Brian Gaekeb5ee5092003-10-21 17:41:35 +000085 case AutoPick:
86 InterpreterSel = RunCBE;
87 Interpreter = AbstractInterpreter::createCBE(getToolName(), Message);
88 if (!Interpreter) {
89 InterpreterSel = RunJIT;
90 Interpreter = AbstractInterpreter::createJIT(getToolName(), Message);
91 }
92 if (!Interpreter) {
93 InterpreterSel = RunLLC;
94 Interpreter = AbstractInterpreter::createLLC(getToolName(), Message);
95 }
96 if (!Interpreter) {
97 InterpreterSel = RunLLI;
98 Interpreter = AbstractInterpreter::createLLI(getToolName(), Message);
99 }
100 if (!Interpreter) {
101 InterpreterSel = AutoPick;
102 Message = "Sorry, I can't automatically select an interpreter!\n";
103 }
104 break;
Chris Lattner769f1fe2003-10-14 21:59:36 +0000105 case RunLLI:
106 Interpreter = AbstractInterpreter::createLLI(getToolName(), Message);
107 break;
108 case RunLLC:
109 Interpreter = AbstractInterpreter::createLLC(getToolName(), Message);
110 break;
111 case RunJIT:
112 Interpreter = AbstractInterpreter::createJIT(getToolName(), Message);
113 break;
114 case RunCBE:
115 Interpreter = AbstractInterpreter::createCBE(getToolName(), Message);
116 break;
Chris Lattnercc876a72003-05-03 03:19:41 +0000117 default:
Misha Brukman41485562003-09-29 22:40:52 +0000118 Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
Chris Lattnercc876a72003-05-03 03:19:41 +0000119 break;
Chris Lattner4a106452002-12-23 23:50:16 +0000120 }
Misha Brukman41485562003-09-29 22:40:52 +0000121 std::cerr << Message;
Chris Lattner4a106452002-12-23 23:50:16 +0000122
Misha Brukmana259c9b2003-07-24 21:59:10 +0000123 // Initialize auxiliary tools for debugging
Chris Lattner769f1fe2003-10-14 21:59:36 +0000124 cbe = AbstractInterpreter::createCBE(getToolName(), Message);
Misha Brukmana259c9b2003-07-24 21:59:10 +0000125 if (!cbe) { std::cout << Message << "\nExiting.\n"; exit(1); }
Chris Lattner769f1fe2003-10-14 21:59:36 +0000126 gcc = GCC::create(getToolName(), Message);
Misha Brukmana259c9b2003-07-24 21:59:10 +0000127 if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); }
128
Chris Lattner4a106452002-12-23 23:50:16 +0000129 // If there was an error creating the selected interpreter, quit with error.
130 return Interpreter == 0;
131}
132
133
134/// executeProgram - This method runs "Program", capturing the output of the
135/// program to a file, returning the filename of the file. A recommended
136/// filename may be optionally specified.
137///
138std::string BugDriver::executeProgram(std::string OutputFile,
Misha Brukman50733362003-07-24 18:17:43 +0000139 std::string BytecodeFile,
Chris Lattner769f1fe2003-10-14 21:59:36 +0000140 const std::string &SharedObj,
Misha Brukman50733362003-07-24 18:17:43 +0000141 AbstractInterpreter *AI) {
Chris Lattner769f1fe2003-10-14 21:59:36 +0000142 if (AI == 0) AI = Interpreter;
143 assert(AI && "Interpreter should have been created already!");
Chris Lattner4a106452002-12-23 23:50:16 +0000144 bool CreatedBytecode = false;
145 if (BytecodeFile.empty()) {
146 // Emit the program to a bytecode file...
147 BytecodeFile = getUniqueFilename("bugpoint-test-program.bc");
148
149 if (writeProgramToFile(BytecodeFile, Program)) {
150 std::cerr << ToolName << ": Error emitting bytecode to file '"
Misha Brukman50733362003-07-24 18:17:43 +0000151 << BytecodeFile << "'!\n";
Chris Lattner4a106452002-12-23 23:50:16 +0000152 exit(1);
153 }
154 CreatedBytecode = true;
155 }
156
157 if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
Misha Brukman50733362003-07-24 18:17:43 +0000158
Chris Lattner4a106452002-12-23 23:50:16 +0000159 // Check to see if this is a valid output filename...
160 OutputFile = getUniqueFilename(OutputFile);
161
Chris Lattner769f1fe2003-10-14 21:59:36 +0000162 // Figure out which shared objects to run, if any.
Chris Lattner7dac6582003-10-14 22:24:31 +0000163 std::vector<std::string> SharedObjs(AdditionalSOs);
Chris Lattner769f1fe2003-10-14 21:59:36 +0000164 if (!SharedObj.empty())
165 SharedObjs.push_back(SharedObj);
166
Chris Lattner4a106452002-12-23 23:50:16 +0000167 // Actually execute the program!
Chris Lattner769f1fe2003-10-14 21:59:36 +0000168 int RetVal = AI->ExecuteProgram(BytecodeFile, InputArgv, InputFile,
169 OutputFile, SharedObjs);
170
Chris Lattner4a106452002-12-23 23:50:16 +0000171
172 // Remove the temporary bytecode file.
Misha Brukman50733362003-07-24 18:17:43 +0000173 if (CreatedBytecode) removeFile(BytecodeFile);
Chris Lattner4a106452002-12-23 23:50:16 +0000174
175 // Return the filename we captured the output to.
176 return OutputFile;
177}
178
Misha Brukman50733362003-07-24 18:17:43 +0000179
Chris Lattnera0f5b152003-10-14 21:09:11 +0000180std::string BugDriver::compileSharedObject(const std::string &BytecodeFile) {
Misha Brukman50733362003-07-24 18:17:43 +0000181 assert(Interpreter && "Interpreter should have been created already!");
Chris Lattnera0f5b152003-10-14 21:09:11 +0000182 std::string OutputCFile;
Misha Brukman50733362003-07-24 18:17:43 +0000183
184 // Using CBE
Misha Brukman50733362003-07-24 18:17:43 +0000185 cbe->OutputC(BytecodeFile, OutputCFile);
186
187#if 0 /* This is an alternative, as yet unimplemented */
188 // Using LLC
Chris Lattnera0f5b152003-10-14 21:09:11 +0000189 std::string Message;
Misha Brukman41485562003-09-29 22:40:52 +0000190 LLC *llc = createLLCtool(Message);
Misha Brukman50733362003-07-24 18:17:43 +0000191 if (llc->OutputAsm(BytecodeFile, OutputFile)) {
192 std::cerr << "Could not generate asm code with `llc', exiting.\n";
193 exit(1);
194 }
195#endif
196
Chris Lattnera0f5b152003-10-14 21:09:11 +0000197 std::string SharedObjectFile;
Chris Lattner769f1fe2003-10-14 21:59:36 +0000198 if (gcc->MakeSharedObject(OutputCFile, GCC::CFile, SharedObjectFile))
Chris Lattnera0f5b152003-10-14 21:09:11 +0000199 exit(1);
Misha Brukman50733362003-07-24 18:17:43 +0000200
201 // Remove the intermediate C file
202 removeFile(OutputCFile);
203
Chris Lattner6ebe44d2003-10-19 21:54:13 +0000204 return "./" + SharedObjectFile;
Misha Brukman50733362003-07-24 18:17:43 +0000205}
206
207
Chris Lattner4a106452002-12-23 23:50:16 +0000208/// diffProgram - This method executes the specified module and diffs the output
209/// against the file specified by ReferenceOutputFile. If the output is
210/// different, true is returned.
211///
Misha Brukman50733362003-07-24 18:17:43 +0000212bool BugDriver::diffProgram(const std::string &BytecodeFile,
213 const std::string &SharedObject,
Chris Lattner640f22e2003-04-24 17:02:17 +0000214 bool RemoveBytecode) {
Chris Lattner4a106452002-12-23 23:50:16 +0000215 // Execute the program, generating an output file...
Misha Brukman50733362003-07-24 18:17:43 +0000216 std::string Output = executeProgram("", BytecodeFile, SharedObject);
Chris Lattner4a106452002-12-23 23:50:16 +0000217
Chris Lattner65f62792003-08-01 20:29:45 +0000218 std::string Error;
Chris Lattner4a106452002-12-23 23:50:16 +0000219 bool FilesDifferent = false;
Chris Lattner65f62792003-08-01 20:29:45 +0000220 if (DiffFiles(ReferenceOutputFile, Output, &Error)) {
221 if (!Error.empty()) {
222 std::cerr << "While diffing output: " << Error << "\n";
223 exit(1);
224 }
225 FilesDifferent = true;
226 }
Chris Lattner1a28a2b2003-10-18 21:02:51 +0000227
228 // Remove the generated output.
229 removeFile(Output);
Chris Lattner4a106452002-12-23 23:50:16 +0000230
Chris Lattner1a28a2b2003-10-18 21:02:51 +0000231 // Remove the bytecode file if we are supposed to.
Chris Lattner640f22e2003-04-24 17:02:17 +0000232 if (RemoveBytecode) removeFile(BytecodeFile);
Chris Lattner4a106452002-12-23 23:50:16 +0000233 return FilesDifferent;
234}
Misha Brukman91eabc12003-07-28 19:16:14 +0000235
236bool BugDriver::isExecutingJIT() {
237 return InterpreterSel == RunJIT;
238}
Brian Gaeked0fde302003-11-11 22:41:34 +0000239
240} // End llvm namespace