[PATCH] D26438: [Verifier] Add verification for TBAA metadata

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

Hi all (esp. @manmanren ),

Are you happy with the general direction here?  If so, I'll start writing some FileCheck unit tests (I don't want to sink time into tests if there we are likely going to see major corrections here).


https://reviews.llvm.org/D26438