Daniel Berlin 463bc213fe MemorySSA: Make lifetime starts defs for mustaliased pointers ...

Summary:
While we don't want them aliasing with other pointers, there seems to
be no point in not having them clobber must-aliased'd pointers.

If some day, we split the aliasing and ordering chains, we'd make this
not aliasing but an ordering barrier (IE it doesn't affect it's
memory, but we can't hoist it above it).

Reviewers: hfinkel, george.burgess.iv

Subscribers: Prazek, llvm-commits

Differential Revision: https://reviews.llvm.org/D31865

llvm-svn: 299865

2017-04-10 18:46:00 +00:00

..

ADCE

Fix a test to check assembly output instead of bitcode.

2017-03-31 23:22:19 +00:00

AddDiscriminators

Encode duplication factor from loop vectorization and loop unrolling to discriminator.

2017-02-10 21:09:07 +00:00

AlignmentFromAssumptions

…

ArgumentPromotion

Verifier: Disallow a line number without a file in DISubprogram

2017-02-17 23:57:42 +00:00

AtomicExpand

…

BBVectorize

Introduce -unroll-partial-threshold to separate PartialThreshold from Threshold in loop unorller.

2017-01-17 23:39:33 +00:00

BDCE

[BDCE] Skip metadata while replacing uses.

2016-12-07 21:47:32 +00:00

BranchFolding

…

CodeExtractor

…

CodeGenPrepare

Turn on -addr-sink-using-gep by default.

2017-04-06 22:42:18 +00:00

ConstantHoisting

[Constant Hoisting] Avoid inserting instructions before EH pads

2017-03-01 22:41:12 +00:00

ConstantMerge

Don't merge global constants with non-dbg metadata.

2017-03-09 00:03:37 +00:00

ConstProp

opt: Rename -default-data-layout flag to -data-layout and make it always override the layout.

2017-02-17 17:36:52 +00:00

Coroutines

[coroutines] Make CoroSplit pass deterministic

2017-04-08 00:49:46 +00:00

CorrelatedValuePropagation

[IR] Make SwitchInst::CaseIt almost a normal iterator.

2017-03-26 02:49:23 +00:00

CountingFunctionInserter

…

CrossDSOCFI

…

DCE

…

DeadArgElim

Set the prof weight correctly for call instructions in DeadArgumentElimination.

2017-03-23 23:26:00 +00:00

DeadStoreElimination

[DeadStoreElimination] Check function modref behavior before considering memory clobbered

2017-03-01 14:38:29 +00:00

EarlyCSE

[EarlyCSE] Don't DSE across readnone functions that may throw

2017-01-17 20:15:47 +00:00

EliminateAvailableExternally

…

Float2Int

…

ForcedFunctionAttrs

…

FunctionAttrs

[FunctionAttrs] try to extend nonnull-ness of arguments from a callsite back to its parent function

2017-02-13 23:10:51 +00:00

FunctionImport

[ModuleSummaryAnalysis] Don't crash when referencing unnamed globals.

2017-02-22 18:53:38 +00:00

GCOVProfiling

[IR] Remove the DIExpression field from DIGlobalVariable.

2016-12-20 02:09:43 +00:00

GlobalDCE

[PH] Replace uses of AssertingVH from members of analysis results with

2017-01-24 12:55:57 +00:00

GlobalMerge

Renumber testcase metadata nodes after r290153.

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

GlobalOpt

Verifier: Disallow a line number without a file in DISubprogram

2017-02-17 23:57:42 +00:00

GlobalSplit

Fix one-after-the-end type metadata handling in globalsplit.

2017-03-07 22:18:48 +00:00

GuardWidening

…

GVN

Add missing updated test from VN coercion changes. Instructions were renamed. NFC

2017-03-20 18:04:19 +00:00

GVNHoist

Handle UnreachableInst in isGuaranteedToTransferExecutionToSuccessor

2017-03-08 01:54:50 +00:00

IndVarSimplify

[SimplifyIndvar] Replace the sdiv used by IV if we can prove both of its operands are non-negative

2017-03-30 21:56:56 +00:00

InferAddressSpaces

AMDGPU: Add all atomicrmw fields to atomic.inc/dec

2017-03-30 22:21:40 +00:00

InferFunctionAttrs

…

Inline

[ThinLTO] Correct counting of functions in inliner stats

2017-03-24 17:59:06 +00:00

InstCombine

[InstCombine] Use commutable matchers and m_OneUse in visitSub to shorten code. Add missing test cases.

2017-04-10 18:09:25 +00:00

InstMerge

Remove the load hoisting code of MLSM, it is completely subsumed by GVNHoist

2017-01-24 19:55:36 +00:00

InstSimplify

[InstSimplify] Teach SimplifyMulInst to recognize vectors of i1 as And. Not just scalar i1.

2017-04-06 17:33:37 +00:00

InterleavedAccess

[ARM/AArch64] Ensure valid vector element types for interleaved accesses

2017-04-10 18:34:37 +00:00

Internalize

…

IPConstantProp

[IPCP] Don't propagate return value for naked functions.

2017-02-04 19:44:14 +00:00

IRCE

[IRCE] Add a missing invariant check

2017-02-07 23:59:07 +00:00

JumpThreading

[JumpThreading] Perform phi-translation in SimplifyPartiallyRedundantLoad.

2017-03-19 15:30:53 +00:00

LCSSA

…

LICM

Use a WeakVH for UnknownInstructions in AliasSetTracker

2017-03-11 01:15:48 +00:00

LoadCombine

[LoadCombine] Change test to not use instcombine.

2017-02-10 00:44:08 +00:00

LoadStoreVectorizer

[X86 TTI] Implement LSV hook

2017-04-05 20:51:38 +00:00

LoopDataPrefetch

…

LoopDeletion

[PM] Teach LoopDeletion to correctly update the LPM when loops are

2017-01-18 02:41:26 +00:00

LoopDistribute

Move test of lazy BFI with ORE to a generic directory

2017-01-13 00:16:23 +00:00

LoopIdiom

Fix some broken CHECK lines.

2017-01-22 20:28:56 +00:00

LoopInterchange

…

LoopLoadElim

[PM] Port LoopLoadElimination to the new pass manager and wire it into

2017-01-27 01:32:26 +00:00

LoopPredication

Loop predication expand both sides of the widened condition

2017-02-27 15:44:49 +00:00

LoopReroll

…

LoopRotate

[LoopRotate] Propagate dbg.value intrinsics

2017-03-08 09:56:22 +00:00

LoopSimplify

[BasicBlockUtils] Use getFirstNonPHIOrDbg to set debugloc for instructions created in SplitBlockPredecessors

2017-02-14 21:10:40 +00:00

LoopSimplifyCFG

…

LoopStrengthReduce

Turn on -addr-sink-using-gep by default.

2017-04-06 22:42:18 +00:00

LoopUnroll

[LoopUnroll] Remap references in peeled iteration

2017-03-26 16:46:53 +00:00

LoopUnswitch

AMDGPU: Mark all unspecified CC functions in tests as amdgpu_kernel

2017-03-21 21:39:51 +00:00

LoopVectorize

Reapply r298620: [LV] Vectorize GEPs

2017-04-07 14:15:34 +00:00

LoopVersioning

[LAA] Correctly return a half-open range in expandBounds

2017-04-05 09:24:26 +00:00

LoopVersioningLICM

[LAA] Correctly return a half-open range in expandBounds

2017-04-05 09:24:26 +00:00

LowerAtomic

…

LowerExpectIntrinsic

…

LowerGuardIntrinsic

…

LowerInvoke

…

LowerSwitch

…

LowerTypeTests

Align all scalar numbers to LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR

2017-04-04 06:02:32 +00:00

Mem2Reg

Preserve nonnull metadata on Loads through SROA & mem2reg.

2017-03-22 19:16:39 +00:00

MemCpyOpt

MemCpyOptimizer: don't create new addrspace casts

2017-03-14 22:37:38 +00:00

MergeFunc

MergeFunctions: Preserve debug info in thunks, under option -mergefunc-preserve-debug-info

2017-01-21 02:02:56 +00:00

MetaRenamer

[MetaRenamer] Don't rename library functions.

2017-03-23 23:21:07 +00:00

NameAnonGlobals

…

NaryReassociate

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

NewGVN

AliasAnalysis: Be less conservative about volatile than atomic.

2017-04-07 01:28:36 +00:00

ObjCARC

[ObjCArc] Do not dereference an invalidated iterator.

2017-04-05 03:44:09 +00:00

PartiallyInlineLibCalls

Add positive test for sqrt "partial inlining". NFC.

2017-01-04 21:24:56 +00:00

PGOProfile

[PGO] Memory intrinsic calls optimization based on profiled size

2017-04-04 16:42:20 +00:00

PhaseOrdering

…

PlaceSafepoints

…

PreISelIntrinsicLowering

…

PruneEH

…

Reassociate

[Reassociate] Add negated value of negative constant to the Duplicates list.

2017-02-23 18:49:03 +00:00

Reg2Mem

…

RewriteStatepointsForGC

[RSForGC] Handle vector GEPs

2017-03-17 00:55:53 +00:00

SafeStack

[Fuchsia] Use thread-pointer ABI slots for stack-protector and safe-stack

2017-02-24 03:10:10 +00:00

SampleProfile

Do not set branch weight if the branch weight annotation is present.

2017-03-23 14:43:10 +00:00

Scalarizer

[Scalarizer] Handle scalar arguments in vector GEP

2017-03-31 06:29:49 +00:00

SCCP

[SCCP] Resolve indirect branch target when possible.

2017-04-10 00:33:25 +00:00

SeparateConstOffsetFromGEP

AMDGPU: Mark all unspecified CC functions in tests as amdgpu_kernel

2017-03-21 21:39:51 +00:00

SimplifyCFG

[SimplifyCFG] auto-generate better checks; NFC

2017-04-09 16:16:32 +00:00

Sink

…

SLPVectorizer

AMDGPU: Mark all unspecified CC functions in tests as amdgpu_kernel

2017-03-21 21:39:51 +00:00

SpeculativeExecution

…

SROA

Preserve nonnull metadata on Loads through SROA & mem2reg.

2017-03-22 19:16:39 +00:00

StraightLineStrengthReduce

AMDGPU: Mark all unspecified CC functions in tests as amdgpu_kernel

2017-03-21 21:39:51 +00:00

StripDeadPrototypes

…

StripSymbols

[StripDeadDebugInfo] Drop dead CUs entirely

2017-04-06 19:26:22 +00:00

StructurizeCFG

AMDGPU: Remove llvm.SI.vs.load.input

2017-04-03 21:45:13 +00:00

TailCallElim

…

ThinLTOBitcodeWriter

ThinLTOBitcodeWriter: handle aliases first in filterModule

2017-04-05 00:42:07 +00:00

Util

MemorySSA: Make lifetime starts defs for mustaliased pointers

2017-04-10 18:46:00 +00:00

WholeProgramDevirt

Align all scalar numbers to LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR

2017-04-04 06:02:32 +00:00