Chris Lattner 992efb0378 Step #2 to improve trip count analysis for loops like this: ... void f(int* begin, int* end) { std::fill(begin, end, 0); } which turns into a != exit expression where one pointer is strided and (thanks to step #1) known to not overflow, and the other is loop invariant. The observation here is that, though the IV is strided by 4 in this case, that the IV *has* to become equal to the end value. It cannot "miss" the end value by stepping over it, because if it did, the strided IV expression would eventually wrap around. Handle this by turning A != B into "A-B != 0" where the A-B part is known to be NUW. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123131 91177308-0d34-0410-b5e6-96231b3b80d8		2011-01-09 22:26:35 +00:00
..
AliasAnalysis.h	fit in 80 cols	2011-01-08 20:53:41 +00:00
AliasSetTracker.h	Reapply r116831 and r116839, converting AliasAnalysis to use	2010-10-19 22:54:46 +00:00
CallGraph.h	Add spliceFunction to the CallGraph interface. This allows users to efficiently	2011-01-03 03:19:35 +00:00
CaptureTracking.h
CFGPrinter.h
CodeMetrics.h	make this file properly self contained.	2011-01-08 08:19:49 +00:00
ConstantFolding.h	Clarify that constant folding of instructions applies when all operands	2010-11-23 10:16:18 +00:00
ConstantsScanner.h
DebugInfo.h	Add support to create class type.	2010-12-08 20:18:20 +00:00
DIBuilder.h	Add support to create debug info for functions and methods.	2010-12-08 20:42:44 +00:00
DominanceFrontier.h	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
DominatorInternals.h	Fix a typo in a variable name.	2011-01-02 12:17:10 +00:00
Dominators.h	DominatorTree->print() now prints the status of the DFSNumbers correctly	2011-01-09 16:00:09 +00:00
DomPrinter.h
DOTGraphTraitsPass.h	Remove WriteGraph's Name argument, which it didn't use, and	2010-09-27 15:34:19 +00:00
FindUsedTypes.h	Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which	2010-10-19 17:21:58 +00:00
InlineCost.h	Now using a variant of the existing inlining heuristics to decide whether to create a given specialization of a function in PartialSpecialization. If the total performance bonus across all callsites passing the same constant exceeds the specialization cost, we create the specialization.	2010-10-09 22:06:36 +00:00
InstructionSimplify.h	Clarify that InstructionSimplify only returns values that dominate the	2010-12-28 18:01:19 +00:00
Interval.h
IntervalIterator.h
IntervalPartition.h	Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which	2010-10-19 17:21:58 +00:00
IVUsers.h	Revert 112442 and 112440 until the compile time problems introduced	2010-09-01 01:45:53 +00:00
LazyValueInfo.h	Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which	2010-10-19 17:21:58 +00:00
LibCallAliasAnalysis.h	Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which	2010-10-19 17:21:58 +00:00
LibCallSemantics.h	Remove the experimental AliasAnalysis::getDependency interface, which	2010-09-14 21:25:10 +00:00
Lint.h
LiveValues.h
Loads.h
LoopDependenceAnalysis.h	Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which	2010-10-19 17:21:58 +00:00
LoopInfo.h	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
LoopPass.h	Make LoopPass::getContainedPass return a LoopPass* instead of a Pass*	2010-08-11 20:34:43 +00:00
MemoryBuiltins.h	clean up handling of 'free', detangling it from everything else.	2010-11-30 01:28:33 +00:00
MemoryDependenceAnalysis.h	Rewrite the main DSE loop to be written in terms of reasoning	2010-11-30 07:23:21 +00:00
Passes.h	Move NoAA out of BasicAliasAnalysis.cpp into its own file, now that	2010-10-19 23:09:08 +00:00
PHITransAddr.h
PostDominators.h	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
ProfileInfo.h
ProfileInfoLoader.h
ProfileInfoTypes.h
RegionInfo.h	Remove noisy semicolon.	2010-10-13 15:55:12 +00:00
RegionIterator.h	Add new RegionInfo pass.	2010-07-22 07:46:31 +00:00
RegionPass.h	Add RegionPass support.	2010-10-20 01:54:44 +00:00
RegionPrinter.h	Add new RegionInfo pass.	2010-07-22 07:46:31 +00:00
ScalarEvolution.h	Step #2 to improve trip count analysis for loops like this:	2011-01-09 22:26:35 +00:00
ScalarEvolutionExpander.h	Introduce memoization for ScalarEvolution dominates and properlyDominates	2010-11-18 00:34:22 +00:00
ScalarEvolutionExpressions.h	Make SCEV::getType() and SCEV::print non-virtual. Move SCEV::hasOperand	2010-11-17 22:27:42 +00:00
ScalarEvolutionNormalization.h
SparsePropagation.h
Trace.h
ValueTracking.h	move isBytewiseValue out to ValueTracking.h/cpp	2010-12-26 20:15:01 +00:00
Verifier.h