Owen Anderson ec3953ff95 When determining if we can fold (x >> C1) << C2, the bits that we need to verify are zero ...

are not the low bits of x, but the bits that WILL be the low bits after the operation completes.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122529 91177308-0d34-0410-b5e6-96231b3b80d8

2010-12-23 23:56:24 +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

Make BasicAliasAnalysis a normal AliasAnalysis implementation which

2010-10-18 18:04:47 +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

revert r122164, I'm going to go with a different approach.

2010-12-19 04:23:03 +00:00

ConstantMerge

fix PR8144, a bug where constant merge would merge globals marked

2010-09-15 00:30:11 +00:00

ConstProp

Teach ConstantFoldInstruction() how to fold insertvalue and extractvalue.

2010-11-29 20:36:52 +00:00

CorrelatedValuePropagation

Fix PR8790, another instance where unreachable code can cause instruction simplification to fail,

2010-12-15 00:55:35 +00:00

DeadArgElim

Preserve debug info attached with call instruction while eliminating dead argument.

2010-04-30 20:23:54 +00:00

DeadStoreElimination

Fix PR8728, a miscompilation I recently introduced. When optimizing

2010-12-06 01:48:06 +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

reapply r121100 with a tweak to constant fold ConstExprs with TargetData

2010-12-07 04:33:29 +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

when eliding a byval copy due to inlining a readonly function, we have

2010-12-20 08:10:40 +00:00

InstCombine

When determining if we can fold (x >> C1) << C2, the bits that we need to verify are zero

2010-12-23 23:56:24 +00:00

InstSimplify

When determining whether the new instruction was already present in

2010-12-22 17:15:25 +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

Teach jump threading to "look through" a select when the branch direction of a terminator depends on it.

2010-12-15 09:51:20 +00:00

LCSSA

Avoid depending on LCSSA implicitly pulling in LoopSimplify.

2010-07-26 18:00:43 +00:00

LICM

Enhance LICM to promote alias sets whose pointers themselves are stored,

2010-12-19 05:57:25 +00:00

LoopDeletion

Make LoopSimplify change conditional branches in loop exiting blocks

2010-02-25 06:57:05 +00:00

LoopRotate

Teach loop rotate to hoist trivially invariant instructions

2010-09-06 01:10:22 +00:00

LoopSimplify

Fix LoopSimplify to notify ScalarEvolution when splitting a loop backedge

2010-09-04 02:42:48 +00:00

LoopStrengthReduce

Correct bogus module triple specifications.

2010-08-30 10:48:29 +00:00

LoopUnroll

Revert r113439, which relaxed the requirement that loops containing calls cannot be unrolled. After some discussion,

2010-09-09 20:02:23 +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

enhance memcpyopt to zap memcpy's that have the same src/dst.

2010-12-09 07:45:45 +00:00

MergeFunc

Arrays and vectors with different numbers of elements are not equivalent.

2010-07-16 06:31:12 +00:00

PartialSpecialize

Now using a variant of the existing inlining heuristics to decide whether to create a given specialization of a function in PartialSpecialization. If the total performance bonus across all callsites passing the same constant exceeds the specialization cost, we create the specialization.

2010-10-09 22:06:36 +00:00

PruneEH

fix some failures my callgraph dump format change broke.

2010-04-23 18:38:40 +00:00

Reassociate

fix a nice subtle reassociate bug which would only occur

2010-03-05 07:18:54 +00:00

ScalarRepl

Treat a call of function pointer like a load of the pointer when considering

2010-11-24 22:04:20 +00:00

SCCP

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

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

SimplifyCFG

SimplifyCFG: Ranges can be larger than 64 bits. Fixes Release-selfhost build.

2010-12-17 10:48:14 +00:00

SimplifyLibCalls

Revert r64460. strtol and friends cannot be marked readonly, even with

2010-12-17 01:09:43 +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

merge two tests.

2010-08-31 18:44:03 +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