ExecutionDriver.cpp revision 197f728d49fa0cc0baa5aadb2b905fbd8c22a81e
14a10645c70199c8d8567fbc46312158c419720abChris Lattner//===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===// 23da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman// 37c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell// The LLVM Compiler Infrastructure 47c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell// 521c62da287237d39d0d95004881ea4baae3be6daChris Lattner// This file is distributed under the University of Illinois Open Source 621c62da287237d39d0d95004881ea4baae3be6daChris Lattner// License. See LICENSE.TXT for details. 73da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman// 87c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell//===----------------------------------------------------------------------===// 94a10645c70199c8d8567fbc46312158c419720abChris Lattner// 104a10645c70199c8d8567fbc46312158c419720abChris Lattner// This file contains code used to execute the program utilizing one of the 118ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif// various ways of running LLVM bitcode. 124a10645c70199c8d8567fbc46312158c419720abChris Lattner// 134a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===// 144a10645c70199c8d8567fbc46312158c419720abChris Lattner 154a10645c70199c8d8567fbc46312158c419720abChris Lattner#include "BugDriver.h" 16f1b20d8620b05abaa52f40ac6d21f839b265fb00Chris Lattner#include "ToolRunner.h" 17551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/CommandLine.h" 18551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/Debug.h" 19551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/FileUtilities.h" 20551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/SystemUtils.h" 214a10645c70199c8d8567fbc46312158c419720abChris Lattner#include <fstream> 2251ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer 23d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekeusing namespace llvm; 24d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 254a10645c70199c8d8567fbc46312158c419720abChris Lattnernamespace { 264a10645c70199c8d8567fbc46312158c419720abChris Lattner // OutputType - Allow the user to specify the way code should be run, to test 274a10645c70199c8d8567fbc46312158c419720abChris Lattner // for miscompilation. 284a10645c70199c8d8567fbc46312158c419720abChris Lattner // 294a10645c70199c8d8567fbc46312158c419720abChris Lattner enum OutputType { 309ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov AutoPick, RunLLI, RunJIT, RunLLC, RunCBE, CBE_bug, LLC_Safe, Custom 314a10645c70199c8d8567fbc46312158c419720abChris Lattner }; 324148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman 33a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::opt<double> 34a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner AbsTolerance("abs-tolerance", cl::desc("Absolute error tolerated"), 35a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::init(0.0)); 36a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::opt<double> 37a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner RelTolerance("rel-tolerance", cl::desc("Relative error tolerated"), 38a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::init(0.0)); 39a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner 404a10645c70199c8d8567fbc46312158c419720abChris Lattner cl::opt<OutputType> 4170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman InterpreterSel(cl::desc("Specify the \"test\" i.e. suspect back-end:"), 42b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke cl::values(clEnumValN(AutoPick, "auto", "Use best guess"), 43b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman clEnumValN(RunLLI, "run-int", 44b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman "Execute with the interpreter"), 455073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman clEnumValN(RunJIT, "run-jit", "Execute with JIT"), 465073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman clEnumValN(RunLLC, "run-llc", "Compile with LLC"), 475073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman clEnumValN(RunCBE, "run-cbe", "Compile with CBE"), 48c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner clEnumValN(CBE_bug,"cbe-bug", "Find CBE bugs"), 49cd6f46e2ac4c1d64067237c0b28eccfae22bd9f4Chris Lattner clEnumValN(LLC_Safe, "llc-safe", "Use LLC for all"), 509ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov clEnumValN(Custom, "run-custom", 519ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov "Use -exec-command to define a command to execute " 529ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov "the bitcode. Useful for cross-compilation."), 534d143ee01988e1b52e106ffccbb313937ca5e886Chris Lattner clEnumValEnd), 54b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke cl::init(AutoPick)); 553c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner 5670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman cl::opt<OutputType> 5770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterSel(cl::desc("Specify \"safe\" i.e. known-good backend:"), 5849419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng cl::values(clEnumValN(AutoPick, "safe-auto", "Use best guess"), 5949419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng clEnumValN(RunLLC, "safe-run-llc", "Compile with LLC"), 6049419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng clEnumValN(RunCBE, "safe-run-cbe", "Compile with CBE"), 6149419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng clEnumValN(Custom, "safe-run-custom", 6249419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng "Use -exec-command to define a command to execute " 6349419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng "the bitcode. Useful for cross-compilation."), 6449419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng clEnumValEnd), 6570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman cl::init(AutoPick)); 6670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman 6770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman cl::opt<std::string> 6870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterPath("safe-path", 6949419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng cl::desc("Specify the path to the \"safe\" backend program"), 7049419e28fe400509363cecf63a3a824002c1d9e0Evan Cheng cl::init("")); 7170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman 72c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke cl::opt<bool> 735e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer AppendProgramExitCode("append-exit-code", 745e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer cl::desc("Append the exit code to the output so it gets diff'd too"), 755e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer cl::init(false)); 765e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer 773c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner cl::opt<std::string> 783c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner InputFile("input", cl::init("/dev/null"), 793c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner cl::desc("Filename to pipe in as stdin (default: /dev/null)")); 807dac658792425c10274594782d6fcf10208a16f0Chris Lattner 817dac658792425c10274594782d6fcf10208a16f0Chris Lattner cl::list<std::string> 827dac658792425c10274594782d6fcf10208a16f0Chris Lattner AdditionalSOs("additional-so", 837dac658792425c10274594782d6fcf10208a16f0Chris Lattner cl::desc("Additional shared objects to load " 847dac658792425c10274594782d6fcf10208a16f0Chris Lattner "into executing programs")); 857d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner 8651ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer cl::list<std::string> 879ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov AdditionalLinkerArgs("Xlinker", 8851ab5c8862466bbddcd5c4369779c472978ed309Reid Spencer cl::desc("Additional arguments to pass to the linker")); 899ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov 909ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov cl::opt<std::string> 919ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov CustomExecCommand("exec-command", cl::init("simulate"), 929ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov cl::desc("Command to execute the bitcode (use with -run-custom) " 939ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov "(default: simulate)")); 944a10645c70199c8d8567fbc46312158c419720abChris Lattner} 954a10645c70199c8d8567fbc46312158c419720abChris Lattner 96d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm { 97fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner // Anything specified after the --args option are taken as arguments to the 98fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner // program being debugged. 99fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner cl::list<std::string> 100fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner InputArgv("args", cl::Positional, cl::desc("<program arguments>..."), 10160083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner cl::ZeroOrMore, cl::PositionalEatsArgs); 10270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman} 103636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke 10470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohmannamespace { 105636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke cl::list<std::string> 106636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."), 10760083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner cl::ZeroOrMore, cl::PositionalEatsArgs); 10870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman 10970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman cl::list<std::string> 11070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeToolArgv("safe-tool-args", cl::Positional, 11170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman cl::desc("<safe-tool arguments>..."), 11270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman cl::ZeroOrMore, cl::PositionalEatsArgs); 11338efa38c864f6d29892d92102c0232b234b526edBill Wendling 11438efa38c864f6d29892d92102c0232b234b526edBill Wendling cl::list<std::string> 11538efa38c864f6d29892d92102c0232b234b526edBill Wendling GCCToolArgv("gcc-tool-args", cl::Positional, 11638efa38c864f6d29892d92102c0232b234b526edBill Wendling cl::desc("<gcc-tool arguments>..."), 11738efa38c864f6d29892d92102c0232b234b526edBill Wendling cl::ZeroOrMore, cl::PositionalEatsArgs); 118fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner} 1199d679cbc6cb5c7dc8cca87a1e1548c480fb056b8Misha Brukman 1204a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===// 1214a10645c70199c8d8567fbc46312158c419720abChris Lattner// BugDriver method implementation 1224a10645c70199c8d8567fbc46312158c419720abChris Lattner// 1234a10645c70199c8d8567fbc46312158c419720abChris Lattner 1244a10645c70199c8d8567fbc46312158c419720abChris Lattner/// initializeExecutionEnvironment - This method is used to set up the 1254a10645c70199c8d8567fbc46312158c419720abChris Lattner/// environment for executing LLVM programs. 1264a10645c70199c8d8567fbc46312158c419720abChris Lattner/// 1274a10645c70199c8d8567fbc46312158c419720abChris Lattnerbool BugDriver::initializeExecutionEnvironment() { 128ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Initializing execution environment: "; 1294a10645c70199c8d8567fbc46312158c419720abChris Lattner 1304148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman // Create an instance of the AbstractInterpreter interface as specified on 1314148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman // the command line 13270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreter = 0; 1334a10645c70199c8d8567fbc46312158c419720abChris Lattner std::string Message; 134636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke 135cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner switch (InterpreterSel) { 136b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke case AutoPick: 137b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunCBE; 13870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman Interpreter = 13938efa38c864f6d29892d92102c0232b234b526edBill Wendling AbstractInterpreter::createCBE(getToolName(), Message, &ToolArgv, 14038efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 141b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 142b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunJIT; 143636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createJIT(getToolName(), Message, 144636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 145b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 146b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 147b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunLLC; 148636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLC(getToolName(), Message, 14938efa38c864f6d29892d92102c0232b234b526edBill Wendling &ToolArgv, &GCCToolArgv); 150b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 151b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 152b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunLLI; 153636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLI(getToolName(), Message, 154636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 155b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 156b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 157b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = AutoPick; 158b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke Message = "Sorry, I can't automatically select an interpreter!\n"; 159b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 160b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke break; 161769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunLLI: 162636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLI(getToolName(), Message, 163636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 164769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 165769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunLLC: 16670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman case LLC_Safe: 167636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLC(getToolName(), Message, 16838efa38c864f6d29892d92102c0232b234b526edBill Wendling &ToolArgv, &GCCToolArgv); 169769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 170769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunJIT: 171636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createJIT(getToolName(), Message, 172636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 173769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 174769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunCBE: 175c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner case CBE_bug: 176c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner Interpreter = AbstractInterpreter::createCBE(getToolName(), Message, 17738efa38c864f6d29892d92102c0232b234b526edBill Wendling &ToolArgv, &GCCToolArgv); 178769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 1799ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov case Custom: 180197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman Interpreter = AbstractInterpreter::createCustom(Message, CustomExecCommand); 1819ef7425a4d44ff129495da2357c98c67162fbeffAnton Korobeynikov break; 182cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner default: 1834148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman Message = "Sorry, this back-end is not supported by bugpoint right now!\n"; 184cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner break; 1854a10645c70199c8d8567fbc46312158c419720abChris Lattner } 186ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman if (!Interpreter) 18765f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << Message; 188ad6996d74f60340d6139af8f345d93735661fbbaMatthijs Kooijman else // Display informational messages on stdout instead of stderr 189ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << Message; 1904a10645c70199c8d8567fbc46312158c419720abChris Lattner 19170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman std::string Path = SafeInterpreterPath; 19270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (Path.empty()) 19370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman Path = getToolName(); 19470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman std::vector<std::string> SafeToolArgs = SafeToolArgv; 19570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman switch (SafeInterpreterSel) { 19670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman case AutoPick: 19770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman // In "cbe-bug" mode, default to using LLC as the "safe" backend. 19870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (!SafeInterpreter && 19970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman InterpreterSel == CBE_bug) { 20070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterSel = RunLLC; 20170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeToolArgs.push_back("--relocation-model=pic"); 202197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message, 20338efa38c864f6d29892d92102c0232b234b526edBill Wendling &SafeToolArgs, 20438efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 20570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman } 20670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman 20770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman // In "llc-safe" mode, default to using LLC as the "safe" backend. 20870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (!SafeInterpreter && 20970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman InterpreterSel == LLC_Safe) { 21070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterSel = RunLLC; 21170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeToolArgs.push_back("--relocation-model=pic"); 212197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message, 21338efa38c864f6d29892d92102c0232b234b526edBill Wendling &SafeToolArgs, 21438efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 21570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman } 21670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman 21770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman // Pick a backend that's different from the test backend. The JIT and 21870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman // LLC backends share a lot of code, so prefer to use the CBE as the 21970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman // safe back-end when testing them. 22070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (!SafeInterpreter && 22170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman InterpreterSel != RunCBE) { 22270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterSel = RunCBE; 223197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createCBE(Path.c_str(), Message, 22438efa38c864f6d29892d92102c0232b234b526edBill Wendling &SafeToolArgs, 22538efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 22670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman } 22770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (!SafeInterpreter && 22870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman InterpreterSel != RunLLC && 22970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman InterpreterSel != RunJIT) { 23070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterSel = RunLLC; 23170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeToolArgs.push_back("--relocation-model=pic"); 232197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message, 23338efa38c864f6d29892d92102c0232b234b526edBill Wendling &SafeToolArgs, 23438efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 23570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman } 23670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (!SafeInterpreter) { 23770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeInterpreterSel = AutoPick; 23870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman Message = "Sorry, I can't automatically select an interpreter!\n"; 23970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman } 24070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman break; 24170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman case RunLLC: 24270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman SafeToolArgs.push_back("--relocation-model=pic"); 243197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createLLC(Path.c_str(), Message, 24438efa38c864f6d29892d92102c0232b234b526edBill Wendling &SafeToolArgs, 24538efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 24670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman break; 24770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman case RunCBE: 248197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createCBE(Path.c_str(), Message, 24938efa38c864f6d29892d92102c0232b234b526edBill Wendling &SafeToolArgs, 25038efa38c864f6d29892d92102c0232b234b526edBill Wendling &GCCToolArgv); 25170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman break; 25270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman case Custom: 253197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman SafeInterpreter = AbstractInterpreter::createCustom(Message, 25470ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman CustomExecCommand); 25570ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman break; 25670ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman default: 25770ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman Message = "Sorry, this back-end is not supported by bugpoint as the " 25870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman "\"safe\" backend right now!\n"; 25970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman break; 2607bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner } 261ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman if (!SafeInterpreter) { outs() << Message << "\nExiting.\n"; exit(1); } 262c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner 263197f728d49fa0cc0baa5aadb2b905fbd8c22a81eDan Gohman gcc = GCC::create(Message, &GCCToolArgv); 264ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman if (!gcc) { outs() << Message << "\nExiting.\n"; exit(1); } 265a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman 2664a10645c70199c8d8567fbc46312158c419720abChris Lattner // If there was an error creating the selected interpreter, quit with error. 2674a10645c70199c8d8567fbc46312158c419720abChris Lattner return Interpreter == 0; 2684a10645c70199c8d8567fbc46312158c419720abChris Lattner} 2694a10645c70199c8d8567fbc46312158c419720abChris Lattner 270ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// compileProgram - Try to compile the specified module, throwing an exception 271ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// if an error occurs, or returning normally if not. This is used for code 272ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// generation crash testing. 273ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// 274ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattnervoid BugDriver::compileProgram(Module *M) { 2758ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif // Emit the program to a bitcode file... 2768ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif sys::Path BitcodeFile ("bugpoint-test-program.bc"); 27751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer std::string ErrMsg; 2788ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif if (BitcodeFile.makeUnique(true,&ErrMsg)) { 27965f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << ToolName << ": Error making unique filename: " << ErrMsg 28065f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << "\n"; 28151c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer exit(1); 28251c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer } 2838ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif if (writeProgramToFile(BitcodeFile.toString(), M)) { 28465f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << ToolName << ": Error emitting bitcode to file '" 28565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << BitcodeFile << "'!\n"; 286ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner exit(1); 287ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner } 288ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner 2898ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif // Remove the temporary bitcode file when we are done. 29086c006a971eb6fab6bd4923ff7ec1c0bc9c28f74Anton Korobeynikov FileRemover BitcodeFileRemover(BitcodeFile, !SaveTemps); 291ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner 292ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner // Actually compile the program! 2938ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif Interpreter->compileProgram(BitcodeFile.toString()); 294ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner} 295ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner 2964a10645c70199c8d8567fbc46312158c419720abChris Lattner 2974a10645c70199c8d8567fbc46312158c419720abChris Lattner/// executeProgram - This method runs "Program", capturing the output of the 2984a10645c70199c8d8567fbc46312158c419720abChris Lattner/// program to a file, returning the filename of the file. A recommended 2994a10645c70199c8d8567fbc46312158c419720abChris Lattner/// filename may be optionally specified. 3004a10645c70199c8d8567fbc46312158c419720abChris Lattner/// 3014a10645c70199c8d8567fbc46312158c419720abChris Lattnerstd::string BugDriver::executeProgram(std::string OutputFile, 3028ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif std::string BitcodeFile, 303769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner const std::string &SharedObj, 304c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke AbstractInterpreter *AI, 305c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke bool *ProgramExitedNonzero) { 306769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner if (AI == 0) AI = Interpreter; 307769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner assert(AI && "Interpreter should have been created already!"); 3088ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif bool CreatedBitcode = false; 30951c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer std::string ErrMsg; 3108ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif if (BitcodeFile.empty()) { 3118ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif // Emit the program to a bitcode file... 31297182985d530dbef488696c95a39c14fe56c995bReid Spencer sys::Path uniqueFilename("bugpoint-test-program.bc"); 31351c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer if (uniqueFilename.makeUnique(true, &ErrMsg)) { 31465f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << ToolName << ": Error making unique filename: " 31565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << ErrMsg << "!\n"; 31651c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer exit(1); 31751c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer } 3188ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif BitcodeFile = uniqueFilename.toString(); 3194a10645c70199c8d8567fbc46312158c419720abChris Lattner 3208ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif if (writeProgramToFile(BitcodeFile, Program)) { 32165f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << ToolName << ": Error emitting bitcode to file '" 32265f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << BitcodeFile << "'!\n"; 3234a10645c70199c8d8567fbc46312158c419720abChris Lattner exit(1); 3244a10645c70199c8d8567fbc46312158c419720abChris Lattner } 3258ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif CreatedBitcode = true; 3264a10645c70199c8d8567fbc46312158c419720abChris Lattner } 3274a10645c70199c8d8567fbc46312158c419720abChris Lattner 3288ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif // Remove the temporary bitcode file when we are done. 3298ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif sys::Path BitcodePath (BitcodeFile); 33086c006a971eb6fab6bd4923ff7ec1c0bc9c28f74Anton Korobeynikov FileRemover BitcodeFileRemover(BitcodePath, CreatedBitcode && !SaveTemps); 3319709272675feaca030cce14d0f5eb7f342b3fc1dChris Lattner 3324a10645c70199c8d8567fbc46312158c419720abChris Lattner if (OutputFile.empty()) OutputFile = "bugpoint-execution-output"; 3335073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 3344a10645c70199c8d8567fbc46312158c419720abChris Lattner // Check to see if this is a valid output filename... 33597182985d530dbef488696c95a39c14fe56c995bReid Spencer sys::Path uniqueFile(OutputFile); 33651c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer if (uniqueFile.makeUnique(true, &ErrMsg)) { 33765f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << ToolName << ": Error making unique filename: " 33865f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << ErrMsg << "\n"; 33951c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer exit(1); 34051c5a286bae5ad27ddc49602f44b7ea7253a4cc9Reid Spencer } 34197182985d530dbef488696c95a39c14fe56c995bReid Spencer OutputFile = uniqueFile.toString(); 3424a10645c70199c8d8567fbc46312158c419720abChris Lattner 343769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner // Figure out which shared objects to run, if any. 3447dac658792425c10274594782d6fcf10208a16f0Chris Lattner std::vector<std::string> SharedObjs(AdditionalSOs); 345769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner if (!SharedObj.empty()) 346769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner SharedObjs.push_back(SharedObj); 347769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner 34870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman int RetVal = AI->ExecuteProgram(BitcodeFile, InputArgv, InputFile, 34970ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman OutputFile, AdditionalLinkerArgs, SharedObjs, 35070ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman Timeout, MemoryLimit); 3517d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner 3527d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner if (RetVal == -1) { 35365f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << "<timeout>"; 3547d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner static bool FirstTimeout = true; 3557d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner if (FirstTimeout) { 356ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "\n" 3577d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "*** Program execution timed out! This mechanism is designed to handle\n" 3587d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner " programs stuck in infinite loops gracefully. The -timeout option\n" 3597d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner " can be used to change the timeout threshold or disable it completely\n" 3607d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner " (with -timeout=0). This message is only displayed once.\n"; 3617d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner FirstTimeout = false; 3627d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner } 3637d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner } 364769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner 3655e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer if (AppendProgramExitCode) { 3665e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer std::ofstream outFile(OutputFile.c_str(), std::ios_base::app); 3675e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer outFile << "exit " << RetVal << '\n'; 3685e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer outFile.close(); 3695e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer } 3705e1452c856a8bcf39ab7a67a5af946c8162f942dReid Spencer 371c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke if (ProgramExitedNonzero != 0) 372c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke *ProgramExitedNonzero = (RetVal != 0); 3734a10645c70199c8d8567fbc46312158c419720abChris Lattner 3744a10645c70199c8d8567fbc46312158c419720abChris Lattner // Return the filename we captured the output to. 3754a10645c70199c8d8567fbc46312158c419720abChris Lattner return OutputFile; 3764a10645c70199c8d8567fbc46312158c419720abChris Lattner} 3774a10645c70199c8d8567fbc46312158c419720abChris Lattner 37870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman/// executeProgramSafely - Used to create reference output with the "safe" 379c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// backend, if reference output is not provided. 380c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// 38170ef449741da8b1ef035e04a55958652a0200ba1Dan Gohmanstd::string BugDriver::executeProgramSafely(std::string OutputFile) { 382c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke bool ProgramExitedNonzero; 38370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman std::string outFN = executeProgram(OutputFile, "", "", SafeInterpreter, 384c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke &ProgramExitedNonzero); 385c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke return outFN; 386c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke} 3875073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 3888ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greifstd::string BugDriver::compileSharedObject(const std::string &BitcodeFile) { 3895073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman assert(Interpreter && "Interpreter should have been created already!"); 390c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner sys::Path OutputFile; 3915073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 39270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman // Using the known-good backend. 39370ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman GCC::FileType FT = SafeInterpreter->OutputCode(BitcodeFile, OutputFile); 3945073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 395a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner std::string SharedObjectFile; 396c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner if (gcc->MakeSharedObject(OutputFile.toString(), FT, 397130e2a361147a31ae631d3648afdd95a5c0d40f2Chris Lattner SharedObjectFile, AdditionalLinkerArgs)) 398a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner exit(1); 3995073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 4005073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman // Remove the intermediate C file 401c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattner OutputFile.eraseFromDisk(); 4025073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 4036ebe44d22f6dd1ab9f7aa1f3cfd02be52145d535Chris Lattner return "./" + SharedObjectFile; 4045073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman} 4055073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 4066a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// createReferenceFile - calls compileProgram and then records the output 4076a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// into ReferenceOutputFile. Returns true if reference file created, false 4086a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// otherwise. Note: initializeExecutionEnvironment should be called BEFORE 4096a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// this function. 4106a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// 411c600f3c337f18c62116ac58b701e4f7ae6d2fb1aChris Lattnerbool BugDriver::createReferenceFile(Module *M, const std::string &Filename) { 4126a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins try { 4136a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins compileProgram(Program); 414d41b30def3181bce4bf87e8bde664d15663165d0Jeff Cohen } catch (ToolExecutionError &) { 4156a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins return false; 4166a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins } 4176a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins try { 41870ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman ReferenceOutputFile = executeProgramSafely(Filename); 419ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "\nReference output is: " << ReferenceOutputFile << "\n\n"; 4206a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins } catch (ToolExecutionError &TEE) { 42165f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << TEE.what(); 42270ef449741da8b1ef035e04a55958652a0200ba1Dan Gohman if (Interpreter != SafeInterpreter) { 42365f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << "*** There is a bug running the \"safe\" backend. Either" 42465f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << " debug it (for example with the -run-cbe bugpoint option," 42565f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << " if CBE is being used as the \"safe\" backend), or fix the" 42665f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman << " error some other way.\n"; 4276a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins } 4286a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins return false; 4296a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins } 4306a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins return true; 4316a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins} 4325073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 4336a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// diffProgram - This method executes the specified module and diffs the 4346a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// output against the file specified by ReferenceOutputFile. If the output 4356a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// is different, true is returned. If there is a problem with the code 4366a3f31cb707972ebde1e45a61fa8f5bcff132ebaPatrick Jenkins/// generator (e.g., llc crashes), this will throw an exception. 4374a10645c70199c8d8567fbc46312158c419720abChris Lattner/// 4388ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greifbool BugDriver::diffProgram(const std::string &BitcodeFile, 4395073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman const std::string &SharedObject, 4408ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif bool RemoveBitcode) { 441c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke bool ProgramExitedNonzero; 442c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke 4434a10645c70199c8d8567fbc46312158c419720abChris Lattner // Execute the program, generating an output file... 4448ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif sys::Path Output(executeProgram("", BitcodeFile, SharedObject, 0, 4455f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer &ProgramExitedNonzero)); 446c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke 44765f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner std::string Error; 4484a10645c70199c8d8567fbc46312158c419720abChris Lattner bool FilesDifferent = false; 449a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner if (int Diff = DiffFilesWithTolerance(sys::Path(ReferenceOutputFile), 450a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner sys::Path(Output.toString()), 451a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner AbsTolerance, RelTolerance, &Error)) { 452a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner if (Diff == 2) { 45365f57c233cd4499e2e8b52a503201e64edfd6a9eDan Gohman errs() << "While diffing output: " << Error << '\n'; 45465f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner exit(1); 45565f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner } 45665f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner FilesDifferent = true; 45765f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner } 45880becf194d56524e8c75618ac57a34520f87a684David Goodwin else { 45980becf194d56524e8c75618ac57a34520f87a684David Goodwin // Remove the generated output if there are no differences. 46080becf194d56524e8c75618ac57a34520f87a684David Goodwin Output.eraseFromDisk(); 46180becf194d56524e8c75618ac57a34520f87a684David Goodwin } 4624a10645c70199c8d8567fbc46312158c419720abChris Lattner 4638ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif // Remove the bitcode file if we are supposed to. 4648ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif if (RemoveBitcode) 4658ff70c2635bfd4e02c0140a5dc9ca909fffba35aGabor Greif sys::Path(BitcodeFile).eraseFromDisk(); 4664a10645c70199c8d8567fbc46312158c419720abChris Lattner return FilesDifferent; 4674a10645c70199c8d8567fbc46312158c419720abChris Lattner} 46891eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman 46991eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukmanbool BugDriver::isExecutingJIT() { 47091eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman return InterpreterSel == RunJIT; 47191eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman} 472d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 473