[PATCH] D93882: [SCEV] recognize logical and/or pattern

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune marked an inline comment as done.
aqjune added inline comments.


================
Comment at: llvm/test/Analysis/ScalarEvolution/exit-count-select.ll:124
+  ret void
+}
----------------
nikic wrote:
> Is there a test where we actually infer something from the first condition? `i < 10 && i < m` for example?
> 
> Unfortunately we don't currently track symbolic max exit count per-exit, so it would have to be constant.
Oh yes, actually there were quite a few cases where SCEV can return an exact trip count.
I updated the SCEV code & added relevant tests.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93882