Chris Lattner bc99be10b8 Teach GVN to invalidate some memdep information when it does an RAUW ... of a pointer. This allows is to catch more equivalencies. For example, the type_lists_compatible_p function used to require two iterations of the gvn pass (!) to delete its 18 redundant loads because the first pass would CSE all the addressing computation cruft, which would unblock the second memdep/gvn passes from recognizing them. This change allows memdep/gvn to catch all 18 when run just once on the function (as is typical :) instead of just 3. On all of 403.gcc, this bumps up the # reundandancies found from: 63 gvn - Number of instructions PRE'd 153991 gvn - Number of instructions deleted 50069 gvn - Number of loads deleted to: 63 gvn - Number of instructions PRE'd 154137 gvn - Number of instructions deleted 50185 gvn - Number of loads deleted +120 loads deleted isn't bad. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60799 91177308-0d34-0410-b5e6-96231b3b80d8		2008-12-09 22:06:23 +00:00
..
AliasAnalysis.h	Update comments. There is no getArgumentAccesses.	2008-12-05 05:35:21 +00:00
AliasSetTracker.h
CallGraph.h
CFGPrinter.h
ConstantFolding.h
ConstantsScanner.h
DebugInfo.h
DominatorInternals.h
Dominators.h
EscapeAnalysis.h
FindUsedTypes.h
Interval.h
IntervalIterator.h
IntervalPartition.h
LibCallAliasAnalysis.h
LibCallSemantics.h
LoopInfo.h
LoopPass.h
LoopVR.h
MemoryDependenceAnalysis.h	Teach GVN to invalidate some memdep information when it does an RAUW	2008-12-09 22:06:23 +00:00
Passes.h
PostDominators.h
ProfileInfo.h
ProfileInfoLoader.h
ProfileInfoTypes.h
ScalarEvolution.h	Add a new SCEV representing signed division.	2008-12-02 08:05:48 +00:00
ScalarEvolutionExpander.h	Add a new SCEV representing signed division.	2008-12-02 08:05:48 +00:00
ScalarEvolutionExpressions.h	Add a new SCEV representing signed division.	2008-12-02 08:05:48 +00:00
SparsePropagation.h
Trace.h
ValueTracking.h
Verifier.h