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

[Sanjoy Das via llvm-commits]

sanjoy updated this revision to Diff 77875.
sanjoy added a comment.

- Add unit tests
- Minor NFC code-cleanup changes


https://reviews.llvm.org/D26438

Files:
  lib/IR/Verifier.cpp
  test/Analysis/BasicAA/full-store-partial-alias.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/full-store-partial-alias.ll
  test/Analysis/TypeBasedAliasAnalysis/aliastest.ll
  test/Analysis/TypeBasedAliasAnalysis/cyclic.ll
  test/Analysis/TypeBasedAliasAnalysis/dse.ll
  test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll
  test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll
  test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll
  test/Analysis/TypeBasedAliasAnalysis/licm.ll
  test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll
  test/CodeGen/ARM/2011-05-04-MultipleLandingPadSuccs.ll
  test/Instrumentation/AddressSanitizer/X86/bug_11395.ll
  test/Instrumentation/ThreadSanitizer/read_from_global.ll
  test/Instrumentation/ThreadSanitizer/vptr_read.ll
  test/Instrumentation/ThreadSanitizer/vptr_update.ll
  test/Transforms/GVN/PRE/preserve-tbaa.ll
  test/Transforms/GVN/tbaa.ll
  test/Transforms/InstCombine/load-combine-metadata.ll
  test/Transforms/InstCombine/loadstore-metadata.ll
  test/Transforms/InstCombine/tbaa-store-to-load.ll
  test/Transforms/JumpThreading/thread-loads.ll
  test/Transforms/LICM/2011-04-06-PromoteResultOfPromotion.ll
  test/Transforms/SLPVectorizer/X86/crash_scheduling.ll
  test/Transforms/SimplifyCFG/basictest.ll
  test/Transforms/Util/store-first-op.ll
  test/Verifier/tbaa.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D26438.77875.patch
Type: text/x-patch
Size: 33043 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161114/1bf13679/attachment-0001.bin>