[PATCH] D23916: [Polly] Check validity of new access relations. NFC.

[Michael Kruse via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, gareevroman, jdoerfert, etherzhhb.
Meinersbur added subscribers: llvm-commits, pollydev.
Meinersbur added a project: Polly.

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.



https://reviews.llvm.org/D23916

Files:
  include/polly/Support/ScopHelper.h
  lib/Analysis/ScopInfo.cpp
  lib/Support/ScopHelper.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23916.69339.patch
Type: text/x-patch
Size: 4150 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160826/1f81e3e7/attachment.bin>