This is an archive of the discontinued LLVM Phabricator instance.

[IR] Support the new TBAA metadata format in IR verifier
ClosedPublic

Authored by kosarev on Nov 24 2017, 6:28 AM.

Diff Detail

Repository
rL LLVM

Event Timeline

kosarev created this revision.Nov 24 2017, 6:28 AM
hfinkel accepted this revision.Dec 14 2017, 3:04 PM

LGTM

This revision is now accepted and ready to land.Dec 14 2017, 3:04 PM
This revision was automatically updated to reflect the committed changes.

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?