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

Sanjoy Das via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Dec 9 16:02:26 PST 2016


sanjoy updated this revision to Diff 80970.
sanjoy updated the summary for this revision.
sanjoy added a comment.

- clang-format


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.80970.patch
Type: text/x-patch
Size: 33132 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161210/eab2d181/attachment.bin>


More information about the llvm-commits mailing list