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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


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


https://reviews.llvm.org/D44287