[PATCH] D70459: [SCEV] Be robust against IR generated by simple-loop-unswitch

[Philip Reames via Phabricator via llvm-commits]

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


================
Comment at: llvm/test/Analysis/ScalarEvolution/trip-count-andor.ll:18
+; CHECK-NEXT:  Loop %loop: backedge-taken count is %n
 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is -1
+; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is %n
----------------
ebrevnov wrote:
> I would expect max BE taken count to be %n as well.
"max backedge-taken count" is always a constant.  So, -1 is a constant upper bound on %n implied by the nsw.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D70459