[all-commits] [llvm/llvm-project] ce8254: [DebugInfo][InstrRef] Correctly ignore DBG_VALUE_L...

[Jeremy Morse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ce8254d096baf81609da2dd0e3dd7ea3387f6aa0
      https://github.com/llvm/llvm-project/commit/ce8254d096baf81609da2dd0e3dd7ea3387f6aa0
  Author: Jeremy Morse <jeremy.morse at sony.com>
  Date:   2021-08-20 (Fri, 20 Aug 2021)

  Changed paths:
    M llvm/lib/CodeGen/LiveDebugValues/InstrRefBasedImpl.cpp
    A llvm/test/DebugInfo/MIR/InstrRef/ignore-dbg-value-list.mir

  Log Message:
  -----------
  [DebugInfo][InstrRef] Correctly ignore DBG_VALUE_LIST in InstrRef mode

This patch makes InstrRefBasedLDV "safe" to work with DBG_VALUE_LISTs. It
doesn't actually interpret them, but it recognises that they specify
variable locations and avoids propagating false locations, which is better
than the current state. Observe the attached tes

 * We avoid propagating DBG_VALUE_LISTs into successor blocks, as they're
   not "currently" supported,
 * We don't propagate other variable locations across DBG_VALUE_LISTs,
   because we know that the variable location is terminated by the
   DBG_VALUE_LIST.

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