[LICM] Add an assert to ensure all instruction types needing aliasing are handled...

llvm-svn: 339308

diff --git a/llvm/lib/Transforms/Scalar/LICM.cpp b/llvm/lib/Transforms/Scalar/LICM.cpp
index 1cbe3ef..d4ef9ad 100644 (file)
--- a/llvm/lib/Transforms/Scalar/LICM.cpp
+++ b/llvm/lib/Transforms/Scalar/LICM.cpp
@@ -686,6 +686,8 @@ bool llvm::canSinkOrHoistInst(Instruction &I, AAResults *AA, DominatorTree *DT,
     return false;
   }
 
+  assert(!I.mayReadOrWriteMemory() && "unhandled aliasing");
+
   // We've established mechanical ability and aliasing, it's up to the caller
   // to check fault safety
   return true;