Duncan Sands ca325638c8 Reapply commit 143028 with a fix: the problem was casting a ConstantExpr Mul ...

using BinaryOperator (which only works for instructions) when it should have
been a cast to OverflowingBinaryOperator (which also works for constants).
While there, correct a few other dubious looking uses of BinaryOperator.
Thanks to Chad Rosier for the testcase.  Original commit message:
My super-optimizer noticed that we weren't folding this expression to
true: (x *nsw x) sgt 0, where x = (y | 1).  This occurs in 464.h264ref.

llvm-svn: 143125

2011-10-27 19:16:21 +00:00

..

ADCE

…

ArgumentPromotion

…

BlockPlacement

…

BranchFolding

…

CodeExtractor

…

CodeGenPrepare

…

ConstantMerge

…

ConstProp

…

CorrelatedValuePropagation

…

DeadArgElim

…

DeadStoreElimination

A dead malloc, a free(NULL) and a free(undef) are all trivially dead

2011-10-24 04:35:36 +00:00

EarlyCSE

…

FunctionAttrs

…

GlobalDCE

…

GlobalOpt

Refactor code from inlining and globalopt that checks whether a function definition is unused, and enhance it so it can tell that functions which are only used by a blockaddress are in fact dead. This probably doesn't happen much on most code, but the Linux kernel's _THIS_IP_ can trigger this issue with blockaddress. (GlobalDCE can also handle the given tescase, but we only run that at -O3.) Found while looking at PR11180.

2011-10-20 05:23:42 +00:00

GVN

Teach GVN to also propagate switch cases. For example, in this code

2011-10-07 08:29:06 +00:00

IndVarSimplify

It is not safe to sink an alloca into a stacksave/stackrestore pair, so don't do that. <rdar://problem/10352360>

2011-10-27 01:33:51 +00:00

Inline

Remap blockaddress correctly when inlining a function. Fixes PR10162.

2011-10-21 20:45:19 +00:00

InstCombine

Extend instcombine's shufflevector simplification to handle more cases where the input and output vectors have different sizes. Patch by Xiaoyi Guo.

2011-10-21 19:06:29 +00:00

InstSimplify

Reapply commit 143028 with a fix: the problem was casting a ConstantExpr Mul

2011-10-27 19:16:21 +00:00

Internalize

…

IPConstantProp

…

JumpThreading

…

LCSSA

…

LICM

…

LoopDeletion

…

LoopIdiom

…

LoopRotate

…

LoopSimplify

Removed colons from some target datalayout strings in test, since they don't match the required format.

2011-10-12 22:24:17 +00:00

LoopStrengthReduce

Fix SCEVExpander assert during LSR: "argument of incompatible type".

2011-10-15 06:19:55 +00:00

LoopUnroll

…

LoopUnswitch

…

LowerAtomic

…

LowerExpectIntrinsic

…

LowerInvoke

…

LowerSwitch

…

Mem2Reg

…

MemCpyOpt

Oops! Fix test I forgot to submit as part of r142735.

2011-10-22 22:07:31 +00:00

MergeFunc

…

ObjCARC

Teach the ARC optimizer about the !clang.arc.copy_on_escape metadata

2011-10-17 22:53:25 +00:00

PhaseOrdering

…

PruneEH

…

Reassociate

…

ScalarRepl

The element insertion code in scalar replacement doesn't handle incorrect

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

SCCP

…

SimplifyCFG

…

SimplifyLibCalls

"@string = constant i8 0" is a value i8* string of length zero. Analyze that

2011-10-20 00:34:35 +00:00

Sink

…

StripSymbols

…

TailCallElim

Correct over-zealous removal of hack.

2011-10-17 18:43:40 +00:00

TailDup

…