FindBugs.cpp revision ca356afe09454b3378165ded4eda294bd6341428
1032091d7f62774443c282915964189ea3d8930dePatrick Jenkins//===-- FindBugs.cpp - Run Many Different Optimizations -------------------===// 2032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// 3032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// The LLVM Compiler Infrastructure 4032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// 521c62da287237d39d0d95004881ea4baae3be6daChris Lattner// This file is distributed under the University of Illinois Open Source 621c62da287237d39d0d95004881ea4baae3be6daChris Lattner// License. See LICENSE.TXT for details. 7032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// 8032091d7f62774443c282915964189ea3d8930dePatrick Jenkins//===----------------------------------------------------------------------===// 9032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// 10032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// This file defines an interface that allows bugpoint to choose different 11032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// combinations of optimizations to run on the selected input. Bugpoint will 12032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// run these optimizations and record the success/failure of each. This way 13032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// we can hopefully spot bugs in the optimizations. 14032091d7f62774443c282915964189ea3d8930dePatrick Jenkins// 15032091d7f62774443c282915964189ea3d8930dePatrick Jenkins//===----------------------------------------------------------------------===// 167f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner 17032091d7f62774443c282915964189ea3d8930dePatrick Jenkins#include "BugDriver.h" 18032091d7f62774443c282915964189ea3d8930dePatrick Jenkins#include "ToolRunner.h" 197f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner#include "llvm/Pass.h" 2074382b7c699120fbec5cb5603c9cf4212eb37f06Chris Lattner#include "llvm/Support/raw_ostream.h" 21032091d7f62774443c282915964189ea3d8930dePatrick Jenkins#include <algorithm> 22032091d7f62774443c282915964189ea3d8930dePatrick Jenkins#include <ctime> 23032091d7f62774443c282915964189ea3d8930dePatrick Jenkinsusing namespace llvm; 24032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 25032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// runManyPasses - Take the specified pass list and create different 26032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// combinations of passes to compile the program with. Compile the program with 27032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// each set and mark test to see if it compiled correctly. If the passes 28032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// compiled correctly output nothing and rearrange the passes into a new order. 29032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// If the passes did not compile correctly, output the command required to 30032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// recreate the failure. This returns true if a compiler error is found. 31032091d7f62774443c282915964189ea3d8930dePatrick Jenkins/// 328be3291f5942e3ae4a5d66c480e7aabe2f771031Owen Andersonbool BugDriver::runManyPasses(const std::vector<const PassInfo*> &AllPasses, 3322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky std::string &ErrMsg) { 341d1ef14248a24cb7239e0bc9298d84004a8044e6Nick Lewycky setPassesToRun(AllPasses); 35ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Starting bug finding procedure...\n\n"; 36032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 37032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // Creating a reference output if necessary 38032091d7f62774443c282915964189ea3d8930dePatrick Jenkins if (initializeExecutionEnvironment()) return false; 397f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner 40ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "\n"; 41032091d7f62774443c282915964189ea3d8930dePatrick Jenkins if (ReferenceOutputFile.empty()) { 42ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Generating reference output from raw program: \n"; 437f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner if (!createReferenceFile(Program)) 447f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner return false; 45032091d7f62774443c282915964189ea3d8930dePatrick Jenkins } 46032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 47032091d7f62774443c282915964189ea3d8930dePatrick Jenkins srand(time(NULL)); 481d1ef14248a24cb7239e0bc9298d84004a8044e6Nick Lewycky 497f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner unsigned num = 1; 507f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner while(1) { 51032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 52032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // Step 1: Randomize the order of the optimizer passes. 53032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 541d1ef14248a24cb7239e0bc9298d84004a8044e6Nick Lewycky std::random_shuffle(PassesToRun.begin(), PassesToRun.end()); 55032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 56032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 57032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // Step 2: Run optimizer passes on the program and check for success. 58032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 59ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Running selected passes on program to test for crash: "; 601d1ef14248a24cb7239e0bc9298d84004a8044e6Nick Lewycky for(int i = 0, e = PassesToRun.size(); i != e; i++) { 6116350f8d00fc3a4a8d2da8a746a29979505af9a8Nick Lewycky outs() << "-" << PassesToRun[i]->getPassArgument() << " "; 62032091d7f62774443c282915964189ea3d8930dePatrick Jenkins } 637f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner 64032091d7f62774443c282915964189ea3d8930dePatrick Jenkins std::string Filename; 65ca356afe09454b3378165ded4eda294bd6341428Rafael Espindola if(runPasses(Program, PassesToRun, Filename, false)) { 66ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "\n"; 67ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Optimizer passes caused failure!\n\n"; 68032091d7f62774443c282915964189ea3d8930dePatrick Jenkins debugOptimizerCrash(); 69032091d7f62774443c282915964189ea3d8930dePatrick Jenkins return true; 707f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner } else { 71ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Combination " << num << " optimized successfully!\n"; 72032091d7f62774443c282915964189ea3d8930dePatrick Jenkins } 731d1ef14248a24cb7239e0bc9298d84004a8044e6Nick Lewycky 74032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 75032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // Step 3: Compile the optimized code. 76032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 77ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "Running the code generator to test for a crash: "; 7822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky std::string Error; 7922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky compileProgram(Program, &Error); 8022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky if (!Error.empty()) { 81ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "\n*** compileProgram threw an exception: "; 8222ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky outs() << Error; 8322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky return debugCodeGeneratorCrash(ErrMsg); 84032091d7f62774443c282915964189ea3d8930dePatrick Jenkins } 8522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky outs() << '\n'; 861d1ef14248a24cb7239e0bc9298d84004a8044e6Nick Lewycky 87032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 88032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // Step 4: Run the program and compare its output to the reference 89032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // output (created above). 90032091d7f62774443c282915964189ea3d8930dePatrick Jenkins // 91ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "*** Checking if passes caused miscompliation:\n"; 9210757dd8e1a66128b205bd04797c8aed0cb7a1bdRafael Espindola bool Diff = diffProgram(Program, Filename, "", false, &Error); 9322ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky if (Error.empty() && Diff) { 9422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky outs() << "\n*** diffProgram returned true!\n"; 9522ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky debugMiscompilation(&Error); 9622ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky if (Error.empty()) 97032091d7f62774443c282915964189ea3d8930dePatrick Jenkins return true; 9822ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky } 9922ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky if (!Error.empty()) { 10022ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky errs() << Error; 10122ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky debugCodeGeneratorCrash(ErrMsg); 102032091d7f62774443c282915964189ea3d8930dePatrick Jenkins return true; 103032091d7f62774443c282915964189ea3d8930dePatrick Jenkins } 10422ff748712b348300e51248339b6e8cf9b59e2c6Nick Lewycky outs() << "\n*** diff'd output matches!\n"; 105032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 106032091d7f62774443c282915964189ea3d8930dePatrick Jenkins sys::Path(Filename).eraseFromDisk(); 107032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 108ac95cc79ac0b899d566cc29c0f646f39c2fa35c0Dan Gohman outs() << "\n\n"; 109032091d7f62774443c282915964189ea3d8930dePatrick Jenkins num++; 110032091d7f62774443c282915964189ea3d8930dePatrick Jenkins } //end while 111032091d7f62774443c282915964189ea3d8930dePatrick Jenkins 1127f27570ae0cb716927f946f4e73a55f60d99b3e2Chris Lattner // Unreachable. 113032091d7f62774443c282915964189ea3d8930dePatrick Jenkins} 114