projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 448aeaf) | patch
isl_access_info: allow user interaction to restrict potential sources
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 28 Nov 2011 14:28:37 +0000 (15:28 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 27 Dec 2011 10:36:17 +0000 (11:36 +0100)
commit1ccd34d8c81af5794ae2b73b79b331e24be17136
tree2c84a6e1bd61a633cb3f92a322055afa1cbda25dtree | snapshot
parent448aeafd9196c20ac95062be464f2fad525d1566commit | diff
isl_access_info: allow user interaction to restrict potential sources

In particular, the user can register a callback that will be called
any time right before the last potential source is computed.
This should be useful for fuzzy array dataflow analysis.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod diff | blob | history
include/isl/flow.h diff | blob | history
isl_flow.c diff | blob | history
Domain: System / Uncategorized;