Eli Friedman 71ad2c9eda PR9446: RecursivelyDeleteTriviallyDeadInstructions can delete the instruction ... after the given instruction; make sure to handle that case correctly. (It's difficult to trigger; the included testcase involves a dead block, but I don't think that's a requirement.) While I'm here, get rid of the unnecessary warning about SimplifyInstructionsInBlock, since it should work correctly as far as I know. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128782 91177308-0d34-0410-b5e6-96231b3b80d8		2011-04-02 22:45:17 +00:00
..
ADCE	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
ArgumentPromotion	fix PR8932, a case where arg promotion could infinitely promote.	2011-01-16 08:09:24 +00:00
BlockPlacement	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
BranchFolding	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
CodeExtractor	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
CodeGenPrepare	Roll r127459 back in:	2011-03-11 21:52:04 +00:00
ConstantMerge	Don't merge two constants if we care about the address of both.	2011-01-16 17:05:09 +00:00
ConstProp	Constant folding support for calls to umul.with.overflow(), basically identical to the smul.with.overflow() code.	2011-03-27 14:26:13 +00:00
CorrelatedValuePropagation	Test for lazy value info's ability to prove the absense of NULLs in pointers.	2011-01-16 21:57:20 +00:00
DeadArgElim	Add an obvious missing safety check to DAE::RemoveDeadArgumentsFromCallers.	2011-03-01 00:33:47 +00:00
DeadStoreElimination	* The DSE code that tested for overlapping needed to take into account the fact	2011-03-30 21:37:19 +00:00
EarlyCSE	Duncan deftly points out that readnone functions aren't	2011-01-03 23:38:13 +00:00
FunctionAttrs	Make ModRefBehavior a lattice. Use this to clean up AliasAnalysis	2010-11-10 01:02:18 +00:00
GlobalDCE	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
GlobalOpt	Add an optimization to GlobalOpt that eliminates calls to __cxa_atexit, if the function passed is empty.	2011-03-20 17:59:11 +00:00
GVN	Give GVN back the ability to perform simple conditional propagation on conditional branch values.	2010-12-21 23:54:34 +00:00
IndVarSimplify	Avoid creating canonical induction variables for non-native types.	2011-03-18 16:50:32 +00:00
Inline	relax testcase a bit.	2011-01-14 07:46:33 +00:00
InstCombine	InstCombine: Turn icmp + sext into bitwise/integer ops when the input has only one unknown bit.	2011-04-01 20:09:10 +00:00
InstSimplify	Teach ComputeMaskedBits about sub nsw.	2011-03-12 17:18:11 +00:00
Internalize	Add test for r127138.	2011-03-07 21:28:14 +00:00
IPConstantProp	more test cleanup	2010-09-02 22:38:56 +00:00
JumpThreading	PR9446: RecursivelyDeleteTriviallyDeadInstructions can delete the instruction	2011-04-02 22:45:17 +00:00
LCSSA	Do not add PHIs with no users when creating LCSSA form. Patch by Andrew Clinton.	2011-03-15 07:41:25 +00:00
LICM	While sinking an instruction, do not lose llvm.dbg.value intrinsic.	2011-03-08 03:06:19 +00:00
LoopDeletion	Make LoopDeletion work on loops with multiple edges, as long as the incoming	2011-02-22 22:25:39 +00:00
LoopIdiom	Preserve line no. info.	2011-03-07 22:43:45 +00:00
LoopRotate	Do not hoist @llvm.dbg.value. Here, @llvm.dbg.value is "referring" a value that is modified inside loop.	2011-02-14 23:03:23 +00:00
LoopSimplify	Avoid creating canonical induction variables for non-native types.	2011-03-18 16:50:32 +00:00
LoopStrengthReduce	Avoid creating canonical induction variables for non-native types.	2011-03-18 16:50:32 +00:00
LoopUnroll	add a testcase for r125827	2011-02-18 05:05:01 +00:00
LoopUnswitch	Factor code for testing whether replacing one value with another	2010-11-18 19:59:41 +00:00
LowerAtomic	Add an atomic lowering pass	2010-08-03 16:19:16 +00:00
LowerInvoke	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
LowerSetJmp	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
LowerSwitch	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
Mem2Reg	Copy location info for current function argument from dbg.declare if respective store instruction does not have any location info.	2010-06-04 22:27:30 +00:00
MemCpyOpt	Actually check memcpy lengths, instead of just commenting about	2011-01-21 22:07:57 +00:00
MergeFunc	When removing a function from the function set and adding it to deferred, we	2011-02-09 06:32:02 +00:00
PruneEH	fix some failures my callgraph dump format change broke.	2010-04-23 18:38:40 +00:00
Reassociate	Fix reassociate to postpone certain instruction deletions until	2011-03-10 19:51:54 +00:00
ScalarRepl	Do some simple copy propagation through integer loads and stores when promoting	2011-03-29 05:19:52 +00:00
SCCP	fix PR7876: If ipsccp decides that a function's address is taken	2010-08-12 22:25:23 +00:00
SimplifyCFG	PR9450: Make switch optimization in SimplifyCFG not dependent on the ordering	2011-03-15 02:23:35 +00:00
SimplifyLibCalls	Preserve line number information while simplifying libcalls.	2011-03-09 21:27:52 +00:00
Sink	Make BasicAliasAnalysis a normal AliasAnalysis implementation which	2010-10-18 18:04:47 +00:00
SRETPromotion	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
StripSymbols	DIGlobalVariable can be used to encode debug info for globals that are directly folded into a constant by FE.	2010-08-25 18:52:02 +00:00
TailCallElim	Add a test for TCE return duplication.	2011-01-29 04:53:35 +00:00
TailDup	The output of opt -stats must be sent to stderr. Patch by NAKAMURA Takumi!	2010-09-01 18:32:56 +00:00