Silviu Baranga a68e72a0c8 [LAA] Allow more run-time alias checks by coercing pointer expressions to AddRecExprs ... Summary: LAA can only emit run-time alias checks for pointers with affine AddRec SCEV expressions. However, non-AddRecExprs can be now be converted to affine AddRecExprs using SCEV predicates. This change tries to add the minimal set of SCEV predicates in order to enable run-time alias checking. Reviewers: anemet, mzolotukhin, mkuper, sanjoy, hfinkel Reviewed By: hfinkel Subscribers: mssimpso, Ayal, dorit, roman.shirokiy, mzolotukhin, llvm-commits Differential Revision: https://reviews.llvm.org/D17080 llvm-svn: 313012		2017-09-12 07:48:22 +00:00
..
backward-dep-different-types.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
forward-loop-carried.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
forward-loop-independent.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
independent-interleaved.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
interleave-innermost.ll	[Vectorization] Actually return from error case in isStridedPtr	2016-01-08 01:55:13 +00:00
memcheck-for-loop-invariant.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
memcheck-off-by-one-error.ll	[Loop Vectorizer] Fixed memory confilict checks.	2016-08-28 08:53:53 +00:00
memcheck-wrapping-pointers.ll	[LAA] Allow more run-time alias checks by coercing pointer expressions to AddRecExprs	2017-09-12 07:48:22 +00:00
multiple-strides-rt-memory-checks.ll	[LV/LoopAccess] Check statically if an unknown dependence distance can be	2017-02-12 09:32:53 +00:00
non-wrapping-pointer.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
nullptr.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
number-of-memchecks.ll	[Loop Vectorizer] Fixed memory confilict checks.	2016-08-28 08:53:53 +00:00
pointer-with-unknown-bounds.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
pr31098.ll	[LV/LoopAccess] Check statically if an unknown dependence distance can be	2017-02-12 09:32:53 +00:00
resort-to-memchecks-only.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
reverse-memcheck-bounds.ll	[Loop Vectorizer] Fixed memory confilict checks.	2016-08-28 08:53:53 +00:00
safe-no-checks.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
safe-with-dep-distance.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
store-to-invariant-check1.ll	[LAA] Port test to the new PM	2016-07-08 21:24:06 +00:00
store-to-invariant-check2.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
store-to-invariant-check3.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
stride-access-dependence.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
underlying-objects-1.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
underlying-objects-2.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
unsafe-and-rt-checks.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00
wrapping-pointer-versioning.ll	[PM] Avoid getResult on a higher level in LoopAccessAnalysis	2016-07-07 01:01:53 +00:00