[PATCH] CFL AA Tests + Minor Fix

[George Burgess IV]

Hi hfinkel,

Added some functionality tests for CFL AA, and made a minor fix to CFL AA

  - CFL AA fix: We used to return PartialAlias if *either* variable being queried interacted with arguments or globals. AFAICT, we can change this to only returning PartialAlias iff *both* variables being queried interacted with arguments or globals. 

  - Functionality tests: some basic IPA tests, checking that we give conservative responses with arguments/globals thrown in the mix, and ensuring that we trace values through stores and loads.

x interacted with arguments or globals = the Attributes of the StratifiedSet that x belongs to has any bits set.

http://reviews.llvm.org/D5243

Files:
  lib/Analysis/CFLAliasAnalysis.cpp
  test/Analysis/CFLAliasAnalysis/arguments-globals.ll
  test/Analysis/CFLAliasAnalysis/arguments.ll
  test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll
  test/Analysis/CFLAliasAnalysis/basic-interproc.ll
  test/Analysis/CFLAliasAnalysis/multilevel-combine.ll
  test/Analysis/CFLAliasAnalysis/multilevel.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5243.13396.patch
Type: text/x-patch
Size: 5755 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140908/0948f763/attachment.bin>