[PATCH] D40438: [IR] Support the new TBAA metadata format in IR verifier

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

Ignorant question: would it be of any use to have a verifier pass to check that everything that should/could have a `!tbaa` tag, [still] has it?
I believe the current `-verify` does not do that, and i can't find anything that does.
Might be useful to detect/bisect if/when something drops that info?


Repository:
  rL LLVM

https://reviews.llvm.org/D40438