[PATCH] D155049: [ScalarEvolution] Infer loop max trip count from memory accesses

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

In D155049#4559560 <https://reviews.llvm.org/D155049#4559560>, @Peakulorain wrote:

> Back to prior diff.

Why? The new diff looked better, though it probably should have NoSelfWrap -> NoUnsignedWrap.

Though even then it seems like this patch has more code/checks for which I don't understand the purpose. For example, why do we care whether the memory accesses may overlap or not?


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

https://reviews.llvm.org/D155049