[all-commits] [llvm/llvm-project] 8763d7: [loop-deletion] Overly defensive with undef-ing db...

[Carlos Alberto Enciso via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8763d79949975c7d2384c0311c66fa8e4a327c45
      https://github.com/llvm/llvm-project/commit/8763d79949975c7d2384c0311c66fa8e4a327c45
  Author: Carlos Alberto Enciso <carlos.alberto.enciso at gmail.com>
  Date:   2023-06-30 (Fri, 30 Jun 2023)

  Changed paths:
    M llvm/lib/Transforms/Utils/LoopUtils.cpp
    M llvm/test/DebugInfo/Generic/assignment-tracking/loop-deletion/dead-loop.ll
    M llvm/test/Transforms/LoopDeletion/diundef.ll
    A llvm/test/Transforms/LoopDeletion/over-defensive-undefing-dbg-values.ll

  Log Message:
  -----------
  [loop-deletion] Overly defensive with undef-ing dbg.values.

Explicitly inserting undef is overly defensive. Any values computed
nside the loop that are referenced by dbg.values should naturally
become undef when the loop is deleted, and all other values that
are loop invariant must be preserved.

Reviewed By: scott.linder

Differential Revision: https://reviews.llvm.org/D153539