[PATCH] D132443: [LSR] Fold terminating condition to other IV when possible

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

(More observations)

For example of code which gets both of the above issues correct, look at the LFTR and rewriteLoopExitValues transformations.

Third, we need some form of cost model.  The simplest would be to add a isHighCostExpansion check on the new bound.  SCEV expressions can (in edge cases) be quite involved, and we probably don't want to do this rewrite universally.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132443