[PATCH] D144845: [SCEV][Test] Add test to prove block's guardering condition

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

High-level comment: if you expect that SCEV is able to prove equivalence of loads, you need it to be able to prove aliasing facts, which I belive it cannot do.


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

https://reviews.llvm.org/D144845