Benjamin Kramer 0baa94a13b InstCombine: Turn icmp + sext into bitwise/integer ops when the input has only one unknown bit. ... int test1(unsigned x) { return (x&8) ? 0 : -1; } int test3(unsigned x) { return (x&8) ? -1 : 0; } before (x86_64): _test1: andl $8, %edi cmpl $1, %edi sbbl %eax, %eax ret _test3: andl $8, %edi cmpl $1, %edi sbbl %eax, %eax notl %eax ret after: _test1: shrl $3, %edi andl $1, %edi leal -1(%rdi), %eax ret _test3: shll $28, %edi movl %edi, %eax sarl $31, %eax ret git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128732 91177308-0d34-0410-b5e6-96231b3b80d8		2011-04-01 20:09:10 +00:00
..
ADCE
ArgumentPromotion	fix PR8932, a case where arg promotion could infinitely promote.	2011-01-16 08:09:24 +00:00
BlockPlacement
BranchFolding
CodeExtractor
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
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	Fix PR9331. Simplified version of a patch by Jakub Staszak.	2011-03-08 12:39:03 +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
LowerSetJmp
LowerSwitch
Mem2Reg
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
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
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