llvm-6502/test/Analysis/TypeBasedAliasAnalysis
Nick Lewycky b48a18903a Change CaptureTracking to pass a Use* instead of a Value* when a value is
captured. This allows the tracker to look at the specific use, which may be
especially interesting for function calls.

Use this to fix 'nocapture' deduction in FunctionAttrs. The existing one does
not iterate until a fixpoint and does not guarantee that it produces the same
result regardless of iteration order. The new implementation builds up a graph
of how arguments are passed from function to function, and uses a bottom-up walk
on the argument-SCCs to assign nocapture. This gets us nocapture more often, and
does so rather efficiently and independent of iteration order.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147327 91177308-0d34-0410-b5e6-96231b3b80d8
2011-12-28 23:24:21 +00:00
..
aliastest.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00
argument-promotion.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00
dg.exp
dse.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00
dynamic-indices.ll Reapply r131781, now that the GVN bug with partially-aliasing loads 2011-06-04 06:50:18 +00:00
functionattrs.ll Change CaptureTracking to pass a Use* instead of a Value* when a value is 2011-12-28 23:24:21 +00:00
gvn-nonlocal-type-mismatch.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00
intrinsics.ll When analyzing functions known to only access argument pointees, 2011-04-27 18:39:03 +00:00
licm.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00
memcpyopt.ll Make memcpyopt TBAA-aware. 2010-12-16 02:51:19 +00:00
precedence.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00
sink.ll -enable-tbaa is on by default now. 2010-12-16 02:53:48 +00:00