isl_printer_print_union_flow: consistently print full dependences
commit1c6eb1416b1edd79cbff5f5eefc4af7bab2ad26f
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 9 May 2017 12:48:38 +0000 (9 14:48 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 12 Jun 2017 13:48:50 +0000 (12 15:48 +0200)
tree51046b012f8a88b348ae8be643e18268aec25bc9
parent051eb3c70abf78bff16ab142d3019a4264990c1c
isl_printer_print_union_flow: consistently print full dependences

Originally, an isl_union_flow would only keep track of
pairs of source and sink instances and
isl_printer_print_union_flow would print such dependence relations.
Since 5a519f702a (isl_union_flow: keep track of accessed elements,
Fri Nov 20 10:37:57 2015 +0100), isl_union_flow also keeps track
of the accessed element and isl_printer_print_union_flow was not
adjusted accordingly.  In particular, for the must dependences,
it would simply read the data field and include the accessed element,
while for the may dependences, it would call
isl_union_flow_get_may_dependence, which removes the accessed element.

Also include the accessed element in the may dependences
for consistency with the must dependences.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_flow.c