Sanjoy Das 8c493b5ff3 [TBAAVerifier] Be stricter around verifying scalar nodes ...

This fixes the issue exposed in PR31393, where we weren't trying
sufficiently hard to diagnose bad TBAA metadata.

This does reduce the variety in the error messages we print out, but I
think the tradeoff of verifying more, simply and quickly overrules the
need for more helpful error messags here.

llvm-svn: 290713

2016-12-29 15:47:05 +00:00

..

AliasSet

[AliasSetTracker] Make AST smarter about assume intrinsics that don't actually affect memory.

2016-11-07 14:11:45 +00:00

AssumptionCache

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

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

BasicAA

[PM] Add more dedicated testing to cover the invalidation logic added to

2016-12-27 17:59:22 +00:00

BlockFrequencyInfo

[BFI] Add new LazyBFI analysis pass

2016-07-13 05:01:48 +00:00

BranchProbabilityInfo

Enhance calcColdCallHeuristics for InvokeInst

2016-09-23 17:26:14 +00:00

CallGraph

[CG] Add a new pass manager printer pass for the old call graph and

2016-03-10 11:24:11 +00:00

CFLAliasAnalysis

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

ConstantFolding

[ConstantFolding] Fix vector GEPs harder

2016-12-21 17:34:21 +00:00

CostModel

[X86][SSE] Improve lowering of vXi64 multiplies

2016-12-21 20:00:10 +00:00

Delinearization

[SCEV] Consider delinearization pattern with extension with identity factor

2016-10-17 11:56:26 +00:00

DemandedBits

Port DemandedBits to the new pass manager.

2016-04-18 23:55:01 +00:00

DependenceAnalysis

[DependenceAnalysis] Check if result of getConstantPart is null

2016-04-04 18:13:18 +00:00

DivergenceAnalysis

NVPTX: Remove the legacy ptx intrinsics

2016-07-07 16:40:17 +00:00

DominanceFrontier

Another fix the testcase introduced by r261903 - Add the missing matches

2016-02-26 03:41:47 +00:00

Dominators

Remove useless pass from the pipeline in test/Analysis/Dominators/2007-01-14-BreakCritEdges.ll.

2016-07-25 16:27:34 +00:00

GlobalsModRef

Fix regression from my recent GlobalsAA fix.

2016-10-24 21:47:44 +00:00

LazyCallGraph

[LCG] Spell the printing pass pipeline name for the lazy call graph

2016-03-10 11:24:06 +00:00

Lint

[WinEH] Delete the old landingpad implementation of Windows EH

2015-10-09 23:34:53 +00:00

LoopAccessAnalysis

[Loop Vectorizer] Fixed memory confilict checks.

2016-08-28 08:53:53 +00:00

LoopInfo

[PM] Port LoopInfo to the new pass manager, adding both a LoopAnalysis

2015-01-20 10:58:50 +00:00

MemoryDependenceAnalysis

[PM] Teach MemDep to invalidate its result object when its cached

2016-12-27 19:33:04 +00:00

PostDominators

Introduce analysis pass to compute PostDominators in the new pass manager. NFC

2016-02-25 17:54:07 +00:00

ProfileSummary

Reapply r271728 after adding move cobstructor for ProfileSummaryInfo

2016-06-03 22:54:26 +00:00

RegionInfo

[RegionInfo] Add three tests that include infinite loops

2016-11-10 13:56:19 +00:00

ScalarEvolution

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

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

ScopedNoAliasAA

[ScopedNoAliasAA] Make test basic.ll less confusing

2016-03-07 17:49:10 +00:00

TypeBasedAliasAnalysis

[TBAAVerifier] Be stricter around verifying scalar nodes

2016-12-29 15:47:05 +00:00

ValueTracking

[InstSimplify] allow integer vector types to use computeKnownBits

2016-11-27 21:07:28 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

2016-02-09 01:21:57 +00:00