[PATCH] D17381: [Polly] [RFC] Access level dependency analysis

[Hongbin Zheng via llvm-commits]

etherzhhb created this revision.
etherzhhb added a reviewer: grosser.
etherzhhb added a subscriber: Polly.
etherzhhb set the repository for this revision to rL LLVM.

Build dependence information based on tagged access [1], e.g. for access:
            MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
                [N] -> { Stmt_for_body[i0] -> MemRef_b[6 + i0] };
we build tag it and get:
                [N] -> {[Stmt_for_body[i0] -> MemRef_a[]] -> MemRef_b[6 + i0] };

See the attach case for example.


TODO:
1. Introduce an option to disable/enable this feature
2. Unexpected Failures: 157

[1] 5.3.4 Tagged Access Relations at https://lirias.kuleuven.be/bitstream/123456789/523109/3/polycomp-tutorial-v0.02.pdf

Repository:
  rL LLVM

http://reviews.llvm.org/D17381

Files:
  lib/Analysis/DependenceInfo.cpp
  test/DependenceInfo/access_level_dep_simple_0.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D17381.48315.patch
Type: text/x-patch
Size: 6856 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160218/92f99bb6/attachment.bin>