[all-commits] [llvm/llvm-project] 143a86: [InstCombine] Handle unreachable edge when branchi...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 143a869cf249e54daa95718fc7afa35fe672c531
      https://github.com/llvm/llvm-project/commit/143a869cf249e54daa95718fc7afa35fe672c531
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-07-07 (Fri, 07 Jul 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Transforms/InstCombine/unreachable-code.ll

  Log Message:
  -----------
  [InstCombine] Handle unreachable edge when branching to loop

The successor is unreachable if either this is the only edge, or
this is an edge into a loop, in which case other predecessors
don't matter. This is exactly what the edge dominance check does.