Bob Wilson 84bd6b0c31 Re-commit my previous SSAUpdater changes. The previous version naively tried ... to determine where to place PHIs by iteratively comparing reaching definitions at each block. That was just plain wrong. This version now computes the dominator tree within the subset of the CFG where PHIs may need to be placed, and then places the PHIs in the iterated dominance frontier of each definition. The rest of the patch is mostly the same, with a few more performance improvements added in. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101612 91177308-0d34-0410-b5e6-96231b3b80d8		2010-04-17 03:08:24 +00:00
..
ABCD
ADCE
ArgumentPromotion
BlockPlacement
BranchFolding
CodeExtractor
CodeGenPrepare
ConstantMerge	1. modernize the constantmerge pass, using densemap/smallvector.	2010-02-12 18:17:23 +00:00
ConstProp	fix PR6197 - infinite recursion in ipsccp due to block addresses	2010-02-01 19:35:08 +00:00
DeadArgElim	Revert r101213.	2010-04-14 04:51:58 +00:00
DeadStoreElimination	add newlines at the end of files.	2010-04-07 22:53:17 +00:00
FunctionAttrs	Fix a README item: have functionattrs look through selects and	2010-01-06 15:37:47 +00:00
GlobalDCE
GlobalOpt	Trim tests and convert to FileCheck.	2010-04-14 20:22:17 +00:00
GVN	Re-commit my previous SSAUpdater changes. The previous version naively tried	2010-04-17 03:08:24 +00:00
IndVarSimplify	Teach ScalarEvolution to simplify smax and umax when it can prove	2010-04-13 16:51:03 +00:00
Inline	Disable inlining of recursive calls. It can complicate tailcallelim and	2010-04-16 16:01:18 +00:00
InstCombine	Verify function prototypes before trying to optimize functions. We also	2010-04-12 04:48:00 +00:00
Internalize
IPConstantProp	Delete useless trailing semicolons.	2010-01-05 17:55:26 +00:00
JumpThreading	fix PR6743, a case where we'd delete an instruction before using it	2010-04-10 18:26:57 +00:00
LCSSA	Make isLCSSA ignore uses in blocks not reachable from the entry block,	2010-03-09 01:53:33 +00:00
LICM
LoopDeletion	Make LoopSimplify change conditional branches in loop exiting blocks	2010-02-25 06:57:05 +00:00
LoopIndexSplit	add newlines at the end of files.	2010-04-07 22:53:17 +00:00
LoopRotate	Delete useless trailing semicolons.	2010-01-05 17:55:26 +00:00
LoopSimplify
LoopStrengthReduce	When determining a canonical insert position, don't climb deeper	2010-04-09 22:07:05 +00:00
LoopUnroll
LoopUnswitch	fix a crash in loop unswitch on a loop invariant vector condition.	2010-02-02 02:26:54 +00:00
LowerInvoke
LowerSetJmp
LowerSwitch
Mem2Reg	When converting dbg.declare to dbg.value, attach promoted store's debug metadata to dbg.value	2010-01-27 00:44:36 +00:00
MemCpyOpt	Reapply address space patch after fixing an issue in MemCopyOptimizer.	2010-04-04 03:10:48 +00:00
MergeFunc
PruneEH	Delete useless trailing semicolons.	2010-01-05 17:55:26 +00:00
Reassociate	fix a nice subtle reassociate bug which would only occur	2010-03-05 07:18:54 +00:00
ScalarRepl	move comment.	2010-04-16 01:05:52 +00:00
SCCP	fix a SCCP miscompilation that could happen when a	2010-04-09 01:14:31 +00:00
SimplifyCFG	testcase for r99914, provided by baldrick!	2010-03-31 20:37:13 +00:00
SimplifyLibCalls	Reapply address space patch after fixing an issue in MemCopyOptimizer.	2010-04-04 03:10:48 +00:00
SRETPromotion
SSI
StripSymbols
TailCallElim	Refine the detection of seemingly infinitely recursive calls where the	2010-04-16 15:57:50 +00:00
TailDup