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