Sanjoy Das ee81b23fe7 [EarlyCSE] Simplify guard intrinsics ...

Summary:
This change teaches EarlyCSE some basic properties of guard intrinsics:

 - Guard intrinsics read all memory, but don't write to any memory
 - After a guard has executed, the condition it was guarding on can be
   assumed to be true
 - Guard intrinsics on a constant `true` are no-ops

Reviewers: reames, hfinkel

Subscribers: mcrosier, llvm-commits

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

llvm-svn: 268120

2016-04-29 21:52:58 +00:00

..

ADCE

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

AddDiscriminators

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

AlignmentFromAssumptions

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

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

ArgumentPromotion

[ArgumentPromotion] Propagate operand bundles to promoted call sites

2016-04-29 04:56:12 +00:00

AtomicExpand

ARM: use a pseudo-instruction for cmpxchg at -O0.

2016-04-18 21:48:55 +00:00

BBVectorize

Have a single way for creating unique value names.

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

BDCE

…

BranchFolding

Move branch folding test to a better location.

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

CodeExtractor

…

CodeGenPrepare

[CodeGenPrepare] Don't sink a cast past its user

2016-04-27 19:36:38 +00:00

ConstantHoisting

ARM: don't try to hoist constant RHS out of a division.

2016-04-15 18:17: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] Reduce compile time by lazily scanning blocks if needed

2016-04-27 00:30:55 +00:00

CrossDSOCFI

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

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

DCE

PM: Port DCE to the new pass manager

2016-04-22 19:40:41 +00:00

DeadArgElim

[DeadArgumentElimination] Propagate operand bundles to promoted call sites

2016-04-29 07:22:36 +00:00

DeadStoreElimination

[DeadStoreElimination] Shorten beginning of memset overwritten by later stores

2016-04-22 19:51:29 +00:00

EarlyCSE

[EarlyCSE] Simplify guard intrinsics

2016-04-29 21:52:58 +00:00

EliminateAvailableExternally

…

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

Don't IPO over functions that can be de-refined

2016-04-08 00:48:30 +00:00

FunctionImport

ThinLTO/ModuleLinker: add a flag to not always pull-in linkonce when performing importing

2016-04-21 01:59:39 +00:00

GCOVProfiling

DebugInfo: Remove MDString-based type references

2016-04-23 21:08:00 +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

PM: Port GlobalOpt to the new pass manager

2016-04-26 00:28:01 +00:00

GVN

[GVN] Respect fast-math-flags on fcmps

2016-04-22 06:37:51 +00:00

IndVarSimplify

[LLVM] Remove unwanted --check-prefix=CHECK from unit tests. NFC.

2016-04-19 23:51:52 +00:00

InferFunctionAttrs

[InferAttrs] Mark memset_pattern16 params nocapture.

2016-04-27 19:04:43 +00:00

Inline

[Inliner] Preserve llvm.mem.parallel_loop_access metadata

2016-04-28 23:00:04 +00:00

InstCombine

[InstCombine] Determine the result of a select based on a dominating condition.

2016-04-29 21:12:31 +00:00

InstMerge

fixed typo - CHECK-LABEL

2016-03-29 06:49:38 +00:00

InstSimplify

Introduce llvm.load.relative intrinsic.

2016-04-22 21:18:02 +00:00

Internalize

PM: Port Internalize to the new pass manager

2016-04-26 20:15:52 +00:00

IPConstantProp

Don't IPO over functions that can be de-refined

2016-04-08 00:48:30 +00:00

IRCE

[SCEV] Try to reuse existing value during SCEV expansion

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

JumpThreading

[ValueTracking] Improve isImpliedCondition when the dominating cond is false.

2016-04-25 17:23:36 +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

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

LoadCombine

…

LoopDataPrefetch

[LoopDataPrefetch] Centralize the tuning cl::opts under the pass

2016-03-29 23:45:52 +00:00

LoopDeletion

…

LoopDistribute

[LoopDist] Add missing RUN line in test from r268006

2016-04-29 07:16:00 +00:00

LoopIdiom

[LIR] Set attributes on memset_pattern16.

2016-04-27 19:04:50 +00:00

LoopInterchange

…

LoopLoadElim

[LLE] Check for mismatching types between the store and the load earlier

2016-03-24 17:59:26 +00:00

