Lines Matching full:program
1 //===- Miscompilation.cpp - Debug program miscompilations -----------------===//
58 /// group, see if they still break the program.
64 // First, run the program with just the Suffix passes. If it is still broken
73 << " on the input program!\n";
79 // Check to see if the finished program matches the reference output...
88 << "no passes are run, nondeterministic program?\n";
97 // Next, see if the program is broken if we run the "prefix" passes first,
103 // passes must be run before the kept passes to break it. If the program
111 << " on the input program!\n";
152 << " on the input program!\n";
170 // Restore orig program & free test.
210 /// program, checking to see if the program matches the diff. If there is
219 // Link the two portions of the program back to together.
232 // Execute the program.
250 outs() << "Checking to see if the program is misoptimized when "
274 // Split the module into the two halves of the program we want.
327 errs() << "Extracted a loop from the breaking portion of the program.\n";
331 // we're going to test the newly loop extracted program to make sure nothing
341 // Delete the original and set the new program.
350 // Merged program doesn't work anymore!
351 errs() << " *** ERROR: Loop extraction broke the program. :("
389 // If the program is not still broken, then loop extraction did something
430 // extraction both didn't break the program, and didn't mask the problem.
431 // Replace the current program with the loop extracted version, and try to
501 outs() << "Checking to see if the program is misoptimized when all ";
512 // Split the module into the two halves of the program we want.
569 // be retained from the original program.
602 // Otherwise, block extraction succeeded. Link the two program fragments back
622 // Set the new program and delete the old one.
649 // the program.
724 /// "Test" portion of the program is misoptimized. If so, return true. In any
737 outs() << " Checking to see if the merged program executes correctly: ";
742 // Delete the original and set the new program.
758 errs() << "*** Optimized program matches reference output! No problem"
766 EmitProgressBitcode(Program, "passinput");
957 /// the "Test" portion of the program is miscompiled by the code generator under
1028 std::string Result = executeProgramSafely(Program, "bugpoint.safe.out",
1033 << "bug or a bug in the original program, but this can also "
1034 << "happen if bugpoint isn't running the program with the "
1036 << "the program with the \"safe\" backend in this file for "
1043 DisambiguateGlobalSymbols(Program);
1050 // Split the module into the two halves of the program we want.
