Philip Reames edac10e31e [LVI] Extend select handling to catch min/max/clamp idioms ...

Most of this is fairly straight forward. Add handling for min/max via existing matcher utility and ConstantRange routines.  Add handling for clamp by exploiting condition constraints on inputs.  

Note that I'm only handling two constant ranges at this point. It would be reasonable to consider treating overdefined as a full range if the instruction is typed as an integer, but that should be a separate change.

Differential Revision: http://reviews.llvm.org/D17184



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

2016-02-26 22:53:59 +00:00

..

ADCE

[PM] Port ADCE to the new pass manager

2015-10-30 23:13:18 +00:00

AddDiscriminators

Reimplement discriminator assignment algorithm.

2015-11-19 19:53:05 +00:00

AlignmentFromAssumptions

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

ArgumentPromotion

DI: Reverse direction of subprogram -> function edge.

2015-11-05 22:03:56 +00:00

AtomicExpand

ARM: sink atomic release barrier as far as possible into cmpxchg.

2016-02-22 20:55:50 +00:00

BBVectorize

Have a single way for creating unique value names.

2015-11-22 00:16:24 +00:00

BDCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

BranchFolding

Move branch folding test to a better location.

2015-12-03 19:41:25 +00:00

CodeExtractor

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

CodeGenPrepare

[CodeGenPrepare] Remove load-based heuristic

2016-02-25 00:23:27 +00:00

ConstantHoisting

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantMerge

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

ConstProp

IR: Make ConstantDataArray::getFP actually return a ConstantDataArray

2015-12-09 21:21:07 +00:00

CorrelatedValuePropagation

[LVI] Extend select handling to catch min/max/clamp idioms

2016-02-26 22:53:59 +00:00

CrossDSOCFI

[cfi] Cross-DSO CFI diagnostic mode (LLVM part).

2016-01-25 23:35:03 +00:00

DeadArgElim

[OperandBundles] Have DeadArgElim play nice with operand bundles

2015-12-23 09:58:36 +00:00

DeadStoreElimination

[BasicAliasAnalysis] Take into account operand bundles in the getModRefInfo function

2016-01-16 12:15:53 +00:00

EarlyCSE

Fix several accidental DOS line endings in source files

2016-01-03 17:22:03 +00:00

EliminateAvailableExternally

Don't change the visibility when converting a definition to a declaration.

2015-07-13 14:18:22 +00:00

Float2Int

[Float2Int] Don't operate on vector instructions

2015-12-09 21:08:18 +00:00

ForcedFunctionAttrs

[attrs] Split off the forced attributes utility into its own pass that

2015-12-27 08:13:45 +00:00

FunctionAttrs

Revert "[attrs] Handle convergent CallSites."

2016-02-22 18:24:43 +00:00

FunctionImport

FunctionImport: add a progressive heuristic to limit importing too deep in the callgraph

2016-02-10 23:31:45 +00:00

GCOVProfiling

[GCOV] Avoid emitting profile arcs for module and skeleton CUs

2016-01-21 17:04:42 +00:00

GlobalDCE

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

GlobalOpt

Make sure that any new and optimized objects created during GlobalOPT copy all the attributes from the base object.

2016-01-22 21:18:20 +00:00

GVN

Fix tests that used CHECK-NEXT-NOT and CHECK-DAG-NOT.

2016-02-26 19:40:34 +00:00

IndVarSimplify

[SCEV] Try to reuse existing value during SCEV expansion

2016-02-04 01:27:38 +00:00

InferFunctionAttrs

