llvm-project/llvm/test/Analysis/BasicAA
Florian Hahn ae852750b3
[MemoryLocation] Support memcpy_chk in getForArgument.
Similar to 9f9e8ba114, add support for memcyp_chk to
MemoryLocation::getForArgument.

The size argument for memcpy_chk is an upper bound for the size of the
pointer argument. memcpy_chk may read/write less than the specified length,
if it exceeds the specified max size and aborts.

Reviewed By: xbolva00, jdoerfert

Differential Revision: https://reviews.llvm.org/D138613
2022-11-24 19:17:48 +00:00
..
128-bit-ptr.ll
2003-02-26-AccessSizeTest.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2003-03-04-GEPCrash.ll
2003-04-22-GEPProblem.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2003-04-25-GEPCrash.ll
2003-05-21-GEP-Problem.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2003-06-01-AliasCrash.ll
2003-07-03-BasicAACrash.ll
2003-09-19-LocalArgument.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2003-11-04-SimpleCases.ll
2003-12-11-ConstExprGEP.ll
2004-07-28-MustAliasbug.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2006-03-03-BadArraySubscript.ll
2006-11-03-BasicAAVectorCrash.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2007-01-13-BasePointerBadNoAlias.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2007-08-01-NoAliasAndCalls.ll
2007-08-01-NoAliasAndGEP.ll
2007-08-05-GetOverloadedModRef.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2007-10-24-ArgumentsGlobals.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2007-11-05-SizeCrash.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2007-12-08-OutOfBoundsCrash.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2008-04-15-Byval.ll
2008-06-02-GEPTailCrash.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2008-11-23-NoaliasRet.ll
2009-03-04-GEPNoalias.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2009-10-13-AtomicModRef.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
2009-10-13-GEP-BaseNoAlias.ll
2010-09-15-GEP-SignedArithmetic.ll
2014-03-18-Maxlookup-reached.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
aligned-overread.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
args-rets-allocas-loads.ll [AA] Do not track Must in ModRefInfo 2022-08-01 07:14:31 +02:00
assume-index-positive.ll [BasicAA] Add test coverage from D76194. 2022-06-29 11:25:20 +01:00
assume.ll
atomic-memory-intrinsics.ll [AA] Do not track Must in ModRefInfo 2022-08-01 07:14:31 +02:00
bug.23540.ll
bug.23626.ll
byval.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
call-attrs.ll [AA] Do not track Must in ModRefInfo 2022-08-01 07:14:31 +02:00
call-escape-source.ll [opt] Stop treating alias analysis specially when translating legacy opt syntax 2022-10-07 11:50:43 -07:00
cas.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
constant-memory.ll [AliasAnalysis] Introduce getModRefInfoMask() as a generalization of pointsToConstantMemory(). 2022-10-31 13:03:41 -07:00
constant-over-index.ll
cs-cs-arm.ll [BasicAA] Re-enable cs-cs-arm.ll test (PR58738) 2022-11-02 14:22:44 +01:00
cs-cs.ll [IR] Switch everything to use memory attribute 2022-11-04 10:21:38 +01:00
dag.ll
deoptimize.ll [IR] Take operand bundles into account for call argument readonly/writeonly 2022-11-01 09:30:03 +01:00
dereferenceable.ll
empty.ll
fallback-mayalias.ll
featuretest.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
full-store-partial-alias.ll
gcsetest.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
gep-alias.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
gep-and-alias-64.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
gep-and-alias.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
gep-decomposition-limit.ll
gep-implicit-trunc-32-bit-pointers.ll
gep-modulo.ll
getmodrefinfo-cs-cs.ll
global-size.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
guards.ll
index-size.ll
intrinsics-arm.ll [IR] Switch everything to use memory attribute 2022-11-04 10:21:38 +01:00
intrinsics.ll [IR] Switch everything to use memory attribute 2022-11-04 10:21:38 +01:00
invalidation.ll
invariant_group.ll
invariant_load.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
libfuncs-darwin.ll
libfuncs.ll [MemoryLocation] Support memcpy_chk in getForArgument. 2022-11-24 19:17:48 +00:00
modref.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
must-and-partial.ll
negoffset.ll
no-escape-call.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
noalias-bugs.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
noalias-geps.ll
noalias-inttoptr.ll
noalias-param.ll
noalias-scope-decl.ll
noalias-wraparound-bug.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
nocapture.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
phi-aa.ll [BasicAA] Add test for phi of geps of alloca (NFC) 2022-10-17 16:47:35 +02:00
phi-and-select.ll [BasicAA] Account for cycles when checking for same select condition 2022-10-14 10:37:40 +02:00
phi-loop.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
phi-spec-order.ll
phi-speculation.ll
phi-values-usage.ll
pr18573.ll [test] Remove readonly from some parameters that are written through in tests. 2022-10-29 15:05:20 -07:00
pr31761.ll
pr35821.ll
pr35843.ll
pr52735.ll [IR] Don't use blockaddresses as callbr arguments 2022-07-15 10:18:17 +02:00
ptrmask.ll
pure-const-dce.ll [IR] Switch everything to use memory attribute 2022-11-04 10:21:38 +01:00
q.bad.ll
range.ll
recphi.ll
returned.ll
sequential-gep.ll
store-promote.ll
struct-geps.ll
tail-byval.ll
tailcall-modref.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
underlying-value.ll [test] Use -passes syntax in Analysis tests 2022-10-21 20:38:42 +02:00
unreachable-block.ll
vscale.ll
zext.ll