[PATCH] D102615: [LoopDeletion] Break backedge if we can prove that the loop is exited on 1st iteration

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

The best solution I can come up with (and it is something I even started to do at some point) is to replace two queries to isKnownPredicate with one which returns `Optional<bool>`, that should give up to 2x CT improvement. I'll think if we can get some minor CT wins here.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102615