[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference

2016-01-06 04:53:16 +00:00

Inline

[WinEH] Don't inline an 'unwinds to caller' cleanupret into funclets which locally unwind

2016-02-23 17:11:04 +00:00

InstCombine

[x86, InstCombine] transform x86 AVX2 masked stores to LLVM intrinsics

2016-02-26 21:51:44 +00:00

InstMerge

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

InstSimplify

IR: Make the X / undef -> undef fold match the comment

2016-02-25 01:02:18 +00:00

Internalize

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

IPConstantProp

[SCCP] Don't violate the lattice invariants

2016-01-07 21:36:16 +00:00

IRCE

[SCEV] Try to reuse existing value during SCEV expansion

2016-02-04 01:27:38 +00:00

JumpThreading

[JumpThreading] Simplify Instructions first in ComputeValueKnownInPredecessors()

2016-02-26 06:06:04 +00:00

LCSSA

[WinEH] Update LCSSA to handle catchswitch with handlers inside and outside a loop

2015-12-18 18:12:35 +00:00

LICM

[AliasSetTracker] Teach AliasSetTracker about MemSetInst

2016-02-17 02:01:50 +00:00

LoadCombine

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopDataPrefetch/PowerPC

[LoopDataPrefetch] Make it testable with opt

2016-02-22 21:41:22 +00:00

LoopDeletion

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopDistribute

Allow LLE/LD and the loop versioning infrastructure to use SCEV predicates

2015-11-09 13:26:09 +00:00

LoopIdiom

[LIR] Avoid turning non-temporal stores into memset

2016-02-17 21:00:06 +00:00

LoopInterchange

Add support to interchange loops with reductions.

2015-04-23 04:51:44 +00:00

LoopLoadElim

[LoopLoadElim] Don't allow versioning when optForSize

2016-02-05 01:14:05 +00:00

LoopReroll

Allow setting MaxRerollIterations above 16

2016-02-22 09:38:28 +00:00

LoopRotate

[LoopRotate] Don't perform loop rotation if the loop header calls a convergent function.

2016-02-12 21:01:33 +00:00

LoopSimplify

DI: Reverse direction of subprogram -> function edge.

2015-11-05 22:03:56 +00:00

LoopSimplifyCFG

Add LoopSimplifyCFG pass

2016-01-29 22:35:36 +00:00

LoopStrengthReduce

[SCEV] Try to reuse existing value during SCEV expansion

2016-02-04 01:27:38 +00:00

LoopUnroll

[LoopUnrolling] Fix a bug introduced in r259869 (PR26688).

2016-02-22 21:21:45 +00:00

LoopUnswitch

[IR] Reformulate LLVM's EH funclet IR

2015-12-12 05:38:55 +00:00

LoopVectorize

Fix tests that used CHECK-NEXT-NOT and CHECK-DAG-NOT.

2016-02-26 19:40:34 +00:00

LoopVersioning

[LoopVersioning] Expose loop versioning as a pass too

2016-02-03 00:06:10 +00:00

LoopVersioningLICM

Corrected tests for Loop Versioning LICM, by adding “REQUIRES: asserts”.

2016-02-06 12:34:41 +00:00

LowerAtomic

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LowerBitSets

[cfi] Fix LowerBitSets on 32-bit targets.

2015-12-21 22:14:04 +00:00

LowerExpectIntrinsic

[PM] Port StripDeadPrototypes to the new pass manager

2015-10-30 23:28:12 +00:00

LowerInvoke

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LowerSwitch

Have a single way for creating unique value names.

2015-11-22 00:16:24 +00:00

Mem2Reg

[Mem2Reg] Respect optnone

2015-12-11 13:36:59 +00:00

MemCpyOpt

Fix PR26051: Memcpy optimization should introduce a call to memcpy before the store destination position

2016-01-06 23:50:22 +00:00

MergeFunc

[IR] Remove terminatepad

2015-12-14 18:34:23 +00:00

MetaRenamer

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

NaryReassociate

[NaryReassociate] allow candidate to have a different type

2015-12-18 21:36:30 +00:00

ObjCARC

[ObjCARC] Handle ARCInstKind::ClaimRV in OptimizeIndividualCalls.

2016-02-17 18:51:27 +00:00

PartiallyInlineLibCalls

PartiallyInlineLibCalls: Check sqrt result type before transforming it.

2014-08-01 23:21:21 +00:00

PGOProfile

[PGO] Indirect-call profile annotation in IR level profiling

2016-02-10 18:24:45 +00:00

PhaseOrdering

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

PlaceSafepoints

[PlaceSafepoints] Clamp NoStatepoints to true

2016-01-28 21:51:14 +00:00

PruneEH

[PruneEH] Don't try to insert a terminator after another terminator

2016-01-23 06:00:44 +00:00

Reassociate

Reassociate: Reprocess RedoInsts after each inst

2016-01-26 18:42:36 +00:00

Reg2Mem

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

RewriteStatepointsForGC

[RS4GC] "Constant fold" the rs4gc-split-vector-values flag

2016-02-22 21:01:28 +00:00

SafeStack

[safestack] Make sure the unsafe stack pointer is popped in all cases

2016-02-02 01:03:11 +00:00

SampleProfile

Set function entry count as 0 if sample profile is not found for the function.

2016-02-22 22:46:21 +00:00

Scalarizer

DI: Reverse direction of subprogram -> function edge.

2015-11-05 22:03:56 +00:00

ScalarRepl

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

SCCP

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

SeparateConstOffsetFromGEP

[SeparateConstOffsetFromGEP] sext(a)+sext(b) => sext(a+b) when a+b can't sign-overflow.

2015-08-14 02:02:05 +00:00

SimplifyCFG

[SimplifyCFG] Do not blindly remove unreachable blocks

2016-02-24 10:02:16 +00:00

Sink

[IR] Reformulate LLVM's EH funclet IR

2015-12-12 05:38:55 +00:00

SLPVectorizer

Fix tests that used CHECK-NEXT-NOT and CHECK-DAG-NOT.

2016-02-26 19:40:34 +00:00

SpeculativeExecution

Add a speculative execution pass

2015-05-15 17:54:48 +00:00

SROA

[SROA] Also insert a bit piece expression if only one piece is needed

2016-01-14 20:06:34 +00:00

StraightLineStrengthReduce

[SeparateConstOffsetFromGEP] strengthen the inbounds attribute

2015-08-13 18:48:49 +00:00

StripDeadPrototypes

[PM] Port StripDeadPrototypes to the new pass manager

2015-10-30 23:28:12 +00:00

StripSymbols

DI: Reverse direction of subprogram -> function edge.

2015-11-05 22:03:56 +00:00

StructurizeCFG

AMDGPU: Remove some old intrinsic uses from tests

2016-02-11 06:02:01 +00:00

TailCallElim

Push isDereferenceableAndAlignedPointer down into isSafeToLoadUnconditionally

2016-01-17 12:35:29 +00:00

TailDup

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Util

Make check line consistent

2016-02-07 20:57:46 +00:00

WholeProgramDevirt

WholeProgramDevirt: introduce.

2016-02-09 22:50:34 +00:00