[llvm] [BasicBlockUtils] Fixed LoopInfo update in UpdateAnalysisInformation() (PR #177147)

[Yevgeny Rouban via llvm-commits]

================
@@ -1054,6 +1054,28 @@ BasicBlock *llvm::SplitBlock(BasicBlock *Old, BasicBlock::iterator SplitPt,
   return SplitBlockImpl(Old, SplitPt, DTU, /*DT=*/nullptr, LI, MSSAU, BBName);
 }
 
+static bool hasReachableLoopEntry(const Loop &L, const DominatorTree &DT) {
+  for (const auto Pred : inverse_children<const BasicBlock *>(L.getHeader()))
+    if (!L.contains(Pred) && DT.isReachableFromEntry(Pred))
+      return true;
+
+  return false;
+}
+
+// Destroy the loop.
+static void Destroy(Loop *L, LoopInfo &LI) {
+  auto *ParentL = L->getParentLoop();
+  for (auto *BB : L->getBlocks())
+    LI.changeLoopFor(BB, ParentL);
----------------
yrouban wrote:

good point. I will make a test then change

https://github.com/llvm/llvm-project/pull/177147