pn2adg: make sure that no disjunctive conditions are generated by isl
commit36d3dc7460c0c145a3036a185eecb7eee5dc2009
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 2 Mar 2013 17:47:23 +0000 (2 18:47 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 8 Mar 2013 11:18:28 +0000 (8 12:18 +0100)
tree6be35bacb27675940d7f5e1eb100472f28bde97e
parent88b3f1ae23c94236dd641ee48e178cfbc8219905
pn2adg: make sure that no disjunctive conditions are generated by isl

When generating XML output, the output includes an AST, but this AST
cannot express a disjunctive condition.  We therefore need to tell
isl not to generate any such conditions.

Reported-by: Todor Stefanov <stefanov@liacs.nl>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
adg_xml.cc