[PATCH] D133295: [Assignment Tracking][12/*] Account for assignment tracking in mem2reg

[Orlando Cazalet-Hyams via Phabricator via llvm-commits]

Orlando created this revision.
Orlando added a project: debug-info.
Herald added a subscriber: hiraditya.
Herald added a project: All.
Orlando requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

The changes for assignment tracking don't require much of a deviation from existing behaviour. `dbg.assign` intrinsics linked to an alloca are treated much in the same way as `dbg.declare` users of an alloca, except that we don't insert `dbg.value` intrinsics to describe assignments when there is already a `dbg.assign` intrinsic present, e.g. one linked to a store that is going to be removed.


https://reviews.llvm.org/D133295

Files:
  llvm/lib/Transforms/Utils/Local.cpp
  llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp
  llvm/test/DebugInfo/Generic/assignment-tracking/mem2reg/phi.ll
  llvm/test/DebugInfo/Generic/assignment-tracking/mem2reg/single-block-alloca.ll
  llvm/test/DebugInfo/Generic/assignment-tracking/mem2reg/single-store-alloca.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D133295.457917.patch
Type: text/x-patch
Size: 20710 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220905/251de17f/attachment.bin>