[PATCH] D67178: [SCEV] Use loop guard info when computing the max BE taken count in howFarToZero.

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

SCEV already has support for isLoopEntryGuardedByCond which should be a super set of the added code.  Have you explored why the distance expression isn't be canonicalized at construction?

(There are some circularity issues between exit counts and scev canonical forms, so that might be your issue.  Or it might be something easy to fix.  We can always hope.)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D67178