[PATCH] D145905: [LSR]: Terminate folding condition use SymbolicMax.

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.
Herald added a subscriber: StephenFan.

Using max exit count is incorrect. The computed max may be larger than the actual trip count of this exit.

What you *can* do though is to use the exact exit count for the latch exit, rather than the BECount for the whole loop, as you are only replacing that one exit. I think that should cover your use-case.


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

https://reviews.llvm.org/D145905