aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/AliasDebugger.cpp
AgeCommit message (Collapse)AuthorFilesLines
2010-11-08Extend the AliasAnalysis::pointsToConstantMemory interface to allow itDan Gohman1-2/+2
to optionally look for constant or local (alloca) memory. Teach BasicAliasAnalysis::pointsToConstantMemory to look through Select and Phi nodes, and to support looking for local memory. Remove FunctionAttrs' PointsToLocalOrConstantMemory function, now that AliasAnalysis knows all the tricks that it knew. llvm-svn: 118412
2010-10-19Get rid of static constructors for pass registration. Instead, every pass ↵Owen Anderson1-1/+3
exposes an initializeMyPassFunction(), which must be called in the pass's constructor. This function uses static dependency declarations to recursively initialize the pass's dependencies. Clients that only create passes through the createFooPass() APIs will require no changes. Clients that want to use the CommandLine options for passes will need to manually call the appropriate initialization functions in PassInitialization.h before parsing commandline arguments. I have tested this with all standard configurations of clang and llvm-gcc on Darwin. It is possible that there are problems with the static dependencies that will only be visible with non-standard options. If you encounter any crash in pass registration/creation, please send the testcase to me directly. llvm-svn: 116820
2010-10-07Now with fewer extraneous semicolons!Owen Anderson1-1/+1
llvm-svn: 115996
2010-09-14Remove the experimental AliasAnalysis::getDependency interface, whichDan Gohman1-11/+12
isn't a good level of abstraction for memdep. Instead, generalize AliasAnalysis::alias and related interfaces with a new Location class for describing a memory location. For now, this is the same Pointer and Size as before, plus an additional field for a TBAA tag. Also, introduce a fixed MD_tbaa metadata tag kind. llvm-svn: 113858
2010-08-06Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson1-3/+3
llvm-svn: 110460
2010-08-06Revert r110396 to fix buildbots.Owen Anderson1-3/+3
llvm-svn: 110410
2010-08-05Don't use PassInfo* as a type identifier for passes. Instead, use the ↵Owen Anderson1-3/+3
address of the static ID member as the sole unique type identifier. Clean up APIs related to this change. llvm-svn: 110396
2010-08-03Thread const correctness through a bunch of AliasAnalysis interfaces andDan Gohman1-2/+4
eliminate several const_casts. Make CallSite implicitly convertible to ImmutableCallSite. Rename the getModRefBehavior for intrinsic IDs to getIntrinsicModRefBehavior to avoid overload ambiguity with CallSite, which happens to be implicitly convertible to bool. llvm-svn: 110155
2010-07-21Add INSTANTIATE_AG_PASS, which combines RegisterPass<> with ↵Owen Anderson1-3/+2
RegisterAnalysisGroup<> for pass registration. llvm-svn: 109058
2010-07-20Speculatively revert r108813, in an attempt to get the self-host buildbots ↵Owen Anderson1-1/+1
working again. I don't see why this patch would cause them to fail the way they are, but none of the other intervening patches seem likely either. llvm-svn: 108818
2010-07-20Reapply r108794, a fix for the failing test from last time.Owen Anderson1-1/+1
llvm-svn: 108813
2010-07-20Revert r108794, "Separate PassInfo into two classes: a constructor-freeDaniel Dunbar1-1/+1
superclass (StaticPassInfo) and a constructor-ful subclass (PassInfo).", it is breaking teh everything. llvm-svn: 108805
2010-07-20Separate PassInfo into two classes: a constructor-free superclass ↵Owen Anderson1-1/+1
(StaticPassInfo) and a constructor-ful subclass (PassInfo). llvm-svn: 108794
2010-05-28Fix AliasDebugger to be aware of operand values too.Dan Gohman1-2/+10
llvm-svn: 105012
2010-01-20adopt getAdjustedAnalysisPointer in a few more passes.Chris Lattner1-0/+10
llvm-svn: 94018
2009-11-22Remove the AliasAnalysis::getMustAliases method, which is dead.Chris Lattner1-5/+0
The hasNoModRefInfoForCalls isn't worth it as a filter because basicaa provides m/r info and everything chains to it, so remove it. llvm-svn: 89599
2009-10-25Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky1-1/+0
VISIBILITY_HIDDEN removal. llvm-svn: 85043
2009-10-25Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky1-2/+1
Chris claims we should never have visibility_hidden inside any .cpp file but that's still not true even after this commit. llvm-svn: 85042
2009-02-05Refactor my previous change to maintain the distinction between ↵Owen Anderson1-9/+0
AliasAnalysis and BasicAliasAnalysis. This involves some wider changes because it folds away some never-used methods. llvm-svn: 63900
2008-09-04Tidy up several unbeseeming casts from pointer to intptr_t.Dan Gohman1-1/+1
llvm-svn: 55779
2008-05-13Clean up the use of static and anonymous namespaces. This turned upDan Gohman1-4/+5
several things that were neither in an anonymous namespace nor static but not intended to be global. llvm-svn: 51017
2008-03-20Restore isCFGOnly property of various analysis passes.Devang Patel1-1/+1
llvm-svn: 48579
2008-03-19PassInfo keep tracks whether a pass is an analysis pass or not.Devang Patel1-2/+2
llvm-svn: 48554
2008-03-19Do not use virtual function to identify an analysis pass.Devang Patel1-4/+1
llvm-svn: 48520
2008-03-18Identify Analysis pass.Devang Patel1-0/+3
Do not run analysis pass again if analysis info is still available. This fixes PR1441. llvm-svn: 48476
2007-12-29Remove attribution from file headers, per discussion on llvmdev.Chris Lattner1-2/+2
llvm-svn: 45418
2007-05-03Drop 'const'Devang Patel1-2/+2
llvm-svn: 36662
2007-05-02Use 'static const char' instead of 'static const int'.Devang Patel1-2/+2
Due to darwin gcc bug, one version of darwin linker coalesces static const int, which defauts PassID based pass identification. llvm-svn: 36652
2007-05-01Do not use typeinfo to identify pass in pass manager.Devang Patel1-0/+4
llvm-svn: 36632
2007-02-05Make classes in anonymous namespaces use VISIBILITY_HIDDEN to help reduceReid Spencer1-1/+3
LLVM's footprint and speed up linking. llvm-svn: 33941
2007-01-30For PR1136: Rename GlobalVariable::isExternal as isDeclaration to avoidReid Spencer1-1/+1
confusion with external linkage types. llvm-svn: 33663
2006-11-14A shim over other AA impls to catch incorrect usesAndrew Lenharth1-0/+125
llvm-svn: 31724