ExecutionDriver.cpp revision 22ff748712b348300e51248339b6e8cf9b59e2c6
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"
2174382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner#include "llvm/Support/raw_ostream.h"
224a10645c70199c8d8567fbc46312158c419720abChris Lattner#include <fstream>
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 {
3150010429a7c3285dab15ede68acae7231fade367Chris Lattner    AutoPick, RunLLI, RunJIT, RunLLC, RunLLCIA, 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"),
4850010429a7c3285dab15ede68acae7231fade367Chris Lattner                            clEnumValN(RunLLCIA, "run-llc-ia",
4950010429a7c3285dab15ede68acae7231fade367Chris Lattner                                  "Compile with LLC with integrated assembler"),
505073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            clEnumValN(RunCBE, "run-cbe", "Compile with CBE"),
51c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner                            clEnumValN(CBE_bug,"cbe-bug", "Find CBE bugs"),
52cd6f46e2ac4c1d64067237c0b28eccfae22bd9f4Chris Lattner                            clEnumValN(LLC_Safe, "llc-safe", "Use LLC for all"),
539ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            clEnumValN(Custom, "run-custom",
549ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            "Use -exec-command to define a command to execute "
559ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            "the bitcode. Useful for cross-compilation."),
564d143ee01988e1b52e106ffccbb313937ca5e886Chris Lattner                            clEnumValEnd),
57b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke                 cl::init(AutoPick));
583c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner
5970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::opt<OutputType>
6070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreterSel(cl::desc("Specify \"safe\" i.e. known-good backend:"),
6149419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng              cl::values(clEnumValN(AutoPick, "safe-auto", "Use best guess"),
6249419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValN(RunLLC, "safe-run-llc", "Compile with LLC"),
6349419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValN(RunCBE, "safe-run-cbe", "Compile with CBE"),
6449419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValN(Custom, "safe-run-custom",
6549419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         "Use -exec-command to define a command to execute "
6649419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         "the bitcode. Useful for cross-compilation."),
6749419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValEnd),
6870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                     cl::init(AutoPick));
6970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
7070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::opt<std::string>
7170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreterPath("safe-path",
7249419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                   cl::desc("Specify the path to the \"safe\" backend program"),
7349419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                   cl::init(""));
7470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
75c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  cl::opt<bool>
765e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  AppendProgramExitCode("append-exit-code",
775e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer      cl::desc("Append the exit code to the output so it gets diff'd too"),
785e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer      cl::init(false));
795e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer
803c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner  cl::opt<std::string>
813c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner  InputFile("input", cl::init("/dev/null"),
823c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner            cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
837dac658792425c10274594782d6fcf10208a16f0Chris Lattner
847dac658792425c10274594782d6fcf10208a16f0Chris Lattner  cl::list<std::string>
857dac658792425c10274594782d6fcf10208a16f0Chris Lattner  AdditionalSOs("additional-so",
867dac658792425c10274594782d6fcf10208a16f0Chris Lattner                cl::desc("Additional shared objects to load "
877dac658792425c10274594782d6fcf10208a16f0Chris Lattner                         "into executing programs"));
887d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner
8951ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer  cl::list<std::string>
909ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  AdditionalLinkerArgs("Xlinker",
9151ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer      cl::desc("Additional arguments to pass to the linker"));
929ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov
939ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  cl::opt<std::string>
949ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  CustomExecCommand("exec-command", cl::init("simulate"),
959ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov      cl::desc("Command to execute the bitcode (use with -run-custom) "
969ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov               "(default: simulate)"));
974a10645c70199c8d8567fbc46312158c419720abChris Lattner}
984a10645c70199c8d8567fbc46312158c419720abChris Lattner
99d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm {
100fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  // Anything specified after the --args option are taken as arguments to the
101fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  // program being debugged.
102fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  cl::list<std::string>
103fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
10460083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner            cl::ZeroOrMore, cl::PositionalEatsArgs);
10568ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar
10668ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar  cl::opt<std::string>
10768ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar  OutputPrefix("output-prefix", cl::init("bugpoint"),
10868ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar            cl::desc("Prefix to use for outputs (default: 'bugpoint')"));
10970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman}
110636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke
11170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohmannamespace {
112636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke  cl::list<std::string>
113636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke  ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."),
11460083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner           cl::ZeroOrMore, cl::PositionalEatsArgs);
11570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
11670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::list<std::string>
11770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeToolArgv("safe-tool-args", cl::Positional,
11870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman               cl::desc("<safe-tool arguments>..."),
11970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman               cl::ZeroOrMore, cl::PositionalEatsArgs);
12038efa38c864f6d29892d92102c0232b234b526edBill Wendling
12138efa38c864f6d29892d92102c0232b234b526edBill Wendling  cl::list<std::string>
12238efa38c864f6d29892d92102c0232b234b526edBill Wendling  GCCToolArgv("gcc-tool-args", cl::Positional,
12338efa38c864f6d29892d92102c0232b234b526edBill Wendling              cl::desc("<gcc-tool arguments>..."),
12438efa38c864f6d29892d92102c0232b234b526edBill Wendling              cl::ZeroOrMore, cl::PositionalEatsArgs);
125fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner}
1269d679cbc6cb5c7dc8cca87a1e1548c480fb056b8Misha Brukman
1274a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===//
1284a10645c70199c8d8567fbc46312158c419720abChris Lattner// BugDriver method implementation
1294a10645c70199c8d8567fbc46312158c419720abChris Lattner//
1304a10645c70199c8d8567fbc46312158c419720abChris Lattner
1314a10645c70199c8d8567fbc46312158c419720abChris Lattner/// initializeExecutionEnvironment - This method is used to set up the
1324a10645c70199c8d8567fbc46312158c419720abChris Lattner/// environment for executing LLVM programs.
1334a10645c70199c8d8567fbc46312158c419720abChris Lattner///
1344a10645c70199c8d8567fbc46312158c419720abChris Lattnerbool BugDriver::initializeExecutionEnvironment() {
135ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman  outs() << "Initializing execution environment: ";
1364a10645c70199c8d8567fbc46312158c419720abChris Lattner
1374148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman  // Create an instance of the AbstractInterpreter interface as specified on
1384148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman  // the command line
13970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreter = 0;
1404a10645c70199c8d8567fbc46312158c419720abChris Lattner  std::string Message;
141636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke
142cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner  switch (InterpreterSel) {
143b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke  case AutoPick:
144b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    InterpreterSel = RunCBE;
14570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Interpreter =
14638efa38c864f6d29892d92102c0232b234b526edBill Wendling      AbstractInterpreter::createCBE(getToolName(), Message, &ToolArgv,
14738efa38c864f6d29892d92102c0232b234b526edBill Wendling                                     &GCCToolArgv);
148b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
149b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunJIT;
150636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
151636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
152b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
153b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
154b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunLLC;
155636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
15638efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                   &ToolArgv, &GCCToolArgv);
157b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
158b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
159b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunLLI;
160636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
161636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
162b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
163b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
164b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = AutoPick;
165b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      Message = "Sorry, I can't automatically select an interpreter!\n";
166b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
167b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    break;
168769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunLLI:
169636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
170636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
171769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
172769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunLLC:
17350010429a7c3285dab15ede68acae7231fade367Chris Lattner  case RunLLCIA:
17470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case LLC_Safe:
175636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
17650010429a7c3285dab15ede68acae7231fade367Chris Lattner                                                 &ToolArgv, &GCCToolArgv,
17750010429a7c3285dab15ede68acae7231fade367Chris Lattner                                                 InterpreterSel == RunLLCIA);
178769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
179769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunJIT:
180636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
181636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
182769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
183769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunCBE:
184c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  case CBE_bug:
185c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner    Interpreter = AbstractInterpreter::createCBE(getToolName(), Message,
18638efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                 &ToolArgv, &GCCToolArgv);
187769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
1889ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  case Custom:
189197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman    Interpreter = AbstractInterpreter::createCustom(Message, CustomExecCommand);
1909ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov    break;
191cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner  default:
1924148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman    Message = "Sorry, this back-end is not supported by bugpoint right now!\n";
193cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner    break;
1944a10645c70199c8d8567fbc46312158c419720abChris Lattner  }
195ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman  if (!Interpreter)
19665f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << Message;
197ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman  else // Display informational messages on stdout instead of stderr
198ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman    outs() << Message;
1994a10645c70199c8d8567fbc46312158c419720abChris Lattner
20070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::string Path = SafeInterpreterPath;
20170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  if (Path.empty())
20270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Path = getToolName();
20370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::vector<std::string> SafeToolArgs = SafeToolArgv;
20470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  switch (SafeInterpreterSel) {
20570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case AutoPick:
20670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // In "cbe-bug" mode, default to using LLC as the "safe" backend.
20770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
20870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel == CBE_bug) {
20970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
21070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
211197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
21238efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &SafeToolArgs,
21338efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &GCCToolArgv);
21470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
21570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
21670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // In "llc-safe" mode, default to using LLC as the "safe" backend.
21770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
21870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel == LLC_Safe) {
21970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
22070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
221197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
22238efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &SafeToolArgs,
22338efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &GCCToolArgv);
22470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
22570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
22670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // Pick a backend that's different from the test backend. The JIT and
22770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // LLC backends share a lot of code, so prefer to use the CBE as the
22870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // safe back-end when testing them.
22970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
23070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunCBE) {
23170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunCBE;
232197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman      SafeInterpreter = AbstractInterpreter::createCBE(Path.c_str(), Message,
23338efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &SafeToolArgs,
23438efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &GCCToolArgv);
23570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
23670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
23770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunLLC &&
23870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunJIT) {
23970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
24070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
241197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
24238efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &SafeToolArgs,
24338efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &GCCToolArgv);
24470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
24570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter) {
24670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = AutoPick;
24770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      Message = "Sorry, I can't automatically select an interpreter!\n";
24870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
24970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
25070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case RunLLC:
25150010429a7c3285dab15ede68acae7231fade367Chris Lattner  case RunLLCIA:
25270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    SafeToolArgs.push_back("--relocation-model=pic");
253197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman    SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
25438efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                     &SafeToolArgs,
25550010429a7c3285dab15ede68acae7231fade367Chris Lattner                                                     &GCCToolArgv,
25650010429a7c3285dab15ede68acae7231fade367Chris Lattner                                                SafeInterpreterSel == RunLLCIA);
25770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
25870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case RunCBE:
259197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman    SafeInterpreter = AbstractInterpreter::createCBE(Path.c_str(), Message,
26038efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                     &SafeToolArgs,
26138efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                     &GCCToolArgv);
26270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
26370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case Custom:
264197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman    SafeInterpreter = AbstractInterpreter::createCustom(Message,
26570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                                        CustomExecCommand);
26670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
26770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  default:
26870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Message = "Sorry, this back-end is not supported by bugpoint as the "
26970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman              "\"safe\" backend right now!\n";
27070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
2717bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner  }
272ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman  if (!SafeInterpreter) { outs() << Message << "\nExiting.\n"; exit(1); }
273c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner
274197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman  gcc = GCC::create(Message, &GCCToolArgv);
275ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman  if (!gcc) { outs() << Message << "\nExiting.\n"; exit(1); }
276a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman
2774a10645c70199c8d8567fbc46312158c419720abChris Lattner  // If there was an error creating the selected interpreter, quit with error.
2784a10645c70199c8d8567fbc46312158c419720abChris Lattner  return Interpreter == 0;
2794a10645c70199c8d8567fbc46312158c419720abChris Lattner}
2804a10645c70199c8d8567fbc46312158c419720abChris Lattner
28122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// compileProgram - Try to compile the specified module, returning false and
28222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// setting Error if an error occurs.  This is used for code generation
28322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// crash testing.
284ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner///
28522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewyckyvoid BugDriver::compileProgram(Module *M, std::string *Error) {
2868ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Emit the program to a bitcode file...
28768ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar  sys::Path BitcodeFile (OutputPrefix + "-test-program.bc");
28851c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  std::string ErrMsg;
28922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (BitcodeFile.makeUnique(true, &ErrMsg)) {
29065f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << ToolName << ": Error making unique filename: " << ErrMsg
29165f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman           << "\n";
29251c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    exit(1);
29351c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  }
29474382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner  if (writeProgramToFile(BitcodeFile.str(), M)) {
29565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << ToolName << ": Error emitting bitcode to file '"
29674382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner           << BitcodeFile.str() << "'!\n";
297ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner    exit(1);
298ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner  }
299ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
30022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  // Remove the temporary bitcode file when we are done.
30186c006a971eb6fab6bd4923ff7ec1c0bc9c28f74Anton Korobeynikov  FileRemover BitcodeFileRemover(BitcodeFile, !SaveTemps);
302ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
303ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner  // Actually compile the program!
30422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  Interpreter->compileProgram(BitcodeFile.str(), Error);
305ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner}
306ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
3074a10645c70199c8d8567fbc46312158c419720abChris Lattner
3084a10645c70199c8d8567fbc46312158c419720abChris Lattner/// executeProgram - This method runs "Program", capturing the output of the
3094a10645c70199c8d8567fbc46312158c419720abChris Lattner/// program to a file, returning the filename of the file.  A recommended
3104a10645c70199c8d8567fbc46312158c419720abChris Lattner/// filename may be optionally specified.
3114a10645c70199c8d8567fbc46312158c419720abChris Lattner///
3124a10645c70199c8d8567fbc46312158c419720abChris Lattnerstd::string BugDriver::executeProgram(std::string OutputFile,
3138ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif                                      std::string BitcodeFile,
314769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner                                      const std::string &SharedObj,
31522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                      AbstractInterpreter *AI,
31622ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                      std::string *Error) {
317769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  if (AI == 0) AI = Interpreter;
318769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  assert(AI && "Interpreter should have been created already!");
3198ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  bool CreatedBitcode = false;
32051c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  std::string ErrMsg;
3218ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (BitcodeFile.empty()) {
3228ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    // Emit the program to a bitcode file...
32368ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar    sys::Path uniqueFilename(OutputPrefix + "-test-program.bc");
32451c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    if (uniqueFilename.makeUnique(true, &ErrMsg)) {
32565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << ToolName << ": Error making unique filename: "
32665f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << ErrMsg << "!\n";
32751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer      exit(1);
32851c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    }
32974382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner    BitcodeFile = uniqueFilename.str();
3304a10645c70199c8d8567fbc46312158c419720abChris Lattner
3318ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    if (writeProgramToFile(BitcodeFile, Program)) {
33265f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << ToolName << ": Error emitting bitcode to file '"
33365f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << BitcodeFile << "'!\n";
3344a10645c70199c8d8567fbc46312158c419720abChris Lattner      exit(1);
3354a10645c70199c8d8567fbc46312158c419720abChris Lattner    }
3368ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    CreatedBitcode = true;
3374a10645c70199c8d8567fbc46312158c419720abChris Lattner  }
3384a10645c70199c8d8567fbc46312158c419720abChris Lattner
3398ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Remove the temporary bitcode file when we are done.
34016350f8d00fc3a4a8d2da8a746a29979505af9a8Nick Lewycky  sys::Path BitcodePath(BitcodeFile);
34186c006a971eb6fab6bd4923ff7ec1c0bc9c28f74Anton Korobeynikov  FileRemover BitcodeFileRemover(BitcodePath, CreatedBitcode && !SaveTemps);
3429709272675feaca030cce14d0f5eb7f342b3fc1dChris Lattner
34368ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar  if (OutputFile.empty()) OutputFile = OutputPrefix + "-execution-output";
3445073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3454a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Check to see if this is a valid output filename...
34697182985d530dbef488696c95a39c14fe56c995bReid Spencer  sys::Path uniqueFile(OutputFile);
34751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  if (uniqueFile.makeUnique(true, &ErrMsg)) {
34865f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << ToolName << ": Error making unique filename: "
34965f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman           << ErrMsg << "\n";
35051c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    exit(1);
35151c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  }
35274382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner  OutputFile = uniqueFile.str();
3534a10645c70199c8d8567fbc46312158c419720abChris Lattner
354769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  // Figure out which shared objects to run, if any.
3557dac658792425c10274594782d6fcf10208a16f0Chris Lattner  std::vector<std::string> SharedObjs(AdditionalSOs);
356769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  if (!SharedObj.empty())
357769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    SharedObjs.push_back(SharedObj);
358769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner
35922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  int RetVal = AI->ExecuteProgram(BitcodeFile, InputArgv, InputFile, OutputFile,
36022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                  Error, AdditionalLinkerArgs, SharedObjs,
36170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                  Timeout, MemoryLimit);
36222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error->empty())
36322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return OutputFile;
3647d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner
3657d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner  if (RetVal == -1) {
36665f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << "<timeout>";
3677d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    static bool FirstTimeout = true;
3687d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    if (FirstTimeout) {
369ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman      outs() << "\n"
3707d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "*** Program execution timed out!  This mechanism is designed to handle\n"
3717d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    programs stuck in infinite loops gracefully.  The -timeout option\n"
3727d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    can be used to change the timeout threshold or disable it completely\n"
3737d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    (with -timeout=0).  This message is only displayed once.\n";
3747d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner      FirstTimeout = false;
3757d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    }
3767d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner  }
377769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner
3785e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  if (AppendProgramExitCode) {
3795e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    std::ofstream outFile(OutputFile.c_str(), std::ios_base::app);
3805e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    outFile << "exit " << RetVal << '\n';
3815e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    outFile.close();
3825e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  }
3835e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer
3844a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Return the filename we captured the output to.
3854a10645c70199c8d8567fbc46312158c419720abChris Lattner  return OutputFile;
3864a10645c70199c8d8567fbc46312158c419720abChris Lattner}
3874a10645c70199c8d8567fbc46312158c419720abChris Lattner
38870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman/// executeProgramSafely - Used to create reference output with the "safe"
389c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// backend, if reference output is not provided.
390c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke///
39122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewyckystd::string BugDriver::executeProgramSafely(std::string OutputFile,
39222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                            std::string *Error) {
39322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  return executeProgram(OutputFile, "", "", SafeInterpreter, Error);
394c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke}
3955073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
39622ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewyckystd::string BugDriver::compileSharedObject(const std::string &BitcodeFile,
39722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                           std::string &Error) {
3985073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman  assert(Interpreter && "Interpreter should have been created already!");
399c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  sys::Path OutputFile;
4005073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
40170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  // Using the known-good backend.
40222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  GCC::FileType FT = SafeInterpreter->OutputCode(BitcodeFile, OutputFile,
40322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                                 Error);
40422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty())
40522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return "";
4065073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
407a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner  std::string SharedObjectFile;
40822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  bool Failure = gcc->MakeSharedObject(OutputFile.str(), FT, SharedObjectFile,
40922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                       AdditionalLinkerArgs, Error);
41022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty())
41122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return "";
41222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (Failure)
413a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner    exit(1);
4145073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4155073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman  // Remove the intermediate C file
416c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner  OutputFile.eraseFromDisk();
4175073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4186ebe44d22f6dd1ab9f7aa1f3cfd02be52145d535Chris Lattner  return "./" + SharedObjectFile;
4195073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman}
4205073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4216a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// createReferenceFile - calls compileProgram and then records the output
4226a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// into ReferenceOutputFile. Returns true if reference file created, false
4236a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// otherwise. Note: initializeExecutionEnvironment should be called BEFORE
4246a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// this function.
4256a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins///
426c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattnerbool BugDriver::createReferenceFile(Module *M, const std::string &Filename) {
42722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  std::string Error;
42822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  compileProgram(Program, &Error);
42922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty())
4306a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    return false;
43122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky
43222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  ReferenceOutputFile = executeProgramSafely(Filename, &Error);
43322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty()) {
43422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    errs() << Error;
43570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (Interpreter != SafeInterpreter) {
43665f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << "*** There is a bug running the \"safe\" backend.  Either"
43765f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << " debug it (for example with the -run-cbe bugpoint option,"
43865f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << " if CBE is being used as the \"safe\" backend), or fix the"
43965f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << " error some other way.\n";
4406a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    }
4416a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    return false;
4426a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  }
44322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  outs() << "\nReference output is: " << ReferenceOutputFile << "\n\n";
4446a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  return true;
4456a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins}
4465073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4476a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// diffProgram - This method executes the specified module and diffs the
4486a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// output against the file specified by ReferenceOutputFile.  If the output
44922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// is different, 1 is returned.  If there is a problem with the code
45022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// generator (e.g., llc crashes), this will return -1 and set Error.
4514a10645c70199c8d8567fbc46312158c419720abChris Lattner///
4528ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greifbool BugDriver::diffProgram(const std::string &BitcodeFile,
4535073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            const std::string &SharedObject,
45422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                            bool RemoveBitcode,
45522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                            std::string *ErrMsg) {
4564a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Execute the program, generating an output file...
45722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  sys::Path Output(executeProgram("", BitcodeFile, SharedObject, 0, ErrMsg));
45822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!ErrMsg->empty())
45922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return false;
460c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke
46165f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner  std::string Error;
4624a10645c70199c8d8567fbc46312158c419720abChris Lattner  bool FilesDifferent = false;
463a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  if (int Diff = DiffFilesWithTolerance(sys::Path(ReferenceOutputFile),
46474382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner                                        sys::Path(Output.str()),
465a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner                                        AbsTolerance, RelTolerance, &Error)) {
466a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner    if (Diff == 2) {
46765f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << "While diffing output: " << Error << '\n';
46865f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner      exit(1);
46965f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner    }
47065f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner    FilesDifferent = true;
47165f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner  }
47280becf194d56524e8c75618ac57a34520f87a684David Goodwin  else {
47380becf194d56524e8c75618ac57a34520f87a684David Goodwin    // Remove the generated output if there are no differences.
47480becf194d56524e8c75618ac57a34520f87a684David Goodwin    Output.eraseFromDisk();
47580becf194d56524e8c75618ac57a34520f87a684David Goodwin  }
4764a10645c70199c8d8567fbc46312158c419720abChris Lattner
4778ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Remove the bitcode file if we are supposed to.
4788ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (RemoveBitcode)
4798ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    sys::Path(BitcodeFile).eraseFromDisk();
4804a10645c70199c8d8567fbc46312158c419720abChris Lattner  return FilesDifferent;
4814a10645c70199c8d8567fbc46312158c419720abChris Lattner}
48291eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman
48391eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukmanbool BugDriver::isExecutingJIT() {
48491eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman  return InterpreterSel == RunJIT;
48591eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman}
486d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
487