Nick Lewycky a2cb87f86d Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw whenever ...

possible. This goes into instcombine and instsimplify because instsimplify
doesn't need to check hasOneUse since it returns (almost exclusively) constants.

This fixes PR9343 #4 #5 and #8!

llvm-svn: 127064

2011-03-05 05:19:11 +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

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

Add an obvious missing safety check to DAE::RemoveDeadArgumentsFromCallers.

2011-03-01 00:33:47 +00:00

DeadStoreElimination

Fix PR8728, a miscompilation I recently introduced. When optimizing

2010-12-06 01:48:06 +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 unnamed_addr when we can show that address of a global is not used.

2011-01-19 16:32:21 +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

Remove LoopIndexSplit pass. It is neither maintained nor used by anyone.

2010-10-07 23:29:37 +00:00

Inline

relax testcase a bit.

2011-01-14 07:46:33 +00:00

InstCombine

Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw whenever

2011-03-05 05:19:11 +00:00

InstSimplify

Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw whenever

2011-03-05 05:19:11 +00:00

Internalize

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

IPConstantProp

more test cleanup

2010-09-02 22:38:56 +00:00

JumpThreading

prevent jump threading from merging blocks when their address is

2011-02-18 04:43:06 +00:00

LCSSA

Rename 'loopsimplify' to 'loop-simplify'.

2011-02-10 23:38:10 +00:00

LICM

Rename 'loopsimplify' to 'loop-simplify'.

2011-02-10 23:38:10 +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

rewrite the memset_pattern pattern generation stuff to accept any 2/4/8/16-byte

2011-02-19 19:56:44 +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

Rename 'loopsimplify' to 'loop-simplify'.

2011-02-10 23:38:10 +00:00

LoopStrengthReduce

Teach RecursivelyDeleteDeadPHINodes to handle multiple self-references. Patch

2011-02-20 08:38:20 +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 PR9215, preventing -reassociate from clearing nsw/nuw when

2011-02-17 01:29:24 +00:00

ScalarRepl

merge all the "crash tests" into crash.ll

2011-01-24 03:37:34 +00:00

SCCP

fix PR7876: If ipsccp decides that a function's address is taken

2010-08-12 22:25:23 +00:00

SimplifyCFG

Teach SimplifyCFG that (switch (select cond, X, Y)) is better expressed as a branch.

2011-02-28 09:44:07 +00:00

SimplifyLibCalls

Optimize fprintf -> iprintf if there are no floating point arguments

2011-03-03 14:20:22 +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