Chris Lattner d2c1936c14 implement the first part of PR8882: when lowering an inbounds ... gep to explicit addressing, we know that none of the intermediate computation overflows. This could use review: it seems that the shifts certainly wouldn't overflow, but could the intermediate adds overflow if there is a negative index? Previously the testcase would instcombine to: define i1 @test(i64 %i) { %p1.idx.mask = and i64 %i, 4611686018427387903 %cmp = icmp eq i64 %p1.idx.mask, 1000 ret i1 %cmp } now we get: define i1 @test(i64 %i) { %cmp = icmp eq i64 %i, 1000 ret i1 %cmp } llvm-svn: 125271		2011-02-10 07:11:16 +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	temporarily revert r123526. While working on a follow-on patch I	2011-01-15 07:51:19 +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	When loading from a constant, fold inttoptr if the integer type and the resulting pointer type both have the same size.	2011-02-06 20:11:56 +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	Teach DAE to look for functions whose arguments are unused, and change all callers to pass in an undefvalue instead.	2011-01-16 21:25:33 +00:00
DeadStoreElimination
EarlyCSE	Duncan deftly points out that readnone functions aren't	2011-01-03 23:38:13 +00:00
FunctionAttrs
GlobalDCE
GlobalOpt	Add unnamed_addr when we can show that address of a global is not used.	2011-01-19 16:32:21 +00:00
GVN
IndVarSimplify
Inline	relax testcase a bit.	2011-01-14 07:46:33 +00:00
InstCombine	implement the first part of PR8882: when lowering an inbounds	2011-02-10 07:11:16 +00:00
InstSimplify	Teach instsimplify some tricks about exact/nuw/nsw shifts.	2011-02-09 17:15:04 +00:00
Internalize
IPConstantProp
JumpThreading	Re-apply r124518 with fix. Watch out for invalidated iterator.	2011-01-29 04:46:23 +00:00
LCSSA
LICM
LoopDeletion
LoopIdiom	Teach loop-idiom to turn a loop containing a memset into a larger memset	2011-01-04 07:46:33 +00:00
LoopRotate	merge tests into one crash.ll test.	2011-01-11 07:50:07 +00:00
LoopSimplify
LoopStrengthReduce
LoopUnroll
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 clear optional flags, such as nsw.	2011-02-02 02:02:34 +00:00
ScalarRepl	merge all the "crash tests" into crash.ll	2011-01-24 03:37:34 +00:00
SCCP
SimplifyCFG	SimplifyCFG: Track the number of used icmps when turning a icmp chain into a switch. If we used only one icmp, don't turn it into a switch.	2011-02-07 22:37:28 +00:00
SimplifyLibCalls
Sink
SRETPromotion
StripSymbols
TailCallElim	Add a test for TCE return duplication.	2011-01-29 04:53:35 +00:00
TailDup