[all-commits] [llvm/llvm-project] 606a00: [LoopInstSimplify] Ignore users in unreachable blo...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 606a000d1a1369e3a49e41d29b3987f87c498ed3
      https://github.com/llvm/llvm-project/commit/606a000d1a1369e3a49e41d29b3987f87c498ed3
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-04-25 (Mon, 25 Apr 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopInstSimplify.cpp
    M llvm/test/Transforms/LoopInstSimplify/pr55072.ll

  Log Message:
  -----------
  [LoopInstSimplify] Ignore users in unreachable blocks. PR55072

Logic in this pass assumes that all users of loop instructions are
either in the same loop or are LCSSA Phis. In fact, there can also
be users in unreachable blocks that currently break assertions.
Such users don't need to go to the next round of simplifications.

Reviewed By: fhahn
Differential Revision: https://reviews.llvm.org/D124368