tree 8173bc086f6175fef7adb17c06e592f4fc9111aa
parent 4f974524b8b2ac4017ac50b7f9682ad5c075a61a
author Djordje Todorovic <djordje.todorovic@syrmia.com> 1601471215 -0700
committer Copybara-Service <copybara-worker@google.com> 1613733965 -0800

[Debugify] Make the debugify aware of the original (-g) Debug Info

As discussed on the RFC [0], I am sharing the set of patches that
enables checking of original Debug Info metadata preservation in
optimizations. The proof-of-concept/proposal can be found at [1].

The implementation from the [1] was full of duplicated code,
so this set of patches tries to merge this approach into the existing
debugify utility.

For example, the utility pass in the original-debuginfo-check
mode could be invoked as follows:

  $ opt -verify-debuginfo-preserve -pass-to-test sample.ll

Since this is very initial stage of the implementation,
there is a space for improvements such as:
  - Add support for the new pass manager
  - Add support for metadata other than DILocations and DISubprograms

[0] https://groups.google.com/forum/#!msg/llvm-dev/QOyF-38YPlE/G213uiuwCAAJ
[1] https://github.com/djolertrk/llvm-di-checker

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

GitOrigin-RevId: 8ee7c7e02953fbaf946964c4ddce3962156508b5