Philip Reames db94a30be3 [LICM] Sinking doesn't involve the preheader ...

PR23608 pointed out that using the preheader to gain a context instruction isn't always legal because a loop might not have a preheader.  When looking into that, I realized that using the preheader to determine legality for sinking is questionable at best.  Given no test covers that case and the original commit didn't seem to intend it, I restructured the code to only ask context sensative queries for hoising of loads and stores.  This is effectively a partial revert of 237593.

llvm-svn: 237985

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

..

ADCE

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

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

AddDiscriminators

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

AlignmentFromAssumptions

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

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

ArgumentPromotion

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

AtomicExpand/ARM

…

BBVectorize

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

BDCE

[BDCE] Don't forget uses of root instructions seen before the instruction itself

2015-02-18 03:12:28 +00:00

BranchFolding

…

CodeExtractor

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

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

CodeGenPrepare

[Statepoints] Support for "patchable" statepoints.

2015-05-12 23:52:24 +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 to gep operator

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

ConstProp

[ConstantFolding] Fix wrong folding of intrinsic 'convert.from.fp16'.

2015-05-14 18:01:48 +00:00

CorrelatedValuePropagation

CVP: Improve handling of Selects used as incoming PHI values

2015-05-12 22:31:47 +00:00

DeadArgElim

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

DeadStoreElimination

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

EarlyCSE

Preserve the order of READ_REGISTER and WRITE_REGISTER

2015-05-18 16:42:10 +00:00

Float2Int

Reapply r233175 and r233183: float2int.

2015-03-27 10:36:57 +00:00

FunctionAttrs

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

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

GCOVProfiling

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

GlobalDCE

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

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

GlobalOpt

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

GVN

Update BasicAliasAnalysis to understand that nothing aliases with undef values.

2015-05-05 18:10:49 +00:00

IndVarSimplify

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

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

Inline

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

InstCombine

[InstCombine] X - 0 is equal to X, not undef

2015-05-21 23:04:21 +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

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

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

Internalize

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

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

IPConstantProp

Skip extra LLVM IR assemble/disassemble steps in some tests

2015-04-24 18:06:09 +00:00

IRCE

[IRCE] Fix a regression introduced in r232444.

2015-03-24 19:29:18 +00:00

JumpThreading

[JumpThreading] Simplify comparisons when simplifying branches

2015-05-07 00:19:14 +00:00

LCSSA

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

2015-04-24 19:32:54 +00:00

LICM

[LICM] Sinking doesn't involve the preheader

2015-05-22 02:14:05 +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

LoopDeletion

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

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

LoopDistribute

[LoopAccesses] Rearrange printed lines in -analyze

2015-05-18 15:36:57 +00:00

LoopIdiom

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

LoopInterchange

Add support to interchange loops with reductions.

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

LoopReroll

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

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

LoopRotate

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

LoopSimplify

Verifier: Call verifyModule() from llc and opt

2015-03-27 22:04:28 +00:00

LoopStrengthReduce

[NoTTI] reject negative scale in addressing mode

2015-05-08 18:07:24 +00:00

LoopUnroll

[PPC/LoopUnrollRuntime] Don't avoid high-cost trip count computation on the PPC/A2

2015-05-21 20:30:23 +00:00

LoopUnswitch

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

LoopVectorize

NFC - Test case invokes llc on a file rather than redirected from a file.

2015-05-15 15:29:53 +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

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

LowerExpectIntrinsic

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

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

LowerInvoke

Verifier: Call verifyModule() from llc and opt

2015-03-27 22:04:28 +00:00

LowerSwitch

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

Mem2Reg

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

MemCpyOpt

[MemCpyOpt] Do move the memset, but look at its dest's dependencies.

2015-05-21 01:43:39 +00:00

MergeFunc

MergeFunctions: Two different sized allocas are *not* the same

2015-05-12 21:42:22 +00:00

MetaRenamer

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

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

NaryReassociate

[NaryReassoc] reassociate GEP for CSE

2015-05-21 23:17:30 +00:00

ObjCARC

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

PartiallyInlineLibCalls

…

PhaseOrdering

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

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

PlaceSafepoints

Add a GCStrategy for CoreCLR

2015-05-20 01:07:23 +00:00

PruneEH

Fix invalid LLVM IR in PruneEH tests

2015-02-11 02:06:47 +00:00

Reassociate

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

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

Reg2Mem

…

RewriteStatepointsForGC

[RewriteStatepointsForGC] For some values (like gep's and bitcasts) it's cheaper to clone them after statepoint than to emit proper relocates for them. This change implements this logic. There is alredy similar optimization in CodeGenPrepare, but doing so during RewriteStatepointsForGC allows to capture more opprtunities such as relocates in loops and longer instruction chains.

2015-05-19 15:59:05 +00:00

SampleProfile

Add function entry counts from sample profiles.

2015-05-13 17:04:29 +00:00

Scalarizer

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

ScalarRepl

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

SCCP

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

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

SeparateConstOffsetFromGEP/NVPTX

[ValueTracking] refactor: extract method haveNoCommonBitsSet

2015-05-14 23:53:19 +00:00

SimplifyCFG

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00

Sink

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

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

SLPVectorizer

Let llc and opt override "-target-cpu" and "-target-features" via command line

2015-05-06 23:54:14 +00:00

SpeculativeExecution

Add a speculative execution pass

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

SROA

[ConstantFold] Don't fold ppc_fp128 <-> int bitcasts

2015-03-28 16:44:57 +00:00

StraightLineStrengthReduce

[SLSR] handle (B | i) * S

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

StripSymbols

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

StructurizeCFG

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

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

TailCallElim

TRE: Just erase dead BBs and tweak the iteration loop not to increment the deleted BB iterator.

2015-02-28 16:47:27 +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

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00