[PATCH] LLVM CFL Alias Analysis -- Supporting Data Structures

[George Burgess IV]

Modified data structures to support interprocedural analysis.

In more specific terms:
> Added set relationship data (aboveness/belowness) into StratifiedSets
> Expanded aliasExternals to a more generic "Attributes"/"Attrs" type, so we can more accurately express whether uncertainty is coming from arguments or globals
> We now remove sets that have been remapped at build-time so we conserve as much space as possible, because now the space penalty of letting a "remapped" set slip passed build time has gone up from a single bit (field in aliasingExternals bitset) to ~12 bytes.

http://reviews.llvm.org/D4550

Files:
  lib/Analysis/StratifiedSets.h
  lib/Analysis/WeightedBidirectedGraph.h
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4550.12177.patch
Type: text/x-patch
Size: 25747 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140804/c401cb5c/attachment.bin>