[PATCH] D34117: PR32632 Add a case to remove loop compare

[Evgeny Stupachenko via Phabricator via llvm-commits]

evstupac added a comment.

In https://reviews.llvm.org/D34117#778323, @efriedma wrote:

> Scalar evolution can already analyze the given testcase on trunk.  Output of "opt -analyze -scalar-evolution":


Right. The reason I'm trying to apply this patch is that the case could be resolved earlier.
It is possible to understand that the predicate is constant here. Why not to do this at "isKnownPredicate"?
There are other cases, that could be caught by BECount - should we remove them from "isKnownPredicate"?


Repository:
  rL LLVM

https://reviews.llvm.org/D34117