Dan Gohman 81db61a2e6 Factor the code for collecting IV users out of LSR into an IVUsers class, ... and generalize it so that it can be used by IndVarSimplify. Implement the base IndVarSimplify transformation code using IVUsers. This removes TestOrigIVForWrap and associated code, as ScalarEvolution now has enough builtin overflow detection and folding logic to handle all the same cases, and more. Run "opt -iv-users -analyze -disable-output" on your favorite loop for an example of what IVUsers does. This lets IndVarSimplify eliminate IV casts and compute trip counts in more cases. Also, this happens to finally fix the remaining testcases in PR1301. Now that IndVarSimplify is being more aggressive, it occasionally runs into the problem where ScalarEvolutionExpander's code for avoiding duplicate expansions makes it difficult to ensure that all expanded instructions dominate all the instructions that will use them. As a temporary measure, IndVarSimplify now uses a FixUsesBeforeDefs function to fix up instructions inserted by SCEVExpander. Fortunately, this code is contained, and can be easily removed once a more comprehensive solution is available. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71535 91177308-0d34-0410-b5e6-96231b3b80d8		2009-05-12 02:17:14 +00:00
..
ADCE	Allow readonly functions to unwind exceptions. Teach	2009-05-06 06:49:50 +00:00
ArgumentPromotion	Fix typo.	2009-04-23 04:24:19 +00:00
BlockPlacement
BranchFolding
CodeExtractor
CodeGenPrepare
CondProp	Optimize conditional branch on i1 phis with non-constant inputs.	2009-04-14 23:40:03 +00:00
ConstantMerge
ConstProp
DeadArgElim
DeadStoreElimination
FunctionAttrs	Revert r70876 and add a testcase (@c7) showing the problem:	2009-05-07 18:08:34 +00:00
GlobalDCE	Add a new "available_externally" linkage type. This is intended	2009-04-13 05:44:34 +00:00
GlobalOpt
GVN	Reapply r68211, with the miscompilations it caused fixed.	2009-04-01 23:53:49 +00:00
GVNPRE
IndMemRem
IndVarSimplify	Factor the code for collecting IV users out of LSR into an IVUsers class,	2009-05-12 02:17:14 +00:00
Inline	PR4123: don't crash when inlining a call which uses its own result.	2009-05-08 00:22:04 +00:00
InstCombine	Revert 71165. It did more than just revert 71158 and it introduced	2009-05-07 19:46:24 +00:00
Internalize
IPConstantProp
JumpThreading	Restore minor deletion.	2009-05-04 18:40:41 +00:00
LCSSA
LICM
LoopDeletion
LoopIndexSplit
LoopRotate	Testcase for PR2639.	2009-04-23 04:30:52 +00:00
LoopSimplify	As with r70333, give the primary induction variable a use so	2009-04-28 22:05:13 +00:00
LoopStrengthReduce	Factor the code for collecting IV users out of LSR into an IVUsers class,	2009-05-12 02:17:14 +00:00
LoopUnroll
LoopUnswitch
LowerInvoke
LowerSetJmp
LowerSwitch
Mem2Reg
MemCpyOpt
MergeFunc
PredicateSimplifier
PruneEH
RaiseAllocations
Reassociate
ScalarRepl	fix RewriteStoreUserOfWholeAlloca to use the correct type size	2009-05-08 15:54:41 +00:00
SCCP
SimplifyCFG
SimplifyLibCalls	add some optimizations for strncpy/strncat and factor some	2009-04-12 05:06:39 +00:00
SRETPromotion
StripSymbols
TailCallElim
TailDup