LoopReroll

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

LoopRotate

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

LoopSimplify

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

LoopSimplifyCFG

Add LoopSimplifyCFG pass

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

LoopStrengthReduce

AMDGPU: Stop reporting an addressing mode for unknown addrspace

2016-04-29 06:25:10 +00:00

LoopUnroll

The patch fixes PR27392.

2016-04-27 03:04:54 +00:00

LoopUnswitch

[SimlifyCFG] Prevent passes from destroying canonical loop structure, especially for nested loops

2016-03-29 04:08:57 +00:00

LoopVectorize

[LoopVectorize] Add operand bundles to vectorized functions

2016-04-29 07:09:48 +00:00

LoopVersioning

[LVers] Change CHECK_LABEL to CHECK-LABEL (underscore->dash)

2016-03-28 21:04:13 +00:00

LoopVersioningLICM

[LoopVersioningLICM] Add test coverage for llvm.loop.licm_versioning.disable

2016-04-22 18:34:50 +00:00

LowerAtomic

…

LowerBitSets

[cfi] Support explicit sections for functions in cfi-icall.

2016-04-15 22:55:38 +00:00

LowerExpectIntrinsic

[LowerExpectIntrinsic] make default likely/unlikely ratio bigger

2016-04-26 22:23:38 +00:00

LowerGuardIntrinsic

Introduce a @llvm.experimental.guard intrinsic

2016-03-31 00:18:46 +00:00

LowerInvoke

…

LowerSwitch

Have a single way for creating unique value names.

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

Mem2Reg

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

MemCpyOpt

Imporove load to store => memcpy

2016-03-14 22:52:27 +00:00

MergeFunc

MergeFunctions: test alloca better

2016-04-12 00:03:26 +00:00

MetaRenamer

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

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

NameAnonFunctions

Add a pass to name anonymous/nameless function

2016-04-12 21:35:28 +00:00

NaryReassociate

[NaryReassociate] allow candidate to have a different type

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

ObjCARC

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

PartiallyInlineLibCalls

…

PGOProfile

more buildbot failure fix to r267792

2016-04-27 23:23:53 +00:00

PhaseOrdering

…

PlaceSafepoints

[PlaceSafepoints] Clamp NoStatepoints to true

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

PreISelIntrinsicLowering

Introduce llvm.load.relative intrinsic.

2016-04-22 21:18:02 +00:00

PruneEH

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

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

Reassociate

PM: Port Reassociate to the new pass manager

2016-04-26 23:39:29 +00:00

Reg2Mem

…

RewriteStatepointsForGC

[RS4GC] Better codegen for deoptimize calls

2016-04-05 23:18:35 +00:00

SafeStack

DebugInfo: Remove MDString-based type references

2016-04-23 21:08:00 +00:00

SampleProfile

Tune basic block annotation algorithm.

2016-04-26 04:59:11 +00:00

Scalarizer

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

ScalarRepl

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

SCCP

Don't IPO over functions that can be de-refined

2016-04-08 00:48:30 +00:00

SeparateConstOffsetFromGEP

[ValueTracking] Remove dead code from an old experiment

2016-03-03 19:44:06 +00:00

SimplifyCFG

Update test to use FileCheck

2016-04-28 00:29:27 +00:00

Sink

PM: Port SinkingPass to the new pass manager

2016-04-22 19:54:10 +00:00

SLPVectorizer

[SLPVectorizer] Add operand bundles to vectorized functions

2016-04-29 07:09:51 +00:00

SpeculativeExecution

Move divergent-target test into CodeGen/NVPTX because it requires an NVPTX target.

2016-04-15 01:20:52 +00:00

SROA

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

StraightLineStrengthReduce

…

StripDeadPrototypes

[PM] Port StripDeadPrototypes to the new pass manager

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

StripSymbols

[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.

2016-04-15 15:57:41 +00:00

StructurizeCFG

AMDGPU: Remove leftover ShaderType attributes in tests

2016-04-13 00:39:48 +00:00

TailCallElim

Push isDereferenceableAndAlignedPointer down into isSafeToLoadUnconditionally

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

Util

[BasicAA] Treat llvm.assume as not accessing memory in getModRefBehavior(Function)

2016-04-29 17:18:28 +00:00

WholeProgramDevirt

WholeProgramDevirt: introduce.

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