[all-commits] [llvm/llvm-project] 30845e: [RemoveDIs][DebugInfo] Handle DPVAssigns in Assign...

[Stephen Tozer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 30845e8ab46c416a2e333eb84239e9ec71e92617
      https://github.com/llvm/llvm-project/commit/30845e8ab46c416a2e333eb84239e9ec71e92617
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2024-01-23 (Tue, 23 Jan 2024)

  Changed paths:
    M llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
    M llvm/test/DebugInfo/assignment-tracking/AArch64/scalable-vectors.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/DSE.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/assignment-tracking-not-enabled.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/coalesce-cfg.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/dbg-phi-produces-undef.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/diamond-1.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/diamond-2.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/diamond-3.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/frag-size-zero.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/global-storage.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/large-type.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/loop-hoist.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/loop-sink.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/loop-unroll.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/lower-offset-expression.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/lower-to-value.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/mem-loc-frag-fill-cfg.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/mem-loc-frag-fill.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/negative-offset.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/nested-loop-frags.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/nested-loop-sroa.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/nested-loop.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/no-redundant-def-after-alloca.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/order-of-defs.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/remove-redundant-defs-bwd-scan.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/remove-redundant-defs-to-prevent-reordering.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/sdag-dangling-dbgassign.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/sdag-ir-salvage-assign.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/sdag-transfer-dbgassign.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/single-memory-location-2.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/single-memory-location.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/split-alloca.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/untagged-store-assignment-extra-checks.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/untagged-store-assignment-outside-variable.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/use-known-value-at-early-mem-def-2.ll
    M llvm/test/DebugInfo/assignment-tracking/X86/use-known-value-at-early-mem-def.ll

  Log Message:
  -----------
  [RemoveDIs][DebugInfo] Handle DPVAssigns in Assignment Tracking excluding lowering (#78982)

This patch adds support for DPVAssigns across all of
AssignmentTrackingAnalysis except for AssignmentTrackingLowering, which
is implemented in a separate patch. This patch includes handling
DPValues in MemLocFragFill, the removal of redundant DPValues as part of
AssignmentTrackingAnalysis (which is different to the version in
`BasicBlockUtils.cpp`), and preventing the DPVAssigns from being
directly emitted in SelectionDAG (just as we don't emit llvm.dbg.assigns
directly, but receive a set of locations from
AssignmentTrackingAnalysis' output).