diff options
author | Eli Friedman <eli.friedman@gmail.com> | 2011-06-15 00:47:34 +0000 |
---|---|---|
committer | Eli Friedman <eli.friedman@gmail.com> | 2011-06-15 00:47:34 +0000 |
commit | a990e071f2f29ba326b97a4288207a2c406c5b66 (patch) | |
tree | e8cbb5c0753c3ec918e55227016ef7f0a4ecb6dc /lib/Transforms/Scalar/MemCpyOptimizer.cpp | |
parent | 7b9cafde5e3faec22bbfbbc90cca0876968abad9 (diff) | |
download | llvm-a990e071f2f29ba326b97a4288207a2c406c5b66.tar.gz llvm-a990e071f2f29ba326b97a4288207a2c406c5b66.tar.bz2 llvm-a990e071f2f29ba326b97a4288207a2c406c5b66.tar.xz |
Add "unknown" results for memdep, which mean "I don't know whether a dependence for the given instruction exists in the given block". This cleans up all the existing hacks in memdep which represent this concept by returning clobber with various unrelated instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@133031 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Scalar/MemCpyOptimizer.cpp')
-rw-r--r-- | lib/Transforms/Scalar/MemCpyOptimizer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/MemCpyOptimizer.cpp b/lib/Transforms/Scalar/MemCpyOptimizer.cpp index be5aa2ea58..3347fc3519 100644 --- a/lib/Transforms/Scalar/MemCpyOptimizer.cpp +++ b/lib/Transforms/Scalar/MemCpyOptimizer.cpp @@ -497,7 +497,7 @@ bool MemCpyOpt::processStore(StoreInst *SI, BasicBlock::iterator &BBI) { // Check that nothing touches the dest of the "copy" between // the call and the store. MemDepResult sdep = MD->getDependency(SI); - if (!sdep.isNonLocal()) { + if (!sdep.isNonLocal() && !sdep.isUnknown()) { bool FoundCall = false; for (BasicBlock::iterator I = SI, E = sdep.getInst(); I != E; --I) { if (&*I == C) { |