| commit | cf73b6c5110b04c781d8e4559fd2461d97733080 | |
| author | Michael Kruse <llvm@meinersbur.de> | |
| Thu, 1 Sep 2016 19:16:58 +0000 (1 19:16 +0000) | ||
| committer | Michael Kruse <llvm@meinersbur.de> | |
| Thu, 1 Sep 2016 19:16:58 +0000 (1 19:16 +0000) | ||
| tree | 92e4c3078ea632d08eeaf319bdc1e29568d66e46 | treesnapshot (tar.gz zip) |
| parent | 9c3894335857120f0e36b4eeefaf1e0005eabbed | commitdiff |
Check validity of new access relations. NFC.
There are some constraints on maps that can be access relations. In builds with assertions enabled, verify
- The access domain is the same space as the statement's domain (modulo parameters).
- Whether an access is defined for every instance of the statement. (codegen does not yet support partial access relations)
- Whether the access range links to an array, represented by a ScopArrayInfo.
- The number of access dimensions equals the dimensions of the array.
- The array is not an indirect access. (also not supported by codegen)
Differential Revision: https://reviews.llvm.org/D23916
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@280404 91177308-0d34-0410-b5e6-96231b3b80d8
There are some constraints on maps that can be access relations. In builds with assertions enabled, verify
- The access domain is the same space as the statement's domain (modulo parameters).
- Whether an access is defined for every instance of the statement. (codegen does not yet support partial access relations)
- Whether the access range links to an array, represented by a ScopArrayInfo.
- The number of access dimensions equals the dimensions of the array.
- The array is not an indirect access. (also not supported by codegen)
Differential Revision: https://reviews.llvm.org/D23916
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@280404 91177308-0d34-0410-b5e6-96231b3b80d8
| lib/Analysis/ScopInfo.cpp | diffblobblamehistory |