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