[PATCH] D91595: [Debugify] Support checking Machine IR debug info
Xiang Zhang via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 18 21:39:51 PST 2020
xiangzhangllvm added inline comments.
================
Comment at: llvm/lib/CodeGen/MachineCheckDebug.cpp:58
+ for (MachineInstr &MI : MBB) {
+ if (!MI.isDebugValue())
+ continue;
----------------
xiangzhangllvm wrote:
> djtodoro wrote:
> > I think we should do this for finding missing variables; but for the checking of missing lines we should check more machine instructions (especially the instrs other than debug ones), right? Any reason we shouldn't do that?
> >
> > Please check the `checkDebugifyMetadata()` (from Debugify.cpp) how it was done.
> Because the MirDebugify will generate DBG_VALUE for every MIRs, all these MIRs' debug location will be saved in these generated DBG_VALUEs. So here we just need to check the line info in these DBG_VALUEs. It is also ok the check the non_debug MIR again, but it is duplicated.
Hi, @djtodoro
Say it is "duplicated" may not accurate, here we only check the debug location in DBG_VALUE MIRs is more strict than check both of them. Because the optimizations may change/update the value of DBG_VALUE (its 1st operand), but they shouldn't change/remove the location info of it. And directly remove a DBG_VALUE should always report warning.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D91595/new/
https://reviews.llvm.org/D91595
More information about the llvm-commits
mailing list