#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/Cloning.h"
#include "llvm/Transforms/Utils/Linker.h"
+#include "Support/CommandLine.h"
#include "Support/Statistic.h"
#include "Support/StringExtras.h"
#include <algorithm>
#include <set>
+extern cl::list<std::string> InputArgv;
+
class ReduceMisCodegenFunctions : public ListReducer<Function*> {
BugDriver &BD;
public:
bool ReduceMisCodegenFunctions::TestFuncs(const std::vector<Function*> &Funcs,
bool KeepFiles)
{
- DEBUG(std::cerr << "Test functions are:\n");
- for (std::vector<Function*>::const_iterator I = Funcs.begin(),E = Funcs.end();
- I != E; ++I)
- DEBUG(std::cerr << "\t" << (*I)->getName() << "\n");
+ std::cout << "Testing functions: ";
+ BD.PrintFunctionList(Funcs);
+ std::cout << "\t";
// Clone the module for the two halves of the program we want.
Module *SafeModule = CloneModule(BD.Program);
// cast the result from the resolver to correctly-typed function
CastInst *castResolver =
new CastInst(resolve, PointerType::get(F->getFunctionType()),
- "", Inst);
+ "resolverCast", Inst);
// actually use the resolved function
Inst->replaceUsesOfWith(F, castResolver);
} else {
if (KeepFiles) {
std::cout << "You can reproduce the problem with the command line: \n"
<< (BD.isExecutingJIT() ? "lli" : "llc")
- << " -load " << SharedObject << " " << TestModuleBC
- << "\n";
+ << " -load " << SharedObject << " " << TestModuleBC;
+ for (unsigned i=0, e = InputArgv.size(); i != e; ++i)
+ std::cout << " " << InputArgv[i];
+ std::cout << "\n";
+ std::cout << "The shared object " << SharedObject << " was created from "
+ << SafeModuleBC << ", using `dis -c'.\n";
} else {
removeFile(TestModuleBC);
removeFile(SafeModuleBC);
DisambiguateGlobalSymbols(Program);
// Do the reduction...
- ReduceMisCodegenFunctions(*this).reduceList(MisCodegenFunctions);
+ if (!ReduceMisCodegenFunctions(*this).reduceList(MisCodegenFunctions)) {
+ std::cerr << "*** Execution matches reference output! No problem "
+ << "detected...\nbugpoint can't help you with your problem!\n";
+ return false;
+ }
std::cout << "\n*** The following functions are being miscompiled: ";
PrintFunctionList(MisCodegenFunctions);
// list while still maintaining the "test" property. This is the core of the
// "work" that bugpoint does.
//
- void reduceList(std::vector<ElTy> &TheList) {
+ bool reduceList(std::vector<ElTy> &TheList) {
+ std::vector<ElTy> empty;
+ switch (doTest(TheList, empty)) {
+ case KeepPrefix:
+ if (TheList.size() == 1) // we are done, it's the base case and it fails
+ return true;
+ else
+ break; // there's definitely an error, but we need to narrow it down
+
+ case KeepSuffix:
+ // cannot be reached!
+ std::cerr << "bugpoint ListReducer internal error: selected empty set.\n";
+ abort();
+
+ case NoFailure:
+ return false; // there is no failure with the full set of passes/funcs!
+ }
+
unsigned MidTop = TheList.size();
while (MidTop > 1) {
unsigned Mid = MidTop / 2;
}
}
}
+
+ return true; // there are some failure and we've narrowed them down
}
};
return false; // Problem found
}
- // Figure out which transformations miscompile the input program.
- unsigned OldSize = PassesToRun.size();
- ReduceMiscompilingPasses(*this).reduceList(PassesToRun);
-
// Make sure something was miscompiled...
- if (PassesToRun.size() == OldSize) {
+ if (!ReduceMiscompilingPasses(*this).reduceList(PassesToRun)) {
std::cerr << "*** Optimized program matches reference output! No problem "
<< "detected...\nbugpoint can't help you with your problem!\n";
return false;