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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

New compile-time impact: https://llvm-compile-time-tracker.com/compare.php?from=01120fe5b39837f87e6fa34a5227b8f8634d7b01&to=be1a23203b1de655b8c7dac7549818d975a0cbbf&stat=instructions

Getting rid of isKnownPredicateAt() has improved things, but it's still fairly expensive :/ The test case I looked at had a particularly high contribution from isKnownPredicateAt(), and that one did improve a lot (from 10% to below 1%).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102615