[all-commits] [llvm/llvm-project] 575253: [LoopDeletion] Require loop to have a predecessor ...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 575253887bccb8732b901608dabcec3d60324cf0
      https://github.com/llvm/llvm-project/commit/575253887bccb8732b901608dabcec3d60324cf0
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-06-22 (Tue, 22 Jun 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopDeletion.cpp
    A llvm/test/Transforms/LoopDeletion/two-predecessors.ll

  Log Message:
  -----------
  [LoopDeletion] Require loop to have a predecessor when executing 1st iteration symbolically

Two predecessors break the further logic, and the loop may come to the
opt in non-canonicalized state.