[llvm] DWARF CFI Checker prototype (PR #148296)

[AmirHossein PashaeeHir via llvm-commits]

amsen20 wrote:

> Hey @amsen20,
> 
> I've only read the introduction to your proposal and it looks interesting! Thanks for your effort. I'll try to have a better look in the coming days.
> 
> I know this is only a draft, but regarding the couple of 'nit' bolt changes, those could be added in a separate patch?

This draft is not meant to be merged; the reviewers are added automatically because I changed parts of BOLT's code.
The minimal version of the checker has landed in this [PR](https://github.com/llvm/llvm-project/pull/145633).
However, I was wondering if any of the BOLT owners are interested in moving `MCPlusBuilder` to the main LLVM `MC` layer. In the [RFC](https://discourse.llvm.org/t/rfc-dwarf-cfi-validation/86936), I have discussed that the main bottleneck of the analysis is the semantic information, which only `MCPlusBuilder` in BOLT currently possesses.

Thank you for your time. Let me know if you have any suggestions/ideas on how we should add more semantic information to the MC layer.

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