[all-commits] [llvm/llvm-project] f7fc89: [LoopDeletion] Check for irreducible cycles when d...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f7fc8927c0885ff155ea16f99bcf6db6fb10357a
      https://github.com/llvm/llvm-project/commit/f7fc8927c0885ff155ea16f99bcf6db6fb10357a
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-06-15 (Tue, 15 Jun 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopDeletion.cpp
    M llvm/test/Transforms/LoopDeletion/loops-with-irreducible-subloops.ll

  Log Message:
  -----------
  [LoopDeletion] Check for irreducible cycles when deleting loops.

Loops with irreducible cycles may loop infinitely. Those cannot be
removed, unless the loop/function is marked as mustprogress.

Also discussed in D103382.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D104238