Enable machine code verification after the late machine optimization passes.

Branch folding invalidates liveness and disables liveness verification
on some targets.

llvm-svn: 153597
This commit is contained in:
Jakob Stoklund Olesen 2012-03-28 20:47:37 +00:00
parent 37927fe83c
commit f5df00f0fb

View File

@ -601,15 +601,15 @@ void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
void TargetPassConfig::addMachineLateOptimization() {
// Branch folding must be run after regalloc and prolog/epilog insertion.
if (addPass(BranchFolderPassID) != &NoPassID)
printNoVerify("After BranchFolding");
printAndVerify("After BranchFolding");
// Tail duplication.
if (addPass(TailDuplicateID) != &NoPassID)
printNoVerify("After TailDuplicate");
printAndVerify("After TailDuplicate");
// Copy propagation.
if (addPass(MachineCopyPropagationID) != &NoPassID)
printNoVerify("After copy propagation pass");
printAndVerify("After copy propagation pass");
}
/// Add standard basic block placement passes.