Matthew Simpson 204e3200ad [LAA] Check independence of strided accesses before forward case ...

This patch changes the order in which we attempt to prove the independence of
strided accesses. We previously did this after we knew the dependence distance
was positive. With this change, we check for independence before handling the
negative distance case. The patch prevents LAA from reporting forward
dependences for independent strided accesses.

This change was requested in the review of D19984.

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

2016-05-19 15:37:19 +00:00

..

backward-dep-different-types.ll

[LoopAccesses] Remove unused global variables in tests

2015-04-02 04:42:51 +00:00

forward-loop-carried.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

forward-loop-independent.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

independent-interleaved.ll

[LAA] Check independence of strided accesses before forward case

2016-05-19 15:37:19 +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

[LAA] Support memchecks involving loop-invariant addresses

2016-03-24 04:28:47 +00:00

non-wrapping-pointer.ll

[LAA] Try to prove non-wrapping of pointers if SCEV cannot

2015-06-26 17:25:43 +00:00

nullptr.ll

Fix LoopAccessAnalysis when potentially nullptr check are involved

2015-11-05 05:49:43 +00:00

number-of-memchecks.ll

[LAA] Add clarifying comments for the checking pointer grouping algorithm. NFC

2015-07-28 13:44:08 +00:00

pointer-with-unknown-bounds.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

resort-to-memchecks-only.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

reverse-memcheck-bounds.ll

Fix memcheck interval ends for pointers with negative strides

2015-07-16 14:02:58 +00:00

safe-no-checks.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

safe-with-dep-distance.ll

[LAA] Include MaxSafeDepDistBytes in the analysis print-out

2016-05-13 22:49:13 +00:00

store-to-invariant-check1.ll

[LoopAccesses] Allow analysis to complete in the presence of uniform stores

2015-04-08 17:48:40 +00:00

store-to-invariant-check2.ll

[LoopAccesses] Allow analysis to complete in the presence of uniform stores

2015-04-08 17:48:40 +00:00

store-to-invariant-check3.ll

[LoopAccesses] Allow analysis to complete in the presence of uniform stores

2015-04-08 17:48:40 +00:00

stride-access-dependence.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

underlying-objects-1.ll

[getUnderlyingOjbects] Analyze loop PHIs further to remove false positives

2015-04-23 20:09:20 +00:00

underlying-objects-2.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

unsafe-and-rt-checks.ll

[LAA] LLE 3/6: Rename InterestingDependence to Dependences, NFC

2015-11-03 21:39:52 +00:00

wrapping-pointer-versioning.ll

[SCEV] Improve the run-time checking of the NoWrap predicate

2016-04-25 09:27:16 +00:00