Philip Reames 1758dd66cc [LVI] Fix a bug which prevented use of !range metadata within a query ...

The diff is relatively large since I took a chance to rearrange the code I had to touch in a more obvious way, but the key bit is merely using the !range metadata when we can't analyze the instruction further.  The previous !range metadata code was essentially just dead since no binary operator or cast will have !range metadata (per Verifier) and it was otherwise dropped on the floor.



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

2016-03-04 22:27:39 +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] Fix a bug which prevented use of !range metadata within a query

2016-03-04 22:27:39 +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

Add another test for the GlobalOpt change in r212079.

2016-03-02 20:02:25 +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

Infrastructure for PGO enhancements in inliner

2016-03-03 18:26:33 +00:00

InstCombine

[InstCombine] Combine A->B->A BitCast

2016-03-03 23:21:38 +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

[InstSimplify] Restore fsub 0.0, (fsub 0.0, X) ==> X optzn

2016-02-29 12:18:25 +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

[LICM] Teach LICM how to handle cases where the alias set tracker was

2016-02-27 04:34:07 +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

[LLE] Add testcase for the fix in r262267

2016-03-01 00:50:14 +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

[LoopUtils, LV] Fix PR26734

2016-03-03 16:12:01 +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

…

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

Perform InstructioinCombiningPass before SampleProfile pass.

2016-03-01 22:53:02 +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

[ValueTracking] Remove dead code from an old experiment

2016-03-03 19:44:06 +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