Silviu Baranga 1ece28eb77 [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

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

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