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"
20f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar#include "llvm/Support/Program.h"
21551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/SystemUtils.h"
2274382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner#include "llvm/Support/raw_ostream.h"
234a10645c70199c8d8567fbc46312158c419720abChris Lattner#include <fstream>
2451ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer
25d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekeusing namespace llvm;
26d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
274a10645c70199c8d8567fbc46312158c419720abChris Lattnernamespace {
284a10645c70199c8d8567fbc46312158c419720abChris Lattner  // OutputType - Allow the user to specify the way code should be run, to test
294a10645c70199c8d8567fbc46312158c419720abChris Lattner  // for miscompilation.
304a10645c70199c8d8567fbc46312158c419720abChris Lattner  //
314a10645c70199c8d8567fbc46312158c419720abChris Lattner  enum OutputType {
32a443e5b1f1013612950fc3c9ebfafca60a1c20dfEric Christopher    AutoPick, RunLLI, RunJIT, RunLLC, RunLLCIA, LLC_Safe, CompileCustom, Custom
334a10645c70199c8d8567fbc46312158c419720abChris Lattner  };
344148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman
35a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  cl::opt<double>
36a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  AbsTolerance("abs-tolerance", cl::desc("Absolute error tolerated"),
37a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner               cl::init(0.0));
38a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  cl::opt<double>
39a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner  RelTolerance("rel-tolerance", cl::desc("Relative error tolerated"),
40a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner               cl::init(0.0));
41a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner
424a10645c70199c8d8567fbc46312158c419720abChris Lattner  cl::opt<OutputType>
4370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  InterpreterSel(cl::desc("Specify the \"test\" i.e. suspect back-end:"),
44b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke                 cl::values(clEnumValN(AutoPick, "auto", "Use best guess"),
45b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman                            clEnumValN(RunLLI, "run-int",
46b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman                                       "Execute with the interpreter"),
475073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            clEnumValN(RunJIT, "run-jit", "Execute with JIT"),
485073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            clEnumValN(RunLLC, "run-llc", "Compile with LLC"),
4950010429a7c3285dab15ede68acae7231fade367Chris Lattner                            clEnumValN(RunLLCIA, "run-llc-ia",
5050010429a7c3285dab15ede68acae7231fade367Chris Lattner                                  "Compile with LLC with integrated assembler"),
51cd6f46e2ac4c1d64067237c0b28eccfae22bd9f4Chris Lattner                            clEnumValN(LLC_Safe, "llc-safe", "Use LLC for all"),
52f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick                            clEnumValN(CompileCustom, "compile-custom",
53f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick                            "Use -compile-command to define a command to "
54f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick                            "compile the bitcode. Useful to avoid linking."),
559ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            clEnumValN(Custom, "run-custom",
569ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            "Use -exec-command to define a command to execute "
579ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov                            "the bitcode. Useful for cross-compilation."),
584d143ee01988e1b52e106ffccbb313937ca5e886Chris Lattner                            clEnumValEnd),
59b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke                 cl::init(AutoPick));
603c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner
6170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::opt<OutputType>
6270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreterSel(cl::desc("Specify \"safe\" i.e. known-good backend:"),
6349419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng              cl::values(clEnumValN(AutoPick, "safe-auto", "Use best guess"),
6449419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValN(RunLLC, "safe-run-llc", "Compile with LLC"),
6549419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValN(Custom, "safe-run-custom",
6649419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         "Use -exec-command to define a command to execute "
6749419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         "the bitcode. Useful for cross-compilation."),
6849419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                         clEnumValEnd),
6970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                     cl::init(AutoPick));
7070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
7170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::opt<std::string>
7270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeInterpreterPath("safe-path",
7349419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                   cl::desc("Specify the path to the \"safe\" backend program"),
7449419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng                   cl::init(""));
7570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
76c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke  cl::opt<bool>
775e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  AppendProgramExitCode("append-exit-code",
785e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer      cl::desc("Append the exit code to the output so it gets diff'd too"),
795e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer      cl::init(false));
805e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer
813c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner  cl::opt<std::string>
823c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner  InputFile("input", cl::init("/dev/null"),
833c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner            cl::desc("Filename to pipe in as stdin (default: /dev/null)"));
847dac658792425c10274594782d6fcf10208a16f0Chris Lattner
857dac658792425c10274594782d6fcf10208a16f0Chris Lattner  cl::list<std::string>
867dac658792425c10274594782d6fcf10208a16f0Chris Lattner  AdditionalSOs("additional-so",
877dac658792425c10274594782d6fcf10208a16f0Chris Lattner                cl::desc("Additional shared objects to load "
887dac658792425c10274594782d6fcf10208a16f0Chris Lattner                         "into executing programs"));
897d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner
9051ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer  cl::list<std::string>
91de86cbdc57f30621d3692da7a36613bb623d13b5Andrew Trick  AdditionalLinkerArgs("Xlinker",
9251ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer      cl::desc("Additional arguments to pass to the linker"));
939ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov
949ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  cl::opt<std::string>
95f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick  CustomCompileCommand("compile-command", cl::init("llc"),
96f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick      cl::desc("Command to compile the bitcode (use with -compile-custom) "
97f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick               "(default: llc)"));
98f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick
99f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick  cl::opt<std::string>
1009ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  CustomExecCommand("exec-command", cl::init("simulate"),
1019ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov      cl::desc("Command to execute the bitcode (use with -run-custom) "
1029ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov               "(default: simulate)"));
1034a10645c70199c8d8567fbc46312158c419720abChris Lattner}
1044a10645c70199c8d8567fbc46312158c419720abChris Lattner
105d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm {
106fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  // Anything specified after the --args option are taken as arguments to the
107fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  // program being debugged.
108fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  cl::list<std::string>
109fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner  InputArgv("args", cl::Positional, cl::desc("<program arguments>..."),
11060083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner            cl::ZeroOrMore, cl::PositionalEatsArgs);
11168ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar
11268ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar  cl::opt<std::string>
11368ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar  OutputPrefix("output-prefix", cl::init("bugpoint"),
11468ccdaa84909108c42417a8091c771598e26456eDaniel Dunbar            cl::desc("Prefix to use for outputs (default: 'bugpoint')"));
11570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman}
116636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke
11770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohmannamespace {
118636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke  cl::list<std::string>
119636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke  ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."),
12060083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner           cl::ZeroOrMore, cl::PositionalEatsArgs);
12170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
12270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  cl::list<std::string>
12370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  SafeToolArgv("safe-tool-args", cl::Positional,
12470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman               cl::desc("<safe-tool arguments>..."),
12570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman               cl::ZeroOrMore, cl::PositionalEatsArgs);
12638efa38c864f6d29892d92102c0232b234b526edBill Wendling
127faa95763ebb081769bf6ac35e170394c9d477813Kalle Raiskila  cl::opt<std::string>
128f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  CCBinary("gcc", cl::init(""), cl::desc("The gcc binary to use."));
129faa95763ebb081769bf6ac35e170394c9d477813Kalle Raiskila
13038efa38c864f6d29892d92102c0232b234b526edBill Wendling  cl::list<std::string>
131f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  CCToolArgv("gcc-tool-args", cl::Positional,
13238efa38c864f6d29892d92102c0232b234b526edBill Wendling              cl::desc("<gcc-tool arguments>..."),
13338efa38c864f6d29892d92102c0232b234b526edBill Wendling              cl::ZeroOrMore, cl::PositionalEatsArgs);
134fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner}
1359d679cbc6cb5c7dc8cca87a1e1548c480fb056b8Misha Brukman
1364a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===//
1374a10645c70199c8d8567fbc46312158c419720abChris Lattner// BugDriver method implementation
1384a10645c70199c8d8567fbc46312158c419720abChris Lattner//
1394a10645c70199c8d8567fbc46312158c419720abChris Lattner
1404a10645c70199c8d8567fbc46312158c419720abChris Lattner/// initializeExecutionEnvironment - This method is used to set up the
1414a10645c70199c8d8567fbc46312158c419720abChris Lattner/// environment for executing LLVM programs.
1424a10645c70199c8d8567fbc46312158c419720abChris Lattner///
1434a10645c70199c8d8567fbc46312158c419720abChris Lattnerbool BugDriver::initializeExecutionEnvironment() {
144ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman  outs() << "Initializing execution environment: ";
1454a10645c70199c8d8567fbc46312158c419720abChris Lattner
1464148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman  // Create an instance of the AbstractInterpreter interface as specified on
1474148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman  // the command line
148dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  SafeInterpreter = nullptr;
1494a10645c70199c8d8567fbc46312158c419720abChris Lattner  std::string Message;
150636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke
151f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  if (CCBinary.empty()) {
152f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar    if (sys::findProgramByName("clang"))
153f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar      CCBinary = "clang";
154f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar    else
155f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar      CCBinary = "gcc";
156f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  }
157f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar
158cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner  switch (InterpreterSel) {
159b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke  case AutoPick:
160b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
161b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunJIT;
162636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
163636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
164b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
165b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
166b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunLLC;
167636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
168f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                   CCBinary, &ToolArgv,
169f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                   &CCToolArgv);
170b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
171b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
172b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = RunLLI;
173636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke      Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
174636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                   &ToolArgv);
175b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
176b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    if (!Interpreter) {
177b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      InterpreterSel = AutoPick;
178b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke      Message = "Sorry, I can't automatically select an interpreter!\n";
179b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    }
180b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke    break;
181769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunLLI:
182636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createLLI(getToolName(), Message,
183636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
184769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
185769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunLLC:
18650010429a7c3285dab15ede68acae7231fade367Chris Lattner  case RunLLCIA:
18770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case LLC_Safe:
188636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createLLC(getToolName(), Message,
189f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                 CCBinary, &ToolArgv,
190f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                 &CCToolArgv,
19150010429a7c3285dab15ede68acae7231fade367Chris Lattner                                                 InterpreterSel == RunLLCIA);
192769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
193769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  case RunJIT:
194636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke    Interpreter = AbstractInterpreter::createJIT(getToolName(), Message,
195636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke                                                 &ToolArgv);
196769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    break;
197f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick  case CompileCustom:
198f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick    Interpreter =
199f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick      AbstractInterpreter::createCustomCompiler(Message, CustomCompileCommand);
200f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick    break;
2019ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov  case Custom:
202f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick    Interpreter =
203f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick      AbstractInterpreter::createCustomExecutor(Message, CustomExecCommand);
2049ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov    break;
2054a10645c70199c8d8567fbc46312158c419720abChris Lattner  }
206ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman  if (!Interpreter)
20765f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << Message;
208ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman  else // Display informational messages on stdout instead of stderr
209ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman    outs() << Message;
2104a10645c70199c8d8567fbc46312158c419720abChris Lattner
21170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::string Path = SafeInterpreterPath;
21270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  if (Path.empty())
21370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Path = getToolName();
21470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  std::vector<std::string> SafeToolArgs = SafeToolArgv;
21570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  switch (SafeInterpreterSel) {
21670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case AutoPick:
21770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    // In "llc-safe" mode, default to using LLC as the "safe" backend.
21870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
21970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel == LLC_Safe) {
22070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
22170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
222197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
223f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                       CCBinary,
22438efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &SafeToolArgs,
225f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                       &CCToolArgv);
22670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
22770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman
22870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter &&
22970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunLLC &&
23070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman        InterpreterSel != RunJIT) {
23170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = RunLLC;
23270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeToolArgs.push_back("--relocation-model=pic");
233197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman      SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
234f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                       CCBinary,
23538efa38c864f6d29892d92102c0232b234b526edBill Wendling                                                       &SafeToolArgs,
236f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                       &CCToolArgv);
23770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
23870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (!SafeInterpreter) {
23970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman      SafeInterpreterSel = AutoPick;
240ed7fcf4fd93b16bfa698451862355fdd17239736Saleem Abdulrasool      Message = "Sorry, I can't automatically select a safe interpreter!\n";
24170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    }
24270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
24370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case RunLLC:
24450010429a7c3285dab15ede68acae7231fade367Chris Lattner  case RunLLCIA:
24570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    SafeToolArgs.push_back("--relocation-model=pic");
246197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman    SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message,
247f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                     CCBinary, &SafeToolArgs,
248f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar                                                     &CCToolArgv,
24950010429a7c3285dab15ede68acae7231fade367Chris Lattner                                                SafeInterpreterSel == RunLLCIA);
25070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
25170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  case Custom:
252f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick    SafeInterpreter =
253f73311bb646bf970806ba7caba220e6bffff7b49Andrew Trick      AbstractInterpreter::createCustomExecutor(Message, CustomExecCommand);
25470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
25570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  default:
25670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    Message = "Sorry, this back-end is not supported by bugpoint as the "
25770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman              "\"safe\" backend right now!\n";
25870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    break;
2597bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner  }
260ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman  if (!SafeInterpreter) { outs() << Message << "\nExiting.\n"; exit(1); }
261de86cbdc57f30621d3692da7a36613bb623d13b5Andrew Trick
262f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  cc = CC::create(Message, CCBinary, &CCToolArgv);
263f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  if (!cc) { outs() << Message << "\nExiting.\n"; exit(1); }
264a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman
2654a10645c70199c8d8567fbc46312158c419720abChris Lattner  // If there was an error creating the selected interpreter, quit with error.
266dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  return Interpreter == nullptr;
2674a10645c70199c8d8567fbc46312158c419720abChris Lattner}
2684a10645c70199c8d8567fbc46312158c419720abChris Lattner
26922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// compileProgram - Try to compile the specified module, returning false and
27022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// setting Error if an error occurs.  This is used for code generation
27122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// crash testing.
272ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner///
273248d1c65f1ce5bc04b892998b2c2061e6a5f8e1cRafael Espindolavoid BugDriver::compileProgram(Module *M, std::string *Error) const {
2748ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Emit the program to a bitcode file...
2759a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  SmallString<128> BitcodeFile;
2769a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  int BitcodeFD;
277c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines  std::error_code EC = sys::fs::createUniqueFile(
2789a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola      OutputPrefix + "-test-program-%%%%%%%.bc", BitcodeFD, BitcodeFile);
2799a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  if (EC) {
2809a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    errs() << ToolName << ": Error making unique filename: " << EC.message()
28165f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman           << "\n";
28251c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    exit(1);
28351c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  }
2849a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  if (writeProgramToFile(BitcodeFile.str(), BitcodeFD, M)) {
2859a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    errs() << ToolName << ": Error emitting bitcode to file '" << BitcodeFile
2869a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola           << "'!\n";
287ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner    exit(1);
288ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner  }
289ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
29022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  // Remove the temporary bitcode file when we are done.
291c9c08fb3a7fb5e8ea3e1477a88507704c7a70ba1Michael J. Spencer  FileRemover BitcodeFileRemover(BitcodeFile.str(), !SaveTemps);
292ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
293ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner  // Actually compile the program!
29441396302126c24f1d5231e191852ebf2ff37fe23Duncan Sands  Interpreter->compileProgram(BitcodeFile.str(), Error, Timeout, MemoryLimit);
295ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner}
296ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner
2974a10645c70199c8d8567fbc46312158c419720abChris Lattner
2984a10645c70199c8d8567fbc46312158c419720abChris Lattner/// executeProgram - This method runs "Program", capturing the output of the
2994a10645c70199c8d8567fbc46312158c419720abChris Lattner/// program to a file, returning the filename of the file.  A recommended
3004a10645c70199c8d8567fbc46312158c419720abChris Lattner/// filename may be optionally specified.
3014a10645c70199c8d8567fbc46312158c419720abChris Lattner///
30210757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindolastd::string BugDriver::executeProgram(const Module *Program,
30310757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindola                                      std::string OutputFile,
3048ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif                                      std::string BitcodeFile,
305769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner                                      const std::string &SharedObj,
30622ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                      AbstractInterpreter *AI,
30713793264e7cbf58e3b7b0cff3baac8e0b7a11a9dRafael Espindola                                      std::string *Error) const {
308dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  if (!AI) AI = Interpreter;
309769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  assert(AI && "Interpreter should have been created already!");
3108ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  bool CreatedBitcode = false;
3118ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (BitcodeFile.empty()) {
3128ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    // Emit the program to a bitcode file...
3139a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    SmallString<128> UniqueFilename;
3149a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    int UniqueFD;
315c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines    std::error_code EC = sys::fs::createUniqueFile(
3169a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola        OutputPrefix + "-test-program-%%%%%%%.bc", UniqueFD, UniqueFilename);
3179a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    if (EC) {
31865f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << ToolName << ": Error making unique filename: "
3199a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola             << EC.message() << "!\n";
32051c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer      exit(1);
32151c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    }
3229a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    BitcodeFile = UniqueFilename.str();
3234a10645c70199c8d8567fbc46312158c419720abChris Lattner
3249a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    if (writeProgramToFile(BitcodeFile, UniqueFD, Program)) {
32565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << ToolName << ": Error emitting bitcode to file '"
32665f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << BitcodeFile << "'!\n";
3274a10645c70199c8d8567fbc46312158c419720abChris Lattner      exit(1);
3284a10645c70199c8d8567fbc46312158c419720abChris Lattner    }
3298ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif    CreatedBitcode = true;
3304a10645c70199c8d8567fbc46312158c419720abChris Lattner  }
3314a10645c70199c8d8567fbc46312158c419720abChris Lattner
3328ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Remove the temporary bitcode file when we are done.
3339a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  std::string BitcodePath(BitcodeFile);
3349a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  FileRemover BitcodeFileRemover(BitcodePath,
335c9c08fb3a7fb5e8ea3e1477a88507704c7a70ba1Michael J. Spencer    CreatedBitcode && !SaveTemps);
3369709272675feaca030cce14d0f5eb7f342b3fc1dChris Lattner
337e528a2c21a63a06c5e3cdf929000d77c59ac0937Hal Finkel  if (OutputFile.empty()) OutputFile = OutputPrefix + "-execution-output-%%%%%%%";
3385073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
3394a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Check to see if this is a valid output filename...
3409a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  SmallString<128> UniqueFile;
341c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines  std::error_code EC = sys::fs::createUniqueFile(OutputFile, UniqueFile);
3429a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  if (EC) {
34365f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << ToolName << ": Error making unique filename: "
3449a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola           << EC.message() << "\n";
34551c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer    exit(1);
34651c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer  }
3479a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  OutputFile = UniqueFile.str();
3484a10645c70199c8d8567fbc46312158c419720abChris Lattner
349769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  // Figure out which shared objects to run, if any.
3507dac658792425c10274594782d6fcf10208a16f0Chris Lattner  std::vector<std::string> SharedObjs(AdditionalSOs);
351769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner  if (!SharedObj.empty())
352769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner    SharedObjs.push_back(SharedObj);
353769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner
35422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  int RetVal = AI->ExecuteProgram(BitcodeFile, InputArgv, InputFile, OutputFile,
35522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                  Error, AdditionalLinkerArgs, SharedObjs,
35670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman                                  Timeout, MemoryLimit);
35722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error->empty())
35822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return OutputFile;
3597d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner
3607d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner  if (RetVal == -1) {
36165f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman    errs() << "<timeout>";
3627d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    static bool FirstTimeout = true;
3637d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    if (FirstTimeout) {
364ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman      outs() << "\n"
3657d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "*** Program execution timed out!  This mechanism is designed to handle\n"
3667d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    programs stuck in infinite loops gracefully.  The -timeout option\n"
3677d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    can be used to change the timeout threshold or disable it completely\n"
3687d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "    (with -timeout=0).  This message is only displayed once.\n";
3697d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner      FirstTimeout = false;
3707d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner    }
3717d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner  }
372769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner
3735e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  if (AppendProgramExitCode) {
3745e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    std::ofstream outFile(OutputFile.c_str(), std::ios_base::app);
3755e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    outFile << "exit " << RetVal << '\n';
3765e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer    outFile.close();
3775e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer  }
3785e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer
3794a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Return the filename we captured the output to.
3804a10645c70199c8d8567fbc46312158c419720abChris Lattner  return OutputFile;
3814a10645c70199c8d8567fbc46312158c419720abChris Lattner}
3824a10645c70199c8d8567fbc46312158c419720abChris Lattner
38370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman/// executeProgramSafely - Used to create reference output with the "safe"
384c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// backend, if reference output is not provided.
385c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke///
38610757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindolastd::string BugDriver::executeProgramSafely(const Module *Program,
387de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar                                            const std::string &OutputFile,
38813793264e7cbf58e3b7b0cff3baac8e0b7a11a9dRafael Espindola                                            std::string *Error) const {
38910757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindola  return executeProgram(Program, OutputFile, "", "", SafeInterpreter, Error);
390c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke}
3915073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
39222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewyckystd::string BugDriver::compileSharedObject(const std::string &BitcodeFile,
39322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                           std::string &Error) {
3945073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman  assert(Interpreter && "Interpreter should have been created already!");
395f656a1d4991e52725f73308ee829ffce812c96d1Rafael Espindola  std::string OutputFile;
3965073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
39770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman  // Using the known-good backend.
398f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  CC::FileType FT = SafeInterpreter->OutputCode(BitcodeFile, OutputFile,
39922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                                 Error);
40022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty())
40122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return "";
4025073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
403a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner  std::string SharedObjectFile;
404f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  bool Failure = cc->MakeSharedObject(OutputFile, FT, SharedObjectFile,
40522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                                       AdditionalLinkerArgs, Error);
40622ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty())
40722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return "";
40822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (Failure)
409a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner    exit(1);
4105073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4115073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman  // Remove the intermediate C file
412f656a1d4991e52725f73308ee829ffce812c96d1Rafael Espindola  sys::fs::remove(OutputFile);
4135073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
41436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  return SharedObjectFile;
4155073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman}
4165073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4176a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// createReferenceFile - calls compileProgram and then records the output
418de86cbdc57f30621d3692da7a36613bb623d13b5Andrew Trick/// into ReferenceOutputFile. Returns true if reference file created, false
4196a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// otherwise. Note: initializeExecutionEnvironment should be called BEFORE
4206a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// this function.
4216a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins///
422c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattnerbool BugDriver::createReferenceFile(Module *M, const std::string &Filename) {
42322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  std::string Error;
42422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  compileProgram(Program, &Error);
42522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty())
4266a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    return false;
42722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky
42810757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindola  ReferenceOutputFile = executeProgramSafely(Program, Filename, &Error);
42922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!Error.empty()) {
43022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    errs() << Error;
43170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman    if (Interpreter != SafeInterpreter) {
43265f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << "*** There is a bug running the \"safe\" backend.  Either"
433a443e5b1f1013612950fc3c9ebfafca60a1c20dfEric Christopher             << " debug it (for example with the -run-jit bugpoint option,"
434a443e5b1f1013612950fc3c9ebfafca60a1c20dfEric Christopher             << " if JIT is being used as the \"safe\" backend), or fix the"
43565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman             << " error some other way.\n";
4366a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    }
4376a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins    return false;
4386a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  }
43922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  outs() << "\nReference output is: " << ReferenceOutputFile << "\n\n";
4406a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins  return true;
4416a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins}
4425073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman
4436a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// diffProgram - This method executes the specified module and diffs the
4446a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// output against the file specified by ReferenceOutputFile.  If the output
44522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky/// is different, 1 is returned.  If there is a problem with the code
4467c863eb8cc34c8ae97ae90672758eb6637b1125fAndrew Trick/// generator (e.g., llc crashes), this will set ErrMsg.
4474a10645c70199c8d8567fbc46312158c419720abChris Lattner///
44810757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindolabool BugDriver::diffProgram(const Module *Program,
44910757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindola                            const std::string &BitcodeFile,
4505073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman                            const std::string &SharedObject,
45122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky                            bool RemoveBitcode,
45213793264e7cbf58e3b7b0cff3baac8e0b7a11a9dRafael Espindola                            std::string *ErrMsg) const {
4534a10645c70199c8d8567fbc46312158c419720abChris Lattner  // Execute the program, generating an output file...
4549a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola  std::string Output(
455dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines      executeProgram(Program, "", BitcodeFile, SharedObject, nullptr, ErrMsg));
45622ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky  if (!ErrMsg->empty())
45722ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky    return false;
458c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke
45965f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner  std::string Error;
4604a10645c70199c8d8567fbc46312158c419720abChris Lattner  bool FilesDifferent = false;
461bbf97ea7d5832922b3c40b67701b5719bfcb772bRafael Espindola  if (int Diff = DiffFilesWithTolerance(ReferenceOutputFile,
4629a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola                                        Output,
463a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner                                        AbsTolerance, RelTolerance, &Error)) {
464a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner    if (Diff == 2) {
46565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman      errs() << "While diffing output: " << Error << '\n';
46665f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner      exit(1);
46765f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner    }
46865f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner    FilesDifferent = true;
46965f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner  }
47080becf194d56524e8c75618ac57a34520f87a684David Goodwin  else {
47180becf194d56524e8c75618ac57a34520f87a684David Goodwin    // Remove the generated output if there are no differences.
4729a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    sys::fs::remove(Output);
47380becf194d56524e8c75618ac57a34520f87a684David Goodwin  }
4744a10645c70199c8d8567fbc46312158c419720abChris Lattner
4758ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  // Remove the bitcode file if we are supposed to.
4768ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif  if (RemoveBitcode)
4779a23039e42ce494feaf4b5efa806494026329b9fRafael Espindola    sys::fs::remove(BitcodeFile);
4784a10645c70199c8d8567fbc46312158c419720abChris Lattner  return FilesDifferent;
4794a10645c70199c8d8567fbc46312158c419720abChris Lattner}
48091eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman
48191eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukmanbool BugDriver::isExecutingJIT() {
48291eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman  return InterpreterSel == RunJIT;
48391eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman}
484d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
485