llvm-6502/test/Transforms
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
BlockPlacement
BranchFolding
CodeExtractor
CodeGenPrepare Roll r127459 back in: 2011-03-11 21:52:04 +00:00
ConstantMerge
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
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
FunctionAttrs
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
IndVarSimplify Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
Inline
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
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
LowerAtomic
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
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
SRETPromotion
StripSymbols
TailCallElim Add a test for TCE return duplication. 2011-01-29 04:53:35 +00:00
TailDup