[PATCH] D103382: [LoopDeletion] Consider infinite loops alive, unless mustprogress.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/LoopDeletion.cpp:118-122
+  if (FnMustProgress || hasMustProgress(L))
+    return true;
+
+  if (!LoopFinite(L))
+    return false;
----------------
nikic wrote:
> Apart from FnMustProgress, aren't these checks redundant with the ones in the worklist loop?
yes, the lambda is not really necessary any longer, I moved the checks in the loop directly.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103382