AU.addRequiredID(LCSSAID);
AU.addPreservedID(LCSSAID);
// FIXME: Loop Unswitch does not preserve dominator info in all cases.
- // AU.addPreserved<DominatorTree>();
- // AU.addPreserved<DominanceFrontier>();
+ AU.addPreserved<DominatorTree>();
+ AU.addPreserved<DominanceFrontier>();
}
private:
DT = getAnalysisToUpdate<DominatorTree>();
currentLoop = L;
bool Changed = false;
-
do {
assert(currentLoop->isLCSSAForm());
redoLoop = false;
} else {
UnswitchNontrivialCondition(LoopCond, Val, currentLoop);
}
-
+
+ // FIXME: Reconstruct dom info, because it is not preserved properly.
+ Function *F = loopHeader->getParent();
+ if (DT)
+ DT->runOnFunction(*F);
+ if (DF)
+ DF->runOnFunction(*F);
return true;
}