From b6810991a9648a40fe05162d744f42c3c178dba7 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 11 Jan 2011 08:16:49 +0000
Subject: [PATCH] when MergeBlockIntoPredecessor merges two blocks, update
 MemDep if it is floating around in the ether.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123223 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Transforms/Utils/BasicBlockUtils.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/Transforms/Utils/BasicBlockUtils.cpp b/lib/Transforms/Utils/BasicBlockUtils.cpp
index 40d33d15afc..e71e84feac4 100644
--- a/lib/Transforms/Utils/BasicBlockUtils.cpp
+++ b/lib/Transforms/Utils/BasicBlockUtils.cpp
@@ -179,6 +179,10 @@ bool llvm::MergeBlockIntoPredecessor(BasicBlock *BB, Pass *P) {
       
       if (LoopInfo *LI = P->getAnalysisIfAvailable<LoopInfo>())
         LI->removeBlock(BB);
+      
+      if (MemoryDependenceAnalysis *MD =
+            P->getAnalysisIfAvailable<MemoryDependenceAnalysis>())
+        MD->invalidateCachedPredecessors();
     }
   }