Igor Laevsky ef40e27a13 [LazyValueInfo] Report nonnull range for nonnull pointers ...

Currently LazyValueInfo will report only alloca's as having nonnull range. 
For loads with !nonnull metadata it will bailout with no additional information. 
Same is true for calls returning nonnull pointers.

This change extends LazyValueInfo to handle additional nonnull instructions.

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



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

2015-09-18 13:01:48 +00:00

..

ADCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

AddDiscriminators

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

AlignmentFromAssumptions

…

ArgumentPromotion

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

AtomicExpand

Fix an alignment error in llvm::expandAtomicRMWToCmpXchg without breaking the build where X86 isn't enabled.

2015-08-06 16:55:03 +00:00

BBVectorize

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

BDCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

BranchFolding

Make the default triple optional by allowing an empty string

2015-09-16 05:34:32 +00:00

CodeExtractor

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

CodeGenPrepare

Introducing llvm.invariant.group.barrier intrinsic

2015-09-15 18:32:14 +00:00

ConstantHoisting

…

ConstantMerge

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

ConstProp

[test] (NFC) Simplify Transforms/ConstProp/calls.ll

2015-08-28 18:04:20 +00:00

CorrelatedValuePropagation

[LazyValueInfo] Report nonnull range for nonnull pointers

2015-09-18 13:01:48 +00:00

DeadArgElim

DeadArgElim: don't eliminate arguments from naked functions

2015-09-01 18:06:46 +00:00

DeadStoreElimination

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

EarlyCSE

Allow value forwarding past release fences in EarlyCSE

2015-08-27 01:32:33 +00:00

EliminateAvailableExternally

Don't change the visibility when converting a definition to a declaration.

2015-07-13 14:18:22 +00:00

Float2Int

…

FunctionAttrs

[FunctionAttr] Infer nonnull attributes on returns

2015-08-31 19:44:38 +00:00

GCOVProfiling

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +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

Introducing llvm.invariant.group.barrier intrinsic

2015-09-15 18:32:14 +00:00

GVN

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

IndVarSimplify

[IndVars] Fix PR24783.

2015-09-15 23:45:39 +00:00

Inline

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

InstCombine

[InstCombine] Added vector demanded bits support for SSE4A EXTRQ/INSERTQ instructions

2015-09-17 20:32:45 +00:00

InstMerge

…

InstSimplify

Merge or combine tests and convert to FileCheck.

2015-09-08 18:36:56 +00:00

Internalize

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

IPConstantProp

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

IRCE

…

JumpThreading

[LazyValueInfo] Look through Phi nodes when trying to prove a predicate

2015-08-31 18:31:48 +00:00

LCSSA

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LICM

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

LoadCombine

…

LoopDeletion

…

LoopDistribute

[LAA] Hold bounds via ValueHandles during SCEV expansion

2015-08-21 23:19:57 +00:00

LoopIdiom

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopInterchange

…

LoopReroll

Handle loop with negtive induction variable increment

2015-07-24 22:01:49 +00:00

LoopRotate

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopSimplify

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopStrengthReduce

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopUnroll

[Unroll] Fix a bug in UnrolledInstAnalyzer::visitLoad.

2015-09-16 03:25:09 +00:00

LoopUnswitch

[LoopUnswitch] Preserve make.implicit metadata for unswitched conditions

2015-08-05 21:13:26 +00:00

LoopVectorize

[LV] Relax Small Size Reduction Type Requirement

2015-09-10 21:12:57 +00:00

LowerAtomic

…

LowerBitSets

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

LowerExpectIntrinsic

…

LowerInvoke

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LowerSwitch

[LowerSwitch] Fix a bug when LowerSwitch deletes the default block

2015-08-11 18:12:26 +00:00

Mem2Reg

DI: Update tests before adding !dbg subprogram attachments

2015-08-28 23:32:00 +00:00

MemCpyOpt

Emit argmemonly attribute for intrinsics.

2015-08-13 17:40:04 +00:00

MergeFunc

[MergeFuncs] Fix bug in merging GetElementPointers

2015-09-14 15:37:48 +00:00

MetaRenamer

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

NaryReassociate

[NaryReassociate] Improve test CHECK

2015-09-16 05:27:46 +00:00

ObjCARC

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

PartiallyInlineLibCalls

…

PhaseOrdering

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

PlaceSafepoints

[PlaceSafepoints] Make the width of a counted loop settable.

2015-09-15 01:42:48 +00:00

PruneEH

[PruneEH] A naked, noinline function can return via InlineAsm

2015-06-27 07:52:53 +00:00

Reassociate

Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI

2015-08-10 19:01:27 +00:00

Reg2Mem

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

RewriteStatepointsForGC

[RewriteStatepointsForGC] Extend base pointer inference to handle insertelement

2015-09-09 23:40:12 +00:00

SafeStack

SafeStack: Create the unsafe stack pointer on demand.

2015-06-22 20:26:54 +00:00

SampleProfile

Temporarily fix gcov failures in big-endian hosts.

2015-09-17 19:05:48 +00:00

Scalarizer

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

ScalarRepl

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

SCCP

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

SeparateConstOffsetFromGEP

[SeparateConstOffsetFromGEP] sext(a)+sext(b) => sext(a+b) when a+b can't sign-overflow.

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

SimplifyCFG

[WinEH] Pull Adjectives and CatchObj out of the catchpad arg list

2015-09-16 20:16:27 +00:00

Sink

Teach the IR Sink pass to (conservatively) respect convergent annotations.

2015-06-01 17:20:31 +00:00

SLPVectorizer

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

SpeculativeExecution

Add a speculative execution pass

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

SROA

[PM] Port SROA to the new pass manager.

2015-09-12 09:09:14 +00:00

StraightLineStrengthReduce

[SeparateConstOffsetFromGEP] strengthen the inbounds attribute

2015-08-13 18:48:49 +00:00

StripSymbols

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

StructurizeCFG

Fix CHECK directives that weren't checking.

2015-08-31 21:10:35 +00:00

TailCallElim

Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI

2015-08-10 19:01:27 +00:00

TailDup

…

Util

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

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