[PATCH] D124078: [MemCpyOpt] Avoid infinite loop in processMemSetMemCpyDependence (PR54983)

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea added a comment.

Proving the size is non-zero is a higher bar than proving the zero case and eliminating the memcpy in those cases. So this seems reasonable to me.

In cases where zero length cannot be proven by AA/InstSimplify in `processMemCpy`, is it still possible to end up in an infinite loop in `processMemSetMemCpyDependence`?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D124078/new/

https://reviews.llvm.org/D124078