summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChandler Carruth <chandlerc@gmail.com>2014-02-25 03:50:14 +0000
committerChandler Carruth <chandlerc@gmail.com>2014-02-25 03:50:14 +0000
commitbb2a93241d38f22692cd366616e8dbb1bab23f9a (patch)
tree94a0d87090e60ea4945a04d8d8d1a81ac5f92593
parentfbe7dc330912476f3936f0ca61939e4f910a6c24 (diff)
downloadbcm5719-llvm-bb2a93241d38f22692cd366616e8dbb1bab23f9a.tar.gz
bcm5719-llvm-bb2a93241d38f22692cd366616e8dbb1bab23f9a.zip
[SROA] Use a more direct way of determining whether we are processing
the destination operand or source operand of a memmove. It so happens that it was impossible for SROA to try to rewrite self-memmove where the operands are *identical*, because either such a think is volatile (and we don't rewrite) or it is non-volatile, and we don't even register it as a use of the alloca. However, making the 'IsDest' test *rely* on this subtle fact is... Very confusing for the reader. We should use the direct and readily available test of the Use* which gives us concrete information about which operand is being rewritten. No functionality changed, I hope! ;] llvm-svn: 202103
-rw-r--r--llvm/lib/Transforms/Scalar/SROA.cpp5
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Scalar/SROA.cpp b/llvm/lib/Transforms/Scalar/SROA.cpp
index 48bf64d0ac7..dd877295190 100644
--- a/llvm/lib/Transforms/Scalar/SROA.cpp
+++ b/llvm/lib/Transforms/Scalar/SROA.cpp
@@ -2428,8 +2428,9 @@ private:
uint64_t NewBeginOffset = std::max(BeginOffset, NewAllocaBeginOffset);
uint64_t NewEndOffset = std::min(EndOffset, NewAllocaEndOffset);
- assert(II.getRawSource() == OldPtr || II.getRawDest() == OldPtr);
- bool IsDest = II.getRawDest() == OldPtr;
+ bool IsDest = &II.getRawDestUse() == OldUse;
+ assert(IsDest && II.getRawDest() == OldPtr ||
+ (!IsDest && II.getRawSource() == OldPtr));
// Compute the relative offset within the transfer.
unsigned IntPtrWidth = DL.getPointerSizeInBits();
OpenPOWER on IntegriCloud