[Dominators] Invalidate DFS numbers upon edge deletions

This patch makes DeleteEdge correctly invalidate DFS numbers in the
incremental updater. This should fix PR34466 and related bugs.

llvm-svn: 314254
This commit is contained in:
Jakub Kuderski 2017-09-26 21:56:55 +00:00
parent eda7a86d42
commit 1e584a7082
1 changed files with 2 additions and 0 deletions

View File

@ -923,6 +923,8 @@ struct SemiNCAInfo {
// To dominates From -- nothing to do.
if (ToTN == NCD) return;
DT.DFSInfoValid = false;
const TreeNodePtr ToIDom = ToTN->getIDom();
DEBUG(dbgs() << "\tNCD " << BlockNamePrinter(NCD) << ", ToIDom "
<< BlockNamePrinter(ToIDom) << "\n");