ExecutionDriver.cpp revision 3da94aec4d429b2ba0f65fa040c33650cade196b
14a10645c70199c8d8567fbc46312158c419720abChris Lattner//===- ExecutionDriver.cpp - Allow execution of LLVM program --------------===// 23da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman// 37c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell// The LLVM Compiler Infrastructure 47c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell// 57c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell// This file was developed by the LLVM research group and is distributed under 67c0e022c5c4be4b11e199a53f73bbdd84e34aa80John Criswell// the University of Illinois Open Source 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 114a10645c70199c8d8567fbc46312158c419720abChris Lattner// various ways of running LLVM bytecode. 124a10645c70199c8d8567fbc46312158c419720abChris Lattner// 134a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===// 144a10645c70199c8d8567fbc46312158c419720abChris Lattner 154a10645c70199c8d8567fbc46312158c419720abChris Lattner#include "BugDriver.h" 16b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman#include "llvm/Support/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> 22d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekeusing namespace llvm; 23d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 244a10645c70199c8d8567fbc46312158c419720abChris Lattnernamespace { 254a10645c70199c8d8567fbc46312158c419720abChris Lattner // OutputType - Allow the user to specify the way code should be run, to test 264a10645c70199c8d8567fbc46312158c419720abChris Lattner // for miscompilation. 274a10645c70199c8d8567fbc46312158c419720abChris Lattner // 284a10645c70199c8d8567fbc46312158c419720abChris Lattner enum OutputType { 29b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke AutoPick, RunLLI, RunJIT, RunLLC, RunCBE 304a10645c70199c8d8567fbc46312158c419720abChris Lattner }; 314148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman 32a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::opt<double> 33a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner AbsTolerance("abs-tolerance", cl::desc("Absolute error tolerated"), 34a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::init(0.0)); 35a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::opt<double> 36a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner RelTolerance("rel-tolerance", cl::desc("Relative error tolerated"), 37a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner cl::init(0.0)); 38a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner 394a10645c70199c8d8567fbc46312158c419720abChris Lattner cl::opt<OutputType> 404a10645c70199c8d8567fbc46312158c419720abChris Lattner InterpreterSel(cl::desc("Specify how LLVM code should be executed:"), 41b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke cl::values(clEnumValN(AutoPick, "auto", "Use best guess"), 42b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman clEnumValN(RunLLI, "run-int", 43b687d82b029ba448b978e2c9ed424ee5d1f9f093Misha Brukman "Execute with the interpreter"), 445073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman clEnumValN(RunJIT, "run-jit", "Execute with JIT"), 455073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman clEnumValN(RunLLC, "run-llc", "Compile with LLC"), 465073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman clEnumValN(RunCBE, "run-cbe", "Compile with CBE"), 474d143ee01988e1b52e106ffccbb313937ca5e886Chris Lattner clEnumValEnd), 48b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke cl::init(AutoPick)); 493c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner 50c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke cl::opt<bool> 51c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke CheckProgramExitCode("check-exit-code", 52eed80e23751ecc50c1fa5604f67be4b826d5b417Misha Brukman cl::desc("Assume nonzero exit code is failure (default on)"), 53c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke cl::init(true)); 54c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke 553c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner cl::opt<std::string> 563c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner InputFile("input", cl::init("/dev/null"), 573c053a0a98e19f5ac8905011ad4c8238b08d6aeaChris Lattner cl::desc("Filename to pipe in as stdin (default: /dev/null)")); 587dac658792425c10274594782d6fcf10208a16f0Chris Lattner 597dac658792425c10274594782d6fcf10208a16f0Chris Lattner cl::list<std::string> 607dac658792425c10274594782d6fcf10208a16f0Chris Lattner AdditionalSOs("additional-so", 617dac658792425c10274594782d6fcf10208a16f0Chris Lattner cl::desc("Additional shared objects to load " 627dac658792425c10274594782d6fcf10208a16f0Chris Lattner "into executing programs")); 637d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner 647d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner cl::opt<unsigned> 657d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner TimeoutValue("timeout", cl::init(300), cl::value_desc("seconds"), 667d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner cl::desc("Number of seconds program is allowed to run before it " 677d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "is killed (default is 300s), 0 disables timeout")); 684a10645c70199c8d8567fbc46312158c419720abChris Lattner} 694a10645c70199c8d8567fbc46312158c419720abChris Lattner 70d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm { 71fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner // Anything specified after the --args option are taken as arguments to the 72fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner // program being debugged. 73fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner cl::list<std::string> 74fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner InputArgv("args", cl::Positional, cl::desc("<program arguments>..."), 7560083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner cl::ZeroOrMore, cl::PositionalEatsArgs); 76636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke 77636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke cl::list<std::string> 78636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke ToolArgv("tool-args", cl::Positional, cl::desc("<tool arguments>..."), 7960083e2fc0f1165b7511757449f1ee3852b7229cChris Lattner cl::ZeroOrMore, cl::PositionalEatsArgs); 80fa76183e8e28985dfd17b1d6291c939dab4cbe1dChris Lattner} 819d679cbc6cb5c7dc8cca87a1e1548c480fb056b8Misha Brukman 824a10645c70199c8d8567fbc46312158c419720abChris Lattner//===----------------------------------------------------------------------===// 834a10645c70199c8d8567fbc46312158c419720abChris Lattner// BugDriver method implementation 844a10645c70199c8d8567fbc46312158c419720abChris Lattner// 854a10645c70199c8d8567fbc46312158c419720abChris Lattner 864a10645c70199c8d8567fbc46312158c419720abChris Lattner/// initializeExecutionEnvironment - This method is used to set up the 874a10645c70199c8d8567fbc46312158c419720abChris Lattner/// environment for executing LLVM programs. 884a10645c70199c8d8567fbc46312158c419720abChris Lattner/// 894a10645c70199c8d8567fbc46312158c419720abChris Lattnerbool BugDriver::initializeExecutionEnvironment() { 904a10645c70199c8d8567fbc46312158c419720abChris Lattner std::cout << "Initializing execution environment: "; 914a10645c70199c8d8567fbc46312158c419720abChris Lattner 924148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman // Create an instance of the AbstractInterpreter interface as specified on 934148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman // the command line 947bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner cbe = 0; 954a10645c70199c8d8567fbc46312158c419720abChris Lattner std::string Message; 96636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke 97cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner switch (InterpreterSel) { 98b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke case AutoPick: 99b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunCBE; 100636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = cbe = AbstractInterpreter::createCBE(getToolName(), Message, 101636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 102b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 103b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunJIT; 104636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createJIT(getToolName(), Message, 105636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 106b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 107b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 108b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunLLC; 109636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLC(getToolName(), Message, 110636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 111b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 112b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 113b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = RunLLI; 114636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLI(getToolName(), Message, 115636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 116b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 117b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke if (!Interpreter) { 118b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke InterpreterSel = AutoPick; 119b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke Message = "Sorry, I can't automatically select an interpreter!\n"; 120b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke } 121b5ee509be2ce78badc11fd649dda90ec78394d1aBrian Gaeke break; 122769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunLLI: 123636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLI(getToolName(), Message, 124636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 125769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 126769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunLLC: 127636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createLLC(getToolName(), Message, 128636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 129769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 130769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunJIT: 131636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = AbstractInterpreter::createJIT(getToolName(), Message, 132636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 133769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 134769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner case RunCBE: 135636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke Interpreter = cbe = AbstractInterpreter::createCBE(getToolName(), Message, 136636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke &ToolArgv); 137769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner break; 138cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner default: 1394148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman Message = "Sorry, this back-end is not supported by bugpoint right now!\n"; 140cc876a7421f6dbcca98446058d5f0637092c6e1aChris Lattner break; 1414a10645c70199c8d8567fbc46312158c419720abChris Lattner } 1424148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman std::cerr << Message; 1434a10645c70199c8d8567fbc46312158c419720abChris Lattner 144a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman // Initialize auxiliary tools for debugging 1457bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner if (!cbe) { 146636df3d7ec51a8c6fd759a98853ff709ae54d64eBrian Gaeke cbe = AbstractInterpreter::createCBE(getToolName(), Message, &ToolArgv); 1477bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner if (!cbe) { std::cout << Message << "\nExiting.\n"; exit(1); } 1487bb11547e497d7b8fc87f61c1089eee808e3a1eeChris Lattner } 149769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner gcc = GCC::create(getToolName(), Message); 150a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman if (!gcc) { std::cout << Message << "\nExiting.\n"; exit(1); } 151a259c9be2acc9528ec7feb3cfd51dcde36d87bb3Misha Brukman 1524a10645c70199c8d8567fbc46312158c419720abChris Lattner // If there was an error creating the selected interpreter, quit with error. 1534a10645c70199c8d8567fbc46312158c419720abChris Lattner return Interpreter == 0; 1544a10645c70199c8d8567fbc46312158c419720abChris Lattner} 1554a10645c70199c8d8567fbc46312158c419720abChris Lattner 156ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// compileProgram - Try to compile the specified module, throwing an exception 157ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// if an error occurs, or returning normally if not. This is used for code 158ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// generation crash testing. 159ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner/// 160ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattnervoid BugDriver::compileProgram(Module *M) { 161ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner // Emit the program to a bytecode file... 16297182985d530dbef488696c95a39c14fe56c995bReid Spencer sys::Path BytecodeFile ("bugpoint-test-program.bc"); 16397182985d530dbef488696c95a39c14fe56c995bReid Spencer BytecodeFile.makeUnique(); 16497182985d530dbef488696c95a39c14fe56c995bReid Spencer if (writeProgramToFile(BytecodeFile.toString(), M)) { 165ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner std::cerr << ToolName << ": Error emitting bytecode to file '" 166ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner << BytecodeFile << "'!\n"; 167ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner exit(1); 168ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner } 169ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner 170ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner // Remove the temporary bytecode file when we are done. 1715f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer FileRemover BytecodeFileRemover(BytecodeFile); 172ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner 173ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner // Actually compile the program! 17497182985d530dbef488696c95a39c14fe56c995bReid Spencer Interpreter->compileProgram(BytecodeFile.toString()); 175ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner} 176ea9212ca964ff6587227016f86a44160e586a4c8Chris Lattner 1774a10645c70199c8d8567fbc46312158c419720abChris Lattner 1784a10645c70199c8d8567fbc46312158c419720abChris Lattner/// executeProgram - This method runs "Program", capturing the output of the 1794a10645c70199c8d8567fbc46312158c419720abChris Lattner/// program to a file, returning the filename of the file. A recommended 1804a10645c70199c8d8567fbc46312158c419720abChris Lattner/// filename may be optionally specified. 1814a10645c70199c8d8567fbc46312158c419720abChris Lattner/// 1824a10645c70199c8d8567fbc46312158c419720abChris Lattnerstd::string BugDriver::executeProgram(std::string OutputFile, 1835073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman std::string BytecodeFile, 184769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner const std::string &SharedObj, 185c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke AbstractInterpreter *AI, 186c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke bool *ProgramExitedNonzero) { 187769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner if (AI == 0) AI = Interpreter; 188769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner assert(AI && "Interpreter should have been created already!"); 1894a10645c70199c8d8567fbc46312158c419720abChris Lattner bool CreatedBytecode = false; 1904a10645c70199c8d8567fbc46312158c419720abChris Lattner if (BytecodeFile.empty()) { 1914a10645c70199c8d8567fbc46312158c419720abChris Lattner // Emit the program to a bytecode file... 19297182985d530dbef488696c95a39c14fe56c995bReid Spencer sys::Path uniqueFilename("bugpoint-test-program.bc"); 19397182985d530dbef488696c95a39c14fe56c995bReid Spencer uniqueFilename.makeUnique(); 19497182985d530dbef488696c95a39c14fe56c995bReid Spencer BytecodeFile = uniqueFilename.toString(); 1954a10645c70199c8d8567fbc46312158c419720abChris Lattner 1964a10645c70199c8d8567fbc46312158c419720abChris Lattner if (writeProgramToFile(BytecodeFile, Program)) { 1974a10645c70199c8d8567fbc46312158c419720abChris Lattner std::cerr << ToolName << ": Error emitting bytecode to file '" 1985073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman << BytecodeFile << "'!\n"; 1994a10645c70199c8d8567fbc46312158c419720abChris Lattner exit(1); 2004a10645c70199c8d8567fbc46312158c419720abChris Lattner } 2014a10645c70199c8d8567fbc46312158c419720abChris Lattner CreatedBytecode = true; 2024a10645c70199c8d8567fbc46312158c419720abChris Lattner } 2034a10645c70199c8d8567fbc46312158c419720abChris Lattner 2049709272675feaca030cce14d0f5eb7f342b3fc1dChris Lattner // Remove the temporary bytecode file when we are done. 20506c375bd1d402ddcf2ee8e34005a74a0addbd7ccBrian Gaeke sys::Path BytecodePath (BytecodeFile); 20606c375bd1d402ddcf2ee8e34005a74a0addbd7ccBrian Gaeke FileRemover BytecodeFileRemover(BytecodePath, CreatedBytecode); 2079709272675feaca030cce14d0f5eb7f342b3fc1dChris Lattner 2084a10645c70199c8d8567fbc46312158c419720abChris Lattner if (OutputFile.empty()) OutputFile = "bugpoint-execution-output"; 2095073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2104a10645c70199c8d8567fbc46312158c419720abChris Lattner // Check to see if this is a valid output filename... 21197182985d530dbef488696c95a39c14fe56c995bReid Spencer sys::Path uniqueFile(OutputFile); 21297182985d530dbef488696c95a39c14fe56c995bReid Spencer uniqueFile.makeUnique(); 21397182985d530dbef488696c95a39c14fe56c995bReid Spencer OutputFile = uniqueFile.toString(); 2144a10645c70199c8d8567fbc46312158c419720abChris Lattner 215769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner // Figure out which shared objects to run, if any. 2167dac658792425c10274594782d6fcf10208a16f0Chris Lattner std::vector<std::string> SharedObjs(AdditionalSOs); 217769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner if (!SharedObj.empty()) 218769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner SharedObjs.push_back(SharedObj); 219769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner 2204a10645c70199c8d8567fbc46312158c419720abChris Lattner // Actually execute the program! 221769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner int RetVal = AI->ExecuteProgram(BytecodeFile, InputArgv, InputFile, 2227d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner OutputFile, SharedObjs, TimeoutValue); 2237d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner 2247d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner if (RetVal == -1) { 2257d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner std::cerr << "<timeout>"; 2267d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner static bool FirstTimeout = true; 2277d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner if (FirstTimeout) { 2287d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner std::cout << "\n" 2297d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner "*** Program execution timed out! This mechanism is designed to handle\n" 2307d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner " programs stuck in infinite loops gracefully. The -timeout option\n" 2317d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner " can be used to change the timeout threshold or disable it completely\n" 2327d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner " (with -timeout=0). This message is only displayed once.\n"; 2337d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner FirstTimeout = false; 2347d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner } 2357d91e49ff7bcc0fd10a54d45a6185bb05adf3d20Chris Lattner } 236769f1fe6728ffb5627ae0cedc392576d6e701a5aChris Lattner 237c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke if (ProgramExitedNonzero != 0) 238c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke *ProgramExitedNonzero = (RetVal != 0); 2394a10645c70199c8d8567fbc46312158c419720abChris Lattner 2404a10645c70199c8d8567fbc46312158c419720abChris Lattner // Return the filename we captured the output to. 2414a10645c70199c8d8567fbc46312158c419720abChris Lattner return OutputFile; 2424a10645c70199c8d8567fbc46312158c419720abChris Lattner} 2434a10645c70199c8d8567fbc46312158c419720abChris Lattner 244c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// executeProgramWithCBE - Used to create reference output with the C 245c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// backend, if reference output is not provided. 246c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke/// 247c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaekestd::string BugDriver::executeProgramWithCBE(std::string OutputFile) { 248c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke bool ProgramExitedNonzero; 249c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke std::string outFN = executeProgram(OutputFile, "", "", 250c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke (AbstractInterpreter*)cbe, 251c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke &ProgramExitedNonzero); 252c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke if (ProgramExitedNonzero) { 253c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke std::cerr 254c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke << "Warning: While generating reference output, program exited with\n" 255c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke << "non-zero exit code. This will NOT be treated as a failure.\n"; 256c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke CheckProgramExitCode = false; 257c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke } 258c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke return outFN; 259c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke} 2605073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 261a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattnerstd::string BugDriver::compileSharedObject(const std::string &BytecodeFile) { 2625073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman assert(Interpreter && "Interpreter should have been created already!"); 2635f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer sys::Path OutputCFile; 2645073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2655073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman // Using CBE 2665073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman cbe->OutputC(BytecodeFile, OutputCFile); 2675073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2685073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman#if 0 /* This is an alternative, as yet unimplemented */ 2695073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman // Using LLC 270a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner std::string Message; 2714148556a9c767fdf3047ae8e004a759356b893ddMisha Brukman LLC *llc = createLLCtool(Message); 2725073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman if (llc->OutputAsm(BytecodeFile, OutputFile)) { 2735073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman std::cerr << "Could not generate asm code with `llc', exiting.\n"; 2745073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman exit(1); 2755073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman } 2765073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman#endif 2775073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 278a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner std::string SharedObjectFile; 2793da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman if (gcc->MakeSharedObject(OutputCFile.toString(), GCC::CFile, 2805f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer SharedObjectFile)) 281a0f5b15e1eb8642d92b3141a6b88a5729ea979dcChris Lattner exit(1); 2825073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2835073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman // Remove the intermediate C file 2845f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer OutputCFile.destroyFile(); 2855073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2866ebe44d22f6dd1ab9f7aa1f3cfd02be52145d535Chris Lattner return "./" + SharedObjectFile; 2875073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman} 2885073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2895073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman 2904a10645c70199c8d8567fbc46312158c419720abChris Lattner/// diffProgram - This method executes the specified module and diffs the output 2914a10645c70199c8d8567fbc46312158c419720abChris Lattner/// against the file specified by ReferenceOutputFile. If the output is 2924a10645c70199c8d8567fbc46312158c419720abChris Lattner/// different, true is returned. 2934a10645c70199c8d8567fbc46312158c419720abChris Lattner/// 2945073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukmanbool BugDriver::diffProgram(const std::string &BytecodeFile, 2955073336cd4da5df4ae13a167582d1dc90f32e4e0Misha Brukman const std::string &SharedObject, 296640f22e66d90439857a97a83896ee68c4f7128c9Chris Lattner bool RemoveBytecode) { 297c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke bool ProgramExitedNonzero; 298c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke 2994a10645c70199c8d8567fbc46312158c419720abChris Lattner // Execute the program, generating an output file... 3005f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer sys::Path Output (executeProgram("", BytecodeFile, SharedObject, 0, 3015f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer &ProgramExitedNonzero)); 302c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke 303c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke // If we're checking the program exit code, assume anything nonzero is bad. 30458d84ced5f7367335e43ea54e5daf32a4fdaefb6Chris Lattner if (CheckProgramExitCode && ProgramExitedNonzero) { 3055f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer Output.destroyFile(); 3063da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman if (RemoveBytecode) 3075f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer sys::Path(BytecodeFile).destroyFile(); 308c5cad211d6ec50fe90a0a716dee701c6c4721385Brian Gaeke return true; 30958d84ced5f7367335e43ea54e5daf32a4fdaefb6Chris Lattner } 3104a10645c70199c8d8567fbc46312158c419720abChris Lattner 31165f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner std::string Error; 3124a10645c70199c8d8567fbc46312158c419720abChris Lattner bool FilesDifferent = false; 313a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner if (int Diff = DiffFilesWithTolerance(sys::Path(ReferenceOutputFile), 314a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner sys::Path(Output.toString()), 315a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner AbsTolerance, RelTolerance, &Error)) { 316a328c51bb99666ee0c045a57ea6d6ce2b0198f9bChris Lattner if (Diff == 2) { 317eed80e23751ecc50c1fa5604f67be4b826d5b417Misha Brukman std::cerr << "While diffing output: " << Error << '\n'; 31865f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner exit(1); 31965f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner } 32065f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner FilesDifferent = true; 32165f62790d6e3e7f7ceb9cd12a7a51a66d95a3b03Chris Lattner } 3223da94aec4d429b2ba0f65fa040c33650cade196bMisha Brukman 3231a28a2b76d16913fe38f47032d31620a55dcce2eChris Lattner // Remove the generated output. 3245f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer Output.destroyFile(); 3254a10645c70199c8d8567fbc46312158c419720abChris Lattner 3261a28a2b76d16913fe38f47032d31620a55dcce2eChris Lattner // Remove the bytecode file if we are supposed to. 3275f76760c880e6d61c229d2058c5699b033caeae1Reid Spencer if (RemoveBytecode) sys::Path(BytecodeFile).destroyFile(); 3284a10645c70199c8d8567fbc46312158c419720abChris Lattner return FilesDifferent; 3294a10645c70199c8d8567fbc46312158c419720abChris Lattner} 33091eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman 33191eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukmanbool BugDriver::isExecutingJIT() { 33291eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman return InterpreterSel == RunJIT; 33391eabc13d3a456cc4b387d3d7fdb041d976732c7Misha Brukman} 334d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 335