[PATCH] D133315: [Assignment Tracking][20/*] Account for assignment tracking in ADCE

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

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

DeadStoreElimmination shortens stores that are shadowed by later stores such that the overlapping part of the store is omitted. Insert an undef `dbg.assign` intrinsic with a variable fragment that describes the omitted part to signal that that fragment of the variable has a stale value in memory.


https://reviews.llvm.org/D133315

Files:
  llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
  llvm/test/DebugInfo/Generic/assignment-tracking/dse/dse-after-memcpyopt-merge.ll
  llvm/test/DebugInfo/Generic/assignment-tracking/dse/shorten.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D133315.457980.patch
Type: text/x-patch
Size: 20764 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220905/5295f5df/attachment.bin>