Lines Matching refs:DT
113 DominatorTree &DT; member in __anona0e87c8a0111::ConstantTerminatorFoldingImpl
353 Preheader, Preheader->getTerminator(), &DT, &LI, MSSAU); in handleDeadExits()
413 MSSAU->applyUpdates(DTUpdates, DT, /*UpdateDT=*/true); in handleDeadExits()
417 formLCSSARecursively(*FixLCSSALoop, DT, &LI, &SE); in handleDeadExits()
424 MSSAU->applyUpdates(DTUpdates, DT, /*UpdateDT=*/true); in handleDeadExits()
528 ConstantTerminatorFoldingImpl(Loop &L, LoopInfo &LI, DominatorTree &DT, in ConstantTerminatorFoldingImpl() argument
531 : L(L), LI(LI), DT(DT), SE(SE), MSSAU(MSSAU), DFS(&L), in ConstantTerminatorFoldingImpl()
532 DTU(DT, DomTreeUpdater::UpdateStrategy::Eager) {} in ConstantTerminatorFoldingImpl()
582 if (!DeadExitBlocks.empty() && !L.isLCSSAForm(DT, /*IgnoreTokens*/ false)) { in run()
583 assert(L.isLCSSAForm(DT, /*IgnoreTokens*/ true) && in run()
621 assert(DT.verify(DominatorTree::VerificationLevel::Full) && in run()
624 assert(DT.verify(DominatorTree::VerificationLevel::Fast) && in run()
627 assert(DT.isReachableFromEntry(Header)); in run()
628 LI.verify(DT); in run()
642 static bool constantFoldTerminators(Loop &L, DominatorTree &DT, LoopInfo &LI, in constantFoldTerminators() argument
654 ConstantTerminatorFoldingImpl BranchFolder(L, LI, DT, SE, MSSAU); in constantFoldTerminators()
660 static bool mergeBlocksIntoPredecessors(Loop &L, DominatorTree &DT, in mergeBlocksIntoPredecessors() argument
664 DomTreeUpdater DTU(DT, DomTreeUpdater::UpdateStrategy::Eager); in mergeBlocksIntoPredecessors()
695 static bool simplifyLoopCFG(Loop &L, DominatorTree &DT, LoopInfo &LI, in simplifyLoopCFG() argument
701 Changed |= constantFoldTerminators(L, DT, LI, SE, MSSAU, IsLoopDeleted); in simplifyLoopCFG()
707 Changed |= mergeBlocksIntoPredecessors(L, DT, LI, MSSAU, SE); in simplifyLoopCFG()
722 if (!simplifyLoopCFG(L, AR.DT, AR.LI, AR.SE, MSSAU ? &*MSSAU : nullptr, in run()