[PATCH] D39557: [Analysis] Generate more precise TBAA tags when one access encloses the other

[Ivan Kosarev via Phabricator via llvm-commits]

kosarev created this revision.

There are cases when two tags with different base types denote accesses to the same direct or indirect member of a structure type. Currently, merging of such tags results in a tag that represents an access to an object that has the type of that member. This patch changes this so that if one of the accesses encloses the other, then the generic tag is the one of the enclosed access.


Repository:
  rL LLVM

https://reviews.llvm.org/D39557

Files:
  lib/Analysis/TypeBasedAliasAnalysis.cpp
  test/Transforms/GVN/tbaa.ll
  test/Transforms/NewGVN/tbaa.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39557.121317.patch
Type: text/x-patch
Size: 10496 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171102/88ffc1f3/attachment.bin>