[llvm] [RemoveDIs][DebugInfo] Add DPValue checks to the verifier, prepare DPValue for parsing support (PR #79810)

[Jeremy Morse via llvm-commits]

https://github.com/jmorse commented:

For the checking, is it not the case that CheckDI will try to print out the DPValue that's broken anyway? IMO trying to form the intrinsic-name at runtime is too much effort if it's about to be printed out. IIRC the verifier does run at runtime in normal compilations, thus this is on a (not especially) hot path.

Is it worth shuffling in the code in BasicBlock::validateDbgValues into the main Verifier now too?

https://github.com/llvm/llvm-project/pull/79810