[PATCH] D108114: [LoopPeel] Peel if it turns invariant loads dereferenceable.

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev accepted this revision.
mkazantsev added a comment.

LGTM



================
Comment at: llvm/lib/Transforms/Utils/LoopPeel.cpp:183
+  // All non-latch exits need to be terminated by unreachable. Otherwise the
+  // heuristic below may not be profitable.
+  SmallVector<BasicBlock *, 4> Exits;
----------------
Can we reuse logic from D110922? OK if it's done in a follow-up, just consider this.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D108114