ExecutionDriver.cpp revision 70ef449741da8b1ef035e04a55958652a0200ba1
14a10645c70199c8d8567fbc46312158c419720abChris Lattner//===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===//
23da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman//
37c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell//                     The LLVM Compiler Infrastructure
47c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell//
521c62da287237d39d0d95004881ea4baae3be6daChris Lattner// This file is distributed under the University of Illinois Open Source
621c62da287237d39d0d95004881ea4baae3be6daChris Lattner// License. See LICENSE.TXT for details.
73da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman//
87c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell//===----------------------------------------------------------------------===//
94a10645c70199c8d8567fbc46312158c419720abChris Lattner//
104a10645c70199c8d8567fbc46312158c419720abChris Lattner// This file contains code used to execute the program utilizing one of the
118ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif// various ways of running LLVM bitcode.
124a10645c70199c8d8567fbc46312158c419720abChris Lattner//
134a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===//
144a10645c70199c8d8567fbc46312158c419720abChris Lattner
154a10645c70199c8d8567fbc46312158c419720abChris Lattner#include "BugDriver.h"
16f1b20d8620b05abaa52f40ac6d21f839b265fb00Chris Lattner#include "ToolRunner.h"
17551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/CommandLine.h"
18551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/Debug.h"
19551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/FileUtilities.h"
20551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/SystemUtils.h"
214a10645c70199c8d8567fbc46312158c419720abChris Lattner#include <fstream>
22e31a9ccb9c7568e6f185f667b53c274c0be9e603Chris Lattner#include <iostream>
2351ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer
24d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekeusing namespace llvm;
25d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
264a10645c70199c8d8567fbc46312158c419720abChris Lattnernamespace {
274a10645c70199c8d8567fbc46312158c419720abChris Lattner  // OutputType - Allow the user to specify the way code should be run, to test
284a10645c70199c8d8567fbc46312158c419720abChris Lattner  // for miscompilation.
294a10645c70199c8d8567fbc46312158c419720abChris Lattner  //
304a10645c70199c8d8567fbc46312158c419720abChris Lattner  enum OutputType {
319ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov    AutoPick, RunLLI, RunJIT, RunLLC, RunCBE, CBE_bug, LLC_Safe, Custom
324a10645c70199c8d8567fbc46312158c419720abChris Lattner  };
334148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman
34a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  cl::opt<double>
35a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  AbsTolerance("abs-tolerance", cl::desc("Absolute error tolerated"),
36a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner               cl::init(0.0));
37a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  cl::opt<double>
38a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  RelTolerance("rel-tolerance", cl::desc("Relative error tolerated"),
39a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner               cl::init(0.0));
40a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner
414a10645c70199c8d8567fbc46312158c419720abChris Lattner  cl::opt<OutputType>
4270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  InterpreterSel(cl::desc("Specify the \"test\" i.e. suspect back-end:"),
43b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke                 cl::values(clEnumValN(AutoPick, "auto", "Use best guess"),
44b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman                            clEnumValN(RunLLI, "run-int",
45b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman                                       "Execute with the interpreter"),
465073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
475073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
485073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
49c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner                            clEnumValN(CBE_bug,"cbe-bug", "Find CBE bugs"),
50cd6f46e2ac4c1d64067237c0b28eccfae22bd9f4Chris Lattner                            clEnumValN(LLC_Safe, "llc-safe", "Use LLC for all"),
519ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            clEnumValN(Custom, "run-custom",
529ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            "Use -exec-command to define a command to execute "
539ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            "the bitcode. Useful for cross-compilation."),
544d143ee01988e1b52e106ffccbb313937ca5e886Chris Lattner                            clEnumValEnd),
55b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke                 cl::init(AutoPick));
563c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner
5770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::opt<OutputType>
5870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreterSel(cl::desc("Specify \"safe\" i.e. known-good backend:"),
5970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                     cl::values(clEnumValN(AutoPick, "safe-auto", "Use best guess"),
6070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                clEnumValN(RunLLC, "safe-run-llc", "Compile with LLC"),
6170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                clEnumValN(RunCBE, "safe-run-cbe", "Compile with CBE"),
6270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                clEnumValN(Custom, "safe-run-custom",
6370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                "Use -exec-command to define a command to execute "
6470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                "the bitcode. Useful for cross-compilation."),
6570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                clEnumValEnd),
6670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                     cl::init(AutoPick));
6770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
6870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::opt<std::string>
6970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreterPath("safe-path",
7070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                      cl::desc("Specify the path to the \"safe\" backend program"),
7170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                      cl::init(""));
7270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
73c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  cl::opt<bool>
745e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  AppendProgramExitCode("append-exit-code",
755e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer      cl::desc("Append the exit code to the output so it gets diff'd too"),
765e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer      cl::init(false));
775e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer
783c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner  cl::opt<std::string>
793c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner  InputFile("input", cl::init("/dev/null"),
803c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner            cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
817dac658792425c10274594782d6fcf10208a16f0Chris Lattner
827dac658792425c10274594782d6fcf10208a16f0Chris Lattner  cl::list<std::string>
837dac658792425c10274594782d6fcf10208a16f0Chris Lattner  AdditionalSOs("additional-so",
847dac658792425c10274594782d6fcf10208a16f0Chris Lattner                cl::desc("Additional shared objects to load "
857dac658792425c10274594782d6fcf10208a16f0Chris Lattner                         "into executing programs"));
867d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner
8751ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer  cl::list<std::string>
889ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  AdditionalLinkerArgs("Xlinker",
8951ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer      cl::desc("Additional arguments to pass to the linker"));
909ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov
919ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  cl::opt<std::string>
929ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  CustomExecCommand("exec-command", cl::init("simulate"),
939ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov      cl::desc("Command to execute the bitcode (use with -run-custom) "
949ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov               "(default: simulate)"));
954a10645c70199c8d8567fbc46312158c419720abChris Lattner}
964a10645c70199c8d8567fbc46312158c419720abChris Lattner
97d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm {
98fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  // Anything specified after the --args option are taken as arguments to the
99fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  // program being debugged.
100fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  cl::list<std::string>
101fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
10260083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner            cl::ZeroOrMore, cl::PositionalEatsArgs);
10370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman}
104636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke
10570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohmannamespace {
106636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke  cl::list<std::string>
107636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke  ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."),
10860083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner           cl::ZeroOrMore, cl::PositionalEatsArgs);
10970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
11070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::list<std::string>
11170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeToolArgv("safe-tool-args", cl::Positional,
11270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman               cl::desc("<safe-tool arguments>..."),
11370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman               cl::ZeroOrMore, cl::PositionalEatsArgs);
114fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner}
1159d679cbc6cb5c7dc8cca87a1e1548c480fb056b8Misha Brukman
1164a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===//
1174a10645c70199c8d8567fbc46312158c419720abChris Lattner// BugDriver method implementation
1184a10645c70199c8d8567fbc46312158c419720abChris Lattner//
1194a10645c70199c8d8567fbc46312158c419720abChris Lattner
1204a10645c70199c8d8567fbc46312158c419720abChris Lattner/// initializeExecutionEnvironment - This method is used to set up the
1214a10645c70199c8d8567fbc46312158c419720abChris Lattner/// environment for executing LLVM programs.
1224a10645c70199c8d8567fbc46312158c419720abChris Lattner///
1234a10645c70199c8d8567fbc46312158c419720abChris Lattnerbool BugDriver::initializeExecutionEnvironment() {
1244a10645c70199c8d8567fbc46312158c419720abChris Lattner  std::cout << "Initializing execution environment: ";
1254a10645c70199c8d8567fbc46312158c419720abChris Lattner
1264148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman  // Create an instance of the AbstractInterpreter interface as specified on
1274148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman  // the command line
12870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreter = 0;
1294a10645c70199c8d8567fbc46312158c419720abChris Lattner  std::string Message;
130636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke
131cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner  switch (InterpreterSel) {
132b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke  case AutoPick:
133b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    InterpreterSel = RunCBE;
13470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Interpreter =
13570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      AbstractInterpreter::createCBE(getToolName(), Message, &ToolArgv);
136b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
137b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunJIT;
138636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
139636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
140b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
141b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
142b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunLLC;
143636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
144636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
145b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
146b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
147b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunLLI;
148636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
149636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
150b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
151b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
152b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = AutoPick;
153b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      Message = "Sorry, I can't automatically select an interpreter!\n";
154b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
155b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    break;
156769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunLLI:
157636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
158636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
159769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
160769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunLLC:
16170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case LLC_Safe:
162636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
163636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
164769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
165769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunJIT:
166636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
167636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
168769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
169769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunCBE:
170c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  case CBE_bug:
171c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner    Interpreter = AbstractInterpreter::createCBE(getToolName(), Message,
172c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner                                                 &ToolArgv);
173769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
1749ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  case Custom:
1759ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov    Interpreter = AbstractInterpreter::createCustom(getToolName(), Message,
1769ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                                                    CustomExecCommand);
1779ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov    break;
178cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner  default:
1794148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman    Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
180cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner    break;
1814a10645c70199c8d8567fbc46312158c419720abChris Lattner  }
182ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman  if (!Interpreter)
183ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman    std::cerr << Message;
184ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman  else // Display informational messages on stdout instead of stderr
185ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman    std::cout << Message;
1864a10645c70199c8d8567fbc46312158c419720abChris Lattner
18770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::string Path = SafeInterpreterPath;
18870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  if (Path.empty())
18970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Path = getToolName();
19070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::vector<std::string> SafeToolArgs = SafeToolArgv;
19170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  switch (SafeInterpreterSel) {
19270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case AutoPick:
19370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // In "cbe-bug" mode, default to using LLC as the "safe" backend.
19470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
19570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel == CBE_bug) {
19670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
19770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
19870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
19970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                       &SafeToolArgs);
20070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
20170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
20270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // In "llc-safe" mode, default to using LLC as the "safe" backend.
20370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
20470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel == LLC_Safe) {
20570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
20670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
20770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
20870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                       &SafeToolArgs);
20970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
21070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
21170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // Pick a backend that's different from the test backend. The JIT and
21270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // LLC backends share a lot of code, so prefer to use the CBE as the
21370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // safe back-end when testing them.
21470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
21570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunCBE) {
21670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunCBE;
21770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreter = AbstractInterpreter::createCBE(Path, Message,
21870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                       &SafeToolArgs);
21970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
22070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
22170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunLLC &&
22270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunJIT) {
22370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
22470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
22570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
22670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                       &SafeToolArgs);
22770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
22870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter) {
22970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = AutoPick;
23070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      Message = "Sorry, I can't automatically select an interpreter!\n";
23170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
23270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
23370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case RunLLC:
23470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    SafeToolArgs.push_back("--relocation-model=pic");
23570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    SafeInterpreter = AbstractInterpreter::createLLC(Path, Message,
23670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                     &SafeToolArgs);
23770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
23870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case RunCBE:
23970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    SafeInterpreter = AbstractInterpreter::createCBE(Path, Message,
24070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                     &SafeToolArgs);
24170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
24270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case Custom:
24370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    SafeInterpreter = AbstractInterpreter::createCustom(Path, Message,
24470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                        CustomExecCommand);
24570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
24670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  default:
24770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Message = "Sorry, this back-end is not supported by bugpoint as the "
24870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman              "\"safe\" backend right now!\n";
24970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
2507bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner  }
25170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  if (!SafeInterpreter) { std::cout << Message << "\nExiting.\n"; exit(1); }
252c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner
253769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  gcc = GCC::create(getToolName(), Message);
254a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman  if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); }
255a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman
2564a10645c70199c8d8567fbc46312158c419720abChris Lattner  // If there was an error creating the selected interpreter, quit with error.
2574a10645c70199c8d8567fbc46312158c419720abChris Lattner  return Interpreter == 0;
2584a10645c70199c8d8567fbc46312158c419720abChris Lattner}
2594a10645c70199c8d8567fbc46312158c419720abChris Lattner
260ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// compileProgram - Try to compile the specified module, throwing an exception
261ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// if an error occurs, or returning normally if not.  This is used for code
262ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// generation crash testing.
263ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner///
264ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattnervoid BugDriver::compileProgram(Module *M) {
2658ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Emit the program to a bitcode file...
2668ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  sys::Path BitcodeFile ("bugpoint-test-program.bc");
26751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  std::string ErrMsg;
2688ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (BitcodeFile.makeUnique(true,&ErrMsg)) {
26951c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    std::cerr << ToolName << ": Error making unique filename: " << ErrMsg
27051c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer              << "\n";
27151c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    exit(1);
27251c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  }
2738ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (writeProgramToFile(BitcodeFile.toString(), M)) {
2748ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    std::cerr << ToolName << ": Error emitting bitcode to file '"
2758ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif              << BitcodeFile << "'!\n";
276ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner    exit(1);
277ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner  }
278ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
2798ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    // Remove the temporary bitcode file when we are done.
2808ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  FileRemover BitcodeFileRemover(BitcodeFile);
281ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
282ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner  // Actually compile the program!
2838ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  Interpreter->compileProgram(BitcodeFile.toString());
284ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner}
285ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
2864a10645c70199c8d8567fbc46312158c419720abChris Lattner
2874a10645c70199c8d8567fbc46312158c419720abChris Lattner/// executeProgram - This method runs "Program", capturing the output of the
2884a10645c70199c8d8567fbc46312158c419720abChris Lattner/// program to a file, returning the filename of the file.  A recommended
2894a10645c70199c8d8567fbc46312158c419720abChris Lattner/// filename may be optionally specified.
2904a10645c70199c8d8567fbc46312158c419720abChris Lattner///
2914a10645c70199c8d8567fbc46312158c419720abChris Lattnerstd::string BugDriver::executeProgram(std::string OutputFile,
2928ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif                                      std::string BitcodeFile,
293769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner                                      const std::string &SharedObj,
294c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke                                      AbstractInterpreter *AI,
295c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke                                      bool *ProgramExitedNonzero) {
296769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  if (AI == 0) AI = Interpreter;
297769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  assert(AI && "Interpreter should have been created already!");
2988ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  bool CreatedBitcode = false;
29951c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  std::string ErrMsg;
3008ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (BitcodeFile.empty()) {
3018ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    // Emit the program to a bitcode file...
30297182985d530dbef488696c95a39c14fe56c995bReid Spencer    sys::Path uniqueFilename("bugpoint-test-program.bc");
30351c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    if (uniqueFilename.makeUnique(true, &ErrMsg)) {
30451c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer      std::cerr << ToolName << ": Error making unique filename: "
30551c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer                << ErrMsg << "!\n";
30651c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer      exit(1);
30751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    }
3088ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    BitcodeFile = uniqueFilename.toString();
3094a10645c70199c8d8567fbc46312158c419720abChris Lattner
3108ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    if (writeProgramToFile(BitcodeFile, Program)) {
3118ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif      std::cerr << ToolName << ": Error emitting bitcode to file '"
3128ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif                << BitcodeFile << "'!\n";
3134a10645c70199c8d8567fbc46312158c419720abChris Lattner      exit(1);
3144a10645c70199c8d8567fbc46312158c419720abChris Lattner    }
3158ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    CreatedBitcode = true;
3164a10645c70199c8d8567fbc46312158c419720abChris Lattner  }
3174a10645c70199c8d8567fbc46312158c419720abChris Lattner
3188ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Remove the temporary bitcode file when we are done.
3198ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  sys::Path BitcodePath (BitcodeFile);
3208ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  FileRemover BitcodeFileRemover(BitcodePath, CreatedBitcode);
3219709272675feaca030cce14d0f5eb7f342b3fc1dChris Lattner
3224a10645c70199c8d8567fbc46312158c419720abChris Lattner  if (OutputFile.empty()) OutputFile = "bugpoint-execution-output";
3235073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3244a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Check to see if this is a valid output filename...
32597182985d530dbef488696c95a39c14fe56c995bReid Spencer  sys::Path uniqueFile(OutputFile);
32651c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  if (uniqueFile.makeUnique(true, &ErrMsg)) {
32751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    std::cerr << ToolName << ": Error making unique filename: "
32851c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer              << ErrMsg << "\n";
32951c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    exit(1);
33051c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  }
33197182985d530dbef488696c95a39c14fe56c995bReid Spencer  OutputFile = uniqueFile.toString();
3324a10645c70199c8d8567fbc46312158c419720abChris Lattner
333769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  // Figure out which shared objects to run, if any.
3347dac658792425c10274594782d6fcf10208a16f0Chris Lattner  std::vector<std::string> SharedObjs(AdditionalSOs);
335769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  if (!SharedObj.empty())
336769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    SharedObjs.push_back(SharedObj);
337769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner
33870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  int RetVal = AI->ExecuteProgram(BitcodeFile, InputArgv, InputFile,
33970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                  OutputFile, AdditionalLinkerArgs, SharedObjs,
34070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                  Timeout, MemoryLimit);
3417d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner
3427d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner  if (RetVal == -1) {
3437d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    std::cerr << "<timeout>";
3447d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    static bool FirstTimeout = true;
3457d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    if (FirstTimeout) {
3467d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner      std::cout << "\n"
3477d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "*** Program execution timed out!  This mechanism is designed to handle\n"
3487d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    programs stuck in infinite loops gracefully.  The -timeout option\n"
3497d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    can be used to change the timeout threshold or disable it completely\n"
3507d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    (with -timeout=0).  This message is only displayed once.\n";
3517d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner      FirstTimeout = false;
3527d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    }
3537d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner  }
354769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner
3555e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  if (AppendProgramExitCode) {
3565e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    std::ofstream outFile(OutputFile.c_str(), std::ios_base::app);
3575e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    outFile << "exit " << RetVal << '\n';
3585e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    outFile.close();
3595e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  }
3605e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer
361c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  if (ProgramExitedNonzero != 0)
362c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke    *ProgramExitedNonzero = (RetVal != 0);
3634a10645c70199c8d8567fbc46312158c419720abChris Lattner
3644a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Return the filename we captured the output to.
3654a10645c70199c8d8567fbc46312158c419720abChris Lattner  return OutputFile;
3664a10645c70199c8d8567fbc46312158c419720abChris Lattner}
3674a10645c70199c8d8567fbc46312158c419720abChris Lattner
36870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman/// executeProgramSafely - Used to create reference output with the "safe"
369c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// backend, if reference output is not provided.
370c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke///
37170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohmanstd::string BugDriver::executeProgramSafely(std::string OutputFile) {
372c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  bool ProgramExitedNonzero;
37370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::string outFN = executeProgram(OutputFile, "", "", SafeInterpreter,
374c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke                                     &ProgramExitedNonzero);
375c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  return outFN;
376c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke}
3775073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3788ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greifstd::string BugDriver::compileSharedObject(const std::string &BitcodeFile) {
3795073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman  assert(Interpreter && "Interpreter should have been created already!");
380c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  sys::Path OutputFile;
3815073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
38270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  // Using the known-good backend.
38370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  GCC::FileType FT = SafeInterpreter->OutputCode(BitcodeFile, OutputFile);
3845073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
385a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner  std::string SharedObjectFile;
386c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  if (gcc->MakeSharedObject(OutputFile.toString(), FT,
387130e2a361147a31ae631d3648afdd95a5c0d40f2Chris Lattner                            SharedObjectFile, AdditionalLinkerArgs))
388a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner    exit(1);
3895073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3905073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman  // Remove the intermediate C file
391c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  OutputFile.eraseFromDisk();
3925073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3936ebe44d22f6dd1ab9f7aa1f3cfd02be52145d535Chris Lattner  return "./" + SharedObjectFile;
3945073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman}
3955073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3966a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// createReferenceFile - calls compileProgram and then records the output
3976a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// into ReferenceOutputFile. Returns true if reference file created, false
3986a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// otherwise. Note: initializeExecutionEnvironment should be called BEFORE
3996a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// this function.
4006a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins///
401c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattnerbool BugDriver::createReferenceFile(Module *M, const std::string &Filename) {
4026a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  try {
4036a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    compileProgram(Program);
404d41b30def3181bce4bf87e8bde664d15663165d0Jeff Cohen  } catch (ToolExecutionError &) {
4056a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    return false;
4066a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  }
4076a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  try {
40870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    ReferenceOutputFile = executeProgramSafely(Filename);
4096a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    std::cout << "Reference output is: " << ReferenceOutputFile << "\n\n";
4106a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  } catch (ToolExecutionError &TEE) {
4116a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    std::cerr << TEE.what();
41270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (Interpreter != SafeInterpreter) {
41370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      std::cerr << "*** There is a bug running the \"safe\" backend.  Either"
41470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                << " debug it (for example with the -run-cbe bugpoint option,"
41570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                << " if CBE is being used as the \"safe\" backend), or fix the"
41670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                << " error some other way.\n";
4176a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    }
4186a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    return false;
4196a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  }
4206a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  return true;
4216a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins}
4225073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4236a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// diffProgram - This method executes the specified module and diffs the
4246a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// output against the file specified by ReferenceOutputFile.  If the output
4256a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// is different, true is returned.  If there is a problem with the code
4266a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// generator (e.g., llc crashes), this will throw an exception.
4274a10645c70199c8d8567fbc46312158c419720abChris Lattner///
4288ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greifbool BugDriver::diffProgram(const std::string &BitcodeFile,
4295073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            const std::string &SharedObject,
4308ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif                            bool RemoveBitcode) {
431c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  bool ProgramExitedNonzero;
432c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke
4334a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Execute the program, generating an output file...
4348ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  sys::Path Output(executeProgram("", BitcodeFile, SharedObject, 0,
4355f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer                                      &ProgramExitedNonzero));
436c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke
43765f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner  std::string Error;
4384a10645c70199c8d8567fbc46312158c419720abChris Lattner  bool FilesDifferent = false;
439a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  if (int Diff = DiffFilesWithTolerance(sys::Path(ReferenceOutputFile),
440a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner                                        sys::Path(Output.toString()),
441a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner                                        AbsTolerance, RelTolerance, &Error)) {
442a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner    if (Diff == 2) {
443eed80e23751ecc50c1fa5604f67be4b826d5b417Misha Brukman      std::cerr << "While diffing output: " << Error << '\n';
44465f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner      exit(1);
44565f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner    }
44665f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner    FilesDifferent = true;
44765f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner  }
4483da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman
4491a28a2b76d16913fe38f47032d31620a55dcce2eChris Lattner  // Remove the generated output.
450a229c5cce75209047db32c6039aa0b0fd481f049Reid Spencer  Output.eraseFromDisk();
4514a10645c70199c8d8567fbc46312158c419720abChris Lattner
4528ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Remove the bitcode file if we are supposed to.
4538ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (RemoveBitcode)
4548ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    sys::Path(BitcodeFile).eraseFromDisk();
4554a10645c70199c8d8567fbc46312158c419720abChris Lattner  return FilesDifferent;
4564a10645c70199c8d8567fbc46312158c419720abChris Lattner}
45791eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman
45891eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukmanbool BugDriver::isExecutingJIT() {
45991eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman  return InterpreterSel == RunJIT;
46091eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman}
461d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
462