//
// The LLVM Compiler Infrastructure
//
-// This file was developed by Patrick Jenkins and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// we can hopefully spot bugs in the optimizations.
//
//===----------------------------------------------------------------------===//
+
#include "BugDriver.h"
#include "ToolRunner.h"
-
-#include "llvm/Bytecode/WriteBytecodePass.h"
-
+#include "llvm/Pass.h"
#include <algorithm>
#include <ctime>
+#include <iostream>
using namespace llvm;
/// runManyPasses - Take the specified pass list and create different
/// If the passes did not compile correctly, output the command required to
/// recreate the failure. This returns true if a compiler error is found.
///
-bool BugDriver::runManyPasses(const std::vector<const PassInfo*> &AllPasses)
-{
- std::string Filename;
- std::vector<const PassInfo*> TempPass(AllPasses);
+bool BugDriver::runManyPasses(const std::vector<const PassInfo*> &AllPasses) {
+ setPassesToRun(AllPasses);
std::cout << "Starting bug finding procedure...\n\n";
// Creating a reference output if necessary
if (initializeExecutionEnvironment()) return false;
+
std::cout << "\n";
if (ReferenceOutputFile.empty()) {
- std::cout << "Generating reference output from raw program: \n";
- if(!createReferenceFile(Program)){
- return false;
- }
+ std::cout << "Generating reference output from raw program: \n";
+ if (!createReferenceFile(Program))
+ return false;
}
srand(time(NULL));
- std::vector<const PassInfo*>::iterator I = TempPass.begin();
- std::vector<const PassInfo*>::iterator E = TempPass.end();
-
- int num=1;
- while(1){
+
+ unsigned num = 1;
+ while(1) {
//
// Step 1: Randomize the order of the optimizer passes.
//
- std::random_shuffle(TempPass.begin(), TempPass.end());
+ std::random_shuffle(PassesToRun.begin(), PassesToRun.end());
//
// Step 2: Run optimizer passes on the program and check for success.
//
std::cout << "Running selected passes on program to test for crash: ";
- for(int i=0, e=TempPass.size(); i!=e; i++) {
- std::cout << "-" << TempPass[i]->getPassArgument( )<< " ";
+ for(int i = 0, e = PassesToRun.size(); i != e; i++) {
+ std::cout << "-" << PassesToRun[i]->getPassArgument( )<< " ";
}
+
std::string Filename;
- if(runPasses(TempPass, Filename, false)) {
+ if(runPasses(PassesToRun, Filename, false)) {
std::cout << "\n";
std::cout << "Optimizer passes caused failure!\n\n";
debugOptimizerCrash();
return true;
+ } else {
+ std::cout << "Combination " << num << " optimized successfully!\n";
}
- else{
- std::cout << "Combination "<<num<<" optimized successfully!\n";
- }
-
+
//
// Step 3: Compile the optimized code.
//
std::cout << TEE.what();
return debugCodeGeneratorCrash();
}
-
+
//
// Step 4: Run the program and compare its output to the reference
// output (created above).
std::cout << "\n*** diffProgram returned true!\n";
debugMiscompilation();
return true;
- }
- else{
+ } else {
std::cout << "\n*** diff'd output matches!\n";
}
} catch (ToolExecutionError &TEE) {
num++;
} //end while
- // This will never be reached
- std::cout << "Did not find any bugs :-( \n";
- return false;
+ // Unreachable.
}