[PATCH] D44287: [LICM] Ignore exits provably not taken on first iteration when computing must execute

[Philip Reames via Phabricator via llvm-commits]

reames added inline comments.


================
Comment at: lib/Transforms/Utils/LoopUtils.cpp:1594
+  const bool InstDominatesLatch =
+    DT->dominates(Inst.getParent(), CurLoop->getLoopLatch());
+
----------------
mkazantsev wrote:
> I don't think that at this point we have a guarantee that the loop has a single latch. Should we not check it?
Good catch, will fix!


https://reviews.llvm.org/D44287