[all-commits] [llvm/llvm-project] 9c5e65: [LoopDeletion] Handle switch in proving that loop ...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c5e65691e129a816ea4bba10be103ca67172ca5
      https://github.com/llvm/llvm-project/commit/9c5e65691e129a816ea4bba10be103ca67172ca5
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-07-09 (Fri, 09 Jul 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopDeletion.cpp
    M llvm/test/Transforms/LoopDeletion/eval_first_iteration.ll

  Log Message:
  -----------
  [LoopDeletion] Handle switch in proving that loop exits on first iteration

Added check for switch-terminated blocks in loops.
Now if a block is terminated with a switch, we try to find out which of the
cases is taken on 1st iteration and mark corresponding edge from the block
to the case successor as live.

Patch by Dmitry Makogon!

Differential Revision: https://reviews.llvm.org/D105688
Reviewed By: nikic, mkazantsev