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

[Sanjoy Das via Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL289402: [Verifier] Add verification for TBAA metadata (authored by sanjoy).

Changed prior to commit:
  https://reviews.llvm.org/D26438?vs=80970&id=81031#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D26438

Files:
  llvm/trunk/lib/IR/Verifier.cpp
  llvm/trunk/test/Analysis/BasicAA/full-store-partial-alias.ll
  llvm/trunk/test/Analysis/CFLAliasAnalysis/Steensgaard/full-store-partial-alias.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/cyclic.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/dse.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/intrinsics.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll
  llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/memcpyopt.ll
  llvm/trunk/test/CodeGen/AMDGPU/llvm.SI.load.dword.ll
  llvm/trunk/test/CodeGen/AMDGPU/sgpr-copy.ll
  llvm/trunk/test/CodeGen/AMDGPU/si-lod-bias.ll
  llvm/trunk/test/CodeGen/AMDGPU/si-scheduler.ll
  llvm/trunk/test/CodeGen/AMDGPU/si-sgpr-spill.ll
  llvm/trunk/test/CodeGen/AMDGPU/split-smrd.ll
  llvm/trunk/test/CodeGen/AMDGPU/vgpr-spill-emergency-stack-slot.ll
  llvm/trunk/test/CodeGen/AMDGPU/wait.ll
  llvm/trunk/test/CodeGen/ARM/2011-05-04-MultipleLandingPadSuccs.ll
  llvm/trunk/test/Instrumentation/AddressSanitizer/X86/bug_11395.ll
  llvm/trunk/test/Instrumentation/ThreadSanitizer/read_from_global.ll
  llvm/trunk/test/Instrumentation/ThreadSanitizer/vptr_read.ll
  llvm/trunk/test/Instrumentation/ThreadSanitizer/vptr_update.ll
  llvm/trunk/test/Transforms/GVN/PRE/preserve-tbaa.ll
  llvm/trunk/test/Transforms/GVN/tbaa.ll
  llvm/trunk/test/Transforms/InstCombine/load-combine-metadata.ll
  llvm/trunk/test/Transforms/InstCombine/loadstore-metadata.ll
  llvm/trunk/test/Transforms/InstCombine/tbaa-store-to-load.ll
  llvm/trunk/test/Transforms/JumpThreading/thread-loads.ll
  llvm/trunk/test/Transforms/LICM/2011-04-06-PromoteResultOfPromotion.ll
  llvm/trunk/test/Transforms/LoopVectorize/ARM/vector_cast.ll
  llvm/trunk/test/Transforms/SLPVectorizer/X86/crash_scheduling.ll
  llvm/trunk/test/Transforms/SimplifyCFG/basictest.ll
  llvm/trunk/test/Transforms/Util/store-first-op.ll
  llvm/trunk/test/Verifier/tbaa.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D26438.81031.patch
Type: text/x-patch
Size: 37663 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161211/fdd51105/attachment.bin>