[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 1cbe3ef10a09baea9a0bf44e1513590340f97673..d4ef9ade6f3a2fdfc450fa338009bc562f4b9179 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;