forked from OSchip/llvm-project
29efe3b287
different fields. We can show that two GEPs off of the same (possibly multidimensional) array of structs, into different fields, can't alias. Quoting: For two GEPOperators GEP1 and GEP2, if we find that: - both GEPs begin indexing from the exact same pointer; - the last indices in both GEPs are constants, indexing into a struct; - said indices are different, hence,the pointed-to fields are different; - and both GEPs only index through arrays prior to that; this lets us determine that the struct that GEP1 indexes into and the struct that GEP2 indexes into must either precisely overlap or be completely disjoint. Because they cannot partially overlap, indexing into different non-overlapping fields of the struct will never alias. The other BasicAA::aliasGEP rules worked in some cases, but not all (for example, the i32x3 struct in the testcase). We can add this simple ad-hoc rule to complement them. rdar://19717375 Differential Revision: http://reviews.llvm.org/D7453 llvm-svn: 228498 |
||
|---|---|---|
| .. | ||
| 2003-02-26-AccessSizeTest.ll | ||
| 2003-03-04-GEPCrash.ll | ||
| 2003-04-22-GEPProblem.ll | ||
| 2003-04-25-GEPCrash.ll | ||
| 2003-05-21-GEP-Problem.ll | ||
| 2003-06-01-AliasCrash.ll | ||
| 2003-07-03-BasicAACrash.ll | ||
| 2003-09-19-LocalArgument.ll | ||
| 2003-11-04-SimpleCases.ll | ||
| 2003-12-11-ConstExprGEP.ll | ||
| 2004-07-28-MustAliasbug.ll | ||
| 2006-03-03-BadArraySubscript.ll | ||
| 2006-11-03-BasicAAVectorCrash.ll | ||
| 2007-01-13-BasePointerBadNoAlias.ll | ||
| 2007-08-01-NoAliasAndCalls.ll | ||
| 2007-08-01-NoAliasAndGEP.ll | ||
| 2007-08-05-GetOverloadedModRef.ll | ||
| 2007-10-24-ArgumentsGlobals.ll | ||
| 2007-11-05-SizeCrash.ll | ||
| 2007-12-08-OutOfBoundsCrash.ll | ||
| 2008-04-15-Byval.ll | ||
| 2008-06-02-GEPTailCrash.ll | ||
| 2008-11-23-NoaliasRet.ll | ||
| 2009-03-04-GEPNoalias.ll | ||
| 2009-10-13-AtomicModRef.ll | ||
| 2009-10-13-GEP-BaseNoAlias.ll | ||
| 2010-09-15-GEP-SignedArithmetic.ll | ||
| 2014-03-18-Maxlookup-reached.ll | ||
| aligned-overread.ll | ||
| args-rets-allocas-loads.ll | ||
| assume.ll | ||
| byval.ll | ||
| cas.ll | ||
| constant-over-index.ll | ||
| cs-cs.ll | ||
| dag.ll | ||
| empty.ll | ||
| featuretest.ll | ||
| full-store-partial-alias.ll | ||
| gcsetest.ll | ||
| gep-alias.ll | ||
| getmodrefinfo-cs-cs.ll | ||
| global-size.ll | ||
| intrinsics.ll | ||
| invariant_load.ll | ||
| memset_pattern.ll | ||
| modref.ll | ||
| must-and-partial.ll | ||
| no-escape-call.ll | ||
| noalias-bugs.ll | ||
| noalias-geps.ll | ||
| noalias-param.ll | ||
| nocapture.ll | ||
| phi-aa.ll | ||
| phi-and-select.ll | ||
| phi-spec-order.ll | ||
| phi-speculation.ll | ||
| pr18573.ll | ||
| pure-const-dce.ll | ||
| store-promote.ll | ||
| struct-geps.ll | ||
| tailcall-modref.ll | ||
| underlying-value.ll | ||
| unreachable-block.ll | ||
| zext.ll | ||