[PATCH] D113578: [SCEV] Apply loop guards when computing max BTC for arbitrary steps.

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

I'd rather move the assert inside of `applyLoopGuards`. If it breaks, it's a subject for improving our reasoning. I can imagine it could be breaking because of issues with caching (e.g. if addrecs are involved), though. So, unless the failures are mass and disruptive, I'd prefer it to stay and catch us opportunities.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D113578