[PATCH] D80670: [MachineVerifier] Verify that a DBG_VALUE has a debug location

[Vedant Kumar via Phabricator via llvm-commits]

vsk created this revision.
vsk added reviewers: aprantl, jmorse, davide, chrisjackson.
Herald added subscribers: luismarques, apazos, sameer.abuasal, pzheng, s.egerton, lenary, Jim, jocewei, PkmX, the_o, brucehoult, MartinMosbeck, rogfer01, edward-jones, zzheng, MaskRay, jrtc27, niosHD, sabuasal, simoncook, johnrusso, rbar, asb, hiraditya.
Herald added a project: LLVM.

Verify that each DBG_VALUE has a debug location. This is required by
LiveDebugValues, and perhaps by other late passes.

There's an exception for tests: lots of tests use a two-operand form of
DBG_VALUE for convenience. There's no reason to prevent that.

This is an extension of D80665 <https://reviews.llvm.org/D80665>, but there's no dependency.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D80670

Files:
  llvm/lib/CodeGen/MachineVerifier.cpp
  llvm/test/CodeGen/Hexagon/early-if-debug.mir
  llvm/test/CodeGen/MIR/Generic/dbg-value-missing-loc.mir
  llvm/test/CodeGen/MIR/X86/instructions-debug-location.mir
  llvm/test/CodeGen/MIR/X86/metadata-operands.mir
  llvm/test/CodeGen/RISCV/select-optimize-multiple.mir
  llvm/test/CodeGen/X86/machine-cp-debug.mir
  llvm/test/CodeGen/X86/pr38952.mir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D80670.266685.patch
Type: text/x-patch
Size: 7585 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200527/e64a5e59/attachment.bin>