diff options
author | Chandler Carruth <chandlerc@gmail.com> | 2014-02-25 03:50:14 +0000 |
---|---|---|
committer | Chandler Carruth <chandlerc@gmail.com> | 2014-02-25 03:50:14 +0000 |
commit | bb2a93241d38f22692cd366616e8dbb1bab23f9a (patch) | |
tree | 94a0d87090e60ea4945a04d8d8d1a81ac5f92593 | |
parent | fbe7dc330912476f3936f0ca61939e4f910a6c24 (diff) | |
download | bcm5719-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.cpp | 5 |
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(); |