[DSE,MemorySSA] Remove short-cut to check if all paths are covered.

The post-order number early continue does not work in some cases, e.g.
if a path from EarlierAccess to an exit includes a node that dominates
EarlierAccess in a cycle.

The short-cut only has very minor impact on compile-time, so it seems
straight-forward to remove it for now:

http://llvm-compile-time-tracker.com/compare.php?from=062412e79fcfedf2cf004433e42036b0333e3f83&to=d7386016a77ce1387bdbbf360f1de157faea9d31&stat=instructions

Fixes PR47285.

Author: fhahn

llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp

@@ -2019,11 +2019,6 @@ struct DSEState {
       if (PDT.dominates(CommonPred, EarlierAccess->getBlock())) {
         SetVector<BasicBlock *> WorkList;
 
-        // EarlierAccess's post-order number provides an upper bound of the
-        // blocks on a path starting at EarlierAccess.
-        unsigned UpperBound =
-            PostOrderNumbers.find(EarlierAccess->getBlock())->second;
-
         // If CommonPred is null, there are multiple exits from the function.
         // They all have to be added to the worklist.
         if (CommonPred)
@@ -2048,10 +2043,6 @@ struct DSEState {
           if (!DT.isReachableFromEntry(Current))
             continue;
 
-          unsigned CPO = PostOrderNumbers.find(Current)->second;
-          // Current block is not on a path starting at EarlierAccess.
-          if (CPO > UpperBound)
-            continue;
           for (BasicBlock *Pred : predecessors(Current))
             WorkList.insert(Pred);
 

llvm/test/Transforms/DeadStoreElimination/MSSA/pr47285-not-overwritten-on-all-exit-paths.ll

@@ -25,13 +25,15 @@ define void @test(i1 %c.0, i1 %c.2, i1 %c.3, i1 %c.4, i1 %c.5, i1 %c.6) {
 ; CHECK-NEXT:    store i32 99, i32* @b, align 4
 ; CHECK-NEXT:    br i1 [[C_3:%.*]], label [[BB_5]], label [[BB_2]]
 ; CHECK:       bb.6:
+; CHECK-NEXT:    store i32 91, i32* @b, align 4
 ; CHECK-NEXT:    br i1 [[C_5:%.*]], label [[SPLIT_CRIT_EDGE_2:%.*]], label [[BB_2]]
 ; CHECK:       split_crit_edge.2:
 ; CHECK-NEXT:    store i32 27, i32* @b, align 4
 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 ; CHECK:       bb.7:
 ; CHECK-NEXT:    br i1 [[C_4]], label [[INTERESTING:%.*]], label [[BB_8:%.*]]
 ; CHECK:       interesting:
+; CHECK-NEXT:    store i32 9, i32* @b, align 4
 ; CHECK-NEXT:    br i1 [[C_6:%.*]], label [[KILLER:%.*]], label [[BB_2]]
 ; CHECK:       killer:
 ; CHECK-NEXT:    store i32 23, i32* @b, align 4