Johannes Doerfert 88c30ca9a2 [BasicAA] Use dereferenceability to reason about aliasing ...

Summary:
We already use the fact that an object with known size X does not alias
another objection of size Y > X before. With this commit, we use
dereferenceability information to determine a lower bound for Y and not
only rely on the user provided query size.

The result for @global_and_deref_arg_2() and @local_and_deref_ret_2()
in test/Analysis/BasicAA/dereferenceable.ll improved with this patch.

Reviewers: asbirlea, chandlerc, hfinkel, sanjoy

Subscribers: hiraditya, bollu, llvm-commits

Tags: #llvm

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

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

2019-08-23 17:56:10 +00:00

..

128-bit-ptr.ll

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

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

2003-02-26-AccessSizeTest.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-03-04-GEPCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2003-04-22-GEPProblem.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-04-25-GEPCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2003-05-21-GEP-Problem.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-06-01-AliasCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-07-03-BasicAACrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2003-09-19-LocalArgument.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-11-04-SimpleCases.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2003-12-11-ConstExprGEP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2004-07-28-MustAliasbug.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2006-03-03-BadArraySubscript.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2006-11-03-BasicAAVectorCrash.ll

[PPC] Remove Darwin support from POWER backend.

2018-08-28 01:18:29 +00:00

2007-01-13-BasePointerBadNoAlias.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-08-01-NoAliasAndCalls.ll

Convert the uses of '|&' to use '2>&1 |' instead, which works on old

2012-07-02 18:37:59 +00:00

2007-08-01-NoAliasAndGEP.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

2007-08-05-GetOverloadedModRef.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-10-24-ArgumentsGlobals.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2007-11-05-SizeCrash.ll

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

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

2007-12-08-OutOfBoundsCrash.ll

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

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

2008-04-15-Byval.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-06-02-GEPTailCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2008-11-23-NoaliasRet.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-03-04-GEPNoalias.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-10-13-AtomicModRef.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-10-13-GEP-BaseNoAlias.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2010-09-15-GEP-SignedArithmetic.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

2014-03-18-Maxlookup-reached.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

aligned-overread.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

args-rets-allocas-loads.ll

[ModRefInfo] Add must alias info to ModRefInfo.

2017-12-21 21:41:53 +00:00

assume.ll

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

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

bug.23540.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

bug.23626.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

byval.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

call-attrs.ll

[ModRefInfo] Add must alias info to ModRefInfo.

2017-12-21 21:41:53 +00:00

cas.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

constant-over-index.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

cs-cs-arm.ll

[ModRefInfo] Add must alias info to ModRefInfo.

2017-12-21 21:41:53 +00:00

cs-cs.ll

[FunctionAttrs] Annotate "willreturn" for intrinsics

2019-07-28 06:09:56 +00:00

dag.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

dereferenceable.ll

[BasicAA] Use dereferenceability to reason about aliasing

2019-08-23 17:56:10 +00:00

empty.ll

Convert the uses of '|&' to use '2>&1 |' instead, which works on old

2012-07-02 18:37:59 +00:00

fallback-mayalias.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

featuretest.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

full-store-partial-alias.ll

[Verifier] Add verification for TBAA metadata

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

gcsetest.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

gep-alias.ll

[BasicAA] Add a test for PR24468 to be sure we won't regress

2015-08-19 00:08:26 +00:00

gep-and-alias-64.ll

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

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

gep-and-alias.ll

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

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

getmodrefinfo-cs-cs.ll

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

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

global-size.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

guards.ll

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

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

intrinsics-arm.ll

Add '#' to test regex that I forgot in r303025.

2017-05-15 04:58:27 +00:00

intrinsics.ll

[FunctionAttrs] Annotate "willreturn" for intrinsics

2019-07-28 06:09:56 +00:00

invalidation.ll

[BasicAA] Use PhiValuesAnalysis if available when handling phi alias

2018-07-30 11:52:08 +00:00

invariant_group.ll

[BasicAA] Fix handling of invariant group launders

2018-05-16 13:16:54 +00:00

invariant_load.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

memset_pattern.ll

[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference

2016-01-06 04:53:16 +00:00

modref.ll

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

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

must-and-partial.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

negoffset.ll

[BasicAA] Return MayAlias for the pointer plus variable offset to

2018-04-16 01:58:39 +00:00

no-escape-call.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

noalias-bugs.ll

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

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

noalias-geps.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

noalias-param.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

noalias-wraparound-bug.ll

[BasicAA] Fix for missing must alias (D16343)

2016-01-30 05:52:53 +00:00

nocapture.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

phi-aa.ll

[BasicAA] Use PhiValuesAnalysis if available when handling phi alias

2018-07-30 11:52:08 +00:00

phi-and-select.ll

Convert the uses of '|&' to use '2>&1 |' instead, which works on old

2012-07-02 18:37:59 +00:00

phi-loop.ll

Analyze recursive PHI nodes in BasicAA

2015-07-15 19:32:22 +00:00

phi-spec-order.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

phi-speculation.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

phi-values-usage.ll

[PhiValues] Use callback value handles to invalidate deleted values

2018-08-24 15:48:30 +00:00

pr18573.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

pr31761.ll

Fix BasicAA incorrect assumption on GEP

2017-01-27 16:12:22 +00:00

pr35821.ll

[BasicAA] Fix linearization of shifts beyond the bitwidth.

2018-01-05 16:18:47 +00:00

pr35843.ll

[BasicAA] Stop crashing when dealing with pointers > 64 bits.

2018-01-15 01:40:18 +00:00

ptrmask.ll

[ValueTracking] Look through ptrmask intrinsics during getUnderlyingObject.

2019-08-15 18:39:56 +00:00

pure-const-dce.ll

Use references to attribute groups on the call/invoke instructions.

2013-02-22 09:09:42 +00:00

q.bad.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

returned.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

sequential-gep.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

store-promote.ll

[LoopPassManager + MemorySSA] Only enable use of MemorySSA for LPMs known to preserve it.

2019-08-21 17:00:57 +00:00

struct-geps.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

tail-byval.ll

[BasicAA] Don't assume tail calls with byval don't alias allocas

2018-08-14 01:24:35 +00:00

tailcall-modref.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

underlying-value.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

unreachable-block.ll

Make shell redirection construct portable

2017-07-12 13:24:46 +00:00

zext.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00