[PATCH] D34982: [Polly][WIP] Fully-Indexed static expansion

[Bonfante Nicolas via Phabricator via llvm-commits]

niosega updated this revision to Diff 107505.
niosega marked 5 inline comments as done.
niosega added a comment.

In this revision, we have done :

- Use of c++ bindings for isl instead of direct isl
- Implementation of the reads expansion
- Add constraint for the write map so that the in dims are link to the out dims
- Remove useless JSCoP file
- Create a new expanded SAI for each statement
- Add a check method before doing the expansion to avoid partial expansion

Problems :

- Do I have to expand already fully-indexed array (for example, the first write of B in the test case "too-many-writes.ll" ) ?

For now, we can not expand :

- Scalar access
- MayWrite access
- SAI with more than one write
- SAI with read that can cause partial read access (because polly can not handle partial read access)




https://reviews.llvm.org/D34982

Files:
  include/polly/LinkAllPasses.h
  include/polly/ScopInfo.h
  lib/CMakeLists.txt
  lib/Support/RegisterPasses.cpp
  lib/Transform/MaximalStaticExpansion.cpp
  test/MaximalStaticExpansion/partial_access.ll
  test/MaximalStaticExpansion/too_many_writes.ll
  test/MaximalStaticExpansion/working_expansion.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34982.107505.patch
Type: text/x-patch
Size: 27728 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170720/050ead13/attachment.bin>