| commit | 084d7ce7aa7b205f121ac449108a80b8a265cedf | [log] [tgz] |
|---|---|---|
| author | David Green <david.green@arm.com> | Mon Jun 25 15:13:26 2018 +0000 |
| committer | David Green <david.green@arm.com> | Mon Jun 25 15:13:26 2018 +0000 |
| tree | 0cfcfee43825bd59829854b6533a74905a5088ac | |
| parent | d3d2228f8c69c136d13cf0552c1fdec7bbf6b423 [diff] |
[DA] Delinearise AddRecs if we can prove they don't wrap We can prove that some delinearized subscripts do not wrap around to become negative by the fact that they are from inbound geps of load/store locations. This helps improve the delinearisation in cases where we can't prove that they are non-negative from SCEV alone. Differential Revision: https://reviews.llvm.org/D48481 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@335481 91177308-0d34-0410-b5e6-96231b3b80d8