[PATCH] D153539: [loop-deletion] Overly defensive with undef-ing dbg.values.

[Carlos Alberto Enciso via Phabricator via llvm-commits]

CarlosAlbertoEnciso created this revision.
CarlosAlbertoEnciso added reviewers: fdeazeve, jryans, Orlando, probinson.
CarlosAlbertoEnciso added projects: LLVM, debug-info.
Herald added a subscriber: hiraditya.
Herald added a project: All.
CarlosAlbertoEnciso requested review of this revision.
Herald added a subscriber: llvm-commits.

Explicitly inserting undef is overly defensive. Any values computed
inside 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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D153539

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D153539.533572.patch
Type: text/x-patch
Size: 6890 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230622/ae16463c/attachment.bin>