Alina Sbirlea e15e0ec30e [MemorySSA] Remove verifyClobberSanity. ...

Summary:
This verification may fail after certain transformations due to
BasicAA's fragility. Added a small explanation and a testcase that
triggers the assert in checkClobberSanity (before its removal).
Addresses PR40509.

Reviewers: george.burgess.iv

Subscribers: sanjoy, jlebar, llvm-commits, Prazek

Tags: #llvm

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

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

2019-02-11 19:51:21 +00:00

..

AliasSet

[Analysis] Make LocationSize pretty-printing more descriptive

2018-10-10 01:35:22 +00:00

AssumptionCache

Add files I seem to have dropped in my revert (r290086).

2016-12-19 08:32:13 +00:00

BasicAA

[BasicAA] Support arbitrary pointer sizes (and fix an overflow bug)

2019-01-02 16:28:09 +00:00

BlockFrequencyInfo

[BFI] Use rounding while computing profile counts.

2018-08-16 00:26:59 +00:00

BranchProbabilityInfo

[BPI] Apply invoke heuristic before loop branch heuristic

2018-06-08 13:03:21 +00:00

CallGraph

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

CFLAliasAnalysis

Revert r332657: "[AA] cfl-anders-aa with field sensitivity"

2018-05-17 21:56:39 +00:00

ConstantFolding

[ConstantFolding] Fold undef for integer intrinsics

2019-01-11 21:18:00 +00:00

CostModel

[CostModel][X86] Add UMUL fixed point cost tests

2019-02-05 10:55:38 +00:00

Delinearization

Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."

2018-07-13 23:58:46 +00:00

DemandedBits

Reapply "[DemandedBits][BDCE] Support vectors of integers"

2018-12-07 15:38:13 +00:00

DependenceAnalysis

[DA][NewPM] Handle transitive dependencies in the new-pm version of DA

2019-02-03 12:25:41 +00:00

DivergenceAnalysis

[AMDGPU] Add intrinsics for 16 bit interpolation

2019-01-28 13:48:59 +00:00

DominanceFrontier

…

Dominators

[Dominators] Don't compute DFS InOut numbers eagerly.

2017-06-30 01:28:21 +00:00

GlobalsModRef

[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.

2018-05-09 02:40:45 +00:00

IVUsers

Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."

2018-07-13 23:58:46 +00:00

LazyCallGraph

…

LazyValueAnalysis

[LVI] run transfer function for binary operator even when the RHS isn't a constant

2018-11-21 05:24:12 +00:00

LegacyDivergenceAnalysis

AMDGPU: Fix tests using old number for constant address space

2018-09-10 02:54:25 +00:00

Lint

[Lint] Upgrade uses of MemoryIntrinic::getAlignment() to new API. (NFCI)

2018-01-31 16:42:15 +00:00

LoopAccessAnalysis

[LV] Avoid vectorizing unsafe dependencies in uniform address

2018-11-19 15:39:59 +00:00

LoopInfo

Introduce llvm.loop.parallel_accesses and llvm.access.group metadata.

2018-12-20 04:58:07 +00:00

MemoryDependenceAnalysis

[MemDep] Fixed handling of invariant.group

2018-05-18 22:40:34 +00:00

MemorySSA

[MemorySSA] Remove verifyClobberSanity.

2019-02-11 19:51:21 +00:00

MustExecute

[MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514

2018-08-17 06:19:17 +00:00

PhiValues

Add a PhiValuesAnalysis pass to calculate the underlying values of phis

2018-06-28 14:13:06 +00:00

PostDominators

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ProfileSummary

[ProfileSummary] Add options to override hot and cold count thresholds.

2018-11-02 17:39:31 +00:00

RegionInfo

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ScalarEvolution

[SCEV] Do not bother creating separate SCEVUnknown for unreachable nodes

2019-02-04 05:04:19 +00:00

ScopedNoAliasAA

…

StackSafetyAnalysis

[stack-safety] Inter-Procedural Analysis implementation

2018-11-26 23:05:58 +00:00

TypeBasedAliasAnalysis

[FunctionAttrs] Infer WriteOnly Function Attribute

2018-08-23 15:05:22 +00:00

ValueTracking

[ValueTracking] Adjust comment in test

2019-01-07 21:02:22 +00:00

alias-analysis-uses.ll

…