[PATCH] D22325: [CFLAA] Add support for AliasAttrs in CFLAndersAliasAnalysis

[Jia Chen via llvm-commits]

grievejia created this revision.
grievejia added reviewers: george.burgess.iv, hfinkel.
grievejia added a subscriber: llvm-commits.

This patch teaches CFLAnders to understand AliasAttrs properly.

Initially I thought that propagating AliasAttrs should be performed along with propagating ReachSet. However, after several attempts I settled down on the current implementation where AliasAttrs are propagated after ReachSet has reached its fixpoint. This approach seems to be simpler to write.

http://reviews.llvm.org/D22325

Files:
  lib/Analysis/CFLAndersAliasAnalysis.cpp
  test/Analysis/CFLAliasAnalysis/Andersen/attrs.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22325.63886.patch
Type: text/x-patch
Size: 8868 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160714/1501e4ea/attachment.bin>