isl_ast_build_ast_from_schedule: properly handle union atomic options
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Apr 2013 12:02:05 +0000 (14:02 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Apr 2013 20:24:05 +0000 (22:24 +0200)
commit9728d5ebfbb4fb1f73253f5511913881cffc42d1
treec65984e5fe039e4d98c99f015b1d5ff5efc69498
parentf7f38c2aca61e13373581df7a2194ccc94ebda75
isl_ast_build_ast_from_schedule: properly handle union atomic options

In particular, if the domain for which a given dimension should
be atomic is a union of basic sets, then the actual atomic domain
may be larger than this union and we need to make sure that this
larger set is removed from the remainder domain to preserve
the invariant that the elements of the list computed by compute_domains
are disjoint.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_codegen.c
test_inputs/codegen/atomic2.c [new file with mode: 0644]
test_inputs/codegen/atomic2.in [new file with mode: 0644]