Enable machine code verification after the late machine optimization passes.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153597 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2012-03-28 20:47:37 +00:00
parent 948a44458c
commit 663ee20cc4

View File

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