[llvm-commits] [llvm] r120974 - in /llvm/trunk: include/llvm/Analysis/AliasAnalysis.h lib/Transforms/Scalar/DeadStoreElimination.cpp test/Transforms/DeadStoreElimination/simple.ll

[Duncan Sands]

>>>> By the way, presumably when the optimizers see a memcpy of a pointer to itself
>>>> it removes the memcpy if it is non-volatile.
>>>
>>> Right, it does, but the problem is that you can have memcpy(a<- b) in which a and b can be aliased, but aren't provably identical.
>>
>> if you can prove that they overlap, I guess you can assume that they are
>> identical and remove the memcpy.
>
> Yes, we do that.

Excellent!  Thanks for clarifying.

Best wishes, Duncan.