llvm/test/Analysis
George Burgess IV 90fe2c51ce [CFLAA] Add AttrEscaped, remove bit twiddling functions.
This patch does a few things:

- Unifies AttrAll and AttrUnknown (since they were used for more or less
  the same purpose anyway).

- Introduces AttrEscaped, an attribute that notes that a value escapes
  our analysis for a given set, but not that an unknown value flows into
  said set.

- Removes functions that take bit indices, since we also had functions
  that took bitsets, and the use of both (with similar names) was
  unclear and bug-prone.

Patch by Jia Chen.

Differential Revision: http://reviews.llvm.org/D21000


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@272040 91177308-0d34-0410-b5e6-96231b3b80d8
2016-06-07 18:35:37 +00:00
..
AssumptionCache
BasicAA Revert "Claim NoAlias if two GEPs index different fields of the same struct" 2016-06-01 18:55:32 +00:00
BlockFrequencyInfo
BranchProbabilityInfo
CallGraph
CFLAliasAnalysis [CFLAA] Add AttrEscaped, remove bit twiddling functions. 2016-06-07 18:35:37 +00:00
CostModel
Delinearization
DemandedBits
DependenceAnalysis
DivergenceAnalysis
DominanceFrontier
Dominators
GlobalsModRef
LazyCallGraph
Lint
LoopAccessAnalysis [LAA] Improve non-wrapping pointer detection by handling loop-invariant case. 2016-06-07 14:55:27 +00:00
LoopInfo
MemoryDependenceAnalysis
PostDominators
ProfileSummary Reapply r271728 after adding move cobstructor for ProfileSummaryInfo 2016-06-03 22:54:26 +00:00
RegionInfo
ScalarEvolution [SCEV] See through op.with.overflow intrinsics (re-apply) 2016-05-29 00:34:42 +00:00
ScopedNoAliasAA
TypeBasedAliasAnalysis
ValueTracking Reduce dependence on pointee types when deducing dereferenceability 2016-06-01 16:47:45 +00:00
alias-analysis-uses.ll