[all-commits] [llvm/llvm-project] 2fabdf: llvm-reduce: Fix introducing unreachable code in s...

[Matt Arsenault via All-commits]

  Branch: refs/heads/users/arsenm/llvm-reduce/avoid-introducing-unreachable-code-simplify-conditionals
  Home:   https://github.com/llvm/llvm-project
  Commit: 2fabdfaf1a6e6acfbe713344f0f6d8b6925dfdd8
      https://github.com/llvm/llvm-project/commit/2fabdfaf1a6e6acfbe713344f0f6d8b6925dfdd8
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2025-04-08 (Tue, 08 Apr 2025)

  Changed paths:
    M llvm/test/tools/llvm-reduce/reduce-conditionals.ll
    M llvm/tools/llvm-reduce/deltas/ReduceUsingSimplifyCFG.cpp
    M llvm/tools/llvm-reduce/deltas/Utils.cpp
    M llvm/tools/llvm-reduce/deltas/Utils.h

  Log Message:
  -----------
  llvm-reduce: Fix introducing unreachable code in simplify conditionals

After replacing the branch condition, this was calling simplifyCFG to
perform the cleanups of the branch. This is far too heavy of a hammer.
We do not want all of the extra optimizations in simplifyCFG, and
this could also leave behind dead code. Instead, minimally fold the
terminator and try to delete the newly dead code.

This is pretty much a direct copy of what bugpoint does.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications