Arnold Schwaighofer 8963071a14 BasicAA: We need to check both access sizes when comparing a gep and an ...

underlying object of unknown size.

Fixes PR18460.

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

2014-01-16 04:53:18 +00:00

..

2003-02-26-AccessSizeTest.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2003-03-04-GEPCrash.ll

…

2003-04-22-GEPProblem.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

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

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2003-11-04-SimpleCases.ll

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

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

2003-12-11-ConstExprGEP.ll

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

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

2004-07-28-MustAliasbug.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2006-03-03-BadArraySubscript.ll

BasicAA: Use reachabilty instead of dominance for checking value equality in phi

2014-01-03 05:47:03 +00:00

2006-11-03-BasicAAVectorCrash.ll

…

2007-01-13-BasePointerBadNoAlias.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +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

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

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

2007-08-05-GetOverloadedModRef.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2007-10-24-ArgumentsGlobals.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2007-11-05-SizeCrash.ll

…

2007-12-08-OutOfBoundsCrash.ll

…

2008-04-15-Byval.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2008-06-02-GEPTailCrash.ll

…

2008-11-23-NoaliasRet.ll

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

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

2009-03-04-GEPNoalias.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

2009-10-13-AtomicModRef.ll

…

2009-10-13-GEP-BaseNoAlias.ll

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

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

2010-09-15-GEP-SignedArithmetic.ll

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

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

aligned-overread.ll

…

args-rets-allocas-loads.ll

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

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

byval.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

cas.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

constant-over-index.ll

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

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

dag.ll

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

2012-07-02 18:37:59 +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

featuretest.ll

…

full-store-partial-alias.ll

TBAA: handle scalar TBAA format and struct-path aware TBAA format.

2013-09-27 18:34:27 +00:00

gcsetest.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

gep-alias.ll

Use correct size for address space in BasicAA.

2013-11-16 00:36:43 +00:00

getmodrefinfo-cs-cs.ll

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

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

global-size.ll

Use correct size for address space in BasicAA.

2013-11-16 00:36:43 +00:00

intrinsics.ll

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

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

invariant_load.ll

TBAA: remove !tbaa from testing cases if not used.

2013-04-29 22:42:01 +00:00

memset_pattern.ll

…

modref.ll

…

must-and-partial.ll

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

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

no-escape-call.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

noalias-bugs.ll

BasicAA: We need to check both access sizes when comparing a gep and an

2014-01-16 04:53:18 +00:00

noalias-geps.ll

Use CHECK-LABEL

2013-09-30 23:31:55 +00:00

noalias-param.ll

Make BasicAliasAnalysis recognize the fact a noalias argument cannot alias another argument, even if the other argument is not itself marked noalias.

2013-05-28 08:17:48 +00:00

nocapture.ll

Don't infer whether a value is captured in the current function from the

2012-11-05 10:48:24 +00:00

phi-aa.ll

BasicAA: Use reachabilty instead of dominance for checking value equality in phi

2014-01-03 05:47:03 +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-spec-order.ll

BasicAA: Use reachabilty instead of dominance for checking value equality in phi

2014-01-03 05:47:03 +00:00

phi-speculation.ll

Optimistically analyse Phi cycles

2012-12-10 23:02:41 +00:00

pure-const-dce.ll

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

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

store-promote.ll

…

tailcall-modref.ll

FileCheck-ize these tests. Harden some of them.

2012-04-24 09:15:38 +00:00

underlying-value.ll

…

unreachable-block.ll

…