1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
llvm-mirror/test/Analysis
George Burgess IV 8ffcde5567 [CFLAA] Tag arguments as escaped instead of unknown.
This patch also includes some refactoring.

Prior to this patch, we tagged all CFLAA attributes as unknown. This is
suboptimal, since it meant that any Value used as an argument would be
considered to alias any other Value that existed.

Now that we have the machinery to tag sets below the set for an
arbitrary value with attributes, it's okay to be less conservative with
arguments. (Specifically, we still tag the set under an argument with
unknown).

Patch by Jia Chen.

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

llvm-svn: 272690
2016-06-14 18:12:28 +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] Tag arguments as escaped instead of unknown. 2016-06-14 18:12:28 +00:00
CostModel [CostModel][X86][SSE] Updated costs for vector BITREVERSE ops on SSSE3+ targets 2016-06-11 19:23:02 +00:00
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 Be wary of abnormal exits from loop when exploiting UB 2016-06-09 01:13:59 +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