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

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/test/Analysis/ScalarEvolution/exit-count-select.ll:124
+  ret void
+}
----------------
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.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93882