From 19e30d5a7d3369feae36cbe7f4f4c1f358881c41 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 21 Jan 2011 22:07:57 +0000 Subject: Actually check memcpy lengths, instead of just commenting about how they should be checked. llvm-svn: 123999 --- llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'llvm/lib/Transforms') diff --git a/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp b/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp index 0d3c5c7bdc9..acddf0878b0 100644 --- a/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp +++ b/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp @@ -690,8 +690,10 @@ bool MemCpyOpt::processMemCpyMemCpyDependence(MemCpyInst *M, MemCpyInst *MDep, // Second, the length of the memcpy's must be the same, or the preceeding one // must be larger than the following one. - ConstantInt *C1 = dyn_cast(MDep->getLength()); - if (!C1) return false; + ConstantInt *MDepLen = dyn_cast(MDep->getLength()); + ConstantInt *MLen = dyn_cast(M->getLength()); + if (!MDepLen || !MLen || MDepLen->getZExtValue() < MLen->getZExtValue()) + return false; AliasAnalysis &AA = getAnalysis(); -- cgit v1.2